作用素 (関数解析学)

テンプレート:出典の明記数学における作用素（さようそ、テンプレート:Lang-en-short）は、しばしば写像、函数、変換などの一般化として用いられる^[1]。函数解析学においては主にヒルベルト空間やバナッハ空間上の（必ずしも写像でない部分写像の意味での）線型変換を単に作用素と呼ぶ。そのような空間として特に函数空間と呼ばれる函数の成す無限次元線型空間は典型的であり（同じものを物理学の分野、特に量子力学などでは演算子（えんざんし）と呼ぶ）、このとき、作用素を関数を別の関数にうつす写像として理解することができる。定義されているベクトル空間の係数体に値をとる作用素は汎函数（はんかんすう、functional）と呼ばれる。

また、群や環が空間に作用しているとき、群や環の各元が定める空間上の変換、あるいはその変換が引き起こす関数空間上の変換のことを作用素ということがある。

定義

作用素テンプレート:Mvar が定義域テンプレート:Math 上で単射ならば逆写像テンプレート:Math はテンプレート:Math 上の作用素であり、逆作用素と呼ばれる。

テンプレート:Mvar からテンプレート:Mvar への作用素テンプレート:Mvar, テンプレート:Mvar は定義域が等しく、定義域上で写像として等しいときに等しいといい、テンプレート:Math と表す。

テンプレート:Mvar からテンプレート:Mvar への作用素テンプレート:Mvar, テンプレート:Mvar のテンプレート:Math によるスカラー倍、和、積は以下のように定義される。

$(α T) x : = α (T x) x \in D (α T) : = D (T)$
$(S + T) x : = S x + T x x \in D (S + T) : = D (S) \cap D (T)$
$(S T) x : = S (T x) x \in D (S T) : = {y \in D (T) ∣ T y \in D (S)}$

作用素のクラス

汎函数

テンプレート:Main 汎函数はベクトル空間からその係数体への作用素である。汎函数は超函数論や変分法に重要な応用を持ち、これらの分野は理論物理学において重要である。

線型作用素

もっともありふれた作用素の種類は線型作用素である。体テンプレート:Mvar 上の線型空間テンプレート:Math に対し、作用素テンプレート:Math が線型であるとは、定義域テンプレート:Math がテンプレート:Mvar の線型部分空間であり、任意のテンプレート:Math および任意のテンプレート:Math に対して

T (α x + β y) = α T x + β T y

が満たされることを言うテンプレート:Sfn。

線型作用素の重要性として、それがベクトル空間の間の射となることを挙げよう。

有限次元の場合には線型作用素は以下のように行列として表現することができる。体テンプレート:Mvar 上のベクトル空間テンプレート:Mvar およびテンプレート:Mvar について、それぞれの基底テンプレート:Math およびテンプレート:Math を選んで固定する。（アインシュタインの和の規約によって）任意のベクトルテンプレート:Math を取るとき、線型作用素テンプレート:Math に対して

T x = x^{i} T u_{i} = x^{i} (T u_{i})^{j} v_{j}

が成り立ち、このときテンプレート:Math によって作用素テンプレート:Mvar の固定した基底に関する行列が得られる。ここでテンプレート:Math はテンプレート:Mvar の取り方に依らない。またテンプレート:Math である。故に、固定した基底に関するテンプレート:Math-行列と線型作用素テンプレート:Math の間に一対一対応が成立する。

有限次元ベクトル空間の間の作用素に直接関係のある重要概念として、階数、行列式、逆作用素、固有空間などがある。

無限次元の場合においても線型作用素は重要である。階数や行列式の概念を無限次元行列に対してまで拡張することはできず、それは無限次元の場合において線型作用素（あるいは一般の作用素）に対して有限次元の場合とは非常に異なる手法が展開されることの理由でもある。無限次元の場合の線型作用素の研究は函数解析学と呼ばれる（このように呼ばれるのは、さまざまな函数のクラスが無限次元ベクトル空間の興味深い例をあたえるからである）。

実数列の全体や、任意のベクトル空間内のベクトル列の全体の成す空間はそれ自身が無限次元のベクトル空間になる。最も重要なのが実数列あるいは複素数列の場合で、それら全体の成す空間及びその部分空間は数列空間と呼ばれる。またこれらの空間上の作用素はテンプレート:仮リンクという。

有界作用素と作用素ノルム

テンプレート:Main ベクトル空間テンプレート:Math はともに同じ順序体（例えば実数体テンプレート:Math）上のベクトル空間で、ノルムを備えるものとする。線型作用素テンプレート:Math が有界とは、適当な定数テンプレート:Math が存在して、任意のテンプレート:Math に対して

‖ T x ‖_{V} \leq C ‖ x ‖_{U}

が成立することをいう。これは線型作用素が連続であることと同値であるテンプレート:Sfn。

全空間で定義されている有界線型作用素の全体はベクトル空間を成し、その上に作用素ノルムと呼ばれるテンプレート:Math のノルムと両立するノルム

