조르당 표준형: 두 판 사이의 차이

13 바이트 추가됨 ,  8개월 전
잔글
잔글 (→‎정의)
이 경우, <math>M</math>으로 유도된 <math>\mathbb R[x]</math>-[[가군]] <math>\mathbb R^n</math> (<math>x\cdot v=Mv</math>)의 [[으뜸 분해]]
:<math>\mathbb R^n\cong\prod_{i=1}^k\mathbb R[x]/(p_i^{n_i})</math>
위의 <math>M</math>에 대응하는 <math>\mathbb R</math>-[[선형 변환]] <math>v\mapsto x\cdot v</math>의 행렬이 <math>M</math>의 실수 조르당 표준형이 되는 기저를 얻으려면, 으뜸 분해의 각 성분 <math>\mathbb R[x]/(p_i^{n_i})</math> 속에서 다음과 같은 기저를 취한다.
* 만약 <math>p_i(x)=x-\lambda_i</math>라면,
*:<math>\{(x-\lambda_i)^{n_i-1},(x-\lambda_i)^{n_i-2},\dots,1\}</math>