{{위키데이터 속성 추적}}
[[파일:Jordan blocks.svg|섬네일|조르당 표준형의 모양. <math>\lambda_i</math>들은 [[고윳값]]이고, 회색 정사각형들은 조르당 블록이라고 한다.]]
[[선형대수학]]에서 '''조르당 표준형'''(Jordan標準型, {{llang|en|Jordan normal form}})은 주어진 [[행렬]]과 [[행렬의 닮음|닮고]], [[대각 행렬]]에 가장 가까운 행렬이다. 임의의 행렬의 조르당 표준형은 그 [[특성 다항식]]이 완전히 [[인수 분해]]되는 [[체 (수학)|체]] 위에서만 존재한다. 특히 [[대수적으로 닫힌 체]] 위의 임의의 행렬(특히, [[복소수]] 행렬)은 조르당 표준형을 가지며, 이는 조르당 블록들을 대각선 위에 배열하는 순서를 무시하면 유일하다. 조르당 블록의 배열 순서는 정해진 규칙이 없지만, 보기 좋게 하기 위해 일반적으로 같은 고윳값에 대해서는 주기가 높은 순에서 낮은 순이 사용된다. 

프랑스의 수학자 [[카미유 조르당]]의 이름을 땄다.

== 정의 ==
[[대수적으로 닫힌 체]] <math>K</math> (특히 [[복소수체]] <math>\mathbb C</math>) 위의 임의의 [[정사각 행렬]] <math>M\in\operatorname{Mat}(n;K)</math>은 어떤 [[가역 행렬]] <math>G\in\operatorname{GL}(n;K)</math>을 통해 다음과 같은 꼴의 행렬과 [[행렬의 닮음|닮음]]이며, 이는 대각선 위의 <math>J_i</math>들의 순서를 무시하면 유일하다. 이를 <math>M</math>의 '''조르당 표준형'''이라고 한다.
:<math>G^{-1}MG=
  \begin{pmatrix}
    J_1 \\
    & \ddots \\
    && J_k
  \end{pmatrix}
</math>
여기서 <math>J_i</math> (<math>i=1,\dots,k</math>)는 다음과 같은 꼴의 [[정사각 행렬]]이며, 이를 '''조르당 블록'''({{llang|en|Jordan block}})이라고 한다.
:<math>J_i = 
  \begin{pmatrix}
    \lambda_i & 1 \\
    & \lambda_i & \ddots \\
    && \ddots & 1 \\
    &&& \lambda_i
  \end{pmatrix}
\in\operatorname{Mat}(n_i;K)</math>

조르당 블록의 대각 성분 <math>\lambda_i</math>들은 <math>M</math>의 [[고윳값]]들이다. 서로 다른 조르당 블록의 대각 성분은 서로 같을 수 있다. 각 고윳값에 대응하는 조르당 블록의 수는 그 고윳값의 [[기하적 중복도]]와 같다. 특히 <math>k</math>는 모든 고윳값의 기하적 중복도의 합이다. 조르당 표준형의 대각선 위에 주어진 고윳값이 등장하는 횟수는 그 고윳값의 [[대수적 중복도]]이다. (물론 그 합은 <math>n</math>이다.) 만약 <math>k=n</math>인 경우 (즉, 모든 조르당 블록의 크기가 1×1인 경우), 조르당 표준형은 [[대각 행렬]]이 된다. 반대로 만약 <math>k<n</math>이라면 (즉, 주대각선 위에 1이 있는 조르당 블록이 존재한다면), 기하적 중복도가 대수적 중복도보다 작은 고윳값이 적어도 하나 존재하게 되므로 <math>M</math>은 [[대각화 가능 행렬]]이 아니다.

사실 조르당 표준형은 <math>M</math>으로 유도된 <math>K[x]</math>-[[가군]] <math>K^n</math> (<math>x\cdot v=Mv</math>)의 [[으뜸 분해]]
:<math>K^n\cong\prod_{i=1}^kK[x]/((x-\lambda_i)^{n_i})</math>
에서, <math>M</math>에 대응하는 <math>K</math>-[[선형 변환]] <math>v\mapsto x\cdot v</math>의 적절한 기저에 대한 행렬과 같다. 이 기저는 으뜸 분해의 각 성분 <math>K[x]/((x-\lambda_i)^{n_i})</math>에서 다음과 같은 기저를 취하여 얻는다.
:<math>\{(x-\lambda_i)^{n_i-1},(x-\lambda_i)^{n_i-2},\dots,1\}</math>

