有界線性算子

回顧

數(shù)學(xué)主要研究的對象是函數(shù)、運(yùn)算。

在這之前,我們關(guān)注的空間基本上是函數(shù)空間x(t)或數(shù)列x_n組成的空間,并建立了距離空間、賦范空間、內(nèi)積空間、Hilbert空間的概念。

運(yùn)用了類比、聯(lián)想、歸納等數(shù)學(xué)研究方法,把有限維空間的代數(shù)結(jié)構(gòu)和幾何特征延伸、拓展到無窮維空間。

線性算子

許多數(shù)學(xué)問題,如:中學(xué)解析幾何中的平移和旋轉(zhuǎn)就是一些線性變換(運(yùn)算)

高等數(shù)學(xué)研究的微分、積分也都是線性運(yùn)算,它們與{\mathbb{R}}^n空間中的線性變換(向量的旋轉(zhuǎn)、拉伸、平移等)有很多相同的運(yùn)算性質(zhì)。

線性方程組、微分方程、積分方程都可以看作是特定空間中的線性運(yùn)算(或者稱為線性變換或線性映射)

我們把這些稱之為線性算子,線性算子是泛函分析中最重要的基本概念之一。我們將全體有界線性算子(如積分、矩陣等)看作一個線性空間,并賦予范數(shù),成為賦范線性空間,線性算子看作賦范空間中的元素。

線性算子空間是線性泛函分析研究的主要對象。在線性算子空間的框架下,研究線性運(yùn)算的性質(zhì),解決分析、代數(shù)、幾何中的問題。

在賦范空間中討論有界線性算子的本質(zhì)特征,可以得到一些很深刻的結(jié)論:

  • 一致有界原則;
  • 開映射定理、逆算子定理;
  • 閉圖像定理。

有界線性算子與有界線性泛函

有界線性算子與有界線性泛函的定義

滿足性質(zhì) T(\alpha x + \beta y) = \alpha Tx + \beta Ty 的運(yùn)算T稱為線性算子。因此微分運(yùn)算、積分運(yùn)算都是線性算子。

定義1:設(shè)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}是數(shù)域),則稱映射T是從XX_1線性算子。\mathcal{D}(T)稱為T定義域。

注1: 一般地,\mathcal{D}(T)X的真子集,如果\mathcal{D}(T)= X,則稱T是從XX_1的線性算子。

注2:X_1 = \mathbb{K}(數(shù)),T:\mathcal{D}(T) \to \mathbb{K}。這樣的線性算子稱為是線性泛函。

即線性泛函T(或f)是從賦范空間X到數(shù)域\mathbb{K}的線性算子。

注3:從信號與系統(tǒng)的角度,X空間其實(shí)就是系統(tǒng)的輸入空間(輸入信號),X_1空間就是系統(tǒng)的輸出空間(輸出信號)或者變換(作用)后的空間;線性算子就是一個線性系統(tǒng)。

定義2:設(shè)T是從XX_1的線性算子,若存在常數(shù)M>0,使得
{\left\| {Tx} \right\|_1} \leqslant M\left\| x \right\|,\forall x \in X

則稱T有界線性算子。

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

則稱f有界線性泛函。因?yàn)榉汉吵梢粋€數(shù),所以一個數(shù)的范數(shù)用絕對值表示。

注1:有界線性算子的有界是指映射后“放大的倍數(shù)”不超過一個常數(shù)。(元素的大小用范數(shù)衡量)

注2:由于內(nèi)積可以產(chǎn)生范數(shù),內(nèi)積空間也是賦范空間,因此,有關(guān)賦范空間上的有界線性算子、有界線性泛函的討論在內(nèi)積空間依然成立。

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

定義4:設(shè)XX_1是賦范空間,T是從XX_1的線性算子,若x_n \to x_0時,Tx_n \to Tx_0,則稱Tx_0點(diǎn)連續(xù)。

定理5:設(shè)X,X_1是賦范空間,T是從XX_1的線性算子,T:X \to X_1如果Tx_0點(diǎn)連續(xù),則TX上連續(xù)。

注1:對于線性算子來說,一點(diǎn)連續(xù)意味著點(diǎn)點(diǎn)連續(xù)。

注2:線性算子T連續(xù)意味著:
\mathop {\lim }\limits_{n \to \infty } T\left( {{x_n}} \right) = T\left( {\mathop {\lim }\limits_{n \to \infty } {x_n}} \right)

極限運(yùn)算和線性算子T作用可以交換順序。

定理6:設(shè)X,X_1是賦范空間,T是從XX_1的線性算子,則T是連續(xù)的當(dāng)且僅當(dāng)T是有界的。

有界線性算子組成的賦范空間

下面我們把有界線性算子看作一個元素,構(gòu)成一個新的線性空間,即由全體有界線性算子(如積分運(yùn)算、矩陣運(yùn)算)構(gòu)成的空間。

從賦范空間的角度研究線性算子的性質(zhì)。

定義7:設(shè)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)中可以自然地定義線性運(yùn)算(加法、數(shù)乘),對于任給的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)對加法、數(shù)乘運(yùn)算封閉,因此成為線性空間。

下面我們把有界線性算子看成空間中的元素,在空間中定義有界線性算子的范數(shù)

定義8:設(shè)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的范數(shù)。

定理10:設(shè)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\|

特別地,當(dāng)A,B \in \mathcal{B}(X),還可以定義乘法運(yùn)算(記為AB):
(A \cdot B)(x) = A(Bx)

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

進(jìn)一步有:
\left\| {{A^n}} \right\| \leqslant {\left\| A \right\|^n}

定理11:設(shè)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: 設(shè)y_0(t)[a,b]上的連續(xù)函數(shù),對于任意的x \in C[a,b],定義:
f(x ) \triangleq \int _a^b{x(t)y_0(t)} dt

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

注1:可以證明線性泛函的范數(shù)\|{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是無界的。

注:微分算子是一類十分重要的無界線性算子。微分算子雖然無界,但它是閉的線性算子。閉的線性算子也有“類似連續(xù)”的很好的性質(zhì)。

有界線性算子空間的收斂性與完備性

有界線性算子空間中的收斂性

由算子的范數(shù)\| \cdot \|可以誘導(dǎo)出算子的距離:
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)也是一個距離空間(在空間中定義了元素距離結(jié)構(gòu)),有了距離可以討論空間中元素列的收斂性,接著就可以討論空間完備性。

顯然在\mathcal{B}(X, X_1)中可以討論算子列按范數(shù)的收斂性。

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

則稱有界線性算子列\{A_n \}按范數(shù)收斂到有界線性算子A。

定理2:空間\mathcal{B}(X, X_1)中線性算子列\{A_n \}按范數(shù)收斂等價于線性算子列在X中的單位球面S一致收斂(收斂速度與x取值無關(guān),x \in X)。

一致收斂直觀解釋,\| A_n x - Ax \| \to 0,使\| \cdot \|最大的x點(diǎn)都收斂了,那么其它的點(diǎn)必然收斂,這是由算子范數(shù)定義決定的,算子范數(shù)取的是對x所放大的最大的倍數(shù)(算子T對不同x取值放大倍數(shù)不同)。

進(jìn)一步,算子列\{A_n \}按范數(shù)收斂等價于在有界集上一致收斂。

在數(shù)學(xué)分析中,函數(shù)的收斂有逐點(diǎn)收斂、一致收斂,根據(jù)研究問題不同使用不同的收斂性。在泛函分析中,同樣可以根據(jù)研究問題不同,考慮不同收斂性。

線性算子在空間\mathcal{B}(X, X_1)中,除了按范數(shù)收斂(或稱一致收斂),還可以定義其它收斂方式。

定義3:設(shè)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 \}逐點(diǎn)收斂到T(不同x收斂速度可能不同),或稱\{T_n \}強(qiáng)收斂到T。

