복소 선형대수·켤레 내적

복소 벡터의 길이에 켤레가 필요한 이유

Cⁿ의 벡터도 성분별로 더하고 복소수배합니다. 길이를 정의할 때는 실수 내적의 전치를 켤레전치로 바꿉니다. 이 교재는 첫 인자에 켤레를 취하는 규약을 사용합니다.

첫 인자에는 켤레선형, 둘째에는 선형입니다. 일부 수학 문헌은 반대 규약을 쓰므로 식을 옮길 때 어느 인자가 선형인지 확인하세요. 켤레 대칭성은 ⟨v,w⟩=overline(⟨w,v⟩)입니다.

전치만 사용한 반례

v=(1,i)는 영벡터가 아닙니다. 하지만 vᵀv=1+i²=0입니다. 이 이중선형 형식은 양의 길이 제곱이 될 수 없습니다. Hermitian 내적에서는

복소 벡터의 norm을 plain transpose로 구현하면 비영벡터의 길이를 0으로 계산할 수 있습니다. vᵀw가 특정 대수적 계산에 의미 없다는 뜻은 아니고, norm을 정의하는 내적과 다른 대상이라는 뜻입니다.

위상을 바꾼 두 성분 비교

실습은 v=(1,i), w=s(1,e^{iθ})를 사용합니다. θ=90도,s=1이면 w=v이고 v*w=2입니다. θ=−90도이면 w=(1,−i)이며

두 벡터는 Hermitian 의미에서 직교합니다. 같은 예제의 bilinear vᵀw는 2이므로 켤레의 유무가 실제 결론을 바꿉니다.

Cauchy–Schwarz는 |v*w|≤‖v‖‖w‖입니다. 정규화한 크기는 0부터 1 사이지만 s=0이면 분모가 0이라 정의하지 않습니다. 영벡터를 임의 방향의 유사도 1로 채우지 마세요.

Unitary와 Hermitian 행렬

Unitary는 복소 공간의 길이·내적을 보존합니다. Hermitian 행렬은 실수 고유값과 직교 고유기저를 갖습니다. 실수 대칭 행렬의 결과를 복소 공간으로 확장할 때 전치만 유지하면 일반적으로 틀립니다. PSD도 모든 복소 v에 대해 v*Av≥0으로 정의합니다.

그림의 차원과 AI 연결

그림은 w의 각 복소 성분을 같은 복소평면 위의 두 선분으로 비교합니다. C²는 실수 차원 4이므로 그 전체 기하를 2D 그림 하나가 보존한다고 주장하지 않습니다. 성분 plot과 벡터 전체의 inner product readout을 함께 보세요.

복소 attention, Fourier 계수, 양자 상태의 겹침에서 Hermitian 규약이 중요합니다. 특정 norm 보존층을 사용했다고 모델 전체가 unitary인 것은 아닙니다. 비선형·손실·출력 해석의 조건을 각각 확인해야 합니다.

확인 문제와 답

1. ‖(1,i)‖는? √2입니다.
2. w=iv이면 |v*w|/‖v‖‖w‖는? 1입니다. 절댓값 유사도는 전역 위상 차이를 무시합니다.
3. 복소 내적이 항상 실수인가요? 자기 내적은 비음수 실수지만 두 다른 벡터의 내적은 복소수일 수 있습니다.

추가 읽기: MIT Complex Variables with Applications. 공식 강좌 범위를 확인해 보충 자료로 연결합니다. 본문의 작은 계산과 예제는 직접 구성했습니다.