階数 (線型代数学)

ウィキペディア

行列の階数

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2023/07/01 07:21 UTC 版)

この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "行列の階数" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL（2017年7月）

線型代数学における行列の階数（かいすう、rank; ランク）は、行列の最も基本的な特性数 (characteristic) の一つで、その行列が表す線型方程式系および線型変換がどのくらい「非退化」であるかを示すものである。行列の階数を定義する方法は同値なものがいくつもある。

例えば、行列 A の階数 rank(A)（あるいは rk(A) または丸括弧を落として rank A）は、A の列空間（列ベクトルの張るベクトル空間）の次元^[1]に等しく、また A の行空間の次元^[2]とも等しい。行列の階数は、対応する線型写像の階数である。

行列の階数の概念はジェームス・ジョセフ・シルベスターが考えた^[3]。

定義

任意の行列 A について、以下はいずれも同値である。

• A の列ベクトルの線型独立なものの最大個数（A の列空間の次元）
• A の行ベクトルの線型独立なものの最大個数（A の行空間の次元）
• A に基本変形を施して階段行列 B を得たとする。このときの B の零ベクトルでない行（または列）の個数（階段の段数とも表現される）
• 表現行列 A の線型写像の像空間の次元。詳しくは#線型写像の階数を参照。
• A の 0 でないような小行列式の最大サイズ
• A の特異値の数

文献により、上記の条件のいずれかを以って行列 A の階数は定義される。

注意

いま A の列空間の次元を「列階数」、行空間の次元を「行階数」と呼べば、線型代数学における基本的な結果の一つとして、列階数と行階数は常に一致するという事実が成立するから、それらを単に A の階数と呼ぶことができる。これについて、Wardlaw (2005)^[4] はベクトルの線型結合の基本性質に基づく四文証明を与えた（これは任意の体上で有効である）。また、Mackiw (1995) ^[2]は実数体上の行列に対して有効な、直交性を用いたエレガントな別証明を与えている。両証明とも教科書 Banerjee & Roy (2014) ^[5]に出ている。

性質

A を m × n 行列とする。また、 f を表現行列 A の線型写像とする。

一般の体上

• m × n 行列の階数は非負整数で、m, n の何れも超えない。すなわち rank(A) ≤ min(m, n) が成り立つ。特に rank(A) = min(m, n) のとき、A は最大階数（full rank; フルランク; 充足階数、完全階数）を持つとかフルランク行列などといい、さもなくばA は階数落ち（英語版） (rank deficient; 階数不足) であるという。
• A が零行列のときかつその時に限り rank(A) = 0.
• f が単射となるための必要十分条件は、rank(A) = n（これを A は列充足階数を持つという）となることである。
• f が全射となるための必要十分条件は、rank(A) = m となる（A が行充足階数を持つ）ことである。
• A が正方行列（つまり m = n）のとき、A が正則であるための必要十分条件は、rank(A) = n（A が充足階数）となることである。
• B を任意の n × k 行列として rank(AB) ≤ min(rank(A), rank(B)) が成り立つ。
  • B が行充足階数 n × k 行列ならば rank(AB) = rank(A) が成り立つ。
  • C が列充足階数 l × m 行列ならば rank(CA) = rank(A) が成り立つ。

• rank(A) = r となるための必要十分条件は、m × m 正則行列 X と n × n 正則行列 Y が存在して
  $${\displaystyle XAY={\begin{bmatrix}I_{r}&0\\0&0\end{bmatrix}}}$$

  
  が成立することである。ただし I_r は r × r 単位行列である。右辺の行列は A の階数標準形と呼ばれる。
• rank(A) = rank(A^⊤)（ A^⊤ は転置行列）
• 階数・退化次数の定理が成立

シルベスターの階数不等式

m × n 行列 A と n × k 行列 B に対し

$${\displaystyle \operatorname {rank} (A)+\operatorname {rank} (B)-n\leq \operatorname {rank} (AB)}$$

が成り立つ。^{[注釈 1]}

フロベニウスの不等式

行列の積 A, ABC, BC がいずれも定義されるとき、

$${\displaystyle \operatorname {rank} (AB)+\operatorname {rank} (BC)\leq \operatorname {rank} (B)+\operatorname {rank} (ABC)}$$

が成り立つ。^{[注釈 2]}

劣加法性

