"내적 공간"의 두 판 사이의 차이

8,802 바이트 추가됨 ,  3년 전
편집 요약 없음
잔글 (Doyoon1995님이 내적공간 문서를 내적 공간 문서로 이동하면서 넘겨주기를 덮어썼습니다: '~ 공간'(벡터 공간·아핀 공간·위상 공간·정칙 공간·...)과의 일관성)
{{다른 뜻 넘어옴|내적|유클리드 공간 위 내적|스칼라곱}}
[[파일:Inner-product-angle.png|섬네일|내적의내적을 사용하여 정의한, 두 벡터 사이의 각도의 기하학적 해석]]
[[선형대수학]]과 [[함수해석학]]에서, '''내적 공간'''(內積空間, {{llang|en|inner product space}})은 두 벡터를벡터의 곱해쌍에 [[스칼라]]를스칼라를 얻는대응시키는 '''내적'''이라는일종의 [[이항연산]]이함수가 주어진 [[벡터 공간]]이다. 벡터내적 공간에 내적이 주어지면공간 이를위에서는 이용해벡터의 [[길이]]나 [[각도]] 등의 개념을 정의할다룰있으며, 이는 [[유클리드 공간]]의있다. [[스칼라 곱]]을 일반화한 것으로 볼 수 있다. (주의: 책에 따라 내적과 스칼라 곱을 동의어로 여기기도 한다.). 내적공간의 개념은갖춘 [[함수해석학유클리드 공간]]에서 중요하게 다루어진다일반화이다.
 
==정의==
(이<math>\mathbb 글에서K\in\{\mathbb [[스칼라R,\mathbb (수학)|스칼라]]들의 [[체 (수학)|체]] '''F'''는C\}</math>가 [[실수체]] '''R''' 혹은또는 [[복소수체]]라고 '''C'''이다하자.)
체 F 상의 벡터 공간 V에 [[정부호]] [[비퇴화 쌍선형 형식|비퇴화]] [[정반선형 형식]] <·,·>이 주어지면 이 공간을 '''내적 공간'''이라 하고, <·,·>를 '''내적'''이라 한다. 이는 실수 벡터 공간에 대해서는 정부호 [[비퇴화 쌍선형 형식|비퇴화]] [[대칭 쌍선형 형식]]이 된다. 위의 내적의 정의를 보다 기초적인 용어들로 아래와 같이 풀어 쓸 수 있다.
 
<math>\mathbb K</math>-[[벡터 공간]] <math>V</math> 위의 '''내적'''(內積, {{llang|en|inner product}})은 [[양의 정부호]] [[에르미트 반쌍선형 형식]]이다. ([[실수]]의 경우 이는 [[양의 정부호]] [[대칭 쌍선형 형식]]과 같다.) 즉, 다음 조건들을 만족시키는 [[함수]]
'''내적'''이란 함수
:<math> \langle \cdot, \cdot \rangle :\colon V \times V \rightarrow to\mathbb{F} K</math>
:<math>\langle\cdot,\cdot\rangle\colon(u,v)\mapsto\langle u,v\rangle</math>
로서, 임의의 V의 원소 x,y,z와 F의 원소 a,b에 대해 다음의 조건들을 만족하는 것이다.
이다.
*[[복소켤레|켤레]] 대칭성:
::* ([[양의 정부호성]]) 임의의 <math>0\langlene x,yv\ranglein =\overline{V</math>에 대하여, <math>\langle yv,xv\rangle}>0</math>
:이* 조건에([[에르미트성]]) 따라임의의 <math> \langle xu,x\rangle v\in \mathbb{R} V</math> 성립하는데대하여, 이는 <math>\langle xu,xv\rangle = \overline{\langle xv,xu\rangle} </math>이기 때문이다.
* (왼쪽 [[선형 변환|선형성]]) 임의의 <math>a,b\in\mathbb K</math> 및 <math>u,v,w\in V</math>에 대하여, <math>\langle au+bv,w\rangle=a\langle u,w\rangle+b\langle v,w\rangle</math>
*첫 번째 변수에 대한 [[선형성]]:
이들 성질로부터 내적의 다음과 같은 성질을 유도할 수 있다.
::<math>\langle ax,y\rangle= a \langle x,y\rangle</math>
::* (오른쪽 [[반쌍선형성]]) 임의의 <math>a,b\in K</math> 및 <math>u,v,w\in V</math>에 대하여, <math>\langle x+yw,zau+bv\rangle=\bar a\langle xw,zu\rangle+\bar b\langle yw,zv\rangle</math>
내적이 주어진 <math>\mathbb K</math>-벡터 공간 <math>(V,\langle\cdot,\cdot\rangle)</math>을 '''<math>\mathbb K</math>-내적 공간'''이라고 한다.
:이 조건을 위의 켤레 대칭성 조건과 함께 이용해서 다음을 얻을 수 있다.
::<math>\langle x,by \rangle= \overline{b} \langle x,y\rangle</math>
::<math>\langle x,y+z\rangle= \langle x,y\rangle+ \langle x,z\rangle</math>
:따라서 <math> \langle \cdot , \cdot \rangle </math>는 정반선형 형식이 된다.
*음이 아님:
::<math>\langle x,x\rangle \ge 0</math>
:(이는 V의 임의의 원소 x에 대해 <math> \langle x,x\rangle \in \mathbb{R} </math>이기에 의미를 갖는다.)
*[[비퇴화 쌍선형 형식|비퇴화성]]:
::<math>\langle x,x \rangle = 0</math>이면 <math>x=0</math>
 
