Simple Inner Product Proof (complex)

Click For Summary
SUMMARY

The discussion focuses on proving the property of the inner product defined as z1w1* + iz2w2* for complex vectors. The key property discussed is (v,v) ≥ 0, with equality if and only if v = 0. Participants concluded that the expression |u1|2 + i|u2|2 is not necessarily real, indicating that the defined inner product does not satisfy the requirements of an inner product space.

PREREQUISITES
  • Understanding of complex numbers and their properties
  • Familiarity with inner product spaces
  • Knowledge of complex conjugates
  • Basic algebraic manipulation involving imaginary numbers
NEXT STEPS
  • Study the properties of inner products in complex vector spaces
  • Learn about the Cauchy-Schwarz inequality in complex analysis
  • Explore the definition and properties of Hermitian inner products
  • Investigate the implications of non-real inner products in functional analysis
USEFUL FOR

Mathematicians, students of linear algebra, and anyone studying complex vector spaces will benefit from this discussion.

binbagsss
Messages
1,291
Reaction score
12
I'm okay on proving the other properties, just struggling with what to do on this one:

(v,v)≥0, with equality iff v=0,where the inner product is defined as:


z1w*1+iz2w*2

(where * represent the complex conjugate)

My working so far is:
u1u*1+iu2u*2
=u1^2 + iu2^2


(I'm not sure what to do next and how to deal with the i algebriacally. I've done real ones and complex one without an i in the definition,and seem ok with this property for them).
Thanks a lot, greatly appreaciated =].
 
Physics news on Phys.org
hi binbagsss! :smile:

(try using the X2 button just above the Reply box :wink:)
binbagsss said:
I'm okay on proving the other properties, just struggling with what to do on this one:

(v,v)≥0, with equality iff v=0,where the inner product is defined as:


z1w*1+iz2w*2

(where * represent the complex conjugate)


does (u,v) = (v,u)* ? :wink:
 
Your calculations are largely correct (you need modulus signs on u1 and u2 in your final expression).

Since [itex]\langle (u_1,u_2),(u_1,u_2)\rangle = |u_1|^2 +i|u_2|^2[/itex] is not necessarily real, the conclusion must be that [itex]\langle\cdot,\cdot\rangle[/itex] as defined is not an inner product.
 

Similar threads

  • · Replies 7 ·
Replies
7
Views
1K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 17 ·
Replies
17
Views
2K
Replies
1
Views
4K
  • · Replies 9 ·
Replies
9
Views
2K
Replies
1
Views
2K
  • · Replies 6 ·
Replies
6
Views
1K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K