マーラーの定理

3行要約

1. p進解析において、連続関数を二項係数の多項式級数で展開できることを示す定理。
2. 実解析におけるテイラー展開のp進版に相当し、関数の構造を代数的に記述する。
3. p進数体上の解析学や数論の研究において強力な道具となる。