有界线性算子

回顾

数学主要研究的对象是函数、运算。

在这之前,我们关注的空间基本上是函数空间x(t)或数列x_n组成的空间,并建立了距离空间、赋范空间、内积空间、Hilbert空间的概念。

运用了类比、联想、归纳等数学研究方法,把有限维空间的代数结构和几何特征延伸、拓展到无穷维空间

线性算子

许多数学问题,如:中学解析几何中的平移和旋转就是一些线性变换(运算)

高等数学研究的微分、积分也都是线性运算,它们与{\mathbb{R}}^n空间中的线性变换(向量的旋转、拉伸、平移等)有很多相同的运算性质。

线性方程组、微分方程、积分方程都可以看作是特定空间中的线性运算(或者称为线性变换或线性映射)

我们把这些称之为线性算子,线性算子是泛函分析中最重要的基本概念之一。我们将全体有界线性算子(如积分、矩阵等)看作一个线性空间,并赋予范数,成为赋范线性空间,线性算子看作赋范空间中的元素。

线性算子空间是线性泛函分析研究的主要对象。在线性算子空间的框架下,研究线性运算的性质,解决分析、代数、几何中的问题。

在赋范空间中讨论有界线性算子的本质特征,可以得到一些很深刻的结论:

  • 一致有界原则;
  • 开映射定理、逆算子定理;
  • 闭图像定理。

有界线性算子与有界线性泛函

有界线性算子与有界线性泛函的定义

满足性质 T(\alpha x + \beta y) = \alpha Tx + \beta Ty 的运算T称为线性算子。因此微分运算、积分运算都是线性算子。

定义1:XX_1是赋范空间,\mathcal{D}\left( T \right) \subset X是线性子空间,T是从\mathcal{D}(T)X_1的映射,满足:
T(x + y) = Tx + Ty,

T(\alpha x) = \alpha Tx,

其中,x,y \in \mathcal{D}(T), \alpha \in \mathbb{K}\mathbb{K}是数域),则称映射T是从XX_1线性算子。\mathcal{D}(T)称为T定义域

注1: 一般地,\mathcal{D}(T)X的真子集,如果\mathcal{D}(T)= X,则称T是从XX_1的线性算子。

注2:X_1 = \mathbb{K}(数),T:\mathcal{D}(T) \to \mathbb{K}。这样的线性算子称为是线性泛函。

即线性泛函T(或f)是从赋范空间X到数域\mathbb{K}的线性算子。

注3:从信号与系统的角度,X空间其实就是系统的输入空间(输入信号),X_1空间就是系统的输出空间(输出信号)或者变换(作用)后的空间;线性算子就是一个线性系统。

定义2:T是从XX_1的线性算子,若存在常数M>0,使得
{\left\| {Tx} \right\|_1} \leqslant M\left\| x \right\|,\forall x \in X

则称T有界线性算子。

如果一个线性泛函f是有界的,如果存在常数M>0,使得
{| {f(x)} |} \leqslant M\left\| x \right\|,\forall x \in X

则称f有界线性泛函。因为泛函映成一个数,所以一个数的范数用绝对值表示。

注1:有界线性算子的有界是指映射后“放大的倍数”不超过一个常数。(元素的大小用范数衡量)

注2:由于内积可以产生范数,内积空间也是赋范空间,因此,有关赋范空间上的有界线性算子、有界线性泛函的讨论在内积空间依然成立。

注3:有界线性算子把有界集映成有界集(有界输入,有界输出)。

定义4:XX_1是赋范空间,T是从XX_1的线性算子,若x_n \to x_0时,Tx_n \to Tx_0,则称Tx_0点连续。

定理5:XX_1是赋范空间,T是从XX_1的线性算子,T:X \to X_1如果Tx_0点连续,则TX上连续。

注1:对于线性算子来说,一点连续意味着点点连续。

注2:线性算子T连续意味着:
\mathop {\lim }\limits_{n \to \infty } T\left( {{x_n}} \right) = T\left( {\mathop {\lim }\limits_{n \to \infty } {x_n}} \right)

极限运算和线性算子T作用可以交换顺序。