注:\{T_n \}按范數(shù)收斂到T(一致收斂)可推出\{T_n \}強(qiáng)收斂到T,反之不成立。

有界線性算子空間的完備性

有界線性算子組成的空間是一個賦范空間,于是可以討論它的完備性。

一個賦范空間是完備的(Banach空間)當(dāng)且僅當(dāng)空間中的Cauchy列一定收斂。

定理5:設(shè)X是賦范空間,X_1Banach空間,則有界線性算子空間\mathcal{B}(X, X_1)Banach空間(完備的賦范空間)。

一致有界原則

我們把線性算子抽象成線性算子空間中的元素。抽象的目的是為了使我們能更清楚地看到線性算子的一些本質(zhì)特征。

在線性算子空間的框架下,研究線性運(yùn)算的性質(zhì),將得到一些深刻的結(jié)論,例如:一致有界原則,開映像定理,逆算子定理,閉圖像定理。這三個定理和Hahn-Banach定理(線性泛函的延拓定理)可以看作是賦范空間中線性算子理論的基石。

這三個定理刻畫了Banach空間中線性算子的重要性質(zhì)。

Baire綱定理

定義1:設(shè)(X,d)是距離空間,E \subset X。如果E不在X的任何非空開集中稠密,則稱E是疏集。

稠密的定義:A,B是距離空間X中的點(diǎn)集,如果\bar B \supset A,則稱BA中稠密。

注:疏集E中沒有內(nèi)點(diǎn)。事實(shí)上,若x \in E是內(nèi)點(diǎn),則存在一個開球S(x,r) \subset E,那么E在開球S(x,r)中稠密。

定義2:若集合E可表示成至多可數(shù)個疏集的并,即
E = \bigcup\limits_{n = 1}^\infty {{E_n}}

其中,E_n是疏集(n=1,2, \cdots),則稱E第一綱集。不是第一綱集的集合稱為第二綱集。

定理3(Baire綱定理):完備的距離空間是第二綱集。

推論:Banach空間是第二綱集。

一致有界原則

對于有界線性算子,可以得到:一族點(diǎn)點(diǎn)有界的有界線性算子必定一致有界。

