Let I be an D1128: Inner product space over C such that
(i) | ⟨⋅,⋅⟩ is the D34: Inner product in I |
(ii) | x∈I is a D1129: Vector in I |
Then
⟨x,x⟩∈R
(i) | ⟨⋅,⋅⟩ is the D34: Inner product in I |
(ii) | x∈I is a D1129: Vector in I |
(i) | ⟨⋅,⋅⟩ is the D34: Inner product in I |
(ii) | x∈I is a D1129: Vector in I |