行列

実数を長方形に配列したものを行列と呼びます。ここでは行列とそれについて定義される代数的演算について学びます。

学習内容

行列

行列と呼ばれる概念を定義するとともに、関連する基本概念について解説します。

行列の定義

実数を長方形に配列したものを行列と呼びます。行列を構成する横並びの実数の組を行列の行と呼び、行列を構成する縦並びの実数の組を行列の列と呼びます。

行列加法(行列の和)

同じ大きさを持つ2つの行列が与えられたとき、対応する成分どうしを足すことにより得られる新たな行列を行列どうしの和と呼びます。また、2つの行列に対してそれらの和を定める演算を行列加法と呼びます。行列集合は行列加法に関して可換群をなします。

行列減法(行列の差)

同じ大きさを持つ2つの行列が与えられたとき、対応する成分どうしを引くことにより得られる新たな行列を行列どうしの差と呼びます。また、2つの行列に対してそれらの差を定める演算を行列減法と呼びます。

行列のスカラー乗法(行列のスカラー倍)

行列とスカラーが与えられたとき、行列のそれぞれの成分をスカラー倍することで新たに得られる行列をもとの行列のスカラー倍と呼びます。また、スカラーと行列に対してスカラー倍を定める演算をスカラー乗法と呼びます。

行列乗法(行列の積)

列の個数と行の個数が一致する2つの行列に対して行列の乗法と呼ばれる演算を定義した上で、その基本的な性質を確認します。

行列の転置(転置行列)

行列のij成分とji成分を入れ替えることで得られる行列を転置行列と呼びます。転置の基本的な性質を確認します。

正方行列

行の個数と列の個数が一致する行列を正方行列と呼びます。

実行列空間

実行列空間について解説します。

実行列空間の定義

実数を成分とする行列からなる集合上に行列加法とスカラー乗法と呼ばれている演算が定義されている場合、そのような集合を実行列空間と呼びます。実行列空間はベクトル空間です。

実行列空間の部分空間

実行列空間の部分空間と呼ばれる概念を定義するとともに、部分空間の具体例を提示し、部分空間であることを判定する方法について解説します。

行列の線型結合と線型スパン

実行列空間において、行列のスカラー倍どうしの和として表される行列を線型結合と呼びます。実行列空間の部分集合に属する行列の線型結合をすべて集めてできる集合を線型スパンと呼びます。

実行列空間における線型従属・線型独立な行列

実行列空間において、行列どうしが線型従属ないし線型独立であることを定義するとともに、その意味を解説します。

実行列空間の基底と次元

実行列空間を張る線型独立な行列集合を基底と呼びます。また、実行列空間を張るために必要な行列の個数の最小値を次元と呼びます。

行列の階数(行列の行空間と列空間)

行列のすべての行(列)からなる集合の線型スパンを行列の行空間(列空間)と呼び、行空間(列空間)の次元を行列の行階数(列階数)と呼びます。行階数と列階数は常に一致するため、その共通の値を行列の階数と呼びます。

行列の基本操作

行列の基本操作や階段行列などについて解説します。

行列の行基本操作(行同値な行列)

行列の2つの行を入れ替える、特定の行に非ゼロのスカラーを掛ける、ある行に別の行のスカラー倍を加える、などの操作を総称して行基本操作と呼びます。

行基本行列

単位行列に対して行基本操作の中の1つを適用することに得られる行列を行基本行列と呼びます。行列に対して行基本操作を適用することは、基本行列とその行列の行列積をとることと操作として一致します。

行列の列基本操作(列同値な行列)

行列の2つの列を入れ替える、特定の列に非ゼロのスカラーを掛ける、ある列に別の列のスカラー倍を加える、などの操作を総称して列基本操作と呼びます。

階段行列(行既約な階段行列)とガウス・ジョルダンの消去法

階段行列と呼ばれる行列のクラスを定義するとともに、基本行操作を通じて行列を階段行列へ変形する方法を解説します。

行列の行標準形(階段行列を用いた行列の階数の特定)

行列にガウス・ジョルダンの消去法を適用することで得られる行既約な階段行列はもとの行列と行同値であるような唯一の行既約な階段行列です。その階段行列に含まれる非ゼロベクトルな行の個数はもとの行列の階数と一致します。

行簡約を用いた正則行列の判定と逆行列の導出

正方行列の行標準形が単位行列であることは、その行列が正則であるための必要十分条件です。行標準形を導出するための行簡約をそのまま単位行列に適用すれば逆行列が得られます。

行列の行空間や列空間の基底を特定する方法

行列の行空間の基底、行列の列空間の基底、ベクトル集合の線型スパンの基底などを特定する方法について解説します。

確認テスト

行列に関する確認テストです。

学習ガイド

大学の数学カリキュラムとWIISのカリキュラムは何が違うのか

多くの大学では入学後すぐに微分積分学や線形代数学を学び、その後に実数論や位相空間論などの理論的な科目へ進みます。一方、WIISでは論理学・集合論の後に実数論を学び、その上で微分積分学へ進むカリキュラムを採用しています。本記事では、それぞれの考え方とWIISの学習順序のメリットについて解説します。

最新の議論

関連分野

論理学

論理学は、数学における証明や推論の基礎となる分野です。命題論理や述語論理を通じて、論理式、真理値、量化記号、証明の考え方を体系的に解説します。大学数学や理論的な学問を学ぶための出発点となる教材を提供しています。

ベクトル

「大きさ」と「方向」という2種類の情報によって表現される量をベクトルと呼びます。ベクトルを定式化するとともに、その性質について解説します。

集合論

集合論は現代数学の共通言語です。集合、写像、関係、濃度、順序関係を中心に、数学のさまざまな分野を理解するための基礎概念を体系的に解説します。実数論、線形代数学、位相空間論などへ進むための土台を築きます。

実数論

実数論では、実数の連続性や極限の概念を基礎から学びます。実数の定義、数列、関数、級数、関数列、数直線の位相、拡大実数系を通じて、解析学の理論的基盤を体系的に理解することを目指します。

実ベクトル空間上の線形写像(線型変換)

線形写像と呼ばれるタイプの写像について解説します。

ユークリッド空間

ユークリッド空間は、現代数学における解析学と幾何学の出発点です。点列、位相、ベクトル値関数、多変数関数を通じて、高次元空間における極限・連続性・収束の概念を学びます。位相空間論や最適化理論へ進むための重要な基礎を体系的に解説します。

連立1次方程式

ベクトルや行列に関する知識を活用して連立1次方程式を分析するとともに、解を具体的に求める方法を解説します。

行列式

連立1次方程式の解を求める問題は行列式の理論と深い関係があります。ここでは行列式の定義および性質を確認した上で、連立1次方程式との関係を議論します。

固有値と固有ベクトル

行列を相似な行列に置き換えて、それをなるべく簡単な形へ変換するプロセスを行列の標準化と呼びます。

ベクトル空間

体と非空の集合上に定義されたベクトル加法とスカラー乗法と呼ばれる演算がベクトル空間の公理を満たす場合、そのような集合をベクトル空間と呼びます。ここではベクトル空間を定義した上で、その基本的な性質を確認します。

ベクトル空間上の線形写像

定義域と終集合が一般のベクトル空間であるような線形写像について解説します。

このページの目次