有界线性算子

有界线性算子是赋范空间之间的连续线性映射；对这类算子，尤其是紧算子的研究，是泛函分析的核心操作部分。

Definition

有界线性算子是赋范空间之间的一种线性映射，它将长度的缩放限制在一个固定常数以内，等价于一个连续线性映射；紧算子是将有界集映射到相对紧集的算子，是有限秩映射在无限维空间中最接近的类比。

Scope

本主题涵盖了线性映射的有界性与连续性的等价性、算子范数以及作为巴拿赫代数的有界算子空间、伴随算子、可逆性与预解式、作为有限秩映射极限的紧算子，以及涉及单位算子紧扰动的方程的Fredholm择一性定理。

Core questions

• 为什么有界性和连续性对于线性映射是相同的条件？
• 算子的伴随是如何定义的，它编码了什么？
• 是什么让紧算子的行为几乎与有限矩阵相似？
• 受Fredholm择一性定理支配的线性方程何时有解？

Key theories

有界性等同于连续性

赋范空间之间的线性映射是连续的当且仅当它是有界的，因此算子范数衡量了连续性，并使有界算子成为一个赋范代数，这是算子理论的基本结构事实。

紧算子的Fredholm择一性定理

对于一个紧算子，由单位算子减去该算子所给出的方程，要么对每个右侧都有唯一解，要么具有有限维的齐次解空间，这推广了有限线性系统的可解性理论。

Clinical relevance

有界算子和紧算子模拟了物理学和工程学中出现的积分算子和微分算子；Fredholm择一性定理控制着积分方程和边值问题的可解性，而紧算子谱理论是数学物理和数值分析中使用的本征函数展开的基础。

History

Fredholm在1903年提出的积分方程理论引入了以他名字命名的可解性择一性定理，而Hilbert和Riesz在接下来的几十年里将其抽象化，形成了Hilbert空间和Banach空间上紧算子的现代理论。

Key figures

• Erik Ivar Fredholm
• David Hilbert
• Frigyes Riesz

Seminal works

• conway1985
• kreyszig1989

Frequently asked questions

为什么对于线性算子，有界性意味着连续性？

线性性使得原点处的连续性可以传播到所有地方，而原点处的连续性正是算子不会将向量拉伸超过固定因子的表述，这正是有界性。

是什么让紧算子变得特殊？

它们可以被有限秩算子逼近，并且它们的非零谱由仅在零点累积的特征值组成，因此它们的行为非常类似于矩阵，这就是积分算子易于处理的原因。