[论文解读] On approximation of p-adic numbers by p-adic algebraic numbers

Victor Beresnevich, Vasili Bernik+1 more|ArXiv.org|Feb 13, 2008

advanced mathematical theories参考文献 4被引用 4

一句话总结

本文建立了丢番图逼近中Khintchine型定理的完整p进数类比，证明了对于单调函数Ψ，若∑Ψ(h)收敛，则满足误差由H(α)⁻ⁿΨ(H(α))界定的n次代数数逼近的p进数集合的Haar测度为零；若∑Ψ(h)发散，则该集合的测度为全测度。结果通过p进分析与测度论方法，将经典的度量丢番图逼近理论扩展至p进数域。

ABSTRACT

A complete p-adic Khintchine type theorem for approximation by p-adic algebraic numbers is established.

研究动机与目标

• 建立代数数逼近下Khintchine定理的完整p进数类比。
• 确定满足误差由H(α)⁻ⁿΨ(H(α))界定的n次代数数逼近的p进数集合的Haar测度。
• 将原本定义在ℝ上的经典度量丢番图逼近结果扩展至p进数域ℚₚ。
• 证明逼近集合的测度精确取决于∑Ψ(h)的收敛或发散性，与实数情形一致。
• 发展实数丢番图逼近中关键工具（如正规系统与Borel–Cantelli型论证）的p进数类比。

提出的方法

• 利用ℚₚ上的p进赋值与Haar测度，定义逼近集合的度量结构。
• 在p进数设定下应用Borel–Cantelli引理由分析由逼近不等式定义的集合的测度。
• 引入辅助集合E₁(δ, Q, K, ξ)与E₂(ξ, C, K₀)，以控制多项式及其导数在根附近的性质。
• 运用Hensel引理由近似根提升为实际的p进根，并估计逼近元与代数数之间的距离。
• 在p进数设定下应用Dirichlet原理，构造满足特定系数与取值界约束的多项式。
• 在ℚₚ中构造区间正规系统以证明发散情形，依赖于有界高度与分离度的代数数计数。

实验结果

研究问题

• RQ1 对于n次代数数逼近，Khintchine定理的p进数类比是什么？
• RQ2 ∑Ψ(h)的收敛或发散性如何决定满足误差H(α)⁻ⁿΨ(H(α))的n次代数数逼近的p进数集合的Haar测度？
• RQ3 经典度量丢番图逼近理论能否在p进数设定下以相同的收敛/发散二分法加以扩展？
• RQ4 多项式导数在控制p进数拓扑下逼近密度方面起什么作用？
• RQ5 如何在ℚₚ中构造正规系统，以在发散情形下证明全测度结果？

主要发现

• 对于从ℝ₊到ℝ₊的单调递减函数Ψ，满足存在无穷多P∈ℤ[x]且deg P≤n，使得|P(ω)|ₚ < H(P)⁻ⁿΨ(H(P))的ω∈ℚₚ的集合Mₙ(Ψ)的Haar测度为零，当且仅当∑Ψ(h)收敛。
• 若∑Ψ(h)发散，则Mₙ(Ψ)在ℚₚ中具有全Haar测度。
• 满足存在无穷多α∈𝔸ₚ,ₙ使得|ω−α|ₚ < H(α)⁻ⁿΨ(H(α))的ω∈ℚₚ的集合𝔸ₚ,ₙ(Ψ)的Haar测度为零当且仅当∑Ψ(h)收敛，全测度当且仅当∑Ψ(h)发散。
• 定理1的收敛部分通过p进数版本的Borel–Cantelli引理证明，利用了多项式取值与导数条件所定义集合的测度界。
• 发散部分由定理2推出，通过证明良好逼近点集合包含一个正测度的正规系统，从而在发散情形下蕴含全测度。
• 一个关键技术结果是：当Q充分大时，μ(E(δ, Q, K)) ≤ cδμ(K)，其中E(δ, Q, K)为满足|P(ω)|ₚ < δQ⁻ⁿ⁻¹且H(P)≤Q的所有p进圆盘的并集，该结果使得在Borel–Cantelli论证中实现测度控制。