结果族 071：Koebe’s circle-domain conjecture · 学科：Real and complex analysis · 验证状态：暂无形式化证明，请以社区核验为准
任何形状的平面区域——哪怕洞千奇百怪、多到不可数——都能被一张”无撕裂、保角度”的弹性膜重新摊平；摊平之后，所有的洞都变成完美的圆，或者缩成一个点。这是 Koebe 在 1908 年提出的圆域规范化问题（Kreisnormierungsproblem），等了一百多年，本文在零几何条件下给出肯定回答。
关键词卡片
看个具体例子
主定理：每个非空连通开集 @@M@@G\subset\widehat{\mathbb C}@@ 都共形等价于某个圆域。画成图：
最刁钻的情形：补集是不可数个点（像康托尘埃）的区域，也要把每粒尘埃安排成圆洞或点洞。有限连通逼近的极限分量可能”溢出”所跟踪的圆盘，本文用保留测试逐个驯服。附赠推论：每个亏格零的完备双曲曲面都可由一个双曲凸包的边界内在实现。
为什么值得关心
Kreisnormierungsproblem 是平面共形几何最古老的公开问题之一，本文零条件收官，并为姊妹篇刚性定理提供定量输入。
验证状态：暂无形式化证明（AI 结果待核验）
对应文章：Koebe’s Circle-Domain Conjecture（结果族 071）
第一级台阶
入门导读说：任何形状的平面区域——哪怕洞千奇百怪、多到不可数——都能被一张”无撕裂、保角度”的弹性膜重新摊平，摊平后所有洞都变成完美的圆或缩成一个点。翻译成半数学语言：对象是平面上任意的连通开区域，洞的形状与个数完全不受控；操作是寻找一张理想的弹性膜（保角且无撕裂的形变）把区域摊到标准位置；结论是摊平后每个洞都被规范成圆形或点——区域的”标准件”模型必然存在。
第二级台阶
用本科术语精确化。圆域是黎曼球面上补分支全为闭圆盘或单点的连通开集；共形映射是保持角度与微小形状的复函数。穷竭指从内部用越来越大、边界良好的有限连通子区域逼近原区域；Dirichlet 能量是函数梯度模平方的积分，可视为弹性膜的势能；屏障则是在洞周围竖起的低能量围墙函数，用来压塌多余的自由度。
第三级台阶
主定理在此陈述：每个非空连通开集都共形等价于一个圆域，对补分支数目与几何形态零假设。定理的语境难点有二：补分支可以不可数且无任何正则性；有限连通逼近的极限分量可能”溢出”所跟踪的圆盘，而任意穷竭甚至可以根本没有圆域极限。证明的策略是选定可数标记集作二分：未标记端点的极限分量被证明是单点——靠屏障压塌；标记端点的极限分量恰等于有限近似提供的光滑圆盘——靠周期一测试探测并排除”溢出”。每一步都在无穷多个洞之间同时进行，这正是百年难点所在。
肯定地解决了 1908 年 Koebe 圆域猜想（Kreisnormierungsproblem）：黎曼球面上任何区域都共形等价于补分支全为圆盘或点的圆域，对补分支数目（可为不可数）与几何形态不作任何限制，堪称平面共形均匀化的百年收官。
1908 年 Koebe 提出圆域规范化问题：是否每个平面区域都共形等价于一个圆域（circle domain）？他本人证明了有限连通情形，He–Schramm 于 1993 年解决可数连通情形；Schramm 随后引入横穿极值长度（transboundary extremal length），处理由点与一致拟圆周围成的区域。此后 Esmayli–Rajala（cospread 与打包条件）、Karafyllia–Ntalampekos（球面 Gromov 双曲域，还得到 Möbius 唯一性）等在各类几何条件下推进，但都需附加假设。真正的困难有二：补分支可以有不可数个，无任何正则性或分离性；有限连通逼近的极限分量可能”溢出”所跟踪的圆盘，而 Rajala 又证明任意内部穷竭可以根本没有圆域极限。本文在零几何条件下完成存在性。
主定理（圆域均匀化）：每个非空连通开集 @@M@@G\subset\Chat@@ 都共形等价于一个圆域。
与 Ntalampekos–Rajala 的穷竭定理结合，得到无条件的固定域逼近：每个真域 @@M@@G@@ 都存在由有限连通区域组成的穷竭 @@M@@G_j@@，使三点归一的均匀化 @@M@@f_j@@ 沿整个序列局部一致收敛到把 @@M@@G@@ 映为圆域的共形同胚。文中还证明带保留测试的数量化版本（保留测试定理），这正是姊妹篇刚性论文所需的解析输入；此外借助 Luo–Wu 的凸包定理导出推论：每个亏格零的完备双曲曲面都可由一个双曲凸包的边界内在实现，其理想集的分量为圆盘或点。
先做拓扑重构：把 @@M@@G@@ 的每个补分支塌缩为一点，商空间 @@M@@X@@ 是拓扑球面（Moore 分解定理），@@M@@B=X\setminus G@@ 紧且全不连通，充当分支标签。目标二分：选定可数标记集 @@M@@S@@，使未标记端点的极限分量 @@M@@K_b(f)@@ 为单点，标记端点的分量恰等于有限近似所提供的光滑圆盘 @@M@@D_b@@。
再选解析测试。在取有限均匀化之前，先在 @@M@@G@@ 上设定测试——实值”屏障”或绕选定分支具加性周期一的”周期坐标”，要求有限 Dirichlet 能量、各补分支处振荡平方可和，并满足相容性条件 (P)。关键自由度在于：穷竭核心上保留原共形结构，只在有限补全的余部换新结构，故极限映射在原结构下共形；有限圆域均匀化随后给出 @@M@@\Omega_n@@ 与 @@M@@f_n\to f@@。
论证的心脏是边界二择一：要么某端点可被小能量的相容屏障与内部锚点分开，要么存在从锚点到该端点、平均弧长占用受控的路径概率律。无屏障时由 Fuglede 型模量—测度对偶（此处用 Ambrosio–Di Marino–Savaré 的概率形式）造律，再经熔合得到单一律，其命中概率在可能不可数的 @@M@@B@@ 上具 @@M@@\ell^2@@ 界。
第一次选择用四路径交叉论证消灭不可数例外：若无小屏障的端点不可数，沿 @@M@@\omega_1@@ 递归取律；末次命中分布无原子，可取四条按圆周交替排列的起点弧，到 @@M@@p@@ 的两条与到 @@M@@q@@ 的两条路径尾巴在圆盘内被 Jordan 分离定理迫使相交；但局部化估计（尘土命中与区域相交两组界）使该事件概率小于 @@M@@10^{-4}@@，矛盾。故例外集可数。选定可数屏障后，”平行线支付”引理（屏障沿线段从 0 变到 1 须支付 @@M@@\sqrt\pi L\|\dd u\|_2+2L\|a_u\|_{\ell^2}@@ 的代价）把每个未标记分量压塌成点。
最后处理标记分量：把提升简单弧的整数绕数指标取平均，得到周期一坐标 @@M@@v@@，能量不超过 @@M@@\sqrt2\|g_\eta\|_2@@，边界测度恰为弧起点分布。若极限分量超出圆盘（”突出”，protrusion），门控条件使弧起点远离 @@M@@D_b@@，边界积分下界为 @@M@@d_0/2@@；而 Stokes 估计给出的上界可压到 @@M@@d_0/4@@，矛盾。每个周期测试排除一个”坏对”邻域，第二可数性允许可数选择覆盖全部坏对，最终的有限转移取极限即得定理。
主结果暂无 Lean 形式化证明，属 OpenAI 批量产出手稿；按其官方声明，未经形式化的结果可能存在问题，请以社区核验为准。本文是本族结果的基石：其”保留测试转移与选择”定理正是姊妹篇《Removable Boundaries and Rigidity of Circle Domains》的数量化输入，两篇合读可见”存在性＋刚性”如何互相成就。
对应论文：Koebe’s Circle-Domain Conjecture（OpenAI，2026-09-23）
问 1：论证的心脏——”边界二择一”——是什么？为什么它是一切的关键？
（答：对每个端点，要么它能被一个小能量的相容屏障与内部锚点分开，要么存在从锚点到该端点、平均弧长占用受控的路径概率律。无屏障的情形用 Fuglede 型模量—测度对偶（Ambrosio–Di Marino–Savaré 的概率形式，论文自述完整证明了所需的测度族形式）造律，再熔合成单一律，使命中概率在可能不可数的标签集 B 上具 @@M@@\ell^2@@ 界。它的地位在于：不可数个洞无法逐个处理，必须靠一个统一对象同时控制，二择一正是制造这个对象的机器。）
问 2：四路径交叉论证在干什么？哪里最险？
（答：用来消灭”没有小屏障的端点不可数”的可能。沿 @@M@@\omega_1@@ 递归取律后，末次命中分布无原子，可取四条按圆周交替排列的起点弧：到 p 的两条与到 q 的两条路径尾巴在圆盘内被 Jordan 分离定理迫使相交；但局部化估计使该事件概率小于 @@M@@10^{-4}@@，矛盾，故例外集可数。最险处在于超限递归中”末次命中分布无原子”的维护与两组局部化界的乘法——常数钉得很死，一环松弛论证即失效。）
问 3：与已有工作相比，真正的新意是什么？
（答：Koebe 本人证有限连通、He–Schramm 1993 证可数连通、Schramm 的横穿极值长度处理点与一致拟圆、Esmayli–Rajala 与 Karafyllia–Ntalampekos 各在 cospread/打包、球面 Gromov 双曲等几何条件下推进——全部附带假设。本文零几何条件收官。而且 Rajala 2025 已证任意内部穷竭可以没有圆域极限，说明光靠有限逼近收敛不可能成功；本文的解法是先在原区域上选定解析测试、再取有限均匀化，方向上与既有路线相反。）
问 4：”保留原共形结构、只在有限补全的余部换新结构”这个自由度为什么关键？
（答：穷竭核心上保留原结构，极限映射在原结构下自动共形；若在整个区域改结构，极限的共形性无从回收。测试同时在核心上被精确保留——周期被精确保持、尾部能量与边界振荡平方和趋零——这是后面二择一与转移论证能逐层叠加的前提。）
问 5：标记分量的”溢出”是怎么排除的？
（答：把提升简单弧的整数绕数指标取平均，得到周期一坐标 v，能量不超过 @@M@@\sqrt2\|g_\eta\|_2@@。若极限分量超出跟踪圆盘（突出），门控条件使弧起点远离该盘，边界积分下界为 @@M@@d_0/2@@；而 Stokes 估计给出的上界可压到 @@M@@d_0/4@@，矛盾。每个周期测试排除一个坏对 @@M@@(f,D_b)@@ 的邻域，第二可数性允许从可数选择覆盖全部坏对。）
问 6：这个结果最可能以什么模式出错？
（答：四处高危。其一，模量—测度对偶的测度族形式是论文自证的 重活，适用条件的核对容易走样；其二，@@M@@\omega_1@@ 超限递归与 Borel 选择/解析集细节的组合；其三，相容性条件 (P) 在测试逐个追加时的维护——”先前层集的标签记录”这类簿记是 AI 生成证明的典型暗角；其四，@@M@@10^{-4}@@、@@M@@d_0/2@@ 对 @@M@@d_0/4@@ 这类常数级联，任何一处估计退化半个量级就断链。全部未形式化。）
问 7：谁会用到它？
（答：平面共形几何与均匀化理论的研究者直接消费主定理；”保留测试定理”（可数相容测试列表的精确保留与定量衰减）是姊妹篇刚性论文的解析输入；结合 Ntalampekos–Rajala 穷竭定理得到无条件固定域逼近；Luo–Wu 凸包推论还把每个亏格零完备双曲曲面实现为双曲凸包边界。）
总评
百年猜想零条件收官，”先选测试后均匀化”的路线 reversal 与不可数情形的统一处理是真正的技术贡献；最大风险在于概率—模量对偶的自证部分与层层钉死的数值常数均未经形式化，且其保留测试输出直接决定姊妹篇刚性定理的成色。