Mathlib
Atlas
Atlas
/
Analysis
/
Inner products and operators
Inner products
1/4
⟨u,v⟩ is bilinear, symmetric, and positive on u ≠ 0.
⟨
u
,
u
⟩
>
0
Replay
Challenge
Ask
vₓ
2.20
vᵧ
1.60