Fredholm 指数概括了 秩零定理 对于像 Banach 空间这样的无限维空间,Fredholm 算子 [latex]T: X to Y[/latex] 的指标定义为 [latex]text{ind}(T) = dim(ker(T)) – dim(text{coker}(T))[/latex],其中 Cokernel 的维度衡量像与整个空间的距离。该指标在算子受到微小扰动时是一个稳定的整数值。

(图片仅供参考)
Fredholm 指数概括了 秩零定理 对于像 Banach 空间这样的无限维空间,Fredholm 算子 [latex]T: X to Y[/latex] 的指标定义为 [latex]text{ind}(T) = dim(ker(T)) – dim(text{coker}(T))[/latex],其中 Cokernel 的维度衡量像与整个空间的距离。该指标在算子受到微小扰动时是一个稳定的整数值。
秩-零度定理,[latex]dim(V) – text{rank}(T) = text{nullity}(T)[/latex],适用于有限维向量空间之间的线性映射。在此上下文中,[latex]dim(V) – text{rank}(T)[/latex] 是余核的维数,[latex]text{coker}(T) = W/text{im}(T)[/latex]。因此,该定理可以写成 [latex]dim(ker(T)) – dim(text{coker}(T)) = 0[/latex]。Fredholm 指数将这一思想推广到 Fredholm 算子,Fredholm 算子是 Banach 空间之间的有界线性算子,其核和余核均为有限维。
对于这样的算子 [latex]T: X to Y[/latex],Fredholm 指数为 [latex]text{ind}(T) = dim(ker(T)) – dim(text{coker}(T))[/latex]。与有限维情况下该差值始终为零不同,对于无限维空间,该指数可以是任意整数。该指数的一个关键性质是其稳定性:它在算子的紧扰动下保持不变。这意味着如果 [latex]K[/latex] 是一个紧算子,则 [latex]text{ind}(T+K) = text{ind}(T)[/latex]。
余核的概念对于这种推广至关重要。对于映射 [latex]T: X to Y[/latex],其像 [latex]text{im}(T)[/latex] 是值域 [latex]Y[/latex] 的一个子空间。余核 [latex]text{coker}(T)[/latex] 是商空间 [latex]Y / text{im}(T)[/latex]。它的维数衡量了 [latex]Y[/latex] 中未被 [latex]T[/latex] 到达的“独立方向”的数量。在有限维空间中,秩零度定理表明 [latex]dim(ker(T)) = dim(text{coker}(T))[/latex]。在无限维度中,这种等式不成立,但这两个有限维度之间的差异仍然是一个稳定的整数,即弗雷德霍姆指数。
这种稳定性使得该指标成为一个强大的拓扑不变量。它在阿提亚-辛格指标定理中扮演着核心角色,该定理是20世纪数学中最深刻的成果之一,它将紧致流形上微分算子的解析指标与该流形的拓扑不变量联系起来。这弥合了分析学和拓扑学之间的鸿沟,对理论物理和几何学产生了深远的影响。
弗雷德霍尔姆指数
(如果日期未知或不相关,例如“流体力学”,则提供其显著出现的近似估计)
只有注册会员才能免费获得 100% 的全尺寸图片和下载。.
> 登录 <