ℓ2 공간
📂바나흐공간ℓ2 공간
정의
제곱수렴하는 수열들의 집합을 ℓ2(N)이라 나타낸다.
ℓ2(N):={{xk}k∈N:x∈C(or R),k∈N∑∣xk∣2<∞}
간단히 다음과 같이 표기하기도 한다.
x={xk}k∈N=(x1,x2,…,xn,…)
설명
ℓ2 공간은 ℓp 공간이 p=2일 때의 특별한 경우로, ℓp 중에서 유일하게 내적공간이다.
성질
벡터공간 ℓ2는
- 힐베르트 공간, 즉 완비 내적공간이다. 내적은 다음과 같이 주어진다.
⟨x,y⟩:=k∈N∑xkyk
- 바나흐 공간, 즉 완비 놈 공간이다. 놈은 다음과 같이 주어진다.
∥x∥2:=(k∈N∑∣xk∣2)21=⟨x,x⟩
- 거리공간이다. 거리는 다음과 같이 주어진다.
d(x,y):=(k∈N∑∣xk−yk∣2)21=∥x−y∥2=⟨x−y,x−y⟩
- 코시-슈바르츠 부등식이 성립한다.
∣⟨x,y⟩∣=k∈N∑xkyk2≤(k∈N∑∣xk∣2)(k∈N∑∣yk∣2)=⟨x,x⟩21⟨y,y⟩21
정리