Processing math: 100%
Orthogonal basis
Set
context
V
…pre-Hilbert space
definiendum
B
∈
O
r
t
h
o
g
o
n
a
l
B
a
s
i
s
(
V
)
context
B
∈
B
a
s
i
s
(
V
)
v
,
w
∈
B
postulate
v
≠
w
⟹
⟨
v
|
w
⟩
=
0
Discussion
Parents
Subset of
Vector space basis
Context
Pre-Hilbert space