如何证明Osgood定理？ 第1页
1
RealFiddie 网友的相关建议:
定理(Osgood) 设单位圆盘。如果是上逐点收敛到的全纯函数序列，则存在的稠密开集使得在上全纯。[1]
证明：设 是 的非空开子集，且 定义
由于 逐点收敛，则对任意固定的 是有界集，所以每个 都位于某个 中，所以
由Baire纲定理，存在 使得 所以存在开球 .
由Montel定理（Stein书的第八章定理3.3(ii)）， 存在子列 使得在 的每个紧子集都一致收敛于 ，当然这里 和 相等，而且 在 中全纯. （注意全纯函数序列的一致收敛极限也是全纯的，见Stein书的第二章定理5.2(Morera定理的推论)。）
由 的任意性，结论证毕.
注：(1)Baire纲定理（学过实变泛函的同学应该都会）
(2)Morera定理与它的推论
(3)Montel定理
参考
1
相关话题
勒贝格积分、数学分析、实分析 、泛函分析、 测度论 之间的关联以及先后学习次序是怎样的?赋范空间和度量空间都可以定义极限，为什么要引入两个能定义极限的空间呢，区别是什么，各自有哪些应用范围？
如何证明函数上下极限相等，则极限存在？
不定积分∫dx/(2 + sinx)在x = π+2kπ处，为何会这样？这是不定积分的某种“特性”吗？
假设f在单连通域B内解析，B内有一条封闭曲线L（L有无限个自交点），请问在L上f的复积分为零吗？
为什么矩形面积等于长乘宽？
狄利克雷函数（Dirichlet Function）有什么用处？
如何证明Vitali定理？
Pn(z)是首项系数为1的n次多项式，怎么证明当|z|<=1时，|Pn(z)|的最大值大于等于1？
是否所有简单闭曲线都同胚与圆周？
前一个讨论
高考数学导数题是怎么命制的？
下一个讨论
如何证明一个数 n 的因子之和是 O(n) 的？
相关的话题
如何证明Osgood定理？如何证明R1可测函数覆盖的区域是可测的？
这个不可测集的外侧度是多少？
什么是「测度论」？
所有tanx的所有非零不动点的倒数平方和等于1/5这个怎么证明？
关于Stein《复分析》中一个定理证明的疑问，怎么推导出来的？
是否所有简单闭曲线都同胚与圆周？
除了Weierstrass函数，还有哪些处处连续处处不可导的实变函数的具体例子？
什么是「测度论」？
有没有目前不知道是否收敛的级数?
如何证明这个"推广的Riemann重排定理"？
Riemann-Roch定理在数论里有什么应用？
如何估计交集测度大小？
为什么函数的连续点构成可测集？
如何看待中国矿业大学杨小军研究员宣称自己解决黎曼猜想？
是否任一无穷集合都能分成两个等势的不交集合之并？
什么时候积分运算和级数求和可以调换顺序？
符号测度的Lebesgue分解与泛函里面的正交分解有什么关系么？
整函数f(z)满足lim(z→∞)Re(f(z))/z=0，则f是常数吗？
若 a=0.248163264128256...，请问 a 是否为有理数？理由是什么？
如何证明下面的复分析问题？
你们会觉得测度论反直觉吗？
有限覆盖定理和实数连续性有什么关系？
如何证明这个关于复分析的问题?
怎么用下面的不等式刻画凸性？
数学分析中的两个反例是否有更深的背景？
如何证明Osgood定理？
如何证明这个复分析问题？
狄利克雷函数（Dirichlet Function）有什么用处？
作为维数公式的黎曼-洛赫定理在数学上的重要性体现在什么地方？