Inner Product for Vectors in Complex Space

In summary, the inner product for complex vector space involves the conjugate of the second vector in order to define a norm that represents the "length" of a vector in the complex plane. This definition also allows for the useful properties of the inner product, such as always producing a positive real number and orthogonal vectors having a dot product of 0. Additionally, considering complex numbers as special representations of two-dimensional vectors reveals that the complex multiplication "rule" follows logically from the geometric product. Further study of this approach, such as through the materials provided in the given link, can provide a deeper understanding of the inner product's definition.
  • #1
Hacky
25
0
Very basic question but could someone briefly explain why the inner product for complex vector space involves the conjugate of the second vector. Of course if imaginary component is 0 then this reduces to dot product in real vector space. And I see that this definition makes sense to calculate "length" so that it is not a negative number. But is there another geometrical (using cosine?) or intuitively logical reason why the inner product is defined this way?

Thanks, Howard
 
Physics news on Phys.org
  • #2
There is a priori no reason why you have to use the conjugate at all - you are free to make whatever definitions you want and see what happens. Evidently not using the conjugate isn't very useful, or we wouldn't have this definition instead. Someone must have looked at the real dot product and decided that the useful properties are things like

it is always a real number greater than or equal to zero
x.x=0 implies x=0,

and so on are what we want to use. In particular, without the conjuagation, the vector (1,i) is orthogonal to itself in C^2.
 
  • #3
If you don't use conjugate but simple symmetry it will produce a contradiction with the axiom X . X >= 0

assume X.Y = Y. X

X.X >=0

=> c1 X . c1 X >= 0 [where c1 is a complex number with an imaginary part]

=> c1 (c1 X . X) > = 0 by linearity

=> c1 (X . c1 X) > = 0 by symmetry

=> c1 . (c1 ( X. X) )>= 0 by linearity

=> (c1 . c1) . (X.X) > = 0 by associativity of complex numbers

which is a contradiction.

to see this, if you take c1 = i [square root of -1]

=> -1 (X.X) >= 0

=> (X.X) <= 0
 
  • #4
An interesting property of a complex (hermitian) inner product is that it does not depend on the absolute phases of the complex vectors. You get

[tex]<e^{i\alpha}\mathbf{z}, e^{i\alpha}\mathbf{w}> \, = \, <\mathbf{z},\mathbf{w}>[/tex]
 
  • #5
Hacky said:
But is there another geometrical (using cosine?) or intuitively logical reason why the inner product is defined this way?

One explanation for this and many other basic complex number properties, can be had, if one considers complex numbers to be a special representation of two dimensional vectors.

In a nutshell one can consider a complex number to be a vector with one of the unit vectors factored out, as in the following example:

[tex]
r = x e_1 + y e_2 = e_1 (x + e_1 e_2 y) e_1 = e_1 Z
[/tex]

(one could left or right factor out either of the [tex]e_j[/tex] unit vectors resulting in similar "complex number" representations).

Now that may look a bit strange at first since we are taught that we can't multiply or divide vectors, but these can be considered perfectly well defined operations with respect to the geometric (clifford) vector product. In a nutshell, that product defines the square of a vector as a scalar with magnitude equal to its squared length. A consequence of this rule, plus associativity and linearity, is the product of two perpendicular vectors is an entity that changes sign with commutation. With these as rules for multiplication, squaring [tex]e_1 e_2[/tex] gives:

[tex]
(e_1 e_2)(e_1 e_2) = e_1 (e_2 e_1) e_2 = - e_1 e_1 e_2 e_2 = -1
[/tex]

ie: a product [tex]e_1 e_2[/tex] operates as a unit imaginary. All the complex number operations (multiplication, conjgation, inversion, ...) have natural equivalents expressed in this fashion, including the inner product of your question. I was quite excited seeing this for the first time since the complex multiplication "rule" (like the cross product "rule" also better formulated as a geometric product) always seemed like something that had been pulled out of a magic hat as opposed to something that followed from a logical argument.

Now, this probably doesn't precisely answer your question, instead should point you down a path that can, with some study, provide a good answer if you want it. One possible starting place is lect1.pdf from the following:

http://www.mrao.cam.ac.uk/~clifford/ptIIIcourse/GeometricAlgebraLectures.zip
 
  • #6
Peeter said:
Now, this probably doesn't precisely answer your question, instead should point you down a path that can, with some study, provide a good answer if you want it. One possible starting place is lect1.pdf from the following:

http://www.mrao.cam.ac.uk/~clifford/ptIIIcourse/GeometricAlgebraLectures.zip

Thanks a lot Peeter! The explanation was very enlightening. That's also a fantastic link and exactly what I've been looking for, for a while now. :D
 
  • #7
You are welcome! The approach to vectors and geometry seems very worthwhile to me (I am studying in my spare time with the aim of understanding my old engineering texts on E&M better than I did in school ... wish I was back at studying physics with these tools instead of my software job;)
 
  • #8
I'm also learning this in my spare time since I'd like to apply it to control theory (which is already happening). I am certain that this will be invaluable as a tool for people in control engineering.

A book I can recommend, just in terms of its scope, is "The Road to Reality" by Roger Penrose. Its quite a tome but well worth the money, since it covers all of the maths needed to understand the physics, in the first half of the book. Pretty much an entire physics course (from classical to post modern) written for the layman. Its great just as plain sense intro into some of the more advanced stuff out there. :)
 
  • #9
hello
i haven't read all the replies, but i'll try to answer the original question geometrically:
a norm is meant to define "length" of a vector. in the complex plane it's the distance from the origin.
now a vector can be defined by it's length and angle (polar system)
now a property of vector multiplication is: if x,y are vectors, then:
the vector (x*y) has length = length of x * length of y, and angle = angle of x + angle of y
now a vector has the inverse angle of its conjugate but the same length.
so when you multiply x with conj(x) you get a vector with angle 0 and length |x|^2. so basically this vector lies on the x-axis and is just a real number, so if you take its square root you'll get the original length of the vector x.

hope this helped
sagy
 
  • #10
Hacky said:
Very basic question but could someone briefly explain why the inner product for complex vector space involves the conjugate of the second vector. Of course if imaginary component is 0 then this reduces to dot product in real vector space. And I see that this definition makes sense to calculate "length" so that it is not a negative number. But is there another geometrical (using cosine?) or intuitively logical reason why the inner product is defined this way?

Thanks, Howard

So that

[tex] \theta=\arccos\frac{\Re (\langle a,b \rangle)}{\left|\left| a \right|\right|\;\;\left|\left| b \right|\right|} [/tex]
 
  • #11
This post is 5 years old.
 

1. What is an inner product for vectors in complex space?

An inner product for vectors in complex space is a mathematical operation that takes in two complex vectors and returns a complex number. It is similar to the dot product for real vectors, but instead of multiplying corresponding components, it involves taking the conjugate of one vector and multiplying it with the other vector.

2. What is the purpose of an inner product for vectors in complex space?

The inner product for vectors in complex space is used to define notions of length, angle, and orthogonality for complex vectors. It also allows for the definition of complex vector spaces and the use of techniques such as Gram-Schmidt orthogonalization.

3. How is the inner product for vectors in complex space calculated?

The inner product for vectors in complex space is calculated by taking the conjugate of one vector and multiplying it with the other vector, then summing up the individual products. In mathematical notation, it can be represented as <u, v> = ∑ u*ivi, where u and v are complex vectors and u* is the conjugate of u.

4. What properties does the inner product for vectors in complex space have?

The inner product for vectors in complex space has several properties, including linearity in the first argument, symmetry, and positive-definiteness. It also satisfies the Cauchy-Schwarz inequality, which states that the absolute value of the inner product is less than or equal to the product of the norms of the vectors involved.

5. How is the inner product for vectors in complex space used in quantum mechanics?

In quantum mechanics, the inner product for vectors in complex space is used to define the concept of a Hilbert space, which is the mathematical framework used to describe quantum systems. It is also used to calculate probabilities and amplitudes for quantum states and operations.

Similar threads

  • Linear and Abstract Algebra
Replies
8
Views
1K
  • Linear and Abstract Algebra
Replies
14
Views
497
  • Linear and Abstract Algebra
Replies
33
Views
608
  • Calculus
Replies
4
Views
380
  • Linear and Abstract Algebra
Replies
16
Views
2K
  • Linear and Abstract Algebra
Replies
4
Views
767
  • Linear and Abstract Algebra
Replies
6
Views
1K
  • Linear and Abstract Algebra
Replies
2
Views
2K
  • Linear and Abstract Algebra
Replies
1
Views
2K
Replies
14
Views
1K
Back
Top