关于从ℝⁿ到S¹的光滑映射的指数形式表示及唯一性的求证

嘿，你的猜想完全正确！这个结论的核心依赖于欧氏空间ℝⁿ的单连通性，我们可以从存在性和唯一性两方面来严格证明：

一、存在性：构造光滑的提升函数$f$ #

首先，我们把单位圆$S^1$看作复平面上的集合${ z \in \mathbb{C} \mid |z|=1 }$，映射$\pi: \mathbb{R} \to S^1, \pi(t) = \exp(it)$是一个光滑覆盖映射——它是满射，且在每个局部是微分同胚。

对于光滑映射$F: \mathbb{R}^n \to S^{1$，由于$\mathbb{R}}n$是单连通的光滑流形（没有非平凡的闭合环路），根据覆盖空间的基本性质：

• 单连通空间到覆盖空间底空间的连续映射，一定存在连续的提升到覆盖空间；
• 进一步，因为$F$和$\pi$都是光滑的，这个提升$f: \mathbb{R}^n \to \mathbb{R}$也可以取为光滑函数。

具体构造步骤：

1. 任选一点$x_0 \in \mathbb{R}^n$，取$f(x_0)$满足$\exp(if(x_0)) = F(x_0)$（比如取主辐角$f(x_0) = \arg(F(x_0))$）；
2. 对任意$x \in \mathbb{R}^n$，取一条从$x_0$到$x$的光滑路径$\gamma$，定义：
   $$f(x) = f(x_0) + \int_\gamma F^{-1} dF$$
   由于$\mathbb{R}^n$单连通，这个积分的结果与路径$\gamma$无关，因此$f$是良定义的；同时，积分对$x$的依赖是光滑的，所以$f$是光滑函数。
3. 验证：$\exp(if(x)) = \exp\left(if(x_0) + i\int_\gamma F^{-1}dF\right) = F(x_0) \cdot \exp\left(i\int_\gamma F^{-1}dF\right)$，而$\exp\left(i\int_\gamma F^{-1}dF\right) = F(x)/F(x_0)$，因此$\exp(if(x)) = F(x)$，满足要求。

二、唯一性：$f$在模$2\pi$整数倍下唯一 #

假设存在两个光滑函数$f_1, f_2: \mathbb{R}^n \to \mathbb{R}$，使得对所有$x \in \mathbb{R}^n$，有$\exp(if_1(x)) = \exp(if_2(x))$。

• 对每个$x$，$\exp(i(f_1(x)-f_2(x))) = 1$，这意味着$f_1(x)-f_2(x) = 2\pi k(x)$，其中$k(x)$是整数；
• 由于$f_1 - f_2$是光滑函数（光滑函数的差仍光滑），而$\mathbb{R}^n$是连通空间，连通空间上的连续整数取值函数必为常函数（连续函数不能在连通空间上跳跃取不同整数）；
• 因此$k(x) = k_0$（某个固定整数），即$f_1 = f_2 + 2\pi k_0$，说明$f$唯一到$2\pi$的整数倍。

补充说明 #

如果定义域不是单连通的（比如$\mathbb{R}^2 \setminus {0}$），这个结论就不成立了。例如映射$F(x,y) = \frac{x+iy}{\sqrt{x^2+y2}}$就无法表示为$\exp(if(x,y))$的光滑形式，因为它环绕原点的非平凡环路会导致辐角无法连续（光滑）地定义。但$\mathbb{R}^n$是单连通的，所以你的猜想完全成立。

备注：内容来源于stack exchange，提问作者Keith