定理6:XX_1是赋范空间,T是从XX_1的线性算子,则T是连续的当且仅当T是有界的。

有界线性算子组成的赋范空间

下面我们把有界线性算子看作一个元素,构成一个新的线性空间,即由全体有界线性算子(如积分运算、矩阵运算)构成的空间。

从赋范空间的角度研究线性算子的性质。

定义7:XX_1是赋范空间,\mathcal{B}(X, X_1)表示从XX_1的全体有界线性算子。

如果X= X_1,我们把\mathcal{B}(X, X_1)简记为\mathcal{B}(X)

\mathcal{B}(X, X_1)中可以自然地定义线性运算(加法、数乘),对于任给的A, B \in \mathcal{B}(X, X_1)\alpha \in \mathbb{K},定义:
(A+B)(x) = Ax + Bx

(\alpha A)(x) = \alpha Ax

由于\mathcal{B}(X, X_1)对加法、数乘运算封闭,因此成为线性空间。

下面我们把有界线性算子看成空间中的元素,在空间中定义有界线性算子的范数

定义8:T是从赋范空间XX_1的有界线性算子,即存在M>0,使得
\left\| {Tx} \right\| \leqslant M\left\| x \right\|,\forall x \in X


\left\| T \right\| = \mathop {\sup }\limits_{\mathop {x \in X}\limits_{x \ne 0} } \frac{{\left\| {Tx} \right\|}}{{\left\| x \right\|}}

\left\| T \right\|称为线性算子T的范数。

定理10:T是从赋范空间XX_1的有界线性算子,则:
\left\| T \right\| = \mathop {\sup }\limits_{\left\| x \right\| = 1} \left\| {Tx} \right\| = \mathop {\sup }\limits_{\left\| x \right\| \leqslant 1} \left\| {Tx} \right\|

特别地,当A,B \in \mathcal{B}(X),还可以定义乘法运算(记为AB):
(A \cdot B)(x) = A(Bx)

显然AB也是线性算子,并且:
\left\| {AB} \right\| \leqslant \left\| A \right\|\left\| B \right\|

进一步有:
\left\| {{A^n}} \right\| \leqslant {\left\| A \right\|^n}

定理11:a = (a_1, a_2 , \cdots , a_n) \in \mathbb{R}^n。对于任意的x = (x_1, x_2, \cdots, x_n) \in \mathbb{R}^n,定义:
f(x) = \sum _{i=1}^{n} a_ix_i

f\mathbb{R}^n上的有界线性泛函。

注:\mathbb{R}^n上的任何有界线性泛函一定可以写成上述形式,f (x) = (a,x),即\mathbb{R}^n上的有界线性泛函f可以由\mathbb{R}^n中的元素a确定。

下面给出无穷维空间上的有界线性泛函

定理12:y_0(t)[a,b]上的连续函数,对于任意的x \in C[a,b],定义:
f(x ) \triangleq \int _a^b{x(t)y_0(t)} dt

fC[a,b]上的有界线性泛函。

注1:可以证明线性泛函的范数\|{f}\| = \int _a^b|y_0(t)|dt

注2:特别地,若y_0(t) \equiv 1,定积分f(x) = \int _a^b x(t)dtC[a,b]上的有界线性泛函。

注3:不是所有的线性算子都是有界的,例如十分重要的微分算子就是一类无界算子。如,对\sin nt \in C[0,1]求微分,我们有:
T(\sin{nt}) = n \cos{nt}, \;\; \|x_n\| = 1

但是,\| Tx_n \| = n \to \infty (n \to \infty),即T是无界的。

注:微分算子是一类十分重要的无界线性算子。微分算子虽然无界,但它是闭的线性算子。闭的线性算子也有“类似连续”的很好的性质。

有界线性算子空间的收敛性与完备性

有界线性算子空间中的收敛性

由算子的范数\| \cdot \|可以诱导出算子的距离:
d(A_1, A_2) = \| A_1 - A_2 \|,\;\; \forall A_1, A_2 \in \mathcal{B}(X, X_1)

