Question about the Schwarz inequality

  • Thread starter Thread starter silimay
  • Start date Start date
  • Tags Tags
    Inequality
Click For Summary
SUMMARY

The discussion centers on the proof of the Schwarz inequality as presented in Rudin's text. The inequality states that \((\sum_{j=1}^n |a_j \overline{b}_j|)^2 \leq (\sum_{j=1}^n |a_j|^2)(\sum_{j=1}^n |b_j|^2)\). A participant expresses confusion regarding the transition between steps in the proof, specifically the manipulation of terms involving sums \(A\), \(B\), and \(C\). The resolution involves recognizing the properties of complex numbers and suggests treating the expression as a quadratic equation, ultimately leading to a clearer understanding of the proof.

PREREQUISITES
  • Understanding of complex numbers and their properties
  • Familiarity with quadratic equations and completing the square
  • Knowledge of mathematical notation and summation
  • Experience with proofs in real analysis or linear algebra
NEXT STEPS
  • Study the proof of the Schwarz inequality in Apostol's Calculus
  • Learn about the properties of complex conjugates and their applications
  • Explore quadratic inequalities and methods for completing the square
  • Review advanced topics in real analysis, focusing on inequalities
USEFUL FOR

Students of mathematics, particularly those studying real analysis or linear algebra, as well as educators seeking to clarify the proof of the Schwarz inequality.

silimay
Messages
25
Reaction score
0
I am confused about a proof of the Schwarz inequality in my book...

Homework Statement



\left(\sum_{j=1}^n |a_j \overline{b}_j |\right)^2\leq \left(\sum_{j=1}^n |a_j|^2\right) \left(\sum_{j=1}^n |b_j|^2\right).

The Attempt at a Solution



In the proof in my book (Rudin) it sets A = \sum a_j^2 and B = \sum b_j^2 and C = \sum a_j \overline{b}_j. It assumes B > 0 and then says

\sum {|Ba_j - Cb_j|}^2 = B^2 \sum {|a_j|}^2 - B \overline{C} \sum a_j \overline{b}_j - BC \sum \overline{a}_j b_j + |C|^2 \sum |b_j|^2 = B^2 A - B |C| ^2

I don't understand how it got between those two steps.
 
Physics news on Phys.org
There are a lot of inconsistencies in what you've written down, but I'm going to assume they're just transcription errors. Anyway, I think what you're missing is that for a complex number z, z\bar{z} = |z|^2.
 
Try treating this as a quadratic equation, except switch your B and C.

Then take Ax^{2} + 2Bx + C \leq 0

Then complete the square and see what you get. (This proof is found in Apostol's Calculus)
 

Similar threads

  • · Replies 28 ·
Replies
28
Views
3K
  • · Replies 7 ·
Replies
7
Views
4K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 4 ·
Replies
4
Views
1K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 8 ·
Replies
8
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
Replies
5
Views
2K
Replies
4
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K