Hilbert Space and Dirac Bra–Ket Notation

Wave mechanics in one dimension presents a quantum state as a complex function $\psi (x)$ and observables as differential operators acting on it. That description is complete, but it is not the only one: the same physical state can be written as a function of momentum, or as a list of expansion coefficients in the energy basis, and each version carries the identical physics. What all these descriptions share is linear structure. A state is a vector, a superposition is a sum of vectors, and an observable is a linear map. This lesson isolates that structure and states it abstractly, so that the later machinery of measurement, uncertainty, and time evolution applies to spin, oscillators, and fields with no reference to any particular representation.

Complex vector spaces

A quantum state lives in a complex vector space. The scalars are complex because superposition amplitudes interfere: the relative phase of two contributions is physical, and only $\mathbb{C}$ carries phase as an intrinsic part of a scalar.

The angle-bracket symbol $|\alpha ⟩$ is Dirac's ket: a name for an abstract vector, deliberately carrying no coordinates. The label inside is a mnemonic, not a value; $|\psi ⟩$, $|n⟩$, $|x_0⟩$, and $|\uparrow ⟩$ are all just vectors, distinguished by what physical state they name. Two operations recur throughout:

• Linear combination. A finite superposition $|\gamma ⟩=c_1|{\alpha }_1⟩+\cdots +c_n|{\alpha }_n⟩$ is again a vector in $V$. This is the mathematical content of the superposition principle.
• Linear independence. Vectors $|{\alpha }_1⟩,\dots ,|{\alpha }_n⟩$ are linearly independent when ${\sum }_i{c}_i|{\alpha }_i⟩=|0⟩$ forces every $c_i=0$. The maximum number of linearly independent vectors is the dimension of $V$, finite for spin and infinite for a particle on a line.

Note that $|\alpha ⟩$ and $c|\alpha ⟩$ for $c\ne 0$ are different vectors of the space, yet later they will represent the same physical state once we impose normalization and quotient out an overall phase. The vector space is slightly larger than the set of physical states; that redundancy is harmless and is fixed in the measurement postulate.

The inner product

Length and angle enter through an inner product. In a complex space the inner product must be built so that a vector has a real, non-negative squared length, which forces a conjugation in one slot.

Conjugate symmetry then makes the product antilinear in the first argument: $⟨c\alpha |\beta ⟩=c^{\ast }⟨\alpha |\beta ⟩$. This asymmetry — linear on the right, antilinear on the left — is the single convention that organizes all of Dirac notation, and it is the physicists' convention (Shankar, Sakurai), opposite to the mathematicians'.¹ The norm is $\Vert \alpha \Vert =\sqrt{⟨\alpha |\alpha ⟩}$, and a vector with $\Vert \alpha \Vert =1$ is normalized. Two vectors are orthogonal when $⟨\alpha |\beta ⟩=0$.

The vector $|\gamma ⟩$ constructed in the proof is the residual after removing the component of $|\alpha ⟩$ along $|\beta ⟩$. That projection idea is the geometric engine of the whole formalism. Cauchy–Schwarz also delivers the triangle inequality, which makes the norm a genuine distance.

The metric $d(\alpha ,\beta )=\Vert \alpha -\beta \Vert$ that these inequalities support is what makes two states are close precise, and it is the notion of distance under which the completeness of a Hilbert space is defined below.

Bras and the dual space

The inner product lets each vector act as a machine that eats a vector and returns a number. Fix $|\alpha ⟩$; the map $|\beta ⟩\mapsto ⟨\alpha |\beta ⟩$ is linear, so it is a linear functional on $V$. The set of all linear functionals is the dual space $V^{\ast }$, itself a vector space. Dirac writes the functional associated with $|\alpha ⟩$ as the bra $⟨\alpha |$, and its value on $|\beta ⟩$ as the bracket $⟨\alpha |\beta ⟩$ — the notation splits the word bracket and makes the pairing typographically obvious.

The correspondence is antilinear: the bra of $c|\alpha ⟩$ is $c^{\ast }⟨\alpha |$, matching the conjugation in the first slot. Kets and bras are two encodings of the same information — a vector and the functional it defines — and moving between them means complex-conjugating scalars. In the concrete case of $L^2$ functions this is why the wavefunction picks up a conjugate whenever it sits on the left of an inner product.

Orthonormal bases and components

A set $\{|e_i⟩\}$ is orthonormal when $⟨e_i|e_j⟩={\delta }_{ij}$, and it is a basis when every vector expands uniquely as $|\alpha ⟩={\sum }_i{c}_i|e_i⟩$. Orthonormality makes the coefficients trivial to extract: take the inner product with $⟨e_j|$ and use $⟨e_j|e_i⟩={\delta }_{ji}$,