因此,\mathcal{B}(X, X_1)也是一个距离空间(在空间中定义了元素距离结构),有了距离可以讨论空间中元素列的收敛性,接着就可以讨论空间完备性。

显然在\mathcal{B}(X, X_1)中可以讨论算子列按范数的收敛性

定义1:A_n, A \in \mathcal{B}(X, X_1),若
\| A_n - A\| \to 0 \;\;(n \to \infty)

则称有界线性算子列\{A_n \}按范数收敛到有界线性算子A

定理2:空间\mathcal{B}(X, X_1)中线性算子列\{A_n \}按范数收敛等价于线性算子列在X中的单位球面S一致收敛(收敛速度与x取值无关,x \in X)。

一致收敛直观解释,\| A_n x - Ax \| \to 0,使\| \cdot \|最大的x点都收敛了,那么其它的点必然收敛,这是由算子范数定义决定的,算子范数取的是对x所放大的最大的倍数(算子T对不同x取值放大倍数不同)。

进一步,算子列\{A_n \}按范数收敛等价于在有界集上一致收敛。

在数学分析中,函数的收敛有逐点收敛、一致收敛,根据研究问题不同使用不同的收敛性。在泛函分析中,同样可以根据研究问题不同,考虑不同收敛性。

线性算子在空间\mathcal{B}(X, X_1)中,除了按范数收敛(或称一致收敛),还可以定义其它收敛方式。

定义3:T_n, T \in \mathcal{B}(X, X_1) (n = 1,2, \cdots )。如果对于\forall x \in X, T_n x \to Tx ( n \to \infty),即
\| T_n x- Tx \| \to 0 \;\;\;(n \to \infty)

则称\{T_n \}逐点收敛到T(不同x收敛速度可能不同),或称\{T_n \}强收敛到T

注:\{T_n \}按范数收敛到T(一致收敛)可推出\{T_n \}强收敛到T,反之不成立。

有界线性算子空间的完备性

有界线性算子组成的空间是一个赋范空间,于是可以讨论它的完备性。

一个赋范空间是完备的(Banach空间)当且仅当空间中的Cauchy列一定收敛。

定理5:X是赋范空间,X_1Banach空间,则有界线性算子空间\mathcal{B}(X, X_1)Banach空间(完备的赋范空间)。

一致有界原则

我们把线性算子抽象成线性算子空间中的元素。抽象的目的是为了使我们能更清楚地看到线性算子的一些本质特征。

在线性算子空间的框架下,研究线性运算的性质,将得到一些深刻的结论,例如:一致有界原则,开映像定理,逆算子定理,闭图像定理。这三个定理和Hahn-Banach定理(线性泛函的延拓定理)可以看作是赋范空间中线性算子理论的基石。

这三个定理刻画了Banach空间中线性算子的重要性质。

Baire纲定理

定义1:(X,d)是距离空间,E \subset X。如果E不在X的任何非空开集中稠密,则称E是疏集。

稠密的定义:A,B是距离空间X中的点集,如果\bar B \supset A,则称BA中稠密。

注:疏集E中没有内点。事实上,若x \in E是内点,则存在一个开球S(x,r) \subset E,那么E在开球S(x,r)中稠密。

定义2:若集合E可表示成至多可数个疏集的并,即
E = \bigcup\limits_{n = 1}^\infty {{E_n}}

其中,E_n是疏集(n=1,2, \cdots),则称E第一纲集。不是第一纲集的集合称为第二纲集。

定理3(Baire纲定理):完备的距离空间是第二纲集。

推论:Banach空间是第二纲集。

一致有界原则

对于有界线性算子,可以得到:一族点点有界的有界线性算子必定一致有界。

定理7(Banach-Steinhaus一致有界原则):
\{ T_\alpha | \alpha \in I\}Banach空间X到赋范空间X_1中的有界线性算子族。如果对于\forall x \in X,有
\mathop {\sup }\limits_\alpha \left\| {{T_\alpha }x} \right\| < \infty

\left\{ {\left\| {{T_\alpha }} \right\|\left| {\alpha \in I} \right.} \right\}有界集。其中\alpha属于一个指标集。

