[论文解读] The open mapping theorem and the fundamental theorem of algebra

Daniel Reem|arXiv (Cornell University)|Oct 30, 2007

Advanced Topics in Algebra参考文献 14被引用 5

一句话总结

本文提出了一种新的、初等的解析函数开映射定理的证明，该证明基于巴拿赫或布劳威尔不动点定理，不依赖复积分或幂级数。由此，通过一个拓扑论证推导出代数基本定理，确立了每个非常数多项式在 ℂ 中都有一个根——这一结果此前被认为仅靠布劳威尔不动点定理无法实现。

ABSTRACT

This note is devoted to two classical theorems: the open mapping theorem for analytic functions (OMT) and the fundamental theorem of algebra (FTA). We present a new proof of the first theorem, and then derive the second one by a simple topological argument. The proof is elementary in nature and does not use any kind of integration (neither complex nor real). In addition, it is also independent of the fact that the roots of an analytic function are isolated. The proof is based on either the Banach or Brouwer fixed point theorems. In particular, this shows that one can obtain a proof of the FTA (albeit indirect) which is based on the Brouwer fixed point theorem, an aim which was not reached in the past and later the possibility to achieve it was questioned. We close this note with a simple generalization of the FTA. A short review of certain issues related to the OMT and the FTA is also included.

研究动机与目标

• 提供一种新的、初等的解析函数开映射定理的证明，避免使用复积分和幂级数。
• 通过基于 ℂ 连通性的拓扑论证，确立代数基本定理（FTA）。
• 证明代数基本定理可间接从布劳威尔不动点定理推导而出，从而解决长期以来对其可行性的怀疑。
• 通过像的闭包与函数复合等条件，推广代数基本定理，识别出整函数为满射的充分条件。

提出的方法

• 使用巴拿赫不动点定理证明开映射定理，依赖于 ℂ 中闭球的利普希茨连续性与完备性。
• 定义一个压缩映射 T(ξ)，涉及多项式首项的逆与复根函数的一个分支，以求解 f(z) = w。
• 将布劳威尔不动点定理作为巴拿赫定理的替代，确保在紧致凸集内解的存在性。
• 证明非常数多项式 f 的像 f(ℂ) 既是开集（由开映射定理）又是闭集（由序列紧致性），因此等于 ℂ。
• 通过识别整函数为满射的条件，推广代数基本定理，例如函数复合为满射解析映射，或特定形式如 f(z) = p(g(z)) + q(1/g(z))。
• 利用 ℂ 的连通性以及 f(ℂ) 同时为开集与闭集的性质，得出 f(ℂ) = ℂ，而无需依赖孤立根或解析开拓。

实验结果

研究问题

• RQ1 能否在不使用复积分或幂级数的前提下证明解析函数的开映射定理？
• RQ2 是否能以直接且初等的方式，从布劳威尔不动点定理推导出代数基本定理？
• RQ3 除了多项式外，整解析函数满足何种条件可保证其为满射？
• RQ4 ℂ 的拓扑结构（特别是其连通性）如何与解析函数像的开性与闭性相互作用？
• RQ5 能否通过函数复合与已知的满射映射，刻画某些整函数类的满射性？

主要发现

• 通过巴拿赫不动点定理，建立了一种新的开映射定理证明，避免了积分与幂级数，且不依赖孤立根的性质。
• 代数基本定理作为推论被导出：每个非常数多项式 f: ℂ → ℂ 都是满射，因此 f 在 ℂ 中有根。
• 该证明表明，布劳威尔不动点定理可间接导出 FTA，解决了此前对其推导可行性的怀疑。
• 任一非常数多项式 f 的像 f(ℂ) 在 ℂ 中既是开集又是闭集，且由于 ℂ 连通，故 f(ℂ) = ℂ。
• 提供了 FTA 的推广：整函数 f 为满射当且仅当其像为闭集，例如当 g 无零点且 p, q 为非常数多项式时，f(z) = p(g(z)) + q(1/g(z)) 为满射。
• 证明了函数 f(z) = cos⁷(z² + z + i) − 3cos(z² + z + i) + 1 为满射，因此有根，展示了推广准则的应用性。