Wiener代数中映射$f\mapsto f^{-1}$的连续性推导及Banach代数相关一般定理问询

嘿，咱们来好好聊聊你提出的这个问题——能不能用Wiener代数的极大理想描述来推导逆映射$f\mapsto f^{-1}$的连续性，以及Banach代数里有没有相关的一般定理。先从背景捋起：

首先回顾Wiener代数的范数定义：
$$
\left|\sum_{n\in \mathbb{Z}}a_n e^{inz}\right| = \sum_{n\in\mathbb{Z}}|a_n|
$$
还有经典的Wiener $1/f$定理：函数$F$在Wiener代数中可逆，当且仅当$\inf_{\theta} |F(e^{i\theta})| > 0$。你提到的Newman和Gelfand两种证明我也很熟悉，而且Newman的证明确实可以微调后得到逆映射的连续性，甚至局部Lipschitz性，这点我完全认同。

回到你的核心问题：

1. 能否通过Wiener代数的极大理想推导逆映射连续性？ #

答案是肯定的，而且可以结合Gelfand变换（和极大理想空间的对应关系）来完成推导：

Wiener代数是交换Banach代数，它的极大理想空间和单位圆周$\mathbb{T}$是同胚的——每个极大理想对应圆周上的一个点$\theta$，对应的赋值同态就是$\varphi_\theta(f)=f(e^{i\theta})$，这正是Gelfand变换的具体形式。

利用这个性质，我们可以这样推导：

• 首先，若$f$是可逆元，根据Wiener $1/f$定理，$\inf_{\theta}|f(e^{{i\theta})|=c>0$。对于任意接近$f$的元素$g$，有$|g(e}{i\theta})|=|f(e^{{i\theta})+(g-f)(e}{i\theta})|\geq |f(e^{i\theta})| - |g-f|$（这里用到了Gelfand变换的压缩性：$|(g-f)(e^{{i\theta})|\leq|g-f|$）。当$|g-f|<c/2$时，$\inf_{\theta}|g(e}{i\theta})|>c/2>0$，说明$g$也是可逆元，这先证明了可逆元集合是开集。
• 接着看逆映射的连续性：对于上述$g$，我们可以把$g$写成$g=f(I + f^{{-1}(g-f))$。令$h=f}{-1}(g-f)$，当$|g-f|$足够小时，$|h|<1$，此时$(I+h)^{{-1}$可以用Neumann级数$\sum_{k=0}}\infty (-h)^k$表示，且级数在范数下收敛。那么：
  $$
  |g^{-1}-f{-1}| = |(I+h)^{-1}f{-1} - f^{-1}| = |f^{-1}[(I+h){-1}-I]| \leq |f^{-1}| \cdot \frac{|h|}{1-|h|} \leq |f^{-1}|2 \cdot \frac{|g-f|}{1-|f^{-1}||g-f|}
  $$
  当$|g-f|$趋近于0时，右边也趋近于0，这就证明了逆映射的连续性，甚至能看出局部Lipschitz性（当$|g-f|$足够小时，分母有下界，范数差被$|g-f|$的常数倍控制）。

这里的关键就用到了极大理想对应的点赋值性质（Gelfand变换的具体形式）来做范数估计，所以确实可以从极大理想的描述出发推导逆映射的连续性。

2. Banach代数中的一般定理 #

其实你问的这个问题，在Banach代数理论里有一个非常基础的一般结论，不管代数是否交换都成立：

Banach代数基本定理：任何Banach代数中，可逆元的集合是开集，并且逆映射$f\mapsto f^{-1}$在可逆元集合上是连续的（甚至是复解析的，如果是复Banach代数的话）。

这个定理的证明思路和上面Wiener代数的推导本质一致：

• 若$f$可逆，当$|g-f|<1/|f^{{-1}|$时，$f}{-1}(g-f)$的范数小于1，因此$I + f^{-1}(g-f)$可逆，进而$g=f(I + f^{-1}(g-f))$可逆；
• 再用Neumann级数展开逆元，估计范数差，就能得到逆映射的连续性。

而Wiener代数的情况只是这个一般定理的特例，不过Wiener $1/f$定理是交换Banach代数中“元素可逆当且仅当其Gelfand变换在所有极大理想处非零”这一结论的具体体现（因为Wiener代数的Gelfand变换就是函数在单位圆周上的取值）。

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