2009年8月13日 (木) 09:15時点における版編集 Mi-yan (トーク \| 投稿記録) 85 回編集下書き		2019年2月2日 (土) 16:26時点における最新版編集取り消し Texvc2LaTeXBot (トーク \| 投稿記録) 24 回編集 M 廃止された数式構文をmw:Extension:Math/Roadmapに従って置き換える
8 行 ''定義'' <math>\ A = (a_{i,j}) \in \ M(n;\CComplex)</math> の対角成分以外がすべて０つまり、<math>\ a_{i,j} = 0 (i \neq j) </math> のとき　<math>\ A</math> を対角行列という。 17 行 ''定義'' <math>\ A \in \ M(n;\CComplex) </math>が対角化可能 <math>\Leftrightarrow </math>　正則行列　<math>\ P \in \ M(n;\CComplex)</math> が存在して :<math>P^{-1}AP = \begin{pmatrix} \alpha_1 & &&\\ & \alpha_2 && \\&& \ddots & \\ &&& \alpha_n\\ \end{pmatrix} </math> 26 行 ''定理'' <math>\ A \in \ M(n;\CComplex)</math> の固有値を <math>\alpha_1,\cdots ,\alpha_r </math>、<math>\ \alpha_i</math>　の重複度を　<math>\ \nu_i</math> とする。このとき、以下の（ⅰ）（ⅱ）（ⅲ）は同値である。（ⅰ）<math>\ A </math> は対角化可能（ⅱ）<math>\CComplex^n = E(\alpha_1) \oplus E(\alpha_2) \oplus \cdots \oplus E(\alpha_r)</math> （ⅲ）<math>\ dim E(\alpha_i) = \nu_i</math>

「利用者・トーク:Mi-yan/対角化」の版間の差分