직교행렬
📂행렬대수직교행렬
정의
A를 정사각 실수 행렬이라고 하자. A가 아래의 식을 만족하면 직교행렬orthogonal matrix이라 한다.
A−1=AT
위 조건을 다르게 표현하면 다음과 같다.
AAT=ATA=I
설명
정의를 말로 풀어서 쓰면, 직교행렬이란 각각의 행벡터 혹은 열벡터들이 서로 직교하는 단위 벡터인 행렬이다. 복소수 행렬으로 확장한 경우에는 유니타리 행렬이라 부른다. 직교행렬의 구체적인 예로 회전 행렬이 있다. 2차원 평면상의 벡터를 반시계 방향으로 θ만큼 회전시키는 변환은 다음과 같다.
A=[cosθsinθ−sinθcosθ]
아래의 식에 의해 회전 변환은 임의의 θ에 대해서 직교행렬임을 알 수 있다.
ATA=[cosθsinθ−sinθcosθ][cosθ−sinθsinθcosθ]=[1001]=I
det(A)=±1
n×n 실수 행렬 A에 대해서 아래의 명제는 모두 동치이다.
A가 직교행렬이다.
A의 행 벡터들의 집합은 Rn의 정규직교집합이다.
A의 열 벡터들의 집합은 Rn의 정규직교집합이다.
A가 내적을 보존한다. 즉 모든 x,y∈Rn에 대해서 다음이 성립한다.
(Ax)⋅(Ay)=x⋅y
- A가 길이를 보존한다. 즉 모든 x∈Rn에 대해서 다음이 성립한다.
∥Ax∥=∥x∥