대칭·반대칭 텐서와 분해

축을 교환했을 때 남는 구조

두 축을 교환해도 성분이 같은 실수 행렬은 대칭이고, 부호가 반대이면 반대칭입니다. 이것은 값의 크기에 대한 조건이 아니라 좌표 교환에 대한 관계입니다. 대각 성분은 스스로의 음수여야 하므로 실수 반대칭 행렬의 대각은 0입니다.

여기서는 실수 2×2 행렬로 시작합니다. 복소수에서 에너지와 내적을 다룰 때 자주 쓰는 Hermitian 조건은 켤레전치가 필요하므로 단순 전치와 구분해야 합니다.

모든 행렬을 두 부분으로 나누기

원본과 전치를 더하면 교환에 의해 유지되는 부분이 남고, 빼면 부호가 바뀌는 부분이 남습니다. 2로 나누어 원본을 정확하게 복원합니다.

기준 A의 행은 (1,2),(0,3)입니다. S의 행은 (1,1),(1,3), K의 행은 (0,1),(−1,0)입니다. 표의 각 좌표에서 S와 K를 더해 A가 되는지 확인하세요. 원본이 이미 대칭이면 K는 모두 0이고, 이미 반대칭이면 S가 모두 0입니다.

직교 분해와 이차형식

Frobenius 내적은 같은 좌표의 곱을 더한 값입니다. 대칭 부분과 반대칭 부분에서는 서로 바뀐 좌표 항이 상쇄되므로 내적이 0입니다. 따라서 제곱 노름도 나누어집니다.

실수 벡터 v에 대해 vᵀKv는 스칼라인데 전치하면 자신의 음수가 됩니다. 그러므로 값은 0이고, vᵀAv는 대칭 부분만으로 결정됩니다. 실습은 v=(1,2)에서도 이를 확인합니다. 반대칭 부분이 항상 쓸모없다는 뜻은 아닙니다. 회전 생성자 같은 선형 동작에서는 중요한 역할을 합니다.

고차 텐서로 확장하기

차수 d에서 모든 축 순열에 대한 평균은 완전 대칭화를 만듭니다. 순열의 부호까지 곱해 평균하면 완전 교대화를 만듭니다. 실수 공간에서는 d!로 나눌 수 있습니다. 다만 고차에서 이 두 부분만 더해 임의의 텐서를 항상 복원하는 것은 아닙니다. 다른 순열 대칭 유형도 존재합니다.

이 단원의 조절기와 분해 표는 차수 2에 한정됩니다. 고차 대칭화 코드를 실행하는 것으로 해석하지 마세요. AI에서는 Hessian의 대칭성 조건, 불변량 구성, 기하 구조를 보존하는 모델을 읽는 기초가 됩니다.

확인 문제

1. A가 대칭이면 K는? 영 행렬입니다.
2. 반대칭 부분이 실수 이차형식에 기여하나요? 아니요. 항상 0입니다.
3. 고차에서도 대칭과 완전 교대 부분만으로 충분한가요? 일반적으로는 아닙니다.

추가 읽기: Kolda–Bader, Tensor Decompositions and Applications. 본문의 작은 배열·복원·비용 예제는 직접 구성했습니다.