정의
편극 항등식(Polarization identity)은 내적공간에서 내적을 그 공간에 정의된 노름(norm)만을 이용해 표현하는 등식이다. 실수·복소수 내적공간 $V$에 대하여, 두 원소 $x, y \in V$에 대해 다음과 같이 주어진다.
-
실수 내적공간(실수 스칼라)
$$ \langle x , y \rangle = \frac{1}{4}\Big(|x+y|^{2}-|x-y|^{2}\Big). $$ -
복소수 내적공간(복소 스칼라)
$$ \langle x , y \rangle = \frac{1}{4}\Big(|x+y|^{2}-|x-y|^{2}\Big) +\frac{i}{4}\Big(|x+iy|^{2}-|x-iy|^{2}\Big). $$
위 식을 통해 노름만으로 내적을 일관되게 복구할 수 있다.
개요
편극 항등식은 내적이 직접 정의되지 않은 경우에도, 주어진 노름이 실제로 어떤 내적에 의해 유도된 것인지를 판정하거나, 노름으로부터 내적을 재구성하는 데 사용된다. 이는 힐베르트 공간 이론, 선형대수학, 함수해석학 등에서 기본적인 도구로 활용된다. 특히, 힐베르트 공간의 정의 가운데 “노름이 내적에 의해 유도된다”는 조건을 검증할 때 편극 항등식이 핵심적인 역할을 한다.
어원/유래
‘편극(polarization)’은 물리학·수학에서 ‘극성을 띠게 함’이라는 의미로 쓰이며, 내적을 노름이라는 ‘크기’만을 이용해 ‘극(보통 두 개의 방향)’으로 분해한다는 개념에서 유래한다. ‘항등식(identity)’은 양변이 항상 동일한 식임을 나타낸다. 영어 원어는 polarization identity이며, 20세기 초 기능해석학·히르베르트 공간 이론이 정립되면서 일반화되었다. 한국어 번역인 “편극 항등식”은 1970~80년대 수학 교재에서 도입된 것으로, 정확한 최초 사용 연도는 확인되지 않는다.
특징
| 구분 | 내용 |
|---|---|
| 대상 | 실수·복소수 힐베르트 공간(또는 내적을 정의할 수 있는 노름공간) |
| 필요 조건 | 노름이 파라볼릭(평행) 성질을 만족하고, 삼각부등식이 성립함 |
| 표현 방식 | 두 원소의 합·차, (복소 경우) 허수 단위와의 조합을 이용해 4개의 노름 제곱을 사용 |
| 응용 |
|
| 확장 | 다중선형 형태(다중 편극 항등식) 등으로 일반화 가능하지만, 일반적인 경우는 위 두 식에 한정됨 |
관련 항목
- 내적 (Inner product)
- 노름 (Norm)
- 힐베르트 공간 (Hilbert space)
- 파라볼릭 불평등 (Parallelogram law) – 편극 항등식이 성립하기 위한 필요·충분 조건 중 하나
- 복소 내적 (Complex inner product)
- 양자역학에서의 내적 구조 – 편극 항등식이 물리적 내적 해석에 활용됨
※ 본 항목은 수학·물리학 분야의 교과서·전문 서적에 소개된 편극 항등식에 관한 일반적인 정의와 특징을 요약한 것으로, 특정 문헌에 대한 직접 인용은 포함하지 않는다.