注1:“一致”指的就是对所有的x \in X都成立。

注2:定理表明,若对任意的\forall x \in X,存在M_x > 0,使得
\left\| {{T_\alpha }x} \right\| \leqslant \mathop {\sup }\limits_\alpha \left\| {{T_\alpha }x} \right\| = {M_x} < \infty

则存在一个共同的M,使得
\left\| {{T_\alpha }} \right\| \leqslant M,\forall \alpha \in I

该定理的逆否命题:如果\left\{ {{T_\alpha }\left| {\alpha \in I} \right.} \right\}Banach空间X到赋范空间X_1中的有界线性算子族,\mathop {\sup }\limits_\alpha \left\| {{T_\alpha }} \right\| = \infty,则存在x \in X,使得
\mathop {\sup }\limits_\alpha \left\| {{T_\alpha }x} \right\| = \infty

该命题称为共鸣定理。

强收敛意义下的完备性

由上节定理5可知,如果X是赋范空间,X_1Banach空间,则有界线性算子空间\mathcal{B}(X, X_1)Banach空间。即空间中任何Cauchy列都按算子的范数收敛(即当n \to \infty,算子范数\| T_n - T \| \to 0)。

下面考虑在强收敛意义下的完备性即空间中任何Cauchy列逐点收敛。

定理12:X,X_1Banach空间,则\mathcal{B}(X, X_1)在强收敛意义下完备。

注:完备的含义:

  • T_n \in \mathcal{B}(X, X_1),
  • \forall x \in X, \{ T_nx\}X_1中的Cauchy列,则存在T \in \mathcal{B}(X, X_1){T_n}\mathop \to \limits^{Strong} T\left( {n \to \infty } \right),即
    \forall x \in X, {T_nx}\mathop \to Tx\left( {n \to \infty } \right)

注:T_n x就是第n次迭代后算子(模型)的输出。{T_nx}\mathop \to Tx , T_n \to T

开映射定理与逆算子定理

逆算子

若对任给的y \in \mathcal{R}(T)\mathcal{R}(T)表示映射T的值域),只有唯一的x \in X,使得y = Tx,则称映射T单射。这时可定义从值域\mathcal{R}(T)X的算子T^{-1},并称T^{-1}T逆算子

众多数学问题,都可归结为求方程Tx = y的解,即考虑T^{-1}是否存在、是否唯一以及T^{-1}是否连续(算子连续可保证解的稳定性)。

定义1(逆算子):T是从线性空间X到线性空间X_1中的线性算子。如果存在X_1X中的线性算子T_1,使得
T_1Tx = x (x \in \mathcal{D}(T) \subseteq X)

TT_1y = y (y \in \mathcal{R}(T) \subseteq X_1)

则称算子T有逆算子,T_1T的逆算子,记为T^{-1}

注1:T存在逆算子的充要条件是:T是空间X中到空间X_1中的一对一映射。

注2:如果T^{-1}存在,则T^{-1}是唯一的。

注3:可以证明T^{-1}也是线性算子。

注4:(T^{-1})^{-1} = T

定理2:T是从赋范空间X到赋范空间X_1中的线性算子。如果存在m > 0,使得
\left\| {Tx} \right\| \geqslant m\left\| x \right\|\left( {x \in \mathcal{D}\left( T \right)} \right)

T存在有界的逆算子T_1

注1:T^{-1}是从\mathcal{R}(T)\mathcal{D}(T)的映射,\mathcal{R}(T)不一定是全空间X_1\mathcal{D}(T)也不一定是全空间X

注2:这里并未要求T有界,只要求T下方有界即可。

开映射定理

定义3:TX \to X_1的一个映射,若TX中的任何一个开集映成X_1中的开集,则称T开映射。

定理4(开映射定理):T是定义在Banach空间X上到Banach空间X_1上的有界线性算子,则T是开映射。

注1:定理要求的条件是:\mathcal{D}(T)=X,\mathcal{R}(T)=X_1,TX = X_1

注2:定理表明:当T是有界线性算子时,若TX = X_1X , X_1都是Banach空间,则对开集G,TG一定也是开集。

