부분 행렬

틀:위키데이터 속성 추적 선형대수학에서 부분 행렬(部分行列, 틀:Llang)은 주어진 행렬의 일부 행과 일부 열을 취한 더 작은 행렬이다. 소행렬식(小行列式, 틀:Llang)은 부분 정사각 행렬의 행렬식이다. 부분 행렬과 그 행렬식은 라플라스 전개와 코시-비네 공식 등의 항등식에서 등장한다. 양의 정부호 행렬의 한 가지 필요충분조건도 부분 행렬의 행렬식을 통해 기술할 수 있다.

정의

환 $R$ 위의 $m\times n$ 행렬 $A\in \mathrm{Mat}(m,n;R)$과 그 행의 집합 $I\subseteq \{1,2,\dots ,m\}$ 및 열의 집합 $J\subseteq \{1,2,\dots ,n\}$에 대하여, $A$의 $(I,J)$-부분 행렬

$A_{I,J}\in \mathrm{Mat}(|I|,|J|;R)$

은 $A$의 $I$에 속하는 행과 $J$에 속하는 열을 취하여 원래의 순서대로 배열한 $|I|\times |J|$ 행렬이다. 즉, 만약

$I=\{i_1,i_2,\dots ,i_{|I|}\}(i_1<i_2<\cdots <i_{|I|})$

$J=\{j_1,j_2,\dots ,j_{|J|}\}(j_1<j_2<\cdots <j_{|J|})$

라고 하면, 이는 다음과 같다.

$(A_{I,J}{)}_{r,s}=A_{i_r,j_s}(r=1,2,\dots ,|I|,s=1,2,\dots ,|J|)$

특히,

• $A$의 $I$에 대한 주부분 행렬(主部分行列, 틀:Llang)은 부분 행렬 $A_{I,I}$를 뜻한다.틀:Rp
• $A$의 $k\times k$ 선행 주부분 행렬(先行主部分行列, 틀:Llang)은 부분 행렬 $A_{\{1,\dots ,k\},\{1,\dots ,k\}}$를 뜻한다.틀:Rp
• $A$의 $i$번째 행벡터(行-, 틀:Llang)는 $A_{i,\{1,\dots ,n\}}$이다.
• $A$의 $j$번째 열벡터(列-, 틀:Llang)는 $A_{\{1,\dots ,m\},j}$이다.

소행렬식과 여인자

가환환 성분의 행렬의 부분 정사각 행렬의 행렬식은 흔히 소행렬식이라고 부른다. 주부분 행렬의 행렬식은 주소행렬식(主小行列式, 틀:Llang)이라고 하며, 선행 주부분 행렬의 행렬식은 선행 주소행렬식(先行主小行列式, 틀:Llang)이라고 한다.

가환환 $R$ 위의 $n\times n$ 정사각 행렬 $A\in \mathrm{Mat}(n;R)$ 및 크기가 같은 행과 열의 집합 $I,J\subseteq \{1,2,\dots ,n\}$에 대하여 ($|I|=|J|$), $A$의 $(I,J)$-소행렬식 $M(A{)}_{I,J}$은 $I$에 속하는 행과 $J$에 속하는 열을 제거한 부분 행렬의 행렬식이다. $A$의 $(I,J)$-여인자 $C(A{)}_{I,J}$는 $(I,J)$-소행렬식에 적절한 부호 $(-1{)}^{\sum I+\sum J}$를 추가한 것이다.

$M(A{)}_{I,J}=\det A_{\{1,\dots ,n\}\setminus I,\{1,\dots ,n\}\setminus J}\in R$

$C(A{)}_{I,J}=(-1{)}^{\sum I+\sum J}\det A_{\{1,\dots ,n\}\setminus I,\{1,\dots ,n\}\setminus J}\in R$

가환환 $R$ 위의 $n\times n$ 정사각 행렬 $A\in \mathrm{Mat}(n;R)$의 여인자 행렬(餘因子行列, 틀:Llang)

$C(A)\in \mathrm{Mat}(n;R)$

는 각 $(i,j)$-여인자

$C(A{)}_{ij}=(-1{)}^{i+j}\det A_{\{1,\dots ,n\}\setminus \{i\},\{1,\dots ,n\}\setminus \{j\}}$

를 $(i,j)$-성분으로 하는 $n\times n$ 정사각 행렬이다.

예

실수 3×3 행렬

$\left(\begin{array}{ccc}2& -1& 0\\ 3& 1& 9\\ -5& 7& -12\end{array}\right)$

에서 2번째 행과 1번째 열을 제거한 부분 행렬은

$\left(\begin{array}{cc}-1& 0\\ 7& -12\end{array}\right)$

이다. 따라서 (2,1)-여인자는

$(-1{)}^{2+1}\left|\begin{array}{cc}-1& 0\\ 7& -12\end{array}\right|=(-1)\times ((-1)\times (-12)-0\times 7)=-12$

이다.

응용

라플라스 전개

틀:본문 가환환 $R$ 위의 $n\times n$ 정사각 행렬 $A$ 및 행·열의 집합 $I\subseteq \{1,2,\dots ,n\}$에 대하여, 다음이 성립한다.

$\det A=\sum _{J\subseteq \{1,\dots ,n\}}^{|J|=|I|}(\det A_{I,J})(-1{)}^{\sum I+\sum J}(\det A_{\{1,\dots ,n\}\setminus I,\{1,\dots ,n\}\setminus J})=\sum _{J\subseteq \{1,\dots ,n\}}^{|J|=|I|}(\det A_{J,I})(-1{)}^{\sum J+\sum I}(\det A_{\{1,\dots ,n\}\setminus J,\{1,\dots ,n\}\setminus I})$

코시-비네 공식

틀:본문 가환환 $R$ 위의 $m\times n$ 행렬 $A$ 및 $n\times m$ 행렬 $B$에 대하여, 다음이 성립한다 ($m\le n$).

$\det (AB)=\sum _{I\subseteq \{1,\dots ,n\}}^{|I|=m}\det A_{\{1,\dots ,m\},I}\det B_{I,\{1,\dots ,m\}}$

역행렬

틀:본문 가환환 $R$ 위의 $n\times n$ 정사각 행렬 $A$의 고전적 수반 행렬 $\mathrm{adj}A$은 여인자 행렬의 전치 행렬이다. 가역 행렬 $A$의 역행렬은 고전적 수반 행렬과 행렬식을 통해 다음과 같이 나타낼 수 있다.

$A^{-1}=\frac{1}{\det A}\mathrm{adj}A$

양의 정부호성

틀:본문 에르미트 행렬 $A$에 대하여, 다음 두 조건이 서로 동치이다.

• 양의 정부호 행렬이다.
• 모든 선행 주소행렬식이 양의 실수이다.

또한 다음 두 조건이 서로 동치이다.

• 양의 준정부호 행렬이다.
• 모든 주소행렬식이 음이 아닌 실수이다.

각주

• 틀:서적 인용

외부 링크

• 틀:매스월드
• 틀:매스월드