コンテンツにスキップ

英文维基 | 中文维基 | 日文维基 | 草榴社区

行列ノルム

出典: フリー百科事典『ウィキペディア(Wikipedia)』

線型代数学における行列ノルム(ぎょうれつノルム、: matrix norm)は、ベクトルのノルム行列に対し自然に一般化したものである。

性質

[編集]

以下では K実数R または複素数C のいずれかを指すものとして用いる。また、Km×n を、Kを成分に持つ mn 列の矩形行列の全体が、通常の和とスカラー倍に関してなすベクトル空間とする。Km×n 上の行列のノルムはベクトルとしてのノルムである。すなわち、行列 A のノルムを ‖ A ‖ で表せば

  1. 正定値性‖ A ‖ ≥ 0 かつ等号成立は A = O と同値
  2. 斉次性αK, AKm×n ならば ‖ αA ‖ = |α|‖ A ‖
  3. 劣加法性A, BKm×n ならば ‖ A + B ‖ ≤ ‖ A ‖ + ‖ B ‖

が全て満たされる。

正方行列 (m = n) に関して、以下に挙げる条件を課す場合がある。

  1. 劣乗法性: ‖ AB ‖ ≤ ‖ A ‖‖ B ‖
  2. -性: ‖ A ‖ = ‖ A ‖

ここで A は複素行列 A随伴を表す。A が実である場合、その随伴は A転置 A に一致する。

劣乗法性を持つノルムを劣乗法的ノルム (sub-multiplicative norm) と呼ぶ[注 1]。劣乗法的ノルムを備えた n 次の正方行列全体の成す集合バナッハ代数の一例である。

誘導されたノルム

[編集]

2つのベクトル空間 Km, Kn におけるベクトルのノルムが与えられているとき、それらに対応して m × n 行列の空間 Km×n 上の行列ノルムを与えることができる。

この行列ノルムは誘導ノルム (induced norm) あるいは作用素ノルム (operator norm) と呼ばれる。m = n で行列の定める線型写像の定義域と値域で同じノルムを用いている場合、誘導される作用素ノルムは劣乗法的である。ベクトルの p ノルムに対応して、作用素ノルム

が得られる[注 2]。特に p = 1p = ∞ に対しては

と計算することができる(前者は各列に対する「成分の絶対値の和」の最大の値で、後者は各行に対する同様の和の最大の値である)。

特に p = 2 かつ m = n, つまり正方行列に対してユークリッドノルムを考えた場合には、誘導された行列ノルムはスペクトルノルム (spectral norm) になる。行列 A のスペクトルノルムとは A の最大の特異値、別な言い方をすれば半正定値行列 AA の最大固有値の平方根

で与えられる。ここで A は複素行列 A随伴行列を表す。

ρ(A)Aスペクトル半径とすると、誘導ノルムはいずれも不等式

を満たす(スペクトル半径は下界を与えている)。つまり ρ(A)A の誘導ノルム全体を動かしたときの下限である。さらに言えば、

というスペクトル半径公式も得られる。

成分ごとのノルム

[編集]

行列の成分ごとのノルムとは、mn 列の行列を mn 成分のベクトルと見なして、ベクトルの通常のノルムを考えたものである。例えばベクトルの p ノルムを利用すれば

というノルムが得られる[注 2]。特別の場合として、p = 2 のときはフロベニウスノルムが、p = ∞ のときは最大値ノルムがそれぞれ得られる。

フロベニウスノルム

[編集]

p = 2 の場合はフロベニウスノルム (Frobenius norm) またはヒルベルト=シュミットノルム (Hilbert–Schmidt norm) と呼ばれる(後者は普通、ヒルベルト空間作用素に限定して使われる)。 このノルムはいくつか異なる定義があるが、

のように書くことができる。ここで A は行列 A随伴σi は行列 A特異値tr は行列のトレースを表わす。フロベニウスノルムは Kn 上のユークリッドノルムと似て、行列の空間上の(行列を単にベクトルと見なした)標準内積から得られるノルムになっている。

フロベニウスノルムは劣乗法的である。数値線型代数学において有益であり、またフロベニウスノルムは誘導ノルムより計算が容易なことが多い。

最大ノルム

[編集]

最大ノルム (max norm)p = ∞ に対する成分ごとのノルムとして

で定義される。これは劣乗法的ノルムではない。

シャッテンノルム

[編集]

