An inner product is a function
where
V
is a vector space over the field
F
, it assigns to each pair
v
,
w
∈
V
a real number
⟨
v
,
w
⟩
such that, for all
u
,
v
,
w
∈
V
and
α
∈
F
and satisfies:
-
⟨
v
,
v
⟩
≥
0
, with equality if and only if
v
=
0
.
-
⟨
v
,
w
⟩
=
⟨
w
,
v
⟩
.
-
⟨
u
+
v
,
w
⟩
=
⟨
u
,
w
⟩
+
⟨
v
,
w
⟩
,
-
⟨
α
v
,
w
⟩
=
α
⟨
v
,
w
⟩
.