markdown
単位行列・零行列・転置の基本md 4f17b0a
lecture/math/linear-algebra/identity-zero-and-transpose-matrices.lecture.n.md
Download PDF

単位行列たんいぎょうれつidentity matrix・零行列れいぎょうれつzero matrix・転置てんちtransposeの基本きほん

Basics of the identity matrix単位行列たんいぎょうれつ, zero matrix零行列れいぎょうれつ, and transpose転置てんち

1導入どうにゅう

単位行列たんいぎょうれつidentity matrix、零行列れいぎょうれつzero matrix、転置てんちtransposeは、複雑ふくざつな行列ぎょうれつ計算けいさんを始めるterm前まえに必ずterm整理せいりしておくべき基準きじゅんである。

単位たんい行列ぎょうれつは「何なにもしない」変換へんかん、零れい行列ぎょうれつは「すべてを原点げんてんへ潰すterm」変換へんかん、転置てんちは「行くだりと列れつの役割やくわりを入れ替えるterm」操作そうさである。この3つを区別くべつできると、逆ぎゃく行列ぎょうれつ、直交ちょっこう行列ぎょうれつ、対称たいしょう行列ぎょうれつ、エルミート行列ぎょうれつの意味いみが読みtermやすくなる。

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 次つぎの単位たんい行列ぎょうれつ In は、対たい角かく成分せいぶんが 1、そ以外いがいが 0 の正方せいほう行列ぎょうれつである。。

In=(10⋯001⋯0⋮⋮⋱⋮00⋯1)

零れい行列ぎょうれつ Om,n は、すべての成分せいぶんが 0 の mxn 行列ぎょうれつである。サイズが文脈ぶんみゃくから明らかtermなときは O と書くterm。

mxn 行列ぎょうれつ A=(aij) の転置てんち AT は、i 行ぎょう j 列れつの成分せいぶんを j 行ぎょう i 列れつへ移しtermた nxm 行列ぎょうれつである。

(AT)ij=aji

2Terms and definitions

The n by n identity matrix In is the square matrix whose diagonal entries are 1 and whose other entries are 0.

In=(10⋯001⋯0⋮⋮⋱⋮00⋯1).

The zero matrix Om,n is the mxn matrix whose entries are all 0. When the size is clear from context, we write simply O.

For an mxn matrix A=(aij), the transpose AT is the nxm matrix obtained by moving the entry in row i, column j to row j, column i.

(AT)ij=aji.

3直感的ちょっかんてきな説明せつめい

単位たんい行列ぎょうれつは、ベクトルをそのまま返すterm線型せんけい写像しゃぞうである。

Inv=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.

Inv=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。

AIn=A,ImA=A
A+O=A
(AT)T=A
(A+B)T=AT+BT
(cA)T=cAT
(AB)T=BTAT

最後さいごの式しきでは順序じゅんじょが逆ぎゃくになる。これは積せき AB の成分せいぶんが「A の行くだり」と「B の列れつ」の内積ないせきで作らtermれるため、転置てんちするとその役割やくわりが入れ替わるtermからである。

4Basic laws

When the sizes are compatible, the following identities hold.

AIn=A,ImA=A.
A+O=A.
(AT)T=A.
(A+B)T=AT+BT.
(cA)T=cAT.
(AB)T=BTAT.

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の順序じゅんじょである。mxn 行列ぎょうれつは nxm 行列ぎょうれつになる。

転置てんちで保存ほぞんされるものも多いterm。成分せいぶんの総数そうすうは変わらtermず、正方せいほう行列ぎょうれつでは行列ぎょうれつ式しきも保存ほぞんされる。

det(AT)=det(A)

また、階数かいすうも保存ほぞんされる。

rank(AT)=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 mxn matrix becomes an nxm matrix.

Transpose also preserves several quantities. It preserves the total number of entries, and for square matrices it preserves the determinant.

det(AT)=det(A).

It also preserves rank.

rank(AT)=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=ATET

したがって、行基ぎょうき本ほん変形へんけいの性質せいしつは、転置てんちを通して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=ATET.

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=(1203-14),B=(210-153)

について、(AB)T=BTAT を確認かくにんせよ。

7.2解説かいせつ

まず、

AB=(2-12616)

なので、

(AB)T=(226-116)

である。一方いっぽう、

BT=(2051-13),AT=(132-104)

したがって、

BTAT=(226-116)

となり一致いっちする。この例題れいだいは、転置てんちで順序じゅんじょが逆ぎゃくになることを具体ぐたい的てきな数値すうちで確認かくにんするためのものである。

7Worked example: checking the reversed order under transpose

7.1Problem

For

A=(1203-14),B=(210-153),

verify (AB)T=BTAT.

7.2Explanation

First,

AB=(2-12616),

so

(AB)T=(226-116).

On the other hand,

BT=(2051-13),AT=(132-104),

and therefore

BTAT=(226-116).

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。AIn=A と ImA=A では、左右さゆうで使うterm単位たんい行列ぎょうれつのサイズが異なるterm場合ばあいがある。

転置てんちは逆ぎゃく行列ぎょうれつではない。一般いっぱんに ATA=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 AIn=A and ImA=A, the identity matrices on the two sides may have different sizes.

Transpose is not the inverse. In general, ATA=I is not true. This identity holds only for special matrices such as orthogonal or unitary matrices.

9最終形さいしゅうけい

単位たんい行列ぎょうれつは何なにもしない行列ぎょうれつ、零れい行列ぎょうれつはすべてを零れいへ送るterm行列ぎょうれつ、転置てんちは行くだりと列termを入れ替えるterm操作そうさである。

Inv=v,Ov=0,(AT)ij=aji

転置てんちで特にterm重要じゅうようなのは、積せきの順序じゅんじょが逆ぎゃくになることである。

(AB)T=BTAT

9Final form

The identity matrix does nothing, the zero matrix sends everything to zero, and transpose exchanges rows and columns.

Inv=v,Ov=0,(AT)ij=aji.

The especially important fact about transpose is that it reverses the order of multiplication.

(AB)T=BTAT.

10演習えんしゅうリンク

11関連かんれんリンク

10Exercise links

11Related links

raw .n.md をコピー
loc をコピー (filepath:line ~ line)
copy share link
copy encoded share link
path をコピー
copy share link
copy encoded share link
copy share link
copy encoded share link
タブを全て閉じる