如何证明Osgood定理？ 第1页
1
RealFiddie 网友的相关建议:
定理(Osgood) 设单位圆盘。如果是上逐点收敛到的全纯函数序列，则存在的稠密开集使得在上全纯。[1]
证明：设 是 的非空开子集，且 定义
由于 逐点收敛，则对任意固定的 是有界集，所以每个 都位于某个 中，所以
由Baire纲定理，存在 使得 所以存在开球 .
由Montel定理（Stein书的第八章定理3.3(ii)）， 存在子列 使得在 的每个紧子集都一致收敛于 ，当然这里 和 相等，而且 在 中全纯. （注意全纯函数序列的一致收敛极限也是全纯的，见Stein书的第二章定理5.2(Morera定理的推论)。）
由 的任意性，结论证毕.
注：(1)Baire纲定理（学过实变泛函的同学应该都会）
(2)Morera定理与它的推论
(3)Montel定理
参考
1
相关话题
你们会觉得测度论反直觉吗？极限为0的函数为什么要单独命名为无穷小？有哪里特殊了？
怎么证明这个积分不等式？
“可分度量空间”的名字是怎么来的？
如何证明这个实分析的不等式？
为什么现代数学经常会关心整体性质？能不能举例详细说说？
如何证明两个有理数平方和不能为 7？
如何证明下列复分析相关等式？
复数是否包含实数？
如何证明空集不是任意集合的子集？
前一个讨论
高考数学导数题是怎么命制的？
下一个讨论
如何证明一个数 n 的因子之和是 O(n) 的？
相关的话题
如何证明R1可测函数覆盖的区域是可测的？设点集B满足，对任给ε>0，都存在可测集A，使得m*(AΔB)<ε，证明B是可测集，还有什么解法？
不定积分∫dx/(2 + sinx)在x = π+2kπ处，为何会这样？这是不定积分的某种“特性”吗？
收敛都是在某度量下而言的吗？依测度收敛是某度量下的收敛吗？
数学中为什么要定义各种空间？
设点集B满足，对任给ε>0，都存在可测集A，使得m*(AΔB)<ε，证明B是可测集，还有什么解法？
与1相邻的实数存在吗？
如何证明Osgood定理？
Cauchy定理的证明是否依赖于Jordan曲线定理？
为什么现代数学经常会关心整体性质？能不能举例详细说说？
如何证明这个复分析问题？
集合相等的定义与空集的定义的矛盾如何理解？
与1相邻的实数存在吗？
请问开集和闭集如何理解？
数学分析中的两个反例是否有更深的背景？
复变函数中多值函数的黎曼面是不是不唯一？
简单光滑道路的不同参数表达 在其上积分是否一定相同？
如何证明这个收敛性问题？
比开方更高级的运算能否扩充复数域？
可测集多还是不可测集多？ 即一维，直到n维的欧氏空间中，可测集类和不可测集类是否等势？
如何证明这个实分析有关问题？
如何证明函数上下极限相等，则极限存在？
赋范空间和度量空间都可以定义极限，为什么要引入两个能定义极限的空间呢，区别是什么，各自有哪些应用范围？
有限覆盖定理和实数连续性有什么关系？
复数范围内，一个数的整数次方是不是永远只有一个值？以及如何证明一个数的无理数次方对应无穷个值？
logz是否是全纯的？
所有tanx的所有非零不动点的倒数平方和等于1/5这个怎么证明？
怎么求解这个极限问题？
如何证明Osgood定理？
如何证明这个"推广的Riemann重排定理"？