定理7(Banach-Steinhaus一致有界原則):
設(shè)\{ 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屬于一個指標(biāo)集。

注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

該命題稱為共鳴定理。

強(qiáng)收斂意義下的完備性

由上節(jié)定理5可知,如果X是賦范空間,X_1Banach空間,則有界線性算子空間\mathcal{B}(X, X_1)Banach空間。即空間中任何Cauchy列都按算子的范數(shù)收斂(即當(dāng)n \to \infty,算子范數(shù)\| T_n - T \| \to 0)。

下面考慮在強(qiáng)收斂意義下的完備性即空間中任何Cauchy列逐點(diǎn)收斂。

定理12:設(shè)X,X_1Banach空間,則\mathcal{B}(X, X_1)在強(qiáng)收斂意義下完備。

注:完備的含義:

  • 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逆算子。

眾多數(shù)學(xué)問題,都可歸結(jié)為求方程Tx = y的解,即考慮T^{-1}是否存在、是否唯一以及T^{-1}是否連續(xù)(算子連續(xù)可保證解的穩(wěn)定性)。

定義1(逆算子):設(shè)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:設(shè)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:設(shè)TX \to X_1的一個映射,若TX中的任何一個開集映成X_1中的開集,則稱T開映射。

定理4(開映射定理):設(shè)T是定義在Banach空間X上到Banach空間X_1上的有界線性算子,則T是開映射。

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

注2:定理表明:當(dāng)T是有界線性算子時,若TX = X_1,X , X_1都是Banach空間,則對開集G,TG一定也是開集。

注3:注意T是開映射與T是連續(xù)的區(qū)別。
T是開映射:T把一個開集映成開集。
T連續(xù)\Leftrightarrow開集的原像是開的,即G \subset X_1,G是開集\Rightarrow T^{-1}(G)是開集。

注4:如果線性算子T是開映射,且T的逆算子存在,則T的逆算子T^{-1}是連續(xù)的,也即T^{-1}是有界線性算子。

逆算子定理

定理5(Banach逆算子定理):設(shè)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,經(jīng)變上限積分算子映過去以后不再是一個Banach空間,因此推不出T^{-1}有界。

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

MC[0,1]中的疏集(一階可導(dǎo)函數(shù)的全體),不是第二綱集。

T^{-1}事實(shí)上是一個微分算子,是無界線性算子(微分運(yùn)算不連續(xù),會存在間斷點(diǎn))。

閉算子與閉圖像定理

閉線性算子是一類非常重要的線性算子,它有與連續(xù)線性算子“相近”的性質(zhì)(極限可以跟算子交換順序),微分算子就是一類閉線性算子。

閉算子的定義

定義1:設(shè)X, X_1是賦范空間,T是從X中到X_1中的線性算子,考慮乘積空間
X\times X_1 = \left\{ {(x,y) | \;\;x \in X, y\in X_1 }\right\}

在該空間上定義范數(shù):
對于任意的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:(閉算子的等價條件)設(shè)X, X_1是賦范空間,T是從XX_1中的線性算子,則T是閉算子當(dāng)且僅當(dāng)對\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:由上述定理,顯然定義在全空間上的有界(連續(xù))線性算子一定是閉線性算子。

注2:對于閉線性算子來說,在上述條件下,極限運(yùn)算可以和算子交換順序。

閉圖像定理

定理4:(閉圖像定理)設(shè)TBanach空間X上到Banach空間X_1中(不一定要映滿全空間)的閉線性算子,則T有界線性算子。

最后編輯于
?著作權(quán)歸作者所有,轉(zhuǎn)載或內(nèi)容合作請聯(lián)系作者
【社區(qū)內(nèi)容提示】社區(qū)部分內(nèi)容疑似由AI輔助生成,瀏覽時請結(jié)合常識與多方信息審慎甄別。
平臺聲明:文章內(nèi)容(如有圖片或視頻亦包括在內(nèi))由作者上傳并發(fā)布,文章內(nèi)容僅代表作者本人觀點(diǎn),簡書系信息發(fā)布平臺,僅提供信息存儲服務(wù)。

相關(guān)閱讀更多精彩內(nèi)容

  • 對稱是自然界中非常重要的幾何性質(zhì)。線性代數(shù)中可以看到對稱矩陣有著很好的性質(zhì)。 這一章研究: 內(nèi)積空間(賦范空間)中...
    TonnyYan閱讀 5,444評論 0 0
  • 賦范線性空間,就是在線性空間(對加法和數(shù)乘運(yùn)算封閉)中引入范數(shù)結(jié)構(gòu)。 (拓?fù)浣Y(jié)構(gòu),就是在空間中定義了距離結(jié)構(gòu),有了...
    TonnyYan閱讀 7,474評論 0 0
  • 如果不熟悉線性代數(shù)的概念,要去學(xué)習(xí)自然科學(xué),現(xiàn)在看來就和文盲差不多?!?,然而“按照現(xiàn)行的國際標(biāo)準(zhǔn),線性代數(shù)是通過公...
    Drafei閱讀 1,786評論 0 3
  • 內(nèi)積空間是一種特殊的賦范空間,從泛函分析發(fā)展的歷史上看,人們首先注意到的是內(nèi)積空間而不是賦范空間。 內(nèi)積空間特別是...
    TonnyYan閱讀 6,833評論 0 2
  • 嗷嗷本人目前數(shù)學(xué)系大三,對高等代數(shù)大致復(fù)習(xí)一遍之后的思路整理,個人想法居多,不嚴(yán)謹(jǐn),僅供參考,有錯誤歡迎指出,有建...
    流星落黑光閱讀 11,639評論 1 16

友情鏈接更多精彩內(nèi)容