シャッテンノルム (Schatten norm) は行列の特異値を並べたベクトルに対するノルムとして得られる。ベクトルノルムに p ノルムを用いるものをシャッテン p ノルムと呼ぶ。行列 A のシャッテン p-ノルムは、A の特異値を σi で表せば、以下のように定義される[注 2]

シャッテンノルムはいずれの p に対しても劣乗法的である。また、任意の行列 Aユニタリ変換に対してシャッテンノルムは不変であり[注 3]、任意のユニタリ行列 U, V 対して ‖ UAV ‖ = ‖ A ‖ が成り立つ。

p = 1, 2, ∞ の場合がよく知られており、p = 2 の場合はフロベニウスノルムが得られる。p = ∞スペクトルノルム、すなわちベクトルの 2 ノルムから誘導される行列ノルムである。

トレースノルム

[編集]

p = 1 からは核型ノルム (nuclear norm)、トレースノルム、あるいは樊畿[注 4](Ky Fan)n ノルムとして知られるノルム

が定まる。ここで行列 AA の平方根は BB = AA を満たす行列 B の意味で用いている。

両立するノルム

[編集]

空間 Km×n 上の行列ノルム ‖ • ‖abKn 上のノルム ‖ • ‖aKm 上のノルム ‖ • ‖b に対して

を満たすとき、‖ • ‖a, ‖ • ‖b両立する (consistent) という。‖ • ‖a, ‖ • ‖b から誘導される作用素ノルムは、その定義から明らかに ‖ • ‖a, ‖ • ‖b と両立する。誘導ノルムをベクトルのノルムと両立する行列ノルムにまで広げても、スペクトル半径が下限を与えるという命題はなお正しい。

ノルムの同値性

[編集]

有限次元ベクトル空間 Km×n の任意の2つの(ベクトルとしての)ノルム ‖ • ‖α, ‖ • ‖β に対して、適当な定数 r, s > 0 をとれば

が任意の行列 AKm×n に対して成立するようにできる。言い換えれば、このようなノルムはどれも同値 (equivalent) なノルムであり、空間 Km×n に同じ位相を誘導する。

さらに実行列 ARn×n の場合、任意のノルム ‖ • ‖ に対し一意な正の定数 k が存在して、k‖ A ‖ が(劣乗法的な)行列ノルムになる。

行列ノルム ‖ • ‖p は、他のいかなる行列ノルム ‖ • ‖q‖ • ‖q ≤ ‖ • ‖p を満たさないとき、極小: minimal)であると呼ばれる。

同値なノルムの例

[編集]

実行列 ARm×n に対し、以下の不等式が成立する[1][2]

ここで r は行列 A のランクである。

他にも次のような関係は有用である:

これはヘルダーの不等式の特殊例である。

注釈

[編集]
  1. ^ 文献によっては劣乗法的なものに限って行列ノルムと呼ぶものもある。
  2. ^ a b c 同じ記法 ‖ • ‖p を用いるため紛らわしいが、誘導ノルム成分ごとのノルムシャッテン p ノルムはそれぞれ異なるノルムである。
  3. ^ ユニタリ変換に対する不変性はユニタリ不変性 (unitary invariance) と呼ばれる。
  4. ^ 正しくは(樊と土偏に畿、U+302C0)と書くが、表示できる環境が少ないための字を代用する。中国系アメリカ人数学者 Ky Fan にちなんだ呼称

出典

[編集]
  1. ^ Golub & Van Loan 1996, pp. 56–57.
  2. ^ Horn & Johnson 1985, Chapter 5.

参考文献

[編集]
  • Golub, Gene; Van Loan, Charles F. (1996). Matrix Computations (3rd ed.). Baltimore: The Johns Hopkins University Press. ISBN 0-8018-5413-X 
  • Horn, Roger; Johnson, Charles (1985). Matrix Analysis. Cambridge University Press. ISBN 0-521-38632-2 
  • Demmel, James W. (1997). “1.7”. Applied Numerical Linear Algebra. Society for Industrial and Applied Mathematics (SIAM). ISBN 0-89871-389-7 
  • Meyer, Carl D. (2000). Matrix Analysis and Applied Linear Algebra. Society for Industrial and Applied Mathematics (SIAM). http://www.matrixanalysis.com 
  • Watrous, John (2008), “2.4 Norms of operators”, Theory of Quantum Information, University of Waterloo, https://cs.uwaterloo.ca/~watrous/LectureNotes.html 2016年5月28日閲覧。 

関連項目

[編集]

外部リンク

[編集]