=== 실수 조르당 표준형 ===
모든 성분이 실수인 행렬은 복소수 행렬로서 유일한 조르당 표준형을 가지며, 이는 [[특성 다항식]]이 허근을 갖는다면 실수 행렬이 아니다. [[복소수체]]의 [[기약 다항식]]이 1차 다항식들인 반면, [[실수체]]의 [[기약 다항식]]들은 1차 다항식과
:<math>(x-a)^2+b^2</math>
:<math>a,b\in\mathbb R</math>
:<math>b\ne 0</math>
꼴의 2차 다항식으로 구성된다. 이 경우 [[으뜸 분해]]의 2차 다항식의 거듭제곱에 대한 성분에 대하여 다른 적절한 기저를 취해서 표준형이 실수 행렬이 되도록 만들 수 있다.

구체적으로, 임의의 실수 [[정사각 행렬]] <math>M\in\operatorname{Mat}(n;\mathbb R)</math>에 대하여, [[가역 행렬]] <math>G\in\operatorname{GL}(n;\mathbb R)</math>을 통해 다음과 같은 꼴의 행렬과 [[행렬의 닮음|닮음]]이며, 이는 주대각선 위 <math>J_i</math>의 순서를 무시하면 유일하다. 이를 <math>M</math>의 '''실수 조르당 표준형'''(實數Jordan標準型, {{llang|en|real Jordan normal form}})이라고 한다.
:<math>G^{-1}MG=
  \begin{pmatrix}
    J_1 \\
    & \ddots \\
    && J_k
  \end{pmatrix}
</math>
여기서 <math>J_i</math> (<math>i=1,\dots,k</math>)는 다음 두 가지 중 하나의 형태이다.
* <math>J_i = 
  \begin{pmatrix}
    \lambda_i & 1 \\
    & \lambda_i & \ddots \\
    && \ddots & 1 \\
    &&& \lambda_i
  \end{pmatrix}
\in\operatorname{Mat}(n_i;K)</math>
* <math>J_i=
  \begin{pmatrix}
    a_i & -b_i & 1 & 0 \\
    b_i & a_i & 0 & 1 \\
    && a_i & -b_i & \ddots \\
    && b_i & a_i & \ddots & 1 & 0 \\
    &&&& \ddots & 0 & 1 \\
    &&&&& a_i & -b_i \\
    &&&&& b_i & a_i
  \end{pmatrix}
\in\operatorname{Mat}(2n_i;K)</math>
이 경우, <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}(x))</math>
위의 <math>M</math>에 대응하는 <math>\mathbb R</math>-[[선형 변환]] <math>v\mapsto x\cdot v</math>의 행렬이 실수 조르당 표준형이 되는 기저를 얻으려면, 으뜸 분해의 각 성분 <math>\mathbb R[x]/(p_i^{n_i}(x))</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>
* 만약 <math>p_i(x)=(x-a_i)^2+b_i^2</math>라면,
*:<math>\{v_{i,2n_i}(x),v_{i,2n_i-1}(x),\dots,v_{i,1}(x)\}</math>
::<math>v_{i,2n_i-2r+2}(x)=p_i(x)^{n_i-r}\left(\Re((x-a_i)+b_i\sqrt{-1})^r+\Im((x-a_i)+b_i\sqrt{-1})^r\right)</math>
::<math>v_{i,2n_i-2r+1}(x)=p_i(x)^{n_i-r}\left(\Re((x-a_i)+b_i\sqrt{-1})^r-\Im((x-a_i)+b_i\sqrt{-1})^r\right)</math>
::<math>r=1,2,\dots,n_i</math>

== 계산법 ==
어떤 n차 복소 정사각행렬 A의 조르당 표준형은 다음 네 가지 요소를 계산하면 P를 직접적으로 계산하지 않고 곧바로 구성할 수 있다.
# A의 고윳값(중복을 고려하여 <math>\lambda_1, ..., \lambda_n</math>)
# 고윳값의 중복도
# 고윳값에 대응하는 고유벡터
# 각 고유벡터 <math>\mathbf{x}_i</math> 와 그에 대응하는 고윳값 <math>\lambda_j</math> 에 대하여 고유벡터의 <math>(A - \lambda_jI)</math> 에 대한 주기(period)

