線形代数
行列式の3つの定義と意味
行列式とは,正方行列に対して決まる重要な量(スカラー)である。行列 の行列式を や と表す。例えば
の行列式は, のように定義される。
この記事では,行列式の定義と性質について解説します。
クラメルの公式の具体例と証明
クラメルの公式とは,連立一次方程式の解を,係数を使って表す公式です。この記事ではクラメルの公式について,2変数の場合の具体例から一般形の証明まで詳しく解説します。
固有値,固有ベクトルの定義と具体的な計算方法
正方行列 , でないベクトル ,スカラー の間に
が成立するとき を の固有ベクトル, を の固有値と言う。
固有値,固有ベクトルの重要性,および正方行列が与えられたときに 固有値と固有ベクトルを求める具体的な計算方法を解説します。
四面体の体積を求める2つの公式with行列式
一般的な四面体の体積を求める公式を二つ解説します。行列式が登場しますが,行列式を知らなくても楽しめます!応用例として東北大の入試問題も。
行列の積の定義とその理由
行列の(一般的な)積:
行列 に対してその積 を
ただし,
で定義する。ただし, の列数と の行数( とおく)が一致しているときのみ積 は定義される。
行列積計算の具体例,なぜこのように積が定義されるのか。
逆行列の補助定理(Woodburyの恒等式)
行列 に対して
(ただし,行列の積が定義できるような適切なサイズ,および などの逆行列の存在を仮定します)
特に のとき,
逆行列の補助定理,Sherman–Morrison–Woodburyの公式,Woodburyの恒等式,シャーマンモリソン公式などいろいろな呼び方があります。
一見複雑な形をしていますが,非常に美しい行列恒等式です。
転置行列の意味・重要な7つの性質と証明
成分が であるような行列を とする。このとき, を 成分とするような行列を の転置行列と言い, などと表す。
いろいろなところで登場する「行列の転置」に関する話題。重要な性質とその証明を整理しました。
マトロイドの定義と具体例
ベクトルの一次独立性の構造を抽象化したマトロイドについて解説します。離散最適化という分野の基本的な話題です。
非常に抽象的ですが「一次独立」の意味が分かる高校生ならご理解いただける内容かと思います。
半正定値行列の同値な4つの定義(性質)と証明
半正定値対称行列という重要な行列について解説。4つの同値な定義(性質)とその証明。証明には線形代数の重要なテクニックがいくつも登場するのでよい練習になります。
ケーリー・ハミルトンの定理(2次,3次,n次)
正方行列 に対して, という の多項式の の部分を に変えたものはゼロ行列になる。
正規方程式の導出と計算例
が正則なとき, を最小にする はただ一つであり,それは 正規方程式: を解くことで得られる。
前半は正規方程式を用いた最小二乗法の計算の具体例。後半は正規方程式の導出。
行列のトレースのいろいろな性質とその証明
正方行列 に対して,対角成分の和 を のトレース(跡)と言い, と書く。
行列のトレースについて,覚えておくべき公式を整理しました。
グラムシュミットの直交化法の意味と具体例
本の線形独立なベクトル を「用いて」正規直交基底を作る方法として,グラムシュミット(Gram–Schmidt)の正規直交化法がある。
逆行列の定義・逆行列を求める2通りの方法と例題
与えられた正方行列の逆行列を求める方法,具体的な計算例を解説します。なお,公式の証明は線形代数の教科書を参照して下さい。
ガウスの消去法による連立一次方程式の解き方
連立一次方程式の解法としてガウスの消去法(掃き出し法)を解説します。ガウスの消去法はアイデアが簡単で,計算時間が短いので広く利用されています。
ベクトルの一次独立,一次従属の定義と意味
一次独立の定義:
以下の条件を満たすとき,ベクトル は一次独立であるという。
条件: を満たす実数 の組は のみ。
高校数学で扱う平面ベクトルで の場合の具体例を中心に解説します。
同時対角化可能⇔交換可能の意味と証明
二つの対称行列 について,
と は同時対角化可能
線形代数の重要な定理です。この定理の証明および量子力学における意味を解説します。
二次形式の意味,微分,標準形など
二次形式とは,二次の項のみからなる多項式のこと。例えば, は二次形式。
線形代数や微分幾何など様々な分野に登場する二次形式についての知識を整理しました。
行列のカーネル(核)の性質と求め方
行列 に対して, を満たすベクトル の集合を のカーネル(または核)と言い, と書くことが多い。
線形代数における重要な概念「カーネル」について解説します。
行列のフロベニウスノルムとその性質
行列のフロベニウスノルムについて,定義と3つの性質を解説します。
このページでは は の実行列とします(正方行列とは限らない)。
漸化式の特性方程式の意味とうまくいく理由
定数係数の隣接 項間漸化式:
について, 次方程式
を特性方程式と言う。特性方程式の解 が全て異なるとき,数列 の一般項は
と表せる( は初期条件によって決まる定数)。
ビネ・コーシーの定理とその証明
を 行列, を 行列とする。
なら,
, は正方行列とは限りませんが, は の正方行列なので行列式が定義できます。行列積 の行列式を の(部分行列の)行列式と の(部分行列の)行列式で表す美しい公式です。
ビネ・コーシーの公式,コーシー・ビネの公式などとも呼ばれます。
行列の無限等比級数
対角化可能な正方行列 について,全ての固有値が より大きく より小さいとき,
は に収束する。
行列の無限等比級数について考えます。記事の後半では,より一般的な主張を述べます。
テンソルとは何か Part.1
「テンソル」という言葉には,
- 代数学における「ベクトル空間のテンソル積」
- 物理や微分幾何における「テンソル場」
- その他,数の高次元配列としてのテンソルなど
といった,さまざまな意味がある。
(関係しているが)異なる概念に対して同じような名前がついていることによって,「テンソル」を学ぶ際には混乱することが多いです。
この記事はPart.1として1. 線形代数における「ベクトル空間のテンソル積」について説明します。
テンソルとは何か Part.2
「テンソル」という言葉には,
- 代数学における「ベクトル空間のテンソル積」
- 物理や微分幾何における「テンソル場」
- その他,数の高次元配列としてのテンソルなど
といった,さまざまな意味がある。
(関係しているが)異なる概念に対して同じような名前がついていることによって,「テンソル」を学ぶ際には混乱することが多いです。
この記事ではPart.2として「テンソル積における基底変換」と物理や微分幾何における「テンソル場」について説明します。
行列の指数関数の計算方法
正方行列 に対して, は
と定義される。
この記事では,行列の指数関数 の具体的な計算方法を紹介します。任意の正方行列 に対して, を計算できます! 少々ヘビーですので,具体例も合わせて読んでみてください。
また,行列の指数関数とその性質も参考にしてください。
巡回行列の固有値・固有ベクトルと行列式
のように, 成分の値が を で割った余りのみで決まる 行列を巡回行列(循環行列,Circulant matrix)という。
左上~右下方向に同じ値が並んだ行列です。
射影行列のイメージと楽しい公式
を満たす正方行列 を射影行列という。
射影行列と直交射影行列の意味とイメージをわかりやすく紹介します。また, という楽しい公式も紹介します。
エルミート行列とその性質,ユニタリ対角化の証明
複素行列 が を満たすとき,(次の)エルミート行列(Hermitian matrix)という。ただし は転置して複素共役をとった行列。
エルミート行列は対称行列の複素数バージョンです。エルミート行列の具体例と性質を紹介します。
ロドリゲスの回転公式(3次元の回転行列)
三次元空間において, を軸として, を 回転させた点 は,
三次元空間での回転に関するロドリゲスの回転公式を紹介します。
まずはベクトル版を紹介し,後半では行列版(三次元空間における回転行列)を紹介します。
シルベスターの慣性法則の意味と証明
1(大雑把な言い方):
多変数の二次関数を平方完成したとき,二乗の係数のプラス・0・マイナスの数は平方完成のやり方によらない。
2(数式で正確に):
対称行列 に対して,正の固有値の数, の固有値の数,負の固有値の数を とおく。正則行列 を用いて という関係が成立するなら,
3(簡潔な言い方):
互いに合同な行列の固有値の各符号の数は同じ。
単位行列の意味と性質,1との比較
対角成分が で,それ以外の成分が である正方行列を単位行列と言う。
- サイズ2の単位行列:
- サイズ3の単位行列:
単位行列は,数の に似ています。以下では,数の と比較しながら単位行列の性質を見ていきます。