(평행사변형 항등식의 보충설명을 위해 생성) |
잔글 (→정의) |
||
2번째 줄: | 2번째 줄: | ||
{{토막글}} | {{토막글}} | ||
== 정의 == | == 정의 == | ||
''V''를 [[체 (수학)|체]] <math>F\;(F=\mathbb{R}\text{ or }\mathbb{C})</math> 위에 주어진 [[벡터공간]] | ''V''를 [[체 (수학)|체]] <math>F\;(F=\mathbb{R}\text{ or }\mathbb{C})</math> 위에 주어진 [[벡터공간]]이라고 하자. 함수 <math>(\cdot,\cdot):V\to F</math>가 임의의 <math>\mathbf{x},\mathbf{y},\mathbf{z}\in V</math>와 <math>c\in F</math>에 대해 | ||
: (1) <math>(\mathbf{x},\mathbf{x})\ge 0</math> | : (1) <math>(\mathbf{x},\mathbf{x})\ge 0</math> | ||
: (1a) <math>(\mathbf{x},\mathbf{x})=0 \Leftrightarrow \mathbf{x}=0</math> | : (1a) <math>(\mathbf{x},\mathbf{x})=0 \Leftrightarrow \mathbf{x}=0</math> |
2015년 8월 3일 (월) 17:43 판
정의
V를 체 [math]\displaystyle{ F\;(F=\mathbb{R}\text{ or }\mathbb{C}) }[/math] 위에 주어진 벡터공간이라고 하자. 함수 [math]\displaystyle{ (\cdot,\cdot):V\to F }[/math]가 임의의 [math]\displaystyle{ \mathbf{x},\mathbf{y},\mathbf{z}\in V }[/math]와 [math]\displaystyle{ c\in F }[/math]에 대해
- (1) [math]\displaystyle{ (\mathbf{x},\mathbf{x})\ge 0 }[/math]
- (1a) [math]\displaystyle{ (\mathbf{x},\mathbf{x})=0 \Leftrightarrow \mathbf{x}=0 }[/math]
- (2) [math]\displaystyle{ (\mathbf{x}+\mathbf{y},\mathbf{z})=(\mathbf{x},\mathbf{z})+(\mathbf{y},\mathbf{z}) }[/math]
- (3) [math]\displaystyle{ (c\mathbf{x},\mathbf{y})=c(\mathbf{x},\mathbf{y}) }[/math]
- (4) [math]\displaystyle{ (x,y)=\overline{(y,x)} }[/math]
을 만족하면 [math]\displaystyle{ (\cdot,\cdot) }[/math]를 내적(inner product)이라고 한다. 만약 벡터공간에 내적이 주어져 있으면 내적공간(inner product space)이라고 한다.