Does the Given Condition Prove Vector Belongs to Span of Orthonormal Set?

Click For Summary
SUMMARY

The discussion focuses on proving that a vector \( v \) belongs to the span of an orthonormal set \( \{u_1, \ldots, u_k\} \) in \( \mathbb{R}^n \) given the condition \( ||v||^2 = (v \cdot u_1)^2 + \ldots + (v \cdot u_k)^2 \). The user expands the orthonormal group to include additional vectors and expresses \( v \) as a linear combination of these vectors. The proof hinges on the properties of the dot product and the orthonormality of the vectors, leading to the conclusion that the coefficients \( a_1, a_2, \ldots, a_k \) must satisfy the equality, confirming that \( v \) is indeed in the span of the orthonormal set.

PREREQUISITES
  • Understanding of orthonormal sets in linear algebra
  • Familiarity with vector norms and the dot product
  • Knowledge of linear combinations of vectors
  • Basic concepts of span in vector spaces
NEXT STEPS
  • Study the properties of orthonormal sets in \( \mathbb{R}^n \)
  • Learn about the Gram-Schmidt process for generating orthonormal bases
  • Explore the concept of vector projections and their applications
  • Investigate the implications of the Pythagorean theorem in vector spaces
USEFUL FOR

Students and professionals in mathematics, particularly those studying linear algebra, as well as educators looking to deepen their understanding of vector spaces and orthonormal sets.

nhrock3
Messages
403
Reaction score
0
there is an orthonormal group {u1,..,uk} in R^n

there is vector v which belongs to R^n

prove that if

||v||^2=(v*u1)^2 +..+(v*u_k)^2

then v belongs to the sp{u1..uk}

*-is dot product



how i tried to solve it:

i expanded the orthonormal group {u1,..,uk} to

the orthonormal group {u1,..,uk,..un}

then v is its combination

v=a1u1+a2u2+..anun

i put v in the given formula

||v||^2=((a1u1+a2u2+..anun)*u1)^2 +..+((a1u1+a2u2+..anun)*u_k)^2

=(a1u1^2)^2 +..(akuk^2)^2=a1^2+..a^k^2

u1..uk are orthonormal

so u1^2=1.. uk^2=1

what now?
 
Physics news on Phys.org
Hi nhrock3! :smile:

Can you write out [itex]\|v\|^2[/itex]? You can use

[tex]\|v\|^2=<v,v>=<a_1u_1+...+a_nu_n,a_1u_1+...+a_nu_n>[/tex]
 

Similar threads

  • · Replies 2 ·
Replies
2
Views
11K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 2 ·
Replies
2
Views
4K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 3 ·
Replies
3
Views
4K
  • · Replies 7 ·
Replies
7
Views
1K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K