==같이 보기성질 ==
=== 극화 항등식 ===
*[[벡터곱]]
<math>\mathbb K</math>-내적 공간 <math>V</math> 위에 자연스러운 <math>\mathbb K</math>-[[노름 공간]] 구조를 다음과 같이 줄 수 있다.
*[[외대수]]
:<math>\Vert v\Vert=\sqrt{\langle v,v\rangle}</math>
*[[쌍선형 형식]]
{{proof}}
*[[쌍대공간]]
노름의 양의 정부호성과 양의 동차성은 내적의 정의에 따라 자명하다. 노름의 [[삼각 부등식]]은 [[코시-슈바르츠 부등식]]의 따름정리이며, 그 증명은 다음과 같다. 임의의 벡터 <math>u,v\in V</math>에 대하여,
:<math>\begin{align}\Vert u+v\Vert^2
&=\Vert u\Vert^2+2\operatorname{Re}\langle u,v\rangle+\Vert v\Vert^2\\
&\le\Vert u\Vert^2+2\Vert u\Vert\Vert v\Vert+\Vert v\Vert^2\\
&=(\Vert u\Vert+\Vert v\Vert)^2
\end{align}</math>
이므로,
:<math>\Vert u+v\Vert\le\Vert u\Vert+\Vert v\Vert</math>
{{end proof}}
반대로, <math>\mathbb K</math>-[[노름 공간]]이 <math>\mathbb K</math>-내적 공간으로부터 유도될 필요충분조건은 [[평행 사변형 법칙]]
:<math>2\Vert u\Vert^2+2\Vert v\Vert^2=\Vert u+v\Vert^2+\Vert u-v\Vert^2\qquad\forall u,v\in V</math>
이다. 이 경우, 가능한 유일한 내적은 다음과 같으며, 이를 '''극화 항등식'''(極化恒等式, {{llang|en|polarization identity}})이라고 한다.
:<math>\langle u,v\rangle=\begin{cases}
\frac14\Vert u+v\Vert^2-\frac14\Vert u-v\Vert^2&\mathbb K=\mathbb R\\
\frac14\Vert u+v\Vert^2-\frac14\Vert u-v\Vert^2+\frac i4\Vert u+iv\Vert^2-\frac i4\Vert u-iv\Vert^2&\mathbb K=\mathbb C
\end{cases}</math>
{{proof}}
실수 내적 공간의 경우만을 증명하자. 극화 항등식이 정의한 내적이 다음 네 가지를 보이는 것으로 족하다.
:<math>\langle v,v\rangle>0\qquad\forall0\ne v\in V</math>
:<math>\langle u,v\rangle=\langle v,u\rangle\qquad\forall u,v\in V</math>
:<math>\langle u+v,w\rangle=\langle u,w\rangle+\langle v,w\rangle\qquad\forall u,v,w\in V</math>
:<math>\langle au,v\rangle=a\langle u,v\rangle\qquad\forall a\in\mathbb R,\;u,v\in V</math>
첫째와 둘째 조건은 자명하다. 셋째 조건은 다음과 같이 증명된다.
:<math>\begin{align}\langle u+v,w\rangle
&=\frac14(\Vert u+v+w\Vert^2-\Vert u+v-w\Vert^2)\\
&=\frac14\left(\Vert u+w\Vert^2+\Vert v+w\Vert^2+\Vert u\Vert^2+\Vert v\Vert^2-\frac12\Vert u-v+w\Vert^2-\frac12\Vert v-u+w\Vert^2\right)\\
&\qquad-\frac14\left(\Vert u-w\Vert^2+\Vert v-w\Vert^2+\Vert u\Vert^2+\Vert v\Vert^2-\frac12\Vert u-v-w\Vert^2-\frac12\Vert v-u-w\Vert^2\right)\\
&=\frac14(\Vert u+w\Vert^2-\Vert u-v\Vert^2)-\frac14(\Vert v+w\Vert^2-\Vert v-w\Vert^2)\\
&=\langle u,w\rangle+\langle v,w\rangle
\end{align}</math>
넷째 조건의 <math>a\in\mathbb N</math>의 경우는 다음과 같이 증명된다.
:<math>\langle au,v\rangle=\langle\underbrace{u+\cdots+u}_a,v\rangle=\underbrace{\langle u,v\rangle+\cdots+\langle u,v\rangle}_a=a\langle u,v\rangle</math>
또한, <math>a\in\mathbb Z</math>일 경우의 증명은 다음과 같다.
:<math>0=\langle 0,v\rangle=\langle au-au,v\rangle=\langle au,v\rangle+\langle-au,v\rangle=\langle au,v\rangle-a\langle u,v\rangle</math>
만약 <math>a\in\mathbb Q</math>일 경우, <math>a=p/q</math> (<math>p,q\in\mathbb Z,\;q\ne0</math>)이라고 하자. 그렇다면, 다음과 같이 증명된다.
:<math>q\langle au,v\rangle=\langle qau,v\rangle=\langle pu,v\rangle=p\langle u,v\rangle</math>
마지막으로, <math>a\in\mathbb R</math>일 경우는 <math>u,v\in V</math>를 고정하였을 때 <math>a\mapsto\langle au,v\rangle-a\langle u,v\rangle</math>가 연속 함수임에 따라 성립한다.
{{end proof}}
 
