1導入
単位行列、零行列、転置は、複雑な行列計算を始める前に必ず整理しておくべき基準である。
単位行列は「何もしない」変換、零行列は「すべてを原点へ潰す」変換、転置は「行と列の役割を入れ替える」操作である。この3つを区別できると、逆行列、直交行列、対称行列、エルミート行列の意味が読みやすくなる。
1Introduction
The identity matrix, the zero matrix零行列れいぎょうれつ, and the transpose転置てんち are reference objects and operations that should be clarified before more complicated matrix calculations.
The identity matrix represents doing nothing, the zero matrix collapses everything to the origin, and transpose exchanges the roles of rows and columns. Keeping these three roles separate makes inverse matrices, orthogonal matrices, symmetric matrices, and Hermitian matrices easier to read.
2用語ようごと定義ていぎ
n 次つぎの単位たんい行列ぎょうれつ I_n は、対たい角かく成分せいぶんが 1、そ以外いがいが 0 の正方せいほう行列ぎょうれつである。。
I_n=\begin{pmatrix}
1&0&\cdots&0\\
0&1&\cdots&0\\
\vdots&\vdots&\ddots&\vdots\\
0&0&\cdots&1
\end{pmatrix}
零れい行列ぎょうれつ O_{m,n} は、すべての成分せいぶんが 0 の m x n 行列ぎょうれつである。サイズが文脈ぶんみゃくから明らかtermなときは O と書くterm。
m x n 行列ぎょうれつ A=(a_{ij}) の転置てんち A^T は、i 行ぎょう j 列れつの成分せいぶんを j 行ぎょう i 列れつへ移しtermた n x m 行列ぎょうれつである。
(A^T)_{ij}=a_{ji}
2Terms and definitions
The n by n identity matrix I_n is the square matrix whose diagonal entries are 1 and whose other entries are 0.
I_n=\begin{pmatrix}
1&0&\cdots&0\\
0&1&\cdots&0\\
\vdots&\vdots&\ddots&\vdots\\
0&0&\cdots&1
\end{pmatrix}.
The zero matrix O_{m,n} is the m x n matrix whose entries are all 0. When the size is clear from context, we write simply O.
For an m x n matrix A=(a_{ij}), the transpose A^T is the n x m matrix obtained by moving the entry in row i, column j to row j, column i.
(A^T)_{ij}=a_{ji}.
3直感的ちょっかんてきな説明せつめい
単位たんい行列ぎょうれつは、ベクトルをそのまま返すterm線型せんけい写像しゃぞうである。
I_nv=v
零れい行列ぎょうれつは、すべてのベクトルを零れいベクトルへ送るterm線型せんけい写像しゃぞうである。
Ov=0
転置てんちは、行列ぎょうれつの情報じょうほうを捨てるterm操作そうさではない。成分せいぶんの配置はいちを鏡かがみ映うつのように入れ替えterm、行くだりとして見みていた情報じょうほうを列れつとして見みられるようにする操作そうさである。したがって、転置てんちは行空間ぎょうくうかんrow spaceと列空間れつくうかんcolumn spaceの関係かんけいを読むtermときに重要じゅうようになる。
3Intuitive explanation
The identity matrix is the linear map that returns every vector unchanged.
I_nv=v.
The zero matrix is the linear map that sends every vector to the zero vector.
Ov=0.
Transpose does not discard information. It rearranges entries like a reflection across the main diagonal, turning information that was read as rows into information that can be read as columns. Therefore transpose is important when relating the row space行空間ぎょうくうかん and the column space列空間れつくうかん.
4基本法則きほんほうそく
サイズが合うtermとき、次つぎが成立するterm。
AI_n=A,\qquad I_mA=A
A+O=A
(A^T)^T=A
(A+B)^T=A^T+B^T
(cA)^T=cA^T
(AB)^T=B^TA^T
最後さいごの式しきでは順序じゅんじょが逆ぎゃくになる。これは積せき AB の成分せいぶんが「A の行くだり」と「B の列れつ」の内積ないせきで作らtermれるため、転置てんちするとその役割やくわりが入れ替わるtermからである。
4Basic laws
When the sizes are compatible, the following identities hold.
AI_n=A,\qquad I_mA=A.
A+O=A.
(A^T)^T=A.
(A+B)^T=A^T+B^T.
(cA)^T=cA^T.
(AB)^T=B^TA^T.
The last identity reverses the order. This happens because the entries of AB are made from rows of A and columns of B; after transposing, those roles are exchanged.
5転置てんちで変わるtermもの・保存ほぞんされるもの
転置てんちで変わるtermものは、行くだり数すうと列term数すう、行くだり空間くうかんと列term空間くうかんの見えterm方かた、掛け算termの順序じゅんじょである。m x n 行列ぎょうれつは n x m 行列ぎょうれつになる。
転置てんちで保存ほぞんされるものも多いterm。成分せいぶんの総数そうすうは変わらtermず、正方せいほう行列ぎょうれつでは行列ぎょうれつ式しきも保存ほぞんされる。
\det(A^T)=\det(A)
また、階数かいすうも保存ほぞんされる。
\operatorname{rank}(A^T)=\operatorname{rank}(A)
行列式ぎょうれつしきdeterminantと階数かいすうrankのしきは、あとでくわしく証明しょうめいする先取さきどりである。このページの本流ほんりゅうでは、転置てんちが行くだりと列れつを入いれ替かえ、積せきの順序じゅんじょを逆ぎゃくにすることをつかう。
このため、行くだりに関するterm議論ぎろんを転置てんちして列れつの議論ぎろんへ移すtermことができる。
5What transpose changes and preserves
Transpose changes the number of rows and columns, the way row space and column space are viewed, and the order of multiplication. An m x n matrix becomes an n x m matrix.
Transpose also preserves several quantities. It preserves the total number of entries, and for square matrices it preserves the determinant.
\det(A^T)=\det(A).
It also preserves rank.
\operatorname{rank}(A^T)=\operatorname{rank}(A).
The determinant and rank identities are previews proved in later lectures. The main point needed in this page is that transpose exchanges rows and columns and reverses the order of products.
For this reason, many statements about rows can be transposed into statements about columns.
6転置てんちと行基ぎょうき本ほん変形へんけい・列れつ基本きほん変形へんけい
行基本変形ぎょうきほんへんけいelementary row operationは左ひだりから基本きほん行列ぎょうれつを掛けるterm操作そうさである。一方いっぽう、列基本変形れつきほんへんけいelementary column operationは右みぎから基本きほん行列ぎょうれつを掛けるterm操作そうさである。
転置てんちを取るtermと、左ひだりから掛けるterm操作そうさは右みぎから掛けるterm操作そうさへ移るterm。
(EA)^T=A^TE^T
したがって、行基ぎょうき本ほん変形へんけいの性質せいしつは、転置てんちを通してterm列れつ基本きほん変形へんけいの性質せいしつへ対応たいおうする。行列ぎょうれつ式しき計算けいさんで行くだり変形へんけいと列term変形へんけいが似にた規則きそくを持つtermのは、この対応たいおうがあるからである。
6Transpose and elementary row/column operations
An elementary row operation行基本変形ぎょうきほんへんけい is represented by multiplying by an elementary matrix from the left. An elementary column operation列基本変形れつきほんへんけい is represented by multiplying by an elementary matrix from the right.
After transposing, an operation from the left becomes an operation from the right.
(EA)^T=A^TE^T.
Thus properties of row operations correspond to properties of column operations through transpose. This correspondence explains why row operations and column operations follow similar rules in determinant computations.
7例題れいだい:転置てんちの積せきの順序じゅんじょを確認かくにんする
7.1問題もんだい
A=\begin{pmatrix}1&2&0\\3&-1&4\end{pmatrix},\qquad
B=\begin{pmatrix}2&1\\0&-1\\5&3\end{pmatrix}
について、(AB)^T=B^TA^T を確認かくにんせよ。
7.2解説かいせつ
まず、
AB=\begin{pmatrix}2&-1\\26&16\end{pmatrix}
なので、
(AB)^T=\begin{pmatrix}2&26\\-1&16\end{pmatrix}
である。一方いっぽう、
B^T=\begin{pmatrix}2&0&5\\1&-1&3\end{pmatrix},\qquad
A^T=\begin{pmatrix}1&3\\2&-1\\0&4\end{pmatrix}
したがって、
B^TA^T=\begin{pmatrix}2&26\\-1&16\end{pmatrix}
となり一致いっちする。この例題れいだいは、転置てんちで順序じゅんじょが逆ぎゃくになることを具体ぐたい的てきな数値すうちで確認かくにんするためのものである。
7Worked example: checking the reversed order under transpose
7.1Problem
For
A=\begin{pmatrix}1&2&0\\3&-1&4\end{pmatrix},\qquad
B=\begin{pmatrix}2&1\\0&-1\\5&3\end{pmatrix},
verify (AB)^T=B^TA^T.
7.2Explanation
First,
AB=\begin{pmatrix}2&-1\\26&16\end{pmatrix},
so
(AB)^T=\begin{pmatrix}2&26\\-1&16\end{pmatrix}.
On the other hand,
B^T=\begin{pmatrix}2&0&5\\1&-1&3\end{pmatrix},\qquad
A^T=\begin{pmatrix}1&3\\2&-1\\0&4\end{pmatrix},
and therefore
B^TA^T=\begin{pmatrix}2&26\\-1&16\end{pmatrix}.
The two results agree. This example is meant to make the reversal of order under transpose visible with concrete numbers.
8よくある誤解ごかい
O はサイズを持つterm。A+O の O と AO の O は、必要ひつようなサイズが異なるtermことがある。
I もサイズを持つterm。AI_n=A と I_mA=A では、左右さゆうで使うterm単位たんい行列ぎょうれつのサイズが異なるterm場合ばあいがある。
転置てんちは逆ぎゃく行列ぎょうれつではない。一般いっぱんに A^T A=I は成立しtermない。この等式とうしきが成立するterm行列ぎょうれつは、直交ちょっこう行列ぎょうれつやユニタリ行列ぎょうれつのような特別とくべつな行列ぎょうれつである。
8Common misunderstandings
The symbol O has a size. The zero matrix in A+O and the zero matrix in AO may require different sizes.
The symbol I also has a size. In AI_n=A and I_mA=A, the identity matrices on the two sides may have different sizes.
Transpose is not the inverse. In general, A^T A=I is not true. This identity holds only for special matrices such as orthogonal or unitary matrices.
9最終形さいしゅうけい
単位たんい行列ぎょうれつは何なにもしない行列ぎょうれつ、零れい行列ぎょうれつはすべてを零れいへ送るterm行列ぎょうれつ、転置てんちは行くだりと列termを入れ替えるterm操作そうさである。
I_nv=v,\qquad Ov=0,\qquad (A^T)_{ij}=a_{ji}
転置てんちで特にterm重要じゅうようなのは、積せきの順序じゅんじょが逆ぎゃくになることである。
(AB)^T=B^TA^T
9Final form
The identity matrix does nothing, the zero matrix sends everything to zero, and transpose exchanges rows and columns.
I_nv=v,\qquad Ov=0,\qquad (A^T)_{ij}=a_{ji}.
The especially important fact about transpose is that it reverses the order of multiplication.
(AB)^T=B^TA^T.