跳至內容

算子

本頁使用了標題或全文手工轉換
維基百科,自由的百科全書

在數學領域裏,算子(operator)有別於物理的算符,是一種映射,一個向量空間的元素通過此映射(或)在另一個向量空間(也有可能是相同的向量空間)中產生另一個元素。

算子對於線性代數泛函分析都至關重要,它在純數學和應用數學的許多其他領域中都有應用。 例如,在經典力學中,導數的使用無處不在,而在量子力學中,可觀察量由埃爾米特算子表示。 各種算子可以具有包括線性連續性有界性等的重要性質。

定義

[編輯]

UV是兩個向量空間。 從UV的任意映射被稱為算子。 令V是域K上的向量空間。我們可以定義包含所有從UV算子的集合上的向量空間結構(AB是算子):

對所有A, B: U→V,xUαK

從一個向量空間到自身的算子構成一個辛結合代數

單位元素是恆等映射(通常記為EI或id)。

有界算子和算子範數

[編輯]

UV是同一有序體(例如)上的兩個賦範向量空間。從UV的線性算子被稱為有界,如果存在C>0滿足

對所有xU

有界算子構成一個向量空間。在這個向量空間上,我們可以引入一個與UV的範數相容的範數:

對於從U到自身的算子有

任何具有這一性質的辛賦範代數被稱為Banach代數。 可以將譜理論推廣到這樣的代數上。 C*-代數是具有一些附加結構的Banach代數,在量子力學中起重要作用。

特殊情形

[編輯]

泛函

[編輯]

泛函是將向量空間映射到其底的算子。 廣義函數理論和變分法是泛函的重要應用。 兩者對理論物理都非常重要。

線性算子

[編輯]

線性算子是最常見的算子。設UV是域K上的向量空間。算子AUV被稱為線性,如果

對所有xyUα、βK

線性算子的重要性在於它是向量空間之間的態射

在有限維情形下,線性算子可以以下面的方式由矩陣表示。 設是一個域,上有限維向量空間。選擇一組基上和一組基上。令上的任意向量(假設有愛因斯坦求和約定),且有是線性算子。則有

所以有是算子在固定基底下的矩陣表示。不依賴於的選取,且有當且僅當。因此在固定基底下的n×m矩陣一一映射到從的線性算子。

與有限維向量空間之間的算子直接相關的重要概念包括行列式逆算子特徵空間

線性算子在無限維情形也起着重要作用。秩和行列式的概念不能擴展到無限維矩陣。 這就是為什麼在無限維情況下研究線性算子(和一般的算子)時採用非常不同的技術的原因。 在無限維情況下的對線性算子的研究被稱為泛函分析

實數序列(或更一般地任意向量空間中的向量序列)的空間本身構成無限維向量空間。 最重要的情形是實數或複數序列,這些空間與線性子空間一起被稱為序列空間。 這些空間上的算子被稱為序列轉換

巴拿赫空間上的有界線性算子在標準算子範數意義下構成Banach代數。 Banach代數理論將特徵空間理論推廣到更一般的的概念。

例子

[編輯]

幾何

[編輯]

幾何中,有時研究向量空間上的附加結構。 在這些研究中,將這些向量空間一一映射到自身的算子非常有用,它們通過構造自然地構成

例如保持向量空間結構的對射算子正是可逆線性算子。 它們構成了一般線性群。 它們算子加法下不是向量空間,例如, id和-id都是可逆的(對射),但它們的和為0,不可逆。

在這樣的空間上保持歐幾里得度量的算子構成等度群,保持原型不變的子群被稱為正交群。正交群中的保角算子構成特殊正交群。

概率論

[編輯]

概率論中也涉及到算子,如期望值方差協方差階乘等。

微積分

[編輯]

從泛函分析的角度來說,微積分是研究兩個線性算子:微分算子和不定積分算子

傅立葉級數和傅立葉轉換

[編輯]

傅立葉轉換應用數學特別是物理學訊號處理中都是有用的工具。 它是另一種積分算子; 它的意義主要在於它以一種有效的可逆的方式將一個時域上的函數轉換為頻域上的函數。 因為是一個可逆轉換算子,所以沒有資訊損失。 在週期函數這一簡單情況下,該結果是基於定理任何連續週期函數可以表示為一系列正弦波和餘弦波的和:

(a0, a1, b1, a2, b2, ...)實際上是無限維向量空間ℓ2的元素,因此傅立葉級數是線性算子。

當處理RC的一般函數時,轉換採用積分形式:

拉普拉斯轉換

[編輯]

拉普拉斯轉換是另一種積分算子,用於簡化求解微分方程的過程。

對於f = f(s),拉普拉斯轉換定義如下:

純量和向量場上的基本算子

[編輯]

三個算子是向量微積分的關鍵:

作為從向量微積分算子到物理、工程和張量空間的延伸,梯度、散度和旋度算子也經常與張量微積分相關聯。 [1]

另請參閱

[編輯]

參考文獻

[編輯]
  1. ^ h.m. schey. Div Grad Cural and All that. New York: W W Norton. 2005 [2016-12-13]. ISBN 0-393-92516-1. (原始內容存檔於2022-07-24).