有界算子
在泛函分析此一數學分支裡,有界線性算子是指在賦範向量空間X 及Y 之間的一種線性變換L,使得對所有X 內的非零向量v,L(v) 的範數與v 的範數間的比值會侷限在相同的數字內。亦即,存在一些M > 0,使得對所有在X 內的v,
其中最小的M 稱為L 的算子范数。。
有界線性算子一般不會是有界函數;後者需要對所有的v,L(v)的範數是有界的,但這只有在Y 為零向量空間時才有可能。然而,有界線性算符為局部有界函數。
一個線性算子為有界的,若且唯若其為連續的。因此有界线性算子也被称为连续线性算子。
例子
- 為一連續函數,則算符L
- (定義於由在 上的連續函數所組成的空間,賦予空間 均勻範數的值)是有界的。此一算符實際上也是緊緻的。緊緻算符在有界算符中是很重要的一類。
- (其定義域為索伯列夫空間,值域在由平方可積函數所組成的空間內)是有界的。
- 是有界的。其算符範數可輕易地看出為1。
有界和連續的等價
如開頭所述,在賦範空間X 及Y間的線性算子L 是有界的,若且唯若其為連續線性算子。證明如下:
- 設L 是有界的,則對X內的所有向量v 及h(其中的h不為零),會有
- 反過來,在零向量的連續性,允許存在一個,使得對所有X 內 的向量h,。因此,對所有'X 內的非零向量v,會有
- 這證明了L 是有界的。
參考資料
- Kreyszig, Erwin: Introductory Functional Analysis with Applications, Wiley, 1989
参见
- 算子代数
- 算子理论
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.