Bras Test Directions and Kets Rebuild Them

The notation around bras and kets becomes much calmer once the shapes are visible.

A ket is a column-like vector. In finite dimensions, it is represented by a one-column matrix:

A bra is a row-like linear functional. In coordinates, it is represented by a one-row matrix:

So when a bra sits next to a ket,

it is not a symbolic merge. It is function application: the bra takes the ket as input and returns a scalar.

That scalar is written as the inner product

A bra eats a ket

In finite dimensions, think of

Then

The result has no remaining vector shape. The row and the column contract into one scalar.

A ket followed by a bra makes an operator

Now reverse the order:

This does not contract to a scalar. A column times a row makes a matrix-like object, namely an outer product. It acts on an input by associativity:

The same fact in coordinates

Let . The outer product is the matrix with entries

Applying this matrix to gives, in coordinate ,

The factor is the scalar test . After the test, every coordinate of the output is that same scalar times the corresponding coordinate of .

So is a rank-one operator with two steps:

1. test how much points in the direction;
2. rebuild that scalar amount in the direction.

The order matters:

expression	shape	result
	row times column	scalar
	column times row	operator / matrix

Projection tests and rebuilds in the same direction

The projection

uses the same direction twice. Applied to ,

First, tests how much of lies in the direction. Then rebuilds exactly that component along the same direction.

If

in an orthonormal basis, then

and therefore

Everything except the -th component is removed.

Linearity tells you where scalars go

In Dirac notation, the ket side is linear:

The bra side is conjugate-linear over complex numbers:

This is why bras contain complex conjugates in coordinates:

For outer products, the resulting operator is linear in its input:

So the outer product is an operator built from an inner-product test followed by vector construction.

The rule of thumb

Read Dirac expressions by shape and order.

• bra-ket: is a scalar.
• ket-bra: is an operator.
• projection: tests along and rebuilds along .

The bra asks a question: “how much points in this direction?”

The ket provides a direction to rebuild the answer.