Inner Product Proof: Proving Sums with Algebra and Inner Product Concepts

Click For Summary
SUMMARY

The forum discussion centers on proving the inequality (\sum a_j b_j)^2 \leq \sum a_j^2 \sum b_j^2 using inner product concepts. Participants explore the use of a diagonal matrix N with entries (sqrt(1), sqrt(2), ..., sqrt(n)) to express the right-hand side in terms of transformations. The conversation emphasizes the importance of the Cauchy-Schwarz inequality and its application in vector spaces, ultimately leading to a deeper understanding of the proof's structure and requirements.

PREREQUISITES
  • Understanding of inner product spaces and their properties
  • Familiarity with the Cauchy-Schwarz inequality
  • Knowledge of diagonal matrices and their transformations
  • Basic algebraic manipulation skills in the context of inequalities
NEXT STEPS
  • Study the proof of the Cauchy-Schwarz inequality in detail
  • Learn about inner product spaces and their geometric interpretations
  • Explore diagonal matrices and their applications in linear transformations
  • Practice proving inequalities using algebraic and geometric methods
USEFUL FOR

Mathematics students, educators, and anyone interested in linear algebra, particularly those focused on inner product spaces and inequality proofs.

  • #31
Fredrik said:
Why don't you just do it like this?

Step 1: Prove that \langle x,y\rangle=\sum_n x_n y_n defines an inner product.
Step 2: Show that this definition turns the Cauchy-Schwartz inequality into

\left(\sum_j x_j y_j\right)^2\leq\left(\sum_j x_j^2\right)\left(\sum_j y_j^2\right)

Step 3: Make a specific choice of x_j and y_j that turns the inequality into the one you want, and explain why you're allowed to do that.

Steps 1 and 2 are probably unnecessary. We are doing standard inner product, standard Cauchy-Schwarz. It's step 3 that seems to be the obstacle for these 30 posts. Good luck.
 
Physics news on Phys.org
  • #32
evilpostingmong said:
The beginning may be a bit confusing, but it gets better later on.
It didn't get much better, and let's be realistic, no one is going to read that far anyway unless you can make more sense in the beginning.

If you're trying to prove the Cauchy-Schwartz inequality, the standard trick is to note that \langle x,x\rangle\geq 0 for all x, and that this means that

0\leq\langle x+ty,x+ty\rangle

for all vectors x,y and all scalars t. You get the Cauchy-Schwartz inequality by using the properties of the inner product and choosing t to make the right-hand side as small as possible. This is the trick that all the books use, which makes me think that it's the easiest method by far. See Wikipedia for more details.
 
  • #33
Dick said:
Steps 1 and 2 are probably unnecessary. We are doing standard inner product, standard Cauchy-Schwarz. It's step 3 that seems to be the obstacle for these 30 posts.
I guess that explains your frustration. :smile:
 
  • #34
I read the proof, and it involves the quadratic formula. Dick's right, it does
have a weird trick that comes from nowhere (but makes sense anyway).
Seems kinda advanced, but understandable. I don't know why it was included as
problem #3 in my book.
Thanks for the help guys!
 

Similar threads

  • · Replies 5 ·
Replies
5
Views
4K
  • · Replies 1 ·
Replies
1
Views
1K
Replies
4
Views
2K
Replies
1
Views
3K
  • · Replies 8 ·
Replies
8
Views
4K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 9 ·
Replies
9
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
Replies
1
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K