核空間（Null Space）計算機

核空間（ヌル空間）とは何か

線形代数において、行列 A の核空間（Null Space）、またはカーネル（Kernel）とは、線形写像 Ax = 0 を満たす全てのベクトル x の集合を指します。 直感的に言えば、行列 A という「空間の変換器」に通したとき、跡形もなくゼロ地点（原点）に押し潰されてしまうベクトルの「逃げ道」のような空間です。

もし行列が正則（逆行列を持つ）であれば、核空間にはゼロベクトルしか存在せず、その次元は0となります。しかし、行列が「情報の一部を失わせる」性質を持っている場合、核空間は線や面として存在し始めます。

階数・退化次数の定理（次元定理）

行列 A を理解する上で最も強力な武器が次元定理（Rank-Nullity Theorem）です。 これは、行列の列数（変数の数）が、「行き先の空間の広さ（Rank）」と「消えてしまう空間の広さ（Nullity）」の和に等しいことを示しています。

本計算機では、入力された行列の独立した行ベクトルの数（Rank）を特定し、そこから差し引くことでヌル空間の広さを算出しています。

掃き出し法による解法プロセス

核空間を具体的に求める手順は、連立一次方程式 Ax = 0 を解くことと同義です。

1. 拡大係数行列の簡約化： 行列 A を行基本変形によって簡約階段形式（RREF）に変形します。
2. 主成分と自由変数の特定： 各行の最初の非ゼロ成分（主成分）が含まれない列を「自由変数」として特定します。
3. 一般解の表示： 自由変数を任意の定数 s, t... と置くことで、解をベクトル形式で表現します。このとき、自由変数の係数となるベクトルが核空間の基底となります。

なぜ工学や科学で「ヌル空間」が重要なのか

1. データ圧縮と次元削減

データ分析において、重要な情報がどの次元に集約されているかを知ることは極めて重要です。核空間に近い成分は情報の損失を意味するため、情報の「感度」を調べる際の指標となります。

2. 制御工学における安定性解析

システムの状態がどの方向へ変化しても「出力が変化しない」という特性は、核空間の構造に依存します。望まない外乱がシステムに影響を与えないかどうかを設計する際、ヌル空間の理解は必須です。

3. 最適化問題の自由度

特定の制約条件 Ax = b の下で関数を最小化する場合、解 x に核空間内のベクトルを加えても制約条件は変わりません。この核空間が「探索の自由度」として機能します。

計算機の精度と注意点

本計算機では、浮動小数点演算特有の誤差を考慮し、微小な値をゼロと見なす閾値処理（イプシロン判定）を行っています。手計算による分数の結果と微小に異なることがありますが、工学的な次元解析には十分な精度を誇ります。

まとめ：見えない空間を可視化する

行列は目に見える出力だけでなく、目に見えない「消された空間（Null Space）」を持ちます。数学を学ぶことは、この目に見えない構造を論理的に再構築することに他なりません。 幾何学スレートの洗練されたインターフェースを通じて、行列の深淵に触れ、あなたの計算プロセスをよりエレガントなものに引き上げてください。