Processing math: 83%
Orthonormal basis
Set
context
V
…pre-Hilbert space
definiendum
B
∈
O
r
t
h
o
n
o
r
m
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
postulate
‖
Discussion
Parents
Subset of
Orthogonal basis
Log In
Article
Read
Search
Log In
Log In
Improvements of the human condition
Graphxioms