‖ T ‖ = \inf {C > 0 : ‖ T x ‖_{V} \leq C ‖ x ‖_{U}}

を入れることができる。テンプレート:Math の場合には

‖ S T ‖ \leq ‖ S ‖ \cdot ‖ T ‖

が成り立つことが示せる。この性質を持つ任意の単位的ノルム代数はバナッハ代数と呼ばれる。このような代数の上にもスペクトル論は一般化することが可能である。バナッハ代数にさらに追加の構造を入れた[[C*-環|テンプレート:Math-環]]は量子力学において重要な役割を果たす。

バナッハ空間空間上の有界線型作用素の全体は標準作用素ノルムに関してバナッハ代数を成す。バナッハ代数の理論は、固有空間論をエレガントに一般化する非常に一般なスペクトルの概念を発達させた。

例

幾何学

テンプレート:Main 幾何学において、ベクトル空間に更なる構造を入れたものがしばしば調べられる。そのような空間からそれ自身への全単射な写像となる作用素は、合成に関して自然に群を成し、その空間を調べるのに非常に有効である。

例えば、ベクトル空間の構造を保つ全単射な作用素は可逆線型作用素であり、その全体は合成に関して一般線型群となる。この群は作用素の（点ごとの）和に関してベクトル空間とはテンプレート:Em（例えばテンプレート:Math およびテンプレート:Math はともに可逆な作用素だがそれらの和テンプレート:Math はそうではない）。

また例えば、ユークリッド距離を保つ作用素の全体はテンプレート:仮リンクを成し、その原点を保つ作用素全体の成す部分群は直交群として知られる。直交群に属する作用素でベクトルの組の向きを保つものは特殊直交群（または回転群）と呼ばれる群を成す。

確率論

テンプレート:Main 確率論で用いられる期待値、分散、共分散、テンプレート:仮リンクなどを取る操作は作用素の例になっている。

初等解析学

テンプレート:Main 函数解析学の観点から見れば、微分積分学は二つの作用素：微分テンプレート:Mvar と積分テンプレート:Mvar の研究である。

フーリエ変換は応用数学、特に物理学や符号理論において有用な積分作用素である。その有用性は、これを（時間領域上の）函数を別の（周波数領域上の）函数へ変換するものとみるとき可逆変換となることが大きい（逆変換があることによって重要な情報が落ちてしまうことがない）。単純な周期函数の場合には、この結果は任意の周期函数が正弦波と余弦波の級数として

f (t) = \frac{a_{0}}{2} + \sum_{n = 1}^{\infty} a_{n} \cos (ω n t) + b_{n} \sin (ω n t)

と表すことができるという定理に基づく。このときの係数列テンプレート:Math は実は自乗総和可能数列の成す無限次元ベクトル[[数列空間|空間テンプレート:Math]] のベクトルであり、フーリエ級数を線型作用素と見做すことができる。一般の函数テンプレート:Math の場合には、変換は積分

f (t) = \frac{1}{\sqrt{2 π}} \int_{- \infty}^{+ \infty} g (ω) e^{i ω t} d ω

の形を取る。同様の積分作用素として、微分方程式の解法に良く用いられるラプラス変換はテンプレート:Math に対して

F (s) = (ℒ f) (s) = \int_{0}^{\infty} e^{- s t} f (t) d t

を割り当てる。

ベクトル解析

テンプレート:Main ベクトル解析においてしばしば用いられる三つの作用素を挙げておこう:

勾配テンプレート:Math（あるいは記号的に [[ナブラ|テンプレート:Math]]）はスカラー場の各点に対して、その点における変化率が最大の方向を向きとしその最大変化率の絶対値を大きさとするベクトルを割り当てる。
発散テンプレート:Math（あるいは記号的にテンプレート:Math）はベクトル場の各点における場の発散または収斂の度合いを測るベクトル作用素である。
回転テンプレート:Math（あるいは記号的にテンプレート:Math）はベクトル場の各点においてその点の周りでの場の回転の度合いを測るベクトル作用素である。

物理学や工学への応用においては、ベクトル解析のテンソル空間への拡張として作用素テンプレート:Math はテンソル解析においてもベクトル解析同様に用いられる^[2]。

注

テンプレート:Reflist

参考文献

テンプレート:Cite book

外部リンク

[1] テンプレート:Harv, テンプレート:Harv

[Vector_and_Tensor_Operators-2] テンプレート:Cite book

[1]

[2]

作用素 (関数解析学)

目次

定義

作用素のクラス

汎函数

線型作用素

有界作用素と作用素ノルム

例

幾何学

確率論

初等解析学

ベクトル解析

注

参考文献

関連項目

外部リンク

ナビゲーションメニュー

作用素 (関数解析学)

定義

作用素のクラス

汎函数

線型作用素

有界作用素と作用素ノルム

例

幾何学

確率論

初等解析学

ベクトル解析

注

参考文献

関連項目

外部リンク

ナビゲーション メニュー

検索

ナビゲーションメニュー