The $j$-th component of a vector is the inner product of the $j$-th basis bra with the vector. Substituting the recovered coefficients back into the expansion gives the identity that will reappear on nearly every page,

Because this holds for every $|\alpha ⟩$, the operator in parentheses is the identity.

Inserting $1={\sum }_i|e_i⟩⟨e_i|$ into any expression is the single most-used move in the formalism: it converts abstract objects into components. The inner product of two vectors becomes a sum over the basis,

the familiar dot product with a conjugate on the left factor — the concrete face of the antilinear-first-slot convention.

Gram–Schmidt orthogonalization

Orthonormal bases are not scarce: any linearly independent set can be turned into one. Given independent vectors $|v_1⟩,|v_2⟩,\dots$, the Gram–Schmidt procedure builds an orthonormal set spanning the same subspace by removing, at each step, the components already accounted for and normalizing what remains,

The subtracted sum is the projection of $|v_k⟩$ onto the span of the already orthonormalized vectors, so $|u_k⟩$ is orthogonal to all $|e_{j<k}⟩$ by construction, exactly the residual of the Cauchy–Schwarz proof applied repeatedly. The procedure guarantees that every finite-dimensional inner-product space, and every separable Hilbert space, admits an orthonormal basis — the standing assumption behind every expansion in this course.

Matrix representation

Once a basis is fixed, a vector becomes a column of its components and a bra becomes a row of their conjugates:

The bracket $⟨\alpha |\beta ⟩$ is the row-times-column product, and the outer product $|\alpha ⟩⟨\beta |$ is the column-times-row product, a matrix. A linear operator $\hat{A}$ becomes the matrix with entries $A_{ij}=⟨e_i|\hat{A}|e_j⟩$, obtained by resolving the identity on both sides of $\hat{A}$. All of matrix mechanics is the resolution of the identity applied twice.

Function spaces and the Hilbert space

For a particle on a line the state is a function $\psi (x)$, and the space is infinite-dimensional. The inner product generalizes the component sum to an integral,

and the squared norm $⟨\psi |\psi ⟩=\int |\psi {|}^2\mathbf{d}x$ must be finite for the state to be normalizable. The set of functions with finite squared norm is the space $L^2(\mathbb{R})$.

Completeness is what lets an infinite superposition ${\sum }_n{c}_n|n⟩$ actually name a vector rather than a formal symbol, provided ${\sum }_n|c_n{|}^2<\infty$. The Riesz–Fischer theorem makes this precise: the map $|\psi ⟩\mapsto (c_1,c_2,\dots )$ from $L^2$ to the sequence space ${\ell }^2$ of square-summable lists is an isomorphism of Hilbert spaces. Every separable Hilbert space of a given dimension is the same space in different clothing, which is why spin, the oscillator, and a particle on a line all obey one formalism. The quantum state space is a separable Hilbert space: it admits a countable orthonormal basis, so the discrete formulas above carry over with sums running to infinity.

Two technical points are worth flagging, since they explain conventions used without comment later. First, elements of $L^2$ are equivalence classes of functions agreeing except on a set of measure zero: the wavefunction is only defined almost everywhere, so its value at a single point carries no physical meaning, only its integrals against test functions do. Second, the physically important operators — position, momentum, energy — are unbounded, defined not on all of $\mathcal{H}$ but on dense domains of sufficiently smooth, decaying functions. Self-adjointness is a statement about those domains and the boundary conditions they encode, which is where energy quantization ultimately comes from. These subtleties never obstruct a calculation but they are the reason the naive eigenstate of position is an idealization outside the space. Where the natural basis is continuous — the position and momentum eigenkets — the sum becomes an integral and ${\delta }_{ij}$ becomes a Dirac delta, a change developed carefully in the lesson on position, momentum, and continuous spectra.

The wavefunction as components

The two pictures meet in a single statement: $\psi (x)$ is the component of the abstract state $|\psi ⟩$ along the position eigenket $|x⟩$,

The wavefunction is not the state; it is the state's representation in the basis of position eigenkets, exactly as the column $(c_1,c_2,\dots )$ is the state's representation in a discrete basis. Choosing the momentum basis instead gives the momentum-space wavefunction $\tilde{\psi }(p)=⟨p|\psi ⟩$, a different list of components for the identical vector. The resolution of the identity in the position basis reads

and taking the bracket with $⟨\varphi |$ reproduces the $L^2$ inner product. Every manipulation of wavefunctions — normalization, overlap, expectation value — is a special case of the basis-free identities of this lesson, read in the position representation.

The abstract vocabulary — vectors, duals, orthonormal bases, projectors, completeness — is now in place. The next lesson gives observables their algebraic identity as Hermitian operators, whose eigenvectors supply the special bases in which measurement outcomes live.