列空間計算機 - 行列の基底ベクトルを求める

行列の列空間とは、その各列の線形結合で表せるベクトル全体の集合です。実用的には、ある係数ベクトルを行列に掛けて得られるすべてのベクトルを意味します。この概念は線形代数のあらゆる場面に現れます。連立方程式の解法、線形変換の理解、像空間の記述、階数の解析、与えられた列の集まりから目標ベクトルが生成できるかどうかの判定などです。列空間計算機は、どの列が本当に重要で、どの列が冗長かを明確に示して、これらの考え方を具体化します。 計算の要点はガウス消去法です。行列を行基本変形すると、ピボット列、つまり消去後に先頭の非零要素が現れる列が見えてきます。これらのピボット位置によって、元の行列のどの列が列空間の基底を作るかが分かります。ここで重要なのは、基底ベクトルは変換後の行階段形ではなく、元の行列から取る必要があることです。行基本変形は列の値そのものを変えてしまいますが、ピボットを特定するために必要な線形従属性は保たれるからです。ピボット列が分かれば、行列の階数は単にピボットの数であり、その階数は列空間の次元そのものです。 この計算機は、2 から 4 までの行数と列数を持つ正方行列・長方形行列の両方を扱えます。この範囲は多くの授業例をカバーしつつ、画面を見やすく保つのに十分です。行列を入力すると、ツールはピボット列を計算し、対応する基底ベクトルを一覧表示し、消去結果を直接確認できるように行階段形を表示します。ピボットの数が列数より少ない場合、いくつかの列は他の列に依存しており、基底に含める必要はありません。 任意のテストベクトルは、さらに便利な判定を提供します。ベクトル b が A の列空間に属するかどうかは、A の階数と拡大行列 [A|b] の階数を比較すれば判断できます。階数が変わらなければ、b は A にすでにある列の関係と整合しているため列空間に属します。階数が増えるなら、そのベクトルは新しい独立方向を導入しており、列空間には属しません。この階数判定は、幾何学的な「張る」という概念と、連立一次方程式の代数構造を結び付けます。 線形代数の試験勉強、宿題の確認、あるいは張る空間と階数の理解を深める場面でも、列空間計算機は時間を節約し、計算ミスを減らします。また、列空間は元の行列のピボット列によって決まり、その次元は階数と完全に一致する、という重要な理解を強化します。