코시-슈바르츠 부등식은 선형대수학과 해석학의 핵심 부등식으로, 벡터 공간의 내적과 노름 사이의 관계를 규정한다. 이 부등식은 내적 공간에서 보편적으로 성립하며 여기저기 다양한 분야에 쓰인다. 특히 양자역학에서 Uncertainty Principle을 증명하기 위해 쓰인다.
수학적 정의
일반적인 형태
내적 공간에서 코시-슈바르츠 부등식의 일반적인 형태는 다음과 같다.
노름(norm)을 사용하여 표현하면:
여기서:
는 벡터 와 사이의 내적
는 벡터 의 노름(길이)
는 벡터 의 노름(길이)
등호 조건
부등식의 등호는 다음 조건에서만 성립합니다:
와 가 선형 종속일 때, 즉 또는 (여기서 는 스칼라)
둘 중 하나가 영벡터일 때
증명 방법
임의의 스칼라 에 대해, 벡터 의 제곱 노름은 항상 0보다 크거나 같다.
이를 전개하면:
특히 를 선택하면(단, ):
이를 정리하면 코시-슈바르츠 부등식이 나온다.
다양한 공간에서의 형태
유클리드 공간
와 에 대해:
복소 벡터 공간
와 에 대해:
함수 공간
연속 함수 와 에 대해:
확률론적 형태
확률 변수 와 에 대해:
여기서 는 expectation value.
기하학적 해석
코시-슈바르츠 부등식은 기하학적으로 두 벡터 사이의 각도 와 관련있다.
따라서:
이는 직관적으로 두 벡터가 완전히 평행할 때( 또는 ) 등호가 성립한다는 의미이다.
응용
불확정성 원리
양자역학에서 하이젠베르크의 불확정성 원리는 코시-슈바르츠 부등식에 기반한다.
두 관측량 와 의 표준편차 와 에 대해: