Bourbaki

Google 翻译生成的粗略草稿,质量较低。术语依照术语表,但句子可能有误;之后会由仔细的译文取代。

附录 II 一个连通性质

引理 1 00XN

令X为连通拓扑空间,Ω\Omega为X的稠密开子集。如果对于任意x∈Xx\in X,存在xx的邻域V使得V∩ΩV\cap \Omega连通,则Ω\Omega连通。

被以下引用 1

被以下引用 引理 3

事实上,让Ω0\Omega_0是Ω\Omega的非空开闭子集。令 x∈Xx\in X 且令 V 为 xx 的邻域,使得 V∩ΩV\cap \Omega 相连。如果x∈Ω‾0x\in \overline{\Omega}_0,

(V∩Ω)∩Ω0=V∩Ω0≠∅ (V\cap \Omega )\cap \Omega_0= V\cap \Omega_0\not=\emptyset

所以V∩Ω⊂Ω0V\cap \Omega \subset \Omega_0。因而,由于Ω\Omega在X,Ω‾0X,\overline{\Omega}_0中是稠密的,因此邻域是xx。因而,Ω0\Omega_0非空、开闭,并且由于X是连通的,因而Ω‾0=X\overline{\Omega}_0= X。由于Ω0\Omega_0在Ω\Omega中是闭合的,这意味着Ω0=Ω∩Ω‾0=Ω\Omega_0=\Omega \cap \overline{\Omega}_0=\Omega,从而证明Ω\Omega是连通的。

引理 2 00XO

设 U 为 Cn\mathbf{C}^n 中的开球,f:U→Cf: U\rightarrow \mathbf{C} 为全纯函数,但与零不同。设 A 为 U 的子集,使得 A 上的 f=0f= 0。则 U -- A 在 U 中稠密且连通。

引用了 2

引用了 命题 1, TG I § 11, 定义 2, TG IX § 5

U-- A 的密度由可微分和解析流形,结果,3.2.5 得出。首先假设n=1n= 1。如果ff的a∈Aa\in A,幂级数展开关于a(a(可微分和解析流形,结果,3.2.1)不减少到0,则存在邻域VaV_a aa 在 U 中,使得 ff 不会在 VaV_a -- {a}\{a\} 上消失。因而,aa在A中是孤立的,这证明A是U的离散子集,因此可数,因为U在无穷大是可数的。令 x,y∈Ux, y\in U -- A. 连接 xx(分别为 yy)到 A 的点的实仿射线的并是微不足道的(一般拓扑,第 IX, §5, no. 2,定义 2)。因而,存在 z∈Uz\in U -- A,使得段 [x,z][x, z] 和 [y,z][y, z] 都不满足 A。 点 x,y,zx, y, z 因此属于与 U -- A 的相同连通分量,这证明了在这种情况下的引理 n=1n= 1。我们转向一般情况。我们可以假设A是f(f(一般拓扑的零的集合,第1章。 I, §11, no. 1,提案 1)。设 x,y∈Ux, y\in U-- A 并设 L 为仿射线包含 xx 和 yy。自x∈L∩Ux\in L\cap U以来,ff到L∩UL\cap U的限制与零不相同。通过已经证明的,xx和yy属于到(L∩U)(L\cap U)--(L∩A)(L\cap A)的同一个连通分量,因此到U--A的同一个连通分量。

引理 3 00XP

令X为有限维连通复解析流形,并令A为X满足以下条件的子集:

引用了 2

引用了 引理 1, 命题 1, TG I § 11

对于任何x∈Xx\in X,都存在一个解析的函数胚芽fxf_x,并且不会消失

在xx处,使得xx处的A的胚芽包含在集合处的xx处的胚芽中

零 fxf_x。

那么 X -- A 在 X 中是密集的并且是连通的。

密度 of X-- A 由可微分和解析流形,结果,3.2.5 得出。我们可以假设 A 是封闭的(通则拓扑,第 I, §11, no. 1 章,命题 1)。对于任何x∈Xx\in X,存在xx的开邻域V和同构cc,从V到Cn\mathbf{C}^n中的开球,使得c(A∩V)c(A\cap V)包含在a的零的集合中全纯函数与c(V)c(V) 上的零不相同。然后,通过引理 2,V∩(X2, V\cap (X -- A) 连接起来。鉴于引理 1,这证明X -- A 是连通的。

习题

参见习题附录 2。

Google 翻译生成的粗略草稿,质量较低。术语依照术语表,但句子可能有误;之后会由仔细的译文取代。