Representing norm of a vector using orthogonal basis
127882
Proofs involving orthonormal basis
104148
Showing the norm' is non-negative
69766
Is every normed vector space, an inner product space
34272
Proving definition of norms induced by vector norms
119647
Average norm of a N-dimensional vector given by a normal distribution
51313
Extension of linearly independent set to a basis in an infinite dimensional vector space
55067
Norm of self-adjoint operator
93550
How to find the matrix representation of an operator from its action on a basis?
32420
A complete orthonormal system contained in a dense sub-space.
68552
Find the representing matrix with the respect to the standard basis
152147
Why is a set of orthonormal vectors linearly independent?
155317
Norm of adjoint operator in Hilbert space
6319
Finding an orthonormal basis for a matrix
98759
Proof of "Dual normed vector space is complete"
52596
A basis for $k(X)$ regarded as a vector space over $k$
78648
Find an orthonormal basis for the subspace of $\mathbb R^4$
117175
Proof that the 2-norm of orthogonal transformation of a matrix is invariant