A, B は同じ型の行列として

$${\displaystyle \operatorname {rank} (A+B)\leq \operatorname {rank} (A)+\operatorname {rank} (B)}$$

が成り立つ。この帰結として、階数 k の行列は階数 1 の行列 k 個の和に書くことができ、また k 個より少ない階数 1-行列の和には書けない。

特定の体上

• A が実数体上の行列であるとき、A の階数は対応するグラム行列の階数に等しい。すなわち、実行列 A に対し
  $${\displaystyle \operatorname {rank} (A^{\top }A)=\operatorname {rank} (AA^{\top })=\operatorname {rank} (A)=\operatorname {rank} (A^{\top })}$$

  
  が成り立つ。これは各々の核空間が等しいことを見れば示される。グラム行列の核は A^⊤Ax = 0 となるベクトル x からなる。このときさらに 0 = x^⊤A^⊤Ax = |Ax|² も成り立つ^[6]。
• A が複素数体上の行列であるとき、A の複素共軛行列を A, 共軛転置行列を A* と書けば、
  $${\displaystyle \operatorname {rank} (A)=\operatorname {rank} ({\overline {A}})=\operatorname {rank} (A^{\mathrm {T} })=\operatorname {rank} (A^{*})=\operatorname {rank} (A^{*}A)=\operatorname {rank} (AA^{*})}$$

  
  が成り立つ。

階数の計算

例えば、行列

${\displaystyle M={\begin{bmatrix}4&2&1\\5&4&1\\1&2&0\\\end{bmatrix}}}$

は、基本変形を行うことによって

${\displaystyle M\iff {\begin{bmatrix}1&2&3\\0&4&5\\0&0&0\\\end{bmatrix}}}$

と書けるから、M の階数は rank M = 2 である。実際、[第 2 行] = [第 1 行] + [第 3 行] であるから、2 行目の行ベクトルは線型独立でない。ここで、1 行目と 3行目は明らかに線型独立であるから、rank M = 2 である。

浮動小数点を用いたコンピューター上の数値計算においては、この基本変形を用いたりLU分解を用いることで階数を求める方法は、精度が落ちることもあり用いられない。替わりに、特異値分解（SVD）やQR分解を用いて求められる。

線型写像の階数

V, W をベクトル空間とし、線型写像 f: V → W が与えられたとき、f の像 f(V) の次元を線型写像 f の階数と呼び、rk f や rank f などで表す。V や W は一般に無限次元であっても、像の次元 dim f(V) が有限であれば線型写像の階数の概念は意味を持つ。とくに階数有限なる線型写像にはトレースが定義できて、古典群の表現論などで重要な役割を果たす。

V や W が有限次元ならば、行列表現によって f は表現行列 A_f の共軛類が対応する。このとき、線型写像の階数と行列の階数との間には rank f = rank A_f という関係が成り立つが、行列の階数が正則行列を掛けることに関して不変であることから、この等式の成立は表現行列 A_f のとり方に依らない。

ベクトル空間 V, W に対して V が n 次元とすれば、線型写像 f: V → W の階数は n 以下である。実際に、rank f = n となるとき、線型写像 f は非退化（ひたいか、non-degenerate, full rank）であるという。そうでないときには、像 f(V) は f で 0 へ写される元の分だけ「つぶれている」と考えられ、線型写像 f の核

${\displaystyle \ker f:=\{v\in V\mid f(v)=0\}}$

の次元 dim ker f を f の退化次数と呼ぶ。f の退化次数を nl f や null f などで表すことがある。次の公式

${\displaystyle \dim V=\operatorname {rank} f+\operatorname {null} \,f.}$

が成立し、階数と退化次数の関係式あるいは簡単に階数・退化次数公式などと呼ばれる。

脚注

[脚注の使い方]

注釈

1. ^ 証明: 階数–退化次数定理を不等式
   $${\displaystyle \dim \ker(AB)\leq \dim \ker(A)+\dim \ker(B)}$$

   
   に適用すればよい
2. ^ 証明: 写像
   $${\displaystyle C\colon \ker(ABC)/\ker(BC)\to \ker(AB)/\ker(B)}$$

   
   は矛盾なく定義されて、単射である。したがって退化次数に対する不等式が得られるが、それを階数–退化次数定理で階数に関するものへ読み替えればよい。あるいは別法として、任意の部分線型空間 M に対し dim(AM) ≤ dim(M) が成り立つから、これを BC の像の B の像における（直交）補空間の定める部分空間（次元は rank(B) − rank(BC)）を M として適用する。その A による像は次元 rank(AB) – rank(ABC) である。

