如何证明Osgood定理？ 第1页
1
RealFiddie 网友的相关建议:
定理(Osgood) 设单位圆盘。如果是上逐点收敛到的全纯函数序列，则存在的稠密开集使得在上全纯。[1]
证明：设 是 的非空开子集，且 定义
由于 逐点收敛，则对任意固定的 是有界集，所以每个 都位于某个 中，所以
由Baire纲定理，存在 使得 所以存在开球 .
由Montel定理（Stein书的第八章定理3.3(ii)）， 存在子列 使得在 的每个紧子集都一致收敛于 ，当然这里 和 相等，而且 在 中全纯. （注意全纯函数序列的一致收敛极限也是全纯的，见Stein书的第二章定理5.2(Morera定理的推论)。）
由 的任意性，结论证毕.
注：(1)Baire纲定理（学过实变泛函的同学应该都会）
(2)Morera定理与它的推论
(3)Montel定理
参考
1
相关话题
如何证明Osgood定理？“可分度量空间”的名字是怎么来的？
如何证明这个关于复分析的问题?
如何证明这个实分析的不等式？
Rokovsky函数(f(z)=1/2(z+1/z))分别将上半平面与下半平面映射成什么？
这个极限怎么凑成积分?
实数轴上还存在人类未知的数吗？
为什么函数的连续点构成可测集？
如何证明空集不是任意集合的子集？
Pn(z)是首项系数为1的n次多项式，怎么证明当|z|<=1时，|Pn(z)|的最大值大于等于1？
前一个讨论
高考数学导数题是怎么命制的？
下一个讨论
如何证明一个数 n 的因子之和是 O(n) 的？
相关的话题
可测集多还是不可测集多？ 即一维，直到n维的欧氏空间中，可测集类和不可测集类是否等势？如何证明空集不是任意集合的子集？
这个猜实数的游戏有没有必胜策略?
是否所有简单闭曲线都同胚与圆周？
关于Stein《复分析》中一个定理证明的疑问，怎么推导出来的？
Lp空间上的分析学在其他数学分支有哪些应用？
复变函数中多值函数的黎曼面是不是不唯一？
与1相邻的实数存在吗？
如何证明这个复分析问题？
请问开集和闭集如何理解？
复变函数、实分析、复分析、数学分析是什么关系？
复数范围内，一个数的整数次方是不是永远只有一个值？以及如何证明一个数的无理数次方对应无穷个值？
Cauchy定理的证明是否依赖于Jordan曲线定理？
是否所有简单闭曲线都同胚与圆周？
请问图中两个积分如何计算?
如何证明“若整函数 f(z) 的值均位于右半平面，则f(z)恒为常数”？
如何证明Painlevé连续开拓原理？
数学中为什么要定义各种空间？
无穷个集合的交（或者并）运算总是成立的吗？为什么？
复变函数、实分析、复分析、数学分析是什么关系？
你们会觉得测度论反直觉吗？
Pn(z)是首项系数为1的n次多项式，怎么证明当|z|<=1时，|Pn(z)|的最大值大于等于1？
如何证明这个复分析问题？
比开方更高级的运算能否扩充复数域？
如何理解Riemann映射定理？
这个猜实数的游戏有没有必胜策略?
复数范围内，一个数的整数次方是不是永远只有一个值？以及如何证明一个数的无理数次方对应无穷个值？
如何证明Osgood定理？
实数轴上还存在人类未知的数吗？
R^2 与 C 的区别在哪里？为什么有数学家认为复数用 a+bi 表示不好？