42、实解析流形与复解析流形相关研究

实解析流形与复解析流形相关研究

在数学领域，实解析流形和复解析流形的研究一直是重要的课题。本文将深入探讨实解析流形与复解析流形的一些关键性质和相关定理。

1. Rn 在 Cn 中的邻域

首先，我们关注 Rn 在 Cn 中的邻域性质。有一个重要的命题：实数空间 Rn 嵌入到复数空间 Cn 中时，拥有一个由开邻域构成的基本系统，且每个开邻域都是全纯域。

为证明这一命题，我们进行如下操作。设 Cn 的 n 个复变量为 Zk = xk + iyk（1 ≤ k ≤ n），Rn 子空间由方程 yk = 0 定义。定义一个群 G 为 SO(n) × SO(n)，让 G 作用于 Cn 上，通过变换 (x, y) → (sx, ty) （其中 s, t 是 SO(n) 的元素，x = (xk)，y = (yk) 是 Rn 中的点）。由于 G 是紧群且 Rn 在 G 的作用下稳定，所以 Rn 有一个由 G - 稳定的开邻域构成的基本系统，其形式为 ∑(yk)² < f[∑(xk)²]，这里 f(t) 是一个 t ≥ 0 的实值函数，f(t) > 0 且下半连续，还可设其为广义递减函数。

要证明该命题，只需证明对于给定的 f(t)，存在一个函数 g(t)，g(t) > 0，递减且无限可微，同时满足两个条件：
- g(t) ≤ f(t) 对所有 t ≥ 0 成立。
- 开集 ∑(yk)² < g[∑(xk)²] 是全纯域。

通过证明不等式 2tg’‘(t) < 1 （g’’ 是 g 的二阶导数）能推出上述第二个条件，我们进一步将证明问题转化为证明引理 1：对于给定的 f(t)（t ≥ 0，f(t) > 0 且