「線型代数学/行列概論」の版間の差分
削除された内容 追加された内容
-階数、単位行列の位置を変更、 |
→単位行列: sty |
||
195 行
任意の行列に、適当な零行列をかけると、常に零行列が得られる。零行列は、実数における0に似ている。
{{定義|0.2.11}}
<math>A=(a_{i,j}) \in M(n;\bold K)</math> に対して、<math>a_{k,k} \in \bold K, ~k=1,\cdots,n</math>を、n次正方行列Aの'''対角成分'''という。
{{定義終わり}}
{{定義|0.2.12}}
対角成分がすべて1で、その他の成分がすべて0であるようなn次正方行列を'''単位行列'''といい、E<sub>n</sub>やI<sub>n</sub>と表す。nが明らかである場合にはしばしば省略して、EやIと表すこともある。
\begin{pmatrix}▼
すなわち、
▲:<math>I_n =\begin{pmatrix}
1 & 0 & 0 \\▼
1 & 0 &
0 &
\vdots & \vdots & \ddots & \vdots \\
\end{pmatrix} \in M(n;\bold K)</math>
である。
{{定義終わり}}
EやIは、それぞれElementary, Identityの頭文字である。どちらも一般的に用いられるが、本書ではIと表記することにする。
単位行列は次の性質をもつ。
{{定理|0.2.13}}
* <math>A \in M(m,n;\bold K), ~ AE_n = A</math>
* <math>B \in M(n,l;\bold K), ~ E_nB = B</math>
特に、<math>A \in M(n;\bold K)</math>であれば、
: <math>AE_n = E_nA = A</math>
である。
{{定理終わり}}
定義(1.6)複素共役行列
|