== 예 ==
예를 들어, 5차 정사각행렬 A의 고윳값이 중복을 고려하여 1, 2, 2, 2, 2이고, 고윳값 1에 대응하는 고유벡터는 하나, 고윳값 2에 대응하는 고유벡터는 2개가 있으며, 고윳값 1에 대응하는 고유벡터의 (A - I)에 대한 주기는 1, 고윳값 2에 대응하는 첫 번째 고유벡터의 (A - 2I)에 대한 주기는 3, 두 번째 고유벡터의 (A - 2I)에 대한 주기는 1이라 하자. 그러면 고유벡터가 세 개이므로 조르당 블록은 세 개가 된다. 또, 같은 고윳값의 고유벡터들에 대해 주기가 큰 것부터 작은 것으로 배열한다. 그러면 실제로 각 고유벡터에 대한 조르당 블록은 다음과 같다.
:<math>J_1 = \begin{pmatrix} 1\end{pmatrix}</math>
:<math>J_2 = 
\begin{pmatrix}
2      & 1    & 0 \\
0      & 2    & 1 \\
0      & 0    & 2
\end{pmatrix}</math>
:<math>J_3 = \begin{pmatrix}2\end{pmatrix}</math>

이제 이를 이용해 A의 조르당 표준형을 구하면 다음과 같다.

:<math>J_A = 
\begin{pmatrix}
1      & 0    & 0  & 0  & 0 \\
0      & 2    & 1  & 0  & 0 \\
0      & 0    & 2  & 1  & 0 \\
0      & 0    & 0  & 2  & 0 \\
0      & 0    & 0  & 0  & 2
\end{pmatrix}</math>

== 역사 ==
프랑스의 수학자 [[카미유 조르당]]이 1870년에 정의하였다.<ref>{{저널 인용|이름=C.|성=Jordan|저자링크=카미유 조르당|제목=Traité des substitutions et des équations algébriques|위치=Paris|출판사= Gauthier-Villars|날짜=1870|쪽=114–125|mr=1188877 |jfm=03.0042.02|언어=fr}}</ref>

== 응용 ==
조르당 표준형은 다른 정리를 증명하는 데 많이 쓰인다.
* 조르당 표준형을 만든 후 즉시 대입을 통해 다음 [[스펙트럼 사영 정리]]를 증명할 수 있다.
: n차 정사각행렬 A의 고윳값을 중복을 고려하여 <math>\lambda_1, ..., \lambda_n</math> 라 할 때, 임의의 [[다항식]] p(x)에 대하여 p(A)의 고윳값은 <math>p(\lambda_1), ..., p(\lambda_n)</math> 이 된다.
* 조르당 표준형에서 즉시 대입을 통해 [[케일리-해밀턴 정리]]를 일반적인 경우에 증명할 수 있다.
또한, 조르당 표준형에 있는 행렬의 경우 여러 성질들을 쉽게 계산할 수 있다.
* 조르당 표준형을 구하는 과정에서 얻은 값으로 행렬의 [[최소 다항식]]을 구할 수 있다.
** 거꾸로, 행렬의 극소다항식을 알면 조르당 표준형을 쉽게 구할 수 있는 경우가 많다.
* 조르당 표준형을 이용하여 어떤 행렬 A의 [[행렬 지수]] 표현 <math>e^A</math>를 쉽게 계산할 수 있다.

== 각주 ==
{{각주}}
* {{서적 인용|이름=Serge|성=Lang|저자링크=서지 랭|기타=정자아 역|제목=선형대수학|출판사=경문사|날짜=2004}}

== 같이 보기 ==
* [[대각화]]
* [[스펙트럼 사영 정리]]
* [[케일리-해밀턴 정리]]
* [[최소 다항식]]
* [[표준형]]
* [[유리 표준형]]
* [[스미스 표준형]]
* [[에르미트 표준형]]

== 외부 링크 ==
* {{eom|title=Jordan matrix}}
* {{매스월드|id=JordanCanonicalForm|title=Jordan canonical form}}
* {{매스월드|id=JordanBlock|title=Jordan block}}
* {{매스월드|id=JordanBasis|title=Jordan basis}}

[[분류:행렬 분해]]