=== 코시-슈바르츠 부등식 ===
{{본문|코시-슈바르츠 부등식}}
내적 공간 <math>V</math>의 벡터 <math>v\in V</math>에 대하여, 다음과 같은 부등식이 성립하며, 이를 '''[[코시-슈바르츠 부등식]]'''이라고 한다.
:<math>|\langle u,v\rangle|\le\Vert u\Vert\Vert v\Vert</math>
:<math>|\langle u,v\rangle|=\Vert u\Vert\Vert v\Vert\iff\operatorname{rank}\{u,v\}<2</math>
이에 따라, 두 벡터 <math>u,v\in V</math> 사이의 각도를 다음과 같이 정의할 수 있다.
:<math>\arccos\frac{\operatorname{Re}\langle u,v\rangle}{\Vert u\Vert\Vert v\Vert}</math>
또한, 내적이 유도하는 노름의 [[삼각 부등식]]은 코시-슈바르츠 부등식을 통해 증명된다.
 
=== 정규 직교 기저 ===
{{다른 뜻|정규 직교 기저||힐베르트 공간의 개념}}
내적 공간 <math>V</math>의 '''정규 직교 기저'''(正規直交基底, {{llang|en|orthonormal basis}})는 서로 다른 두 벡터의 내적이 항상 0인 단위 벡터들이 이루는 [[기저 (선형대수학)|기저]]이다. 즉, 이는 다음 조건들을 만족시키는 기저 <math>B\subseteq V</math>이다.
* (직교성) 만약 <math>e,e'\in B</math>이며 <math>e\ne e'</math>라면, <math>\langle e,e'\rangle=0</math>
* (정규성) 임의의 <math>e\in B</math>에 대하여, <math>\Vert e\Vert=1</math>
유한 차원 내적 공간의 정규 직교 기저는 항상 존재한다. 이는 [[그람-슈미트 과정]]을 통해 구성할 수 있다.
 
내적 공간 <math>V</math>의 벡터 <math>v\in V</math>의 정규 직교 기저 <math>B</math>에 대한 좌표는 다음과 같다.
:<math>v=\sum_{e\in B}\langle v,e\rangle e</math>
또한, 이 좌표 아래 내적을 다음과 같이 나타낼 수 있다.
:<math>\langle u,v\rangle=\sum_{e\in B}\langle u,e\rangle\overline{\langle v,e\rangle}</math>
내적 공간 <math>V</math> 속의 유한 정규 직교 집합 <math>S\subseteq V\setminus\{0\}</math> 및 벡터 <math>v\in V</math>에 대하여, [[베셀 부등식]]과 유사한 꼴의 다음과 같은 부등식이 성립한다.
:<math>\sum_{e\in S}|\langle v,e\rangle|^2\le\Vert v\Vert^2</math>
:<math>\sum_{e\in S}|\langle v,e\rangle|^2=\Vert v\Vert^2\iff v=\sum_{e\in S}\langle v,e\rangle e</math>
 
