General form of an inner product on C^n proof

Click For Summary

Discussion Overview

The discussion centers around the general form of an inner product on \(\mathbf{C}^n\) and the challenges associated with demonstrating that this form is indeed general. Participants explore the properties of inner products and seek clarification on the proof of this generalization.

Discussion Character

  • Exploratory, Technical explanation, Conceptual clarification

Main Points Raised

  • One participant presents the general form of an inner product on \(\mathbf{C}^n\) as \(\langle \vec{x} , \vec{y} \rangle = \vec{y}^* \mathbf{M} \vec{x}\) and expresses difficulty in proving its generality.
  • Another participant suggests utilizing the properties of sesquilinearity of the inner product and the relationship between linear operators and matrices to aid in the proof.
  • A third participant proposes defining \(M_{ji}=\langle e_i,e_j\rangle\) using the standard basis of \(\mathbf{C}^n\) to verify that the formula holds.

Areas of Agreement / Disagreement

Participants do not reach a consensus on the proof of the general form of the inner product, and multiple approaches are suggested without resolution.

Contextual Notes

The discussion does not resolve the mathematical steps necessary to demonstrate the generality of the inner product form, and assumptions regarding the properties of sesquilinearity and linear operators are not fully explored.

andresordonez
Messages
65
Reaction score
0
Hi, I read that the general form of an inner product on [tex]\mathbf{C}^n[/tex] is:

[tex]\langle \vec{x} , \vec{y} \rangle = \vec{y}^* \mathbf{M} \vec{x}[/tex]

I see that it has what it takes to be an inner product, but it seems quite hard to demonstrate that this is the general form. Is there such a demostration? where?

Thanks!
 
Physics news on Phys.org
You need to use the fact that the inner product is sesquilinear (linear in one of the variables and antilinear in the other), and the relationship between linear operators and matrices described here.
 
Let [tex]e_i[/tex] be the standard basis of [tex]\mathbf{C}^n[/tex].
Define [tex]M_{ji}=\langle e_i,e_j\rangle[/tex] and check that your formula holds.
 
Thanks.
 

Similar threads

  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 3 ·
Replies
3
Views
4K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 8 ·
Replies
8
Views
3K
  • · Replies 20 ·
Replies
20
Views
4K
  • · Replies 27 ·
Replies
27
Views
6K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 8 ·
Replies
8
Views
4K
  • · Replies 13 ·
Replies
13
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K