블록 행렬

수학에서 블록 행렬(block行列, ) 또는 분할 행렬(分割行列, )은 더 작은 행렬 블록들로 분할되었다고 간주된 행렬이다. 즉, 행렬의 행과 열을 수평선 및 수직선들을 통해 분할하는 것이다. 블록 행렬은 행렬의 구조를 더 알기 쉽게 만들며, 행렬의 연산을 호환되는 블록 행렬 연산으로 대신할 수 있다.

 정의 
체  위의  행렬 가 주어졌다고 하자. 또한,

라고 하자. 그렇다면 은 다음과 같은 블록 행렬로 나타낼 수 있다.

여기서 는 다음과 같은  행렬이다.

 종류 
특별한 성질들을 만족시키는 블록 행렬을 정의할 수 있다.
 블록 대각 행렬(block對角行列, ): 대각선 이외의 모든 행렬 블록이 영행렬인 블록 행렬. 행과 열의 분할이 자명할 경우 이는 대각 행렬이 된다.
 블록 상(하)삼각 행렬(block上(下)三角行列, ): 대각선 아래(위)의 모든 행렬 블록이 영행렬인 블록 행렬. 행과 열의 분할이 자명할 경우 이는 상(하)삼각 행렬이 된다.

 성질 
 행렬 곱셈 
섬네일|블록 행렬의 곱셈의 예시
행렬 곱셈은 블록 행렬을 통해 나타낼 수 있다. 다만, 행렬 곱셈에서 왼쪽 행렬의 열수와 오른쪽 행렬의 행수가 같아야 하는 것과 같이, 블록 행렬 곱셈에서는 왼쪽 행렬의 열의 분할 방법과 오른쪽 행렬의 행의 분할 방법이 같아야 한다. 즉, 가 체  위의  행렬이며, 임의의  및 에 대하여, 블록 가  행렬이라고 하자. 마찬가지로, 가  위의  행렬이며, 임의의  및 에 대하여, 블록 가  행렬이라고 하자. 그렇다면, 곱 의 각 블록 는 다음과 같은  행렬이다.

이를 행렬 기호로 쓰면 다음과 같다.

 항등식 
다음과 같은 항등식들이 성립한다. (단, 우변의 각 역행렬이 존재하여야 한다.)

 예 
행렬

는 블록 행렬로 다음과 같이 나타낼 수 있다.

여기서

따라서, 는 블록 대각 행렬이다.

 같이 보기 
 크로네커 곱
 조르당 표준형
 슈트라센 알고리즘
 각주 

 외부 링크 


분류:성긴 행렬