=== 선형 범함수 ===
유한 차원 내적 공간 <math>V</math>의 모든 [[선형 범함수]]는 어떤 유일한 고정된 벡터 <math>v\in V</math>와의 내적
:<math>V\to\mathbb K</math>
:<math>u\mapsto\langle u,v\rangle</math>
이다. 구체적으로, 정규 직교 기저 <math>B\subseteq V</math>가 주어졌을 때, 선형 범함수 <math>f\colon V\to F</math>를 나타내는 벡터는 다음과 같다.
:<math>v=\sum_{e\in B}\overline{f(e)}e</math>
이에 따라, 유한 차원 내적 공간의 선형 변환 <math>T\colon V\to V</math>의 [[수반 선형 변환]] <math>T^*\colon V\to V</math>은 다음과 같이 항상 존재한다.
:<math>\langle Tu,v\rangle=\langle u,T^*v\rangle\qquad\forall u,v\in V</math>
그러나 무한 차원 내적 공간의 경우 일반적으로 성립하지 않는다. 예를 들어, [[다항식환]] <math>\mathbb C[x]</math>에 다음과 같은 내적을 정의할 수 있다.
:<math>\langle p,q\rangle=\int_a^b p(x)\overline{q(x)}dx=\sum_{k=0}^{\deg p}\sum_{k'=0}^{\deg q}\frac{p_k\overline{q_{k'}}}{k+k'+1}</math>
이 경우, 임의의 <math>c\in\mathbb C</math>가 주어졌을 때, 다음과 같은 선형 범함수는 고정된 벡터와의 내적으로 나타낼 수 없다.
:<math>\mathbb C[x]\to\mathbb C</math>
:<math>p\mapsto p(c)</math>
또한 미분 선형 변환
:<math>D\colon\mathbb C[x]\to\mathbb C[x]</math>
:<math>D\colon x^n\mapsto nx^{n-1}\qquad n=0,1,2,\dots</math>
의 수반 선형 변환은 존재하지 않는다.
 
== 예 ==
=== 유클리드 공간 ===
[[유클리드 공간]] 또는 [[유니터리 공간]] <math>\mathbb K^n</math>의 표준적인 내적은 다음과 같다. 유클리드 공간의 경우 이를 [[스칼라 곱]]이라고 한다.
:<math>\langle x,y\rangle=\sum_{k=1}^nx_k\overline{y_k}</math>
이 내적이 유도하는 노름은 [[l2 노름|ℓ<sup>2</sup> 노름]]이다. 그러나 <math>p\ne2</math>의 경우, [[lp 노름|ℓ<sup>p</sup> 노름]]은 평행 사변형 법칙을 만족시키지 않으므로 내적으로부터 유도될 수 없다.
 
마찬가지로, 실수 또는 복소수 행렬의 공간 <math>\operatorname{Mat}(m,n;\mathbb K)</math>에는 다음과 같은 내적을 정의할 수 있다.
:<math>\langle X,Y\rangle=\operatorname{tr}(X^\operatorname T\bar Y)=\sum_{i=1}^m\sum_{j=1}^nX_{ij}\overline{Y_{ij}}</math>
 
보다 일반적으로, 만약 <math>M</math>이 [[양의 정부호 행렬]]일 경우, <math>\mathbb K^n</math>에 다음과 같은 내적을 정의할 수 있다.
:<math>\langle x,y\rangle=x^\operatorname TM\bar y=\sum_{i=1}^n\sum_{j=1}^nM_{ij}x_i\overline{y_j}</math>
 
=== 함수 공간 ===
[[연속 함수]]의 공간 <math>\mathcal C([a,b];\mathbb K)</math>에는 다음과 같은 내적을 정의할 수 있다.
:<math>\langle f,g\rangle=\int_a^b f(x)\overline{g(x)}dx</math>
또한, 다음과 같은 내적을 정의할 수도 있다.
:<math>\langle f,g\rangle=\int_a^bx^2f(x)\overline{g(x)}dx</math>
 
== 같이 보기 ==
* [[벡터곱]]
* [[외대수]]
* [[쌍선형 형식]]
* [[쌍대공간]]
 
== 참고 문헌 ==
* {{서적 인용|성=Hoffman|이름=Kenneth|날짜=1971-04-01|제목=Linear Algebra|언어=en|판=2|출판사=Prentice Hall|isbn=0-13-536797-2}}
 
== 외부 링크 ==
* {{eom|title=Inner product}}
* {{매스월드|id=InnerProductSpace|title=Inner product space}}
* {{매스월드|id=InnerProduct|title=Inner product}}
* {{플래닛매스|urlname=InnerProductSpace|title=Inner product space}}
* {{플래닛매스|urlname=innerproduct|title=Inner product}}
* {{nlab|id=inner product space|title=Inner product space}}
* {{웹 인용|url=https://math.stackexchange.com/questions/21792/norms-induced-by-inner-products-and-the-parallelogram-law|제목=Norms Induced by Inner Products and the Parallelogram Law|웹사이트=Stack Exchange|언어=en}}
 
[[분류:노름 공간]]