1 定義
小行列は、ある行列から行や列を選んで取り出した部分を指す。取り出し方にはいくつかの流儀があり、文脈によって意味の範囲が少し異なるが、共通して「元の行列の内部にある部分構造」を表す概念である。線形代数では、行列式や階数、逆行列の考察に結びつく基本用語として扱われる。
1.1 基本的な意味
基本的には、与えられた行列の成分の一部を抜き出して作った新しい行列を小行列という。抜き出された部分は、元の行列の並び順を保って構成されることが多い。したがって、単なる成分の集合ではなく、行と列の配置を伴う部分構造として理解される。
1.2 部分行列との関係
小行列は、一般には部分行列と近い意味で用いられる。ただし、すべての部分行列が小行列と呼ばれるとは限らず、数学分野や教科書の方針によって用法が異なる。特に、任意に選んだ行と列から得られるものを指す場合と、連続した矩形領域を指す場合がある。
1.2.1 行の選択
行を選ぶとは、元の行列の特定の行だけを残して他を除く操作である。選ばれた行は元の順序を保ったまま並べ直され、必要に応じて列の選択と組み合わされる。これにより、縦方向の局所的な構造を調べやすくなる。
1.2.2 列の選択
列の選択も同様に、指定した列のみを取り出して新しい行列を作る操作である。行の選択と同時に行えば、対象領域はより小さな行列へと縮約される。こうした切り出しは、計算の簡略化や性質の抽出に役立つ。
1.3 用語の使い分け
小行列という語は、分野によって厳密さに差がある。ある文脈では任意の部分行列を広く含め、別の文脈では正方形で、しかも特定の規則に従う部分だけを指すことがある。そのため、定義を読む際には、対象とする教科書や論文の前提を確認することが重要である。
2 種類
小行列には、取り出し方の違いに応じていくつかの型がある。連続した領域を切り出すものもあれば、行と列を飛び飛びに選ぶものもある。さらに、形状によって正方形か長方形かに分けられ、特別な位置関係をもつ主小行列も重要である。
2.1 連続小行列
連続小行列は、元の行列の中で隣り合う行と列からなるまとまりを切り出したものをいう。画像処理や数値計算の分野では、このような局所的な部分を扱うことが多い。行列の中の近傍構造を把握する際に便利である。
2.2 任意小行列
任意小行列は、連続性にこだわらず、指定した行と列の組を選んで得られる部分行列である。組合せ的な性質を議論する際に自然な対象となり、理論上の記述でも広く用いられる。選択の自由度が高いため、さまざまな性質を比較しやすい。
2.2.1 正方小行列
正方小行列は、行数と列数が等しい小行列である。行列式を定義できるため、特に重要視される。逆行列や階数の議論では、この種の小行列が中心的な役割を担う。
2.2.2 長方小行列
長方小行列は、行数と列数が等しくない小行列を指す。行列式は定義できないが、階数や線形独立性の検討には有用である。大きな行列の中にある関係の偏りや、冗長性の有無を見つける手がかりになる。
2.3 主小行列
主小行列は、同じ番号の行と列を同時に選んで作る小行列である。対称行列の性質や半正定値性の判定で頻繁に現れる。元の行列の主要な構造を反映しやすいことから、理論面でも応用面でも重要である。
3 性質
小行列の性質は、元の行列との対応を通して理解される。大きさや次数はもちろん、階数や行列式との関係によって、その役割がより明確になる。さらに、別の小行列を含むかどうかという包含関係も、情報の整理に有効である。
3.1 次数と大きさ
小行列の次数は、含まれる行数と列数によって決まる。正方形であれば次数を一つの数で表せるが、長方形の場合は行数と列数の両方を示す必要がある。元の行列より小さいサイズにすることで、扱いやすい計算単位となる。
3.2 元の行列との関係
小行列は独立した対象ではなく、元の行列の構成要素として機能する。元の行列の一部を抜き出しただけであっても、その内部には全体の情報が部分的に反映される。したがって、性質の局所的な観察から全体像を推測する際に役立つ。
3.2.1 階数との関係
階数は、行列の中に存在する線形独立な行や列の最大数を表す。ある大きさの小行列に非零の行列式が存在すれば、そのサイズ以上の独立性が示唆される。逆に、より大きい小行列がすべて退化していれば、階数に上限が生じる。
3.2.2 行列式との関係
正方小行列の行列式は、その部分が可逆性や独立性を持つかどうかを示す指標になる。全体の行列式の展開や、零である条件の判定にも関わる。特定の小行列の行列式を調べることで、元の行列の局所的な特徴を数値として捉えられる。
3.3 包含関係
小行列同士には、より大きな小行列の中に小さなものが含まれるという関係がある。行や列をさらに削れば、別の小行列が得られるため、階層的な比較が可能になる。この見方は、構造の精密な分析や証明の整理に便利である。
4 応用
小行列は、純粋な理論だけでなく計算や判定にも広く使われる。行列式の評価、余因子展開、階数の決定など、基本的な線形代数の手法に深く結びついている。さらに、組合せ論やグラフ理論でも、部分構造を数え上げる道具として現れる。
4.1 行列式の計算
大きな行列の行列式は、直接計算するよりも、小行列を利用して分割的に求めることが多い。特定の行や列に注目すると、計算量を減らしつつ整理された形で評価できる。これは数値計算や理論証明の両方で有効である。
4.2 余因子展開
余因子展開では、ある成分を取り除いてできる小行列の行列式が使われる。各項は符号付きで組み合わされ、元の行列式を再構成する。小行列は、この分解公式の中心的な素材となる。
4.3 階数判定
階数判定では、どの大きさまでの小行列が非零の行列式をもつかを調べる。これにより、行列全体の独立性や退化の程度を把握できる。特に、最大サイズの有効な小行列は、階数の決定に直接結びつく。
4.3.1 零化条件
ある大きさ以上のすべての小行列の行列式が零になるとき、元の行列には一定の従属関係があると判断できる。こうした零化条件は、連立方程式の解の存在や一意性にも関連する。局所的な消失が全体の制約を示す点が重要である。
4.3.2 最大小行列
最大小行列とは、非零の行列式をもつもののうち最大の次数を持つ正方小行列をいう。これは行列の階数を特徴づける指標となる。実際の判定では、この種の小行列を見つけることが一つの目安になる。
4.4 組合せ論とグラフ理論への応用
組合せ論では、小行列は選択の組合せを反映する対象として現れる。グラフ理論では、隣接行列や接続行列の一部を取り出して、部分グラフの性質を調べることがある。こうした応用では、代数的な情報と離散構造が結びつく。