The Inner Product

What is an inner product?

The inner product (also called the Hermitian inner product or dot product over the complex numbers) is a way to assign a single complex number to any ordered pair of vectors. For two column vectors $\mathbf{u}$ and $\mathbf{v}$ in $\mathbb{C}^n$ it is defined as

\langle \mathbf{u}, \mathbf{v} \rangle = \sum_{k=1}^{n} \overline{u_k}\, v_k,

where $\overline{u_k}$ denotes the complex conjugate of $u_k$ . The first argument is conjugated; the second is not. This asymmetry is deliberate — it is what makes the inner product conjugate-linear in the first argument and linear in the second.

Why physicists use bra-ket notation

Dirac introduced a compact shorthand. A state vector $\mathbf{v}$ is written as a ket $|v\rangle$ ; its conjugate transpose is the bra $\langle v|$ . The inner product of $\mathbf{u}$ with $\mathbf{v}$ then becomes the bra-ket

\langle u | v \rangle = \mathbf{u}^\dagger \mathbf{v},

where $\dagger$ means conjugate transpose. This notation will appear in every quantum-mechanics context from here on.

Key properties

Four properties follow directly from the definition:

Conjugate symmetry: $\langle u | v \rangle = \overline{\langle v | u \rangle}$ .
Linearity in the right argument: $\langle u | \alpha v + \beta w \rangle = \alpha \langle u | v \rangle + \beta \langle u | w \rangle$ .
Positive definiteness: $\langle v | v \rangle \geq 0$ , with equality only when $|v\rangle = 0$ .
The norm is real and non-negative: $\|v\| = \sqrt{\langle v | v \rangle} \in \mathbb{R}_{\geq 0}$ .

Property 3 is worth pausing on. Because each term in the sum is $\overline{v_k} v_k = |v_k|^2 \geq 0$ , the total $\langle v | v \rangle$ is a sum of real non-negative numbers. Without the conjugation on the first argument this would fail for complex vectors.

A worked example

Let $\mathbf{u} = (1+i,\; 2)$ and $\mathbf{v} = (3,\; 1-i)$ in $\mathbb{C}^2$ . Applying the definition:

\langle u | v \rangle = \overline{(1+i)} \cdot 3 \;+\; \overline{2} \cdot (1-i).

Conjugating: $\overline{1+i} = 1-i$ and $\overline{2} = 2$ . Multiplying out:

(1-i)\cdot 3 = 3 - 3i, \qquad 2 \cdot (1-i) = 2 - 2i.

Adding the two terms gives $\langle u | v \rangle = 5 - 5i$ .

The modulus of this result is

|\langle u | v \rangle| = \sqrt{5^2 + (-5)^2} = \sqrt{50} = 5\sqrt{2} \approx 7.071.

The Cauchy-Schwarz inequality guarantees that $|\langle u | v \rangle| \leq \|u\|\,\|v\|$ , a bound that will reappear when we discuss measurement probabilities and state overlap.

Connection to quantum mechanics

In quantum mechanics a physical state is represented by a normalised ket $|\psi\rangle$ with $\langle \psi | \psi \rangle = 1$ . If the system is in state $|\psi\rangle$ and we ask how much it "overlaps" with another state $|\phi\rangle$ , the answer is the inner product $\langle \phi | \psi \rangle$ . The Born rule then says that the probability of finding the system in state $|\phi\rangle$ is $|\langle \phi | \psi \rangle|^2$ . The modulus-squared of an inner product is therefore the fundamental quantity connecting amplitudes to experimental outcomes.

Try it

This is a numerical exercise — your code should return a number, not a circuit. Using the vectors $\mathbf{u} = (1+i,\; 2)$ and $\mathbf{v} = (3,\; 1-i)$ , compute the modulus $|\langle u | v \rangle|$ .

Run your code to see the quantum state.