注3:注意T是开映射与T是连续的区别。
T是开映射:T把一个开集映成开集。
T连续\Leftrightarrow开集的原像是开的,即G \subset X_1,G是开集\Rightarrow T^{-1}(G)是开集。

注4:如果线性算子T是开映射,且T的逆算子存在,则T的逆算子T^{-1}是连续的,也即T^{-1}是有界线性算子。

逆算子定理

定理5(Banach逆算子定理):T是定义在Banach空间X上到Banach空间X_1上一对一的有界线性算子,则T的逆算子存在,且T^{-1}是有界的。

注:TX = X_1,XBanach空间,X_1Banach空间或第二纲集这些条件不能少。

例如:X = X_1 = C[0,1]
Tx = \int_0^t {x\left( s \right)ds} , \ x(s) \in C[0,1]

注意到TX \ne X_1,经变上限积分算子映过去以后不再是一个Banach空间,因此推不出T^{-1}有界。

事实上,
TX = M =\left\{ {y \in C^1[0,1] | \;\;y(0) = 0}\right\}

MC[0,1]中的疏集(一阶可导函数的全体),不是第二纲集。

T^{-1}事实上是一个微分算子,是无界线性算子(微分运算不连续,会存在间断点)。

闭算子与闭图像定理

闭线性算子是一类非常重要的线性算子,它有与连续线性算子“相近”的性质(极限可以跟算子交换顺序),微分算子就是一类闭线性算子。

闭算子的定义

定义1:X, X_1是赋范空间,T是从X中到X_1中的线性算子,考虑乘积空间
X\times X_1 = \left\{ {(x,y) | \;\;x \in X, y\in X_1 }\right\}

在该空间上定义范数:
对于任意的z = (x,y) \in X \times X_1,令
\left\| z \right\| = \left\| {\left( {x,y} \right)} \right\| = \left\| x \right\| + {\left\| y \right\|_1}

X, X_1Banach空间,则X \times X_1也是Banach空间。令
G(T) = \left\{ {(x, Tx) \in X \times X_1 | x \in \mathcal{D}(T)} \right\}

称集合G(T)算子T的图像(很多时候这个图像是画不出来的)。

定义2:如果G(T)在乘积赋范空间X \times X_1是闭的,则称T闭算子

定理3:(闭算子的等价条件)X, X_1是赋范空间,T是从XX_1中的线性算子,则T是闭算子当且仅当对\forall \{x_n\} \subset \mathcal{D}(T), x_n \to x \in X,Tx_n \to y \in X_1,必有x \in \mathcal{D}(T), \ y = Tx

注1:由上述定理,显然定义在全空间上的有界(连续)线性算子一定是闭线性算子。

注2:对于闭线性算子来说,在上述条件下,极限运算可以和算子交换顺序。

闭图像定理

定理4:(闭图像定理)TBanach空间X上到Banach空间X_1中(不一定要映满全空间)的闭线性算子,则T有界线性算子。

