如何证明Osgood定理？ 第1页
1
RealFiddie 网友的相关建议:
定理(Osgood) 设单位圆盘。如果是上逐点收敛到的全纯函数序列，则存在的稠密开集使得在上全纯。[1]
证明：设 是 的非空开子集，且 定义
由于 逐点收敛，则对任意固定的 是有界集，所以每个 都位于某个 中，所以
由Baire纲定理，存在 使得 所以存在开球 .
由Montel定理（Stein书的第八章定理3.3(ii)）， 存在子列 使得在 的每个紧子集都一致收敛于 ，当然这里 和 相等，而且 在 中全纯. （注意全纯函数序列的一致收敛极限也是全纯的，见Stein书的第二章定理5.2(Morera定理的推论)。）
由 的任意性，结论证毕.
注：(1)Baire纲定理（学过实变泛函的同学应该都会）
(2)Morera定理与它的推论
(3)Montel定理
参考
1
相关话题
极限为0的函数为什么要单独命名为无穷小？有哪里特殊了？如何证明“若整函数 f(z) 的值均位于右半平面，则f(z)恒为常数”？
如何计算这个积分？
如何证明这个复变函数列的一致收敛性？
无穷个集合的交（或者并）运算总是成立的吗？为什么？
如何证明下列复分析相关等式？
数学中为什么要定义各种空间？
如何评价Stein的实分析以及复分析翻译版本？
如何证明Osgood定理？
如果从图中移去一个边的一个集合将增加亚图的数目时，被移去的边的集合就成为截。”那么，亚图是什么？截呢？
前一个讨论
高考数学导数题是怎么命制的？
下一个讨论
如何证明一个数 n 的因子之和是 O(n) 的？
相关的话题
不定积分∫dx/(2 + sinx)在x = π+2kπ处，为何会这样？这是不定积分的某种“特性”吗？整函数f(z)满足lim(z→∞)Re(f(z))/z=0，则f是常数吗？
这个不可测集的外侧度是多少？
这个不可测集的外侧度是多少？
复变函数、实分析、复分析、数学分析是什么关系？
如何证明这个实分析有关问题？
柯西黎曼条件为什么这么神奇?
如果从图中移去一个边的一个集合将增加亚图的数目时，被移去的边的集合就成为截。”那么，亚图是什么？截呢？
这个极限怎么凑成积分?
如何证明下面的复分析问题？
数学中为什么要定义各种空间？
“可分度量空间”的名字是怎么来的？
如何证明以下的复分析问题？
如何证明R1可测函数覆盖的区域是可测的？
除了Weierstrass函数，还有哪些处处连续处处不可导的实变函数的具体例子？
如何证明Osgood定理？
是否任一无穷集合都能分成两个等势的不交集合之并？
Lp空间上的分析学在其他数学分支有哪些应用？
如何评价Stein的实分析以及复分析翻译版本？
（动力系统 + 拓扑学 + 抽象代数）和（泛函分析 + 实变函数 + 复分析和解析几何）有哪些联系？
如何估计如下的无穷积分不等式？
如何估计交集测度大小？
如果从图中移去一个边的一个集合将增加亚图的数目时，被移去的边的集合就成为截。”那么，亚图是什么？截呢？
如何证明这个实分析的不等式？
如何证明空集不是任意集合的子集？
数学分析中的两个反例是否有更深的背景？
数学分析中的两个反例是否有更深的背景？
高斯-博内定理和幅角原理的关系是什么？
与1相邻的实数存在吗？
复数范围内，一个数的整数次方是不是永远只有一个值？以及如何证明一个数的无理数次方对应无穷个值？