ユニタリ作用素
表示
(ユニタリー演算子から転送)
数学の一分野、函数解析学におけるユニタリ作用素︵ユニタリさようそ、英: unitary operator︶は、ヒルベルト空間上の自己同型写像、すなわち構造︵今の場合は、作用する対象となる空間の線型空間の構造、内積構造およびそこから定まる位相構造︶を保つ全単射である。与えられたヒルベルト空間 Hからそれ自身へのユニタリ作用素全体の成す集合は群を成し、H のヒルベルト群 Hilb(H) と呼ばれることもある。
を満足する
ときにいう。
という計算が成り立つから、斉次性が従う。
も同様に示せるから、加法性も成り立つ。
定義と注意[編集]
ヒルベルト空間 H上の有界線型作用素 U: H→ Hがユニタリ作用素であるとは、それが U∗ U = UU∗ = Id を満足するときに言う。ただし、U∗ は Uのエルミート共軛で Id: H→ Hは恒等作用素である。 上記よりも弱く、条件 U∗ U = Id のみを満たすものは等距作用素 (isometry) と呼ばれ、条件 UU∗ = Id を満たすものは余等距作用素 (coisometry) と呼ばれる。即ち、ユニタリ作用素は等距かつ余等距なる有界作用素である[1]。 内積を用いれば、この定義は以下のように書き直すことができる。 ヒルベルト空間 H上の有界線型作用素 U: H→ Hがユニタリであるとは、 ●U は全射であり、かつ ●U はヒルベルト空間 Hの内積を保つ。即ち、H の任意のベクトル x, yに対して注意[編集]
実は上記定義における条件を、以下のように一見緩いものに取り換えても、同値な定義が得られる。 ヒルベルト空間 H上の有界線型作用素 U: H→ Hがユニタリであるとは、U の値域が Hにおいて稠密、かつ Uがヒルベルト空間 Hの内積を保つときにいう。 同値であることを見るには、U が内積を保つことから Uが等距︵したがって有界線型作用素︶となることに注意すればよい。実は Uの値域が稠密であることよりそれが有界な逆作用素 U−1 を持つことが保証されるが、それは明らかに U−1 = U∗ を満たす。 またユニタリ作用素の定義において、作用素の線型性は内積の線型性および正定値性から従うので、定義の意味を変えることなく作用素が線型であるという仮定は落とすことができる。実際、例[編集]
●恒等写像がユニタリ作用素であることは自明である。 ●非自明なユニタリ作用素の例として最も簡単なものは R2における回転である。実際、回転はベクトルの長さも二ベクトル間の角度も変えない。R3 の回転についても同様。 ●複素数全体の成すベクトル空間 C上で、絶対値1の複素数︵つまり、適当な θ ∈ Rに対して eiθ の形に書ける数︶を掛ける操作はユニタリ作用素である。注意すべきは θ の値は 2π の違いを除いてこの乗法の結果には影響しないこと、またそれゆえに Cの独立なユニタリ作用素の全体は単位円で径数付けることができるということである。ゆえにこの場合のユニタリ作用素全体の成す群︵U(1)と呼ばれる︶は、集合としては単位円と見做すことができる。 ●より一般に、ユニタリ行列はちょうど有限次元ヒルベルト空間上のユニタリ作用素となっているから、ユニタリ作用素の概念はユニタリ行列の概念の一般化である。また、直交行列は、成分が全て実数という特別の場合のユニタリ行列であるから、Rn 上のユニタリ作用素である。 ●整数全体で添字付けられた数列空間 ℓ2 上の両側ずらし作用素はユニタリである。一般に、ヒルベルト空間上で正規直交基底を並べ替えることによって作用する任意の作用素はユニタリになる。有限次元の場合、それらの作用素は置換行列である。一方、片側ずらし作用素は等距、その共軛は余等距である。 ●フーリエ作用素、すなわちフーリエ変換︵に適当な正規化を施したもの︶を作用させる操作は、ユニタリ作用素である。これはパーシヴァルの定理から従う。性質[編集]
●ユニタリ作用素 Uのスペクトルは単位円上に載っている。つまり、スペクトルに入る任意の複素数 λ に対して |λ| = 1 が成り立つ。これは正規作用素に対するスペクトル定理からの帰結である。実際、定理によれば Uは適当な有限測度空間 (X, μ) に対する L2(μ) 上のボレル可測函数 fによる乗算作用素とユニタリ同値であり、いま UU∗ = Id から |f(x)|2 = 1 (μ-a.e) が従うから、f の本質的値域、従って Uのスペクトルが単位円上にあることがわかる。一般化[編集]
ユニタリ作用素を一般化するものとして、ユニタリ元 (unitary element) がある。単位的*-環において、その元 Uがユニタリ元であるとは、U∗ U = UU∗ = Iを満たすときに言う[2]:55。ただし、I は単位元である。脚注[編集]
- ^ (Halmos 1982, Sect. 127, page 69)
- ^ Doran, Robert S.; Victor A. Belfi (1986). Characterizations of C*-Algebras: The Gelfand-Naimark Theorems. New York: Marcel Dekker. ISBN 0-8247-7569-4
参考文献[編集]
- Lang, Serge (1972). Differential manifolds. Reading, Mass.–London–Don Mills, Ont.: Addison-Wesley Publishing Co., Inc.
- Halmos, Paul (1982). A Hilbert space problem book. Springer