最后编辑于
©著作权归作者所有,转载或内容合作请联系作者
  • 序言:七十年代末,一起剥皮案震惊了整个滨河市,随后出现的几起案子,更是在滨河造成了极大的恐慌,老刑警刘岩,带你破解...
    沈念sama阅读 203,772评论 6 477
  • 序言:滨河连续发生了三起死亡事件,死亡现场离奇诡异,居然都是意外死亡,警方通过查阅死者的电脑和手机,发现死者居然都...
    沈念sama阅读 85,458评论 2 381
  • 文/潘晓璐 我一进店门,熙熙楼的掌柜王于贵愁眉苦脸地迎上来,“玉大人,你说我怎么就摊上这事。” “怎么了?”我有些...
    开封第一讲书人阅读 150,610评论 0 337
  • 文/不坏的土叔 我叫张陵,是天一观的道长。 经常有香客问我,道长,这世上最难降的妖魔是什么? 我笑而不...
    开封第一讲书人阅读 54,640评论 1 276
  • 正文 为了忘掉前任,我火速办了婚礼,结果婚礼上,老公的妹妹穿的比我还像新娘。我一直安慰自己,他们只是感情好,可当我...
    茶点故事阅读 63,657评论 5 365
  • 文/花漫 我一把揭开白布。 她就那样静静地躺着,像睡着了一般。 火红的嫁衣衬着肌肤如雪。 梳的纹丝不乱的头发上,一...
    开封第一讲书人阅读 48,590评论 1 281
  • 那天,我揣着相机与录音,去河边找鬼。 笑死,一个胖子当着我的面吹牛,可吹牛的内容都是我干的。 我是一名探鬼主播,决...
    沈念sama阅读 37,962评论 3 395
  • 文/苍兰香墨 我猛地睁开眼,长吁一口气:“原来是场噩梦啊……” “哼!你这毒妇竟也来了?” 一声冷哼从身侧响起,我...
    开封第一讲书人阅读 36,631评论 0 258
  • 序言:老挝万荣一对情侣失踪,失踪者是张志新(化名)和其女友刘颖,没想到半个月后,有当地人在树林里发现了一具尸体,经...
    沈念sama阅读 40,870评论 1 297
  • 正文 独居荒郊野岭守林人离奇死亡,尸身上长有42处带血的脓包…… 初始之章·张勋 以下内容为张勋视角 年9月15日...
    茶点故事阅读 35,611评论 2 321
  • 正文 我和宋清朗相恋三年,在试婚纱的时候发现自己被绿了。 大学时的朋友给我发了我未婚夫和他白月光在一起吃饭的照片。...
    茶点故事阅读 37,704评论 1 329
  • 序言:一个原本活蹦乱跳的男人离奇死亡,死状恐怖,灵堂内的尸体忽然破棺而出,到底是诈尸还是另有隐情,我是刑警宁泽,带...
    沈念sama阅读 33,386评论 4 319
  • 正文 年R本政府宣布,位于F岛的核电站,受9级特大地震影响,放射性物质发生泄漏。R本人自食恶果不足惜,却给世界环境...
    茶点故事阅读 38,969评论 3 307
  • 文/蒙蒙 一、第九天 我趴在偏房一处隐蔽的房顶上张望。 院中可真热闹,春花似锦、人声如沸。这庄子的主人今日做“春日...
    开封第一讲书人阅读 29,944评论 0 19
  • 文/苍兰香墨 我抬头看了看天上的太阳。三九已至,却和暖如春,着一层夹袄步出监牢的瞬间,已是汗流浃背。 一阵脚步声响...
    开封第一讲书人阅读 31,179评论 1 260
  • 我被黑心中介骗来泰国打工, 没想到刚下飞机就差点儿被人妖公主榨干…… 1. 我叫王不留,地道东北人。 一个月前我还...
    沈念sama阅读 44,742评论 2 349
  • 正文 我出身青楼,却偏偏与公主长得像,于是被迫代替她去往敌国和亲。 传闻我的和亲对象是个残疾皇子,可洞房花烛夜当晚...
    茶点故事阅读 42,440评论 2 342

推荐阅读更多精彩内容

  • 对称是自然界中非常重要的几何性质。线性代数中可以看到对称矩阵有着很好的性质。 这一章研究: 内积空间(赋范空间)中...
    TonnyYan阅读 4,846评论 0 0
  • 赋范线性空间,就是在线性空间(对加法和数乘运算封闭)中引入范数结构。 (拓扑结构,就是在空间中定义了距离结构,有了...
    TonnyYan阅读 6,935评论 0 0
  • 如果不熟悉线性代数的概念,要去学习自然科学,现在看来就和文盲差不多。”,然而“按照现行的国际标准,线性代数是通过公...
    Drafei阅读 1,532评论 0 3
  • 内积空间是一种特殊的赋范空间,从泛函分析发展的历史上看,人们首先注意到的是内积空间而不是赋范空间。 内积空间特别是...
    TonnyYan阅读 6,308评论 0 2
  • 嗷嗷本人目前数学系大三,对高等代数大致复习一遍之后的思路整理,个人想法居多,不严谨,仅供参考,有错误欢迎指出,有建...
    流星落黑光阅读 11,232评论 1 16