作用素

提供: miniwiki
2018/8/19/ (日) 17:45時点におけるAdmin (トーク | 投稿記録)による版 (1版 をインポートしました)
(差分) ← 古い版 | 最新版 (差分) | 新しい版 → (差分)
移動先:案内検索

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

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

定義

U, V を共通の係数体 K をもつ線型空間とする。このとき U から V への部分写像、すなわち部分集合 DU 上で定義された V への写像 TD 上の作用素という[2]。単に U から V への作用素とも呼ぶ。部分集合 D定義域、部分集合 [math]R = \{\, Tx \mid x \in D \,\}[/math]値域と呼ばれ、それぞれ D(T) = D, R(T) = R と表す。

作用素 T が定義域 D(T) 上で単射ならば逆写像 T−1R(T) 上の作用素であり、逆作用素と呼ばれる。

U から V への作用素 S, T は定義域が等しく、定義域上で写像として等しいときに等しいといい、S = T と表す。

U から V への作用素 S, TαK によるスカラー倍、和、積は以下のように定義される。

  • [math] (\alpha T)x := \alpha (Tx) \qquad x \in D(\alpha T) := D(T) [/math]
  • [math] (S + T)x := Sx + Tx \qquad x \in D(S + T) := D(S) \cap D(T) [/math]
  • [math] (ST)x := S(Tx) \qquad x \in D(ST) := \{\, y \in D(T) \mid Ty \in D(S) \,\} [/math]

作用素のクラス

汎函数

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

線型作用素

もっともありふれた作用素の種類は線型作用素である。体 K 上の線型空間 U, V に対し、作用素 T: UV線型であるとは、定義域 D(T)U の線型部分空間であり、任意の x, yD(T) および任意の α, βK に対して

[math]T(\alpha x + \beta y) = \alpha T x + \beta T y[/math]

が満たされることを言う[3]

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

有限次元の場合には線型作用素は以下のように行列として表現することができる。体 K 上のベクトル空間 U および V について、それぞれの基底 u1, …, unU および v1, …, vmV を選んで固定する。(アインシュタインの和の規約によって)任意のベクトル x = xiuiU を取るとき、線型作用素 T: UV に対して

[math]Tx = x^i Tu_i = x^i (Tu_i)^j v_j [/math]

が成り立ち、このとき aテンプレート:Su := (Tui)jK によって作用素 T の固定した基底に関する行列が得られる。ここで (aテンプレート:Su)x の取り方に依らない。また Tx = yaテンプレート:Suxi = yj である。故に、固定した基底に関する n × m-行列と線型作用素 UV の間に一対一対応が成立する。

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

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

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

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

ベクトル空間 U, V はともに同じ順序体(例えば実数R)上のベクトル空間で、ノルムを備えるものとする。線型作用素 T: UV有界とは、適当な定数 C > 0 が存在して、任意の xD(T) に対して

[math]\|Tx\|_V \leq C\|x\|_U[/math]

が成立することをいう。これは線型作用素が連続であることと同値である[4]

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

[math]\|T\| = \inf \{\, C \gt 0 : \|Tx\|_V \leq C\|x\|_U\}[/math]

を入れることができる。U = V の場合には

[math]\|ST\| \leq \|S\|\cdot\|T\|[/math]

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

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

幾何学

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

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

また例えば、ユークリッド距離を保つ作用素の全体は等距変換群English版を成し、その原点を保つ作用素全体の成す部分群は直交群として知られる。直交群に属する作用素でベクトルの組の向きを保つものは特殊直交群(または回転群)と呼ばれる群を成す。

確率論

確率論で用いられる期待値分散共分散階乗モーメントEnglish版などを取る操作は作用素の例になっている。

初等解析学

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

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

[math]f(t) = {a_0 \over 2} + \sum_{n=1}^{\infty}{ a_n \cos ( \omega n t ) + b_n \sin ( \omega n t ) } [/math]

と表すことができるという定理に基づく。このときの係数列 (a0, a1, b1, a2, b2, …) は実は自乗総和可能数列の成す無限次元ベクトル空間 2 のベクトルであり、フーリエ級数を線型作用素と見做すことができる。一般の函数 RC の場合には、変換は積分

[math]f(t) = {1 \over \sqrt{2\pi}} \int_{-\infty}^{+\infty}{g(\omega )e^{i\omega t} \,d\omega }[/math]

の形を取る。同様の積分作用素として、微分方程式の解法に良く用いられるラプラス変換f = f(s) に対して

[math]F(s) = (\mathcal{L}f)(s) =\int_0^\infty e^{-st} f(t)\,dt[/math]

を割り当てる。

ベクトル解析

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

  • 勾配 grad(あるいは記号的に )はスカラー場の各点に対して、その点における変化率が最大の方向を向きとしその最大変化率の絶対値を大きさとするベクトルを割り当てる。
  • 発散 div(あるいは記号的に ∇·)はベクトル場の各点における場の発散または収斂の度合いを測るベクトル作用素である。
  • 回転 curl, rot(あるいは記号的に ×)はベクトル場の各点においてその点の周りでの場の回転の度合いを測るベクトル作用素である。

物理学や工学への応用においては、ベクトル解析のテンソル空間への拡張として作用素 grad, div, curlテンソル解析においてもベクトル解析同様に用いられる[5]

  1. {{#invoke:Footnotes | harvard_citation }}, {{#invoke:Footnotes | harvard_citation }}
  2. Hazewinkel 2001.
  3. Yosida 1980, p. 21.
  4. Yosida 1980, p. 43.
  5. h.m. schey (2005). Div Grad Cural and All that. New York: W W Norton. ISBN 0-393-92516-1. 

参考文献

  • (1980) Functional analysis, Sixth, Grundlehren der Mathematischen Wissenschaften, Springer-Verlag. ISBN 3-540-10210-8. 

関連項目

外部リンク

  • {{#invoke:citation/CS1|citation

|CitationClass=citation }}