出典

1. ^ Bourbaki, Algebra, ch. II, §10.12, p. 359
2. ^ ^{a b} Mackiw, G. (1995), “A Note on the Equality of the Column and Row Rank of a Matrix”, Mathematics Magazine 68 (4) 
3. ^ 黒木哲徳『なっとくする数学記号』講談社〈ブルーバックス〉、2021年、160頁。ISBN 9784065225509。 
4. ^ Wardlaw, William P. (2005), “Row Rank Equals Column Rank”, Mathematics Magazine 78 (4), doi:10.1080/0025570X.2005.11953349 
5. ^ Banerjee, Sudipto; Roy, Anindya (2014), Linear Algebra and Matrix Analysis for Statistics, Texts in Statistical Science (1st ed.), Chapman and Hall/CRC, ISBN 978-1420095388 
6. ^ Mirsky, Leonid (1955). An introduction to linear algebra. Dover Publications. ISBN 978-0-486-66434-7 

外部リンク

• 『行列のランク(rank)の８通りの同値な定義・性質』 - 高校数学の美しい物語
• Weisstein, Eric W. "Matrix Rank". MathWorld (英語).
• Barile, Margherita.. "Nullity". MathWorld (英語).
• rank of a matrix - PlanetMath.（英語）
• rank of a linear mapping - PlanetMath.（英語）
• elementary matrix operations as rank preserving operations - PlanetMath.（英語）
• determining rank of matrix - PlanetMath.（英語）
• Definition:Rank (Linear Algebra) at ProofWiki

表 話 編 歴 線型代数学・行列解析
連立一次方程式	ガウスの消去法 クラメルの公式 ガウス＝ザイデル法 ヤコビ法
ベクトル	線型独立 線型結合 基底 双対基底
ベクトル空間	双対空間 核空間 固有空間 広義固有空間 線型包 行空間 列空間 次元
計量ベクトル空間	ドット積 コーシー＝シュワルツの不等式 直交 正規直交系 正規直交基底 グラム・シュミットの正規直交化法 直交補空間
行列・線型写像	演算・操作 乗法 転置 逆行列 サラスの方法 基本変形 対角化 分解 LU QR コレスキー シューア 特異値 固有値 不変量 行列式 跡 階数 固有値と固有ベクトル 固有多項式 最小多項式 単因子 階数標準形 スミス標準形 ジョルダン標準形 有理標準形 小行列式 クラス 正則 基本 対称 エルミート 正規 直交 回転 ユニタリ 冪零 射影 正定値 ユニモジュラー 置換 区分
行列式	余因子展開 余因子行列 ヴァンデルモンドの行列式 終結式 コーシー・ビネの公式
多重線型代数	外積 外積代数 対称代数 テンソル代数
数値線形代数	基本的な概念 浮動小数点 数値的安定性 疎行列 Z-行列 M行列 条件数 ゲルシュゴリンの定理 クリロフ部分空間 ソフトウェア Matrix Laboratory Basic Linear Algebra Subprograms (BLAS) LAPACK 数値解析ソフトの比較/一覧 ライブラリ Armadillo INTLAB OpenBLAS 線型代数学ライブラリの比較 反復法・技法 SOR法 共役勾配法 GMRES法 固有値問題の数値解法 ランチョス法 QR法 べき乗法 逆べき乗法 ヤコビ法 (固有値問題) シュトラッセンのアルゴリズム ハウスホルダー変換 ギブンス回転 人物 ジェームズ・H・ウィルキンソン クリーブ・モラー ニコラス・ハイアム ジーン・ゴラブ リチャード・バルガ
行列値関数	行列指数関数 行列の対数 行列の平方根
その他	スカラー ケイリー・ハミルトンの定理 ペロン＝フロベニウスの定理 シューア補行列 シルヴェスターの慣性法則

Weblio日本語例文用例辞書

「階数 (線型代数学)」の例文・使い方・用例・文例

• 建物の階数
• 行列における階数
• 微分方程式における階数
• 建て物の階数が少ないこと