# Orthonormality

**Orthonormality** is the property of a set of vectors in an [inner product space](https://www.edgepedia.org/inner-product-space) in which each vector is a unit vector (normalized) and distinct vectors are orthogonal, so that their pairwise inner products vanish. In [Dirac notation](https://www.edgepedia.org/bra-ket-notation), a set \(\{|i\rangle\}\) is orthonormal when \(\langle i|j\rangle = \delta_{ij}\), where \(\delta_{ij}\) is the [Kronecker delta](https://www.edgepedia.org/kronecker-delta), equal to 1 when \(i = j\) and 0 otherwise.<sup>[1](https://pages.jh.edu/rrynasi1/HealeySeminar/literature/Nielsen%2BChuang2010QuantumComputation%2BQuantumInformation.FirstTwoChapters.pdf)</sup> The condition combines two separate requirements: orthogonality, \(\langle f|g\rangle = 0\) for distinct members, and normalization, \(\langle f|f\rangle = 1\).<sup>[2](https://web1.eng.famu.fsu.edu/~dommelen/quantum/style_a/dot.html)</sup>

| Key fact | Detail |
|---|---|
| Defining condition | \(\langle i|j\rangle = \delta_{ij}\): unit vectors, mutually orthogonal<sup>[1](https://pages.jh.edu/rrynasi1/HealeySeminar/literature/Nielsen%2BChuang2010QuantumComputation%2BQuantumInformation.FirstTwoChapters.pdf)</sup> |
| Basis property | Any collection of \(N\) mutually orthogonal unit vectors in an \(N\)-dimensional vector space is an orthonormal basis for that space<sup>[3](https://plato.sydney.edu.au/entries////////qm/)</sup> |
| Eigenfunction form | \(\int d^3x\, u_m^*(x)u_n(x) = \delta_{nm}\) for eigenfunctions of an operator, with inner product \(\langle f|g\rangle = \int d^3x\, f^*(x)g(x)\)<sup>[4](https://ocw.mit.edu/courses/22-02-introduction-to-applied-nuclear-physics-spring-2012/0456d26b0767e6aab3bace1e6f86d78b_MIT22_02S12_lec_ch2.pdf)</sup> |
| Completeness relation | \(\sum_{a'} |a'\rangle\langle a'| = 1\), the identity operator, follows directly from orthonormality of the basis kets<sup>[5](https://chemgroups.northwestern.edu/harel/pdf/Chem445_QM_Lecture1.pdf)</sup> |
| Coefficient extraction | For an orthonormal basis, expansion coefficients are read off by projection: \(c_n = \langle n|\psi\rangle\)<sup>[5](https://chemgroups.northwestern.edu/harel/pdf/Chem445_QM_Lecture1.pdf)</sup> |
| Construction | The Gram-Schmidt process converts any basis into an orthonormal one by subtracting projections and dividing by norms<sup>[6](https://legacy.cs.indiana.edu/~dgerman/2020/boot-camp/david-mcmahon.pdf)</sup> |
| Continuous case | When eigenvalues form a continuum, the sum becomes an integral and the Kronecker delta becomes the Dirac delta, \(\langle x|x'\rangle = \delta(x - x')\)<sup>[4](https://ocw.mit.edu/courses/22-02-introduction-to-applied-nuclear-physics-spring-2012/0456d26b0767e6aab3bace1e6f86d78b_MIT22_02S12_lec_ch2.pdf)</sup> |

## Definition and setting

The definition presupposes an inner product, a mapping from two vectors to a complex scalar that is linear in its second argument, conjugate-symmetric, and positive definite.<sup>[4](https://ocw.mit.edu/courses/22-02-introduction-to-applied-nuclear-physics-spring-2012/0456d26b0767e6aab3bace1e6f86d78b_MIT22_02S12_lec_ch2.pdf)</sup> For functions, the inner product is an integral, \(\langle f|g\rangle = \int f^*(x)g(x)\,dx\) over the relevant domain; for Euclidean vectors it is the familiar scalar product.<sup>[4](https://ocw.mit.edu/courses/22-02-introduction-to-applied-nuclear-physics-spring-2012/0456d26b0767e6aab3bace1e6f86d78b_MIT22_02S12_lec_ch2.pdf)</sup> A vector is normalized by dividing by its norm, \(\|\alpha\|^2 = \langle\alpha|\alpha\rangle\), which leaves its direction unchanged.<sup>[5](https://chemgroups.northwestern.edu/harel/pdf/Chem445_QM_Lecture1.pdf)</sup>

**Bases.** A basis is a linearly independent set that spans the space, and it is not unique; an orthonormal basis is one whose members satisfy the orthonormality condition. In a finite-dimensional space, any \(N\) mutually orthogonal vectors of length 1 automatically form a basis.<sup>[3](https://plato.sydney.edu.au/entries////////qm/)</sup> In quantum mechanics the underlying space is a [Hilbert space](https://www.edgepedia.org/hilbert-space), which in finite-dimensional complex vector spaces is exactly an inner product space.<sup>[1](https://pages.jh.edu/rrynasi1/HealeySeminar/literature/Nielsen%2BChuang2010QuantumComputation%2BQuantumInformation.FirstTwoChapters.pdf)</sup>

## Why orthonormal bases are preferred

The practical value of orthonormality is that expansion coefficients become inner products. If a state is written \(|\alpha\rangle = \sum_{a'} c_{a'}|a'\rangle\) in an orthonormal basis, then \(c_{a'} = \langle a'|\alpha\rangle\); no cross terms survive because the basis vectors are orthogonal, and no scale factors appear because they are normalized.<sup>[5](https://chemgroups.northwestern.edu/harel/pdf/Chem445_QM_Lecture1.pdf)</sup> The same orthonormality yields the completeness (closure) relation \(\sum_{a'} |a'\rangle\langle a'| = 1\), which acts as the identity and is used constantly to insert resolutions of the identity into calculations.<sup>[5](https://chemgroups.northwestern.edu/harel/pdf/Chem445_QM_Lecture1.pdf)</sup> It also gives the norm as a sum of squared coefficients, \(\langle\alpha|\alpha\rangle = \sum_{a'} |c_{a'}|^2\).<sup>[5](https://chemgroups.northwestern.edu/harel/pdf/Chem445_QM_Lecture1.pdf)</sup>

**Quantum measurement.** In quantum mechanics, orthonormality is what makes probabilities add to one. If a normalized state \(|\psi\rangle\) is expanded in the orthonormal eigenbasis \(|n\rangle\) of an observable, the probability of outcome \(a\) is \(P(a) = \sum_{a_n = a} |\langle n|\psi\rangle|^2\), and orthonormality together with \(\langle\psi|\psi\rangle = 1\) guarantees \(\sum_a P(a) = 1\) for discrete spectra and \(\int P(a)\,da = 1\) for continuous ones.<sup>[7](https://www.lancaster.ac.uk/staff/schomeru/lecturenotes/Quantum%20Mechanics/S9.html)</sup> After a measurement with outcome \(a\), the state is projected onto the eigenspace of \(a\) and renormalized.<sup>[7](https://www.lancaster.ac.uk/staff/schomeru/lecturenotes/Quantum%20Mechanics/S9.html)</sup>

## Eigenfunctions of operators

The eigenfunctions of a self-adjoint (Hermitian) operator are orthogonal, and one normalizes them so that \(\int d^3x\, u_m^*(x)u_n(x) = \delta_{nm}\).<sup>[4](https://ocw.mit.edu/courses/22-02-introduction-to-applied-nuclear-physics-spring-2012/0456d26b0767e6aab3bace1e6f86d78b_MIT22_02S12_lec_ch2.pdf)</sup> [Orthogonality](https://www.edgepedia.org/orthogonality) between eigenkets with different eigenvalues follows from Hermiticity: if \(A|a'\rangle = a'|a'\rangle\) and \(A|a''\rangle = a''|a''\rangle\) with \(a' \neq a''\), then \(\langle a'|A = a'\langle a'|\), and comparing the two ways of evaluating \(\langle a'|A|a''\rangle\) forces the inner product to vanish.<sup>[5](https://chemgroups.northwestern.edu/harel/pdf/Chem445_QM_Lecture1.pdf)</sup> Hermitian operators also have real eigenvalues, which is why observables are represented by them.<sup>[4](https://ocw.mit.edu/courses/22-02-introduction-to-applied-nuclear-physics-spring-2012/0456d26b0767e6aab3bace1e6f86d78b_MIT22_02S12_lec_ch2.pdf)</sup>

The eigenfunctions are further assumed to form a complete basis, so any function can be written \(f(x) = \sum_n c_n u_n(x)\) with \(c_n = \int d^3x\, u_n^*(x)f(x)\); the coefficient formula is valid precisely because the eigenfunctions are normalized.<sup>[4](https://ocw.mit.edu/courses/22-02-introduction-to-applied-nuclear-physics-spring-2012/0456d26b0767e6aab3bace1e6f86d78b_MIT22_02S12_lec_ch2.pdf)</sup> When the eigenvalues form a continuum, the sum is replaced by an integral. In the position basis, for example, \(f(x) = \int dx'\, \delta(x' - x)f(x')\), with the position eigenfunction playing the role of the delta distribution; in the momentum basis the expansion coefficients \(c(k) = \int dx\, e^{-ikx}f(x)\) are the [Fourier transform](https://www.edgepedia.org/fourier-transform) of \(f(x)\) up to a multiplier.<sup>[4](https://ocw.mit.edu/courses/22-02-introduction-to-applied-nuclear-physics-spring-2012/0456d26b0767e6aab3bace1e6f86d78b_MIT22_02S12_lec_ch2.pdf)</sup> The Fourier transform is thus the change of coefficients between two orthonormal continuous bases, position and momentum.

## Constructing orthonormal bases

**Gram-Schmidt process.** An orthonormal basis can be produced from an arbitrary basis by the Gram-Schmidt orthogonalization process. Given a basis \(|v_1\rangle, |v_2\rangle, \ldots\) of an inner product space, the process builds orthogonal vectors by subtracting from each new vector its components along the directions already chosen: \(|w_1\rangle = |v_1\rangle\), \(|w_2\rangle = |v_2\rangle - \frac{\langle w_1|v_2\rangle}{\langle w_1|w_1\rangle}|w_1\rangle\), and so on; dividing each \(|w_i\rangle\) by its norm then gives an orthonormal set.<sup>[6](https://legacy.cs.indiana.edu/~dgerman/2020/boot-camp/david-mcmahon.pdf)</sup>

**Change of basis.** Moving between the orthonormal eigenbases of two observables is done with a unitary operator \(U = \sum_k |b^{(k)}\rangle\langle a^{(k)}|\), which satisfies \(U^\dagger U = UU^\dagger = 1\); operator matrices transform as \(A_{b'} = U^\dagger A_{a'} U\).<sup>[5](https://chemgroups.northwestern.edu/harel/pdf/Chem445_QM_Lecture1.pdf)</sup> A matrix representation of an operator has meaning only once the orthonormal basis supplying its rows and columns is specified.<sup>[5](https://chemgroups.northwestern.edu/harel/pdf/Chem445_QM_Lecture1.pdf)</sup>

## Orthonormality and distinguishability

Orthonormality has an operational meaning in quantum information theory: orthogonal states can be perfectly distinguished, while non-orthogonal states cannot. Because different states generally have nonzero overlap, there is no way of determining with certainty which of two non-orthogonal states a single physical system was prepared in.<sup>[8](https://eprints.gla.ac.uk/89037/)</sup> This is a central point of quantum measurement theory, and the overlap \(|\langle p|q\rangle|\) limits how well two states can be told apart when certainty is required.<sup>[9](https://www.sciencedirect.com/science/article/pii/0375960188908407/pdf?md5=880d3e16fb2400d15544c598f308f016&pid=1-s2.0-0375960188908407-main.pdf)</sup> Practical schemes work around the limit: the Helstrom minimum-error measurement minimizes the chance of a wrong answer, and unambiguous discrimination accepts occasional inconclusive results; both have been realized experimentally with states encoded in a single nuclear spin, with measurement efficiencies above 80 percent.<sup>[10](https://arxiv.org/abs/1206.0453)</sup> The impossibility of perfectly distinguishing non-orthogonal states is also connected to the no-cloning theorem, since a device that could identify such states with certainty could be turned into a copier of unknown quantum states.<sup>[11](https://theghoul21.github.io/QC-2024-2025/Meeting_in__General_-20250328_094526-Meeting_Recording.mp4.html)</sup>

## Variants and extensions

**Degenerate spectra.** When several orthonormal eigenvectors share one eigenvalue, the projection form of the [Born rule](https://www.edgepedia.org/born-rule), \(P(a_n) = \langle\psi|\hat{P}_n|\psi\rangle\) with \(\hat{P}_n = \sum_k |a_n, k\rangle\langle a_n, k|\), sums the weights over the whole eigenspace.<sup>[12](https://notes.amittai.studio/quantum-mechanics/formalism/the-postulates-and-quantum-measurement)</sup>

**PT-symmetric systems.** In PT-symmetric quantum systems, which use inner products beyond the standard positive-definite one, orthonormality and completeness relations require a modified scalar product that includes a charge operator to be positive definite.<sup>[13](https://arxiv.org/abs/quant-ph/0306040)</sup>

## References

1. [Nielsen & Chuang, Quantum Computation and Quantum Information, Chapters 1–2](https://pages.jh.edu/rrynasi1/HealeySeminar/literature/Nielsen%2BChuang2010QuantumComputation%2BQuantumInformation.FirstTwoChapters.pdf)
2. [The Inner Product, Quantum Mechanics lecture notes (FAMU/FSU)](https://web1.eng.famu.fsu.edu/~dommelen/quantum/style_a/dot.html)
3. [Quantum Mechanics, Stanford Encyclopedia of Philosophy](https://plato.sydney.edu.au/entries////////qm/)
4. [MIT 22.02 Introduction to Applied Nuclear Physics, Lecture Notes Chapter 2](https://ocw.mit.edu/courses/22-02-introduction-to-applied-nuclear-physics-spring-2012/0456d26b0767e6aab3bace1e6f86d78b_MIT22_02S12_lec_ch2.pdf)
5. [Elad Harel, Review of Quantum Mechanics Part I, Chem 445 Lecture 1, Northwestern University](https://chemgroups.northwestern.edu/harel/pdf/Chem445_QM_Lecture1.pdf)
6. [David McMahon, Quantum Computing Explained, Chapter 2 (Gram-Schmidt orthogonalization)](https://legacy.cs.indiana.edu/~dgerman/2020/boot-camp/david-mcmahon.pdf)
7. [Quantum Mechanics lecture notes for PHYS223, Lancaster University, Section IX](https://www.lancaster.ac.uk/staff/schomeru/lecturenotes/Quantum%20Mechanics/S9.html)
8. [S. M. Barnett and S. Croke, Quantum state discrimination, Advances in Optics and Photonics](https://eprints.gla.ac.uk/89037/)
9. [Overlap and distinguishability of quantum states, Physics Letters A 126, 303 (1988)](https://www.sciencedirect.com/science/article/pii/0375960188908407/pdf?md5=880d3e16fb2400d15544c598f308f016&pid=1-s2.0-0375960188908407-main.pdf)
10. [Waldherr et al., Distinguishing between non-orthogonal quantum states of a single spin, Phys. Rev. Lett. 109, 180501 (2012)](https://arxiv.org/abs/1206.0453)
11. [Lecture Notes: Quantum Gates, Measurement, and Entanglement](https://theghoul21.github.io/QC-2024-2025/Meeting_in__General_-20250328_094526-Meeting_Recording.mp4.html)
12. [The Postulates and Quantum Measurement, Amittai Axelrod's quantum mechanics notes](https://notes.amittai.studio/quantum-mechanics/formalism/the-postulates-and-quantum-measurement)
13. [Completeness and Orthonormality in PT-symmetric Quantum Systems, arXiv:quant-ph/0306040](https://arxiv.org/abs/quant-ph/0306040)

---
*Topic: Encyclopedia › Physical world and mathematics › Physics › Quantum physics › Quantum mechanics › Quantum formalism and states › Quantum states and wave functions › State vectors and Hilbert-space states › Orthogonality and state distinguishability*

*Initially written Sep 17, 2026 · Reviewed: Sep 30, 2026; Oct 15, 2026 · Edited: Sep 30, 2026; Oct 15, 2026 · Last review: Oct 15, 2026*

*Copyright 2026 EdgeChat AI, a subsidiary of Biostate AI.*

License: Edgepedia Community License 1.0, https://www.edgepedia.org/edgepedia/license