Basic Mathematics For Quantum Mechanics — Inner Products
What is an inner product?
Last time, we talked about vector spaces and we said that they have two binary operations: vector addition and scalar multiplication.
We can add a third operation called an inner product to a vector space to turn it into an inner product space.
An inner product is a binary operation that takes in two vectors and gives us back a scalar. We usually represent it with a dot
Or we write it with a set of angle brackets
Properties of an inner product
The inner product must obey 3 special properties
Conjugate symmetry
What this means is if we reverse the order of an inner product, we just get the complex conjugate of the original out. So
In the case where the set of scalars we are working with is the real numbers, then since
We get
Linearity in the first argument
Linearity in the first argument means two things. Firstly if x, y and z are all vectors then
Secondly, if s is a scalar and x and y are vectors then
Positive-definiteness
This just means that the inner product of a vector with itself is always greater than or equal to 0
Size of vectors
An inner product is often said to give geometry to a space. This is because it allows us to talk about the sizes of vectors and the angles between them.
We can denote the size of a vector v as |v| and we use the following formula:
Angle between two vectors
If we have two vectors x and y then the angle t between them is defined as:
Dot product from school
In school, you might have encountered the dot product. The dot product is an example of an inner product.
Let us consider the following 2 vectors:
Then the dot product is defined as
This formula meets all the criteria we outlined above and is probably the most common inner product you’ll come across. And it works in any number of dimensions we just keep multiplying the components together and adding them. So in n dimensions we have:
Let’s look at a quick example:
So
Dot products for complex numbers
The above dot product only works for real numbers. To extend it to complex numbers we need to make one small change.
All we have done is take the complex conjugate of the components of the w vector.
Let’s take a look at an example
So