Definition and Fundamental Properties
Vector Space Structure
Hilbert space: vector space over complex numbers with vector addition, scalar multiplication. Dimension: finite or infinite. Basis: orthonormal or complete set spans space.
Inner Product Space
Inner product: complex-valued function ⟨ψ|φ⟩ satisfying linearity, conjugate symmetry, positivity. Provides geometric structure: angle, length.
Complete Metric Space
Induced norm from inner product: ‖ψ‖ = sqrt(⟨ψ|ψ⟩). Completeness: every Cauchy sequence converges within space. Ensures analytic rigor.
Inner Product and Norm
Properties of Inner Product
Linearity: ⟨aψ + bφ|χ⟩ = a⟨ψ|χ⟩ + b⟨φ|χ⟩. Conjugate symmetry: ⟨ψ|φ⟩ = ⟨φ|ψ⟩*. Positive-definiteness: ⟨ψ|ψ⟩ ≥ 0; equality iff ψ=0.
Norm Induced by Inner Product
Norm: ‖ψ‖ = sqrt(⟨ψ|ψ⟩). Satisfies triangle inequality, homogeneity, positivity. Defines metric d(ψ,φ) = ‖ψ - φ‖.
Cauchy-Schwarz Inequality
Fundamental inequality: |⟨ψ|φ⟩| ≤ ‖ψ‖‖φ‖. Basis for many proofs in quantum mechanics and functional analysis.
For all ψ, φ ∈ H:|⟨ψ|φ⟩| ≤ ‖ψ‖‖φ‖Equality iff ψ, φ linearly dependent.Completeness and Metric Structure
Cauchy Sequences
Sequence {ψ_n} is Cauchy if ∀ε>0 ∃N: m,n > N ⇒ ‖ψ_n - ψ_m‖ < ε. Completeness: limit ψ exists in H.
Completion of Inner Product Spaces
Every inner product space can be completed to a Hilbert space by including limits of Cauchy sequences.
Metric Topology
Metric d(ψ,φ) = ‖ψ - φ‖ induces topology: convergence, continuity, open/closed sets defined accordingly.
Orthogonality and Orthonormal Bases
Orthogonality
Vectors ψ, φ orthogonal if ⟨ψ|φ⟩ = 0. Orthogonal sets simplify expansions and decompositions.
Orthonormal Systems
Set {e_i} is orthonormal if ⟨e_i|e_j⟩ = δ_ij and each ‖e_i‖=1. Basis: orthonormal set whose linear span is dense in H.
Parseval's Identity
For orthonormal basis {e_i}, any ψ ∈ H satisfies:‖ψ‖² = ∑ |⟨e_i|ψ⟩|².Ensures norm preservation under decomposition.
| Property | Description |
|---|---|
| Orthogonality | ⟨ψ|φ⟩ = 0 |
| Orthonormality | ⟨e_i|e_j⟩ = δ_ij, ‖e_i‖=1 |
| Completeness | Span dense in H |
Linear Operators in Hilbert Space
Definition and Types
Operator A: linear map H → H. Types: bounded, unbounded, self-adjoint, unitary, projection operators.
Boundedness and Continuity
Operator A bounded if ‖Aψ‖ ≤ C‖ψ‖ for some C ∈ ℝ⁺. Bounded operators continuous; unbounded operators require domain specification.
Adjoint Operators
Adjoint A† defined by ⟨ψ|Aφ⟩ = ⟨A†ψ|φ⟩ ∀ψ,φ ∈ H. Self-adjoint if A = A†; essential in quantum observables.
Given A linear operator:Find A† satisfying⟨ψ|Aφ⟩ = ⟨A†ψ|φ⟩, ∀ ψ, φ ∈ H.Spectral Theorem
Statement
Self-adjoint operator A admits spectral decomposition: A = ∫ λ dE(λ), where E(λ) projection-valued measure.
Implications
Diagonalization of observables, functional calculus, measurement postulate in quantum mechanics.
Discrete and Continuous Spectra
Discrete spectrum: eigenvalues with eigenvectors. Continuous spectrum: no eigenvectors, spectral measure continuous.
| Spectrum Type | Characteristics |
|---|---|
| Discrete Spectrum | Countable eigenvalues, normalizable eigenvectors |
| Continuous Spectrum | No eigenvectors, spectral measure continuous |
Representation of Quantum States
State Vectors
Pure quantum states: unit vectors |ψ⟩ ∈ H. Global phase irrelevant: physical states correspond to rays.
Density Operators
Mixed states: positive trace-class operators ρ with Tr(ρ)=1. Represent probabilistic mixtures of pure states.
Superposition Principle
Any linear combination of states is valid quantum state. Amplitudes encode probability amplitudes.
Bra-Ket Notation
Dirac Notation
Ket |ψ⟩: vector in H. Bra ⟨φ|: linear functional in dual space H*. Inner product ⟨φ|ψ⟩ complex number.
Outer Products
Operator |ψ⟩⟨φ| maps vector χ to |ψ⟩⟨φ|χ⟩. Useful in projection operators, density matrices.
Advantages
Compact, intuitive representation of states, operators, inner products. Widely adopted in quantum mechanics formalism.
Example:|ψ⟩ ∈ H,⟨φ| ∈ H*,⟨φ|ψ⟩ ∈ ℂ,|ψ⟩⟨φ|: operator on H.Tensor Products and Composite Systems
Construction
Hilbert space of composite system: H_total = H₁ ⊗ H₂. Vectors: linear combinations of tensor products |ψ⟩⊗|φ⟩.
Entanglement
States not factorizable as product states exhibit entanglement. Fundamental resource in quantum information.
Operators on Composite Spaces
Operators act as A ⊗ B, where A acts on H₁ and B on H₂. Tensor product preserves linearity and inner product structure.
Role in Functional Analysis
Hilbert Spaces as Function Spaces
Examples: L²(ℝ) space of square-integrable functions, essential for wavefunction representation.
Riesz Representation Theorem
Every continuous linear functional on H represented as inner product with fixed vector in H.
Operator Theory
Study of bounded and unbounded operators, spectral theory, semigroups of operators, all within Hilbert space context.
Applications in Quantum Mechanics
Quantum Observables
Observables represented by self-adjoint operators on Hilbert space. Measurement outcomes correspond to spectra.
Quantum Dynamics
Time evolution via unitary operators U(t) = exp(-iHt/ħ), H: Hamiltonian self-adjoint operator.
Quantum Measurement
Projection postulate: measurement projects state onto eigenbasis of observable operator.
Historical Context and Development
Origins
Introduced by David Hilbert in early 20th century for integral equations. Adopted in quantum theory by von Neumann.
Von Neumann's Formalism
Established Hilbert space framework for quantum mechanics (1932), rigorizing wavefunction and operator methods.
Modern Developments
Extensions to rigged Hilbert spaces, applications in quantum field theory, functional analysis, and quantum information science.
References
- John von Neumann, Mathematical Foundations of Quantum Mechanics, Princeton University Press, 1932, pp. 1-300.
- Reed M., Simon B., Methods of Modern Mathematical Physics, Vol. 1: Functional Analysis, Academic Press, 1980, pp. 1-400.
- Hall B.C., Quantum Theory for Mathematicians, Graduate Texts in Mathematics 267, Springer, 2013, pp. 1-700.
- Riesz F., Sz.-Nagy B., Functional Analysis, Dover Publications, 1990, pp. 1-350.
- Sakurai J.J., Napolitano J., Modern Quantum Mechanics, 2nd Edition, Addison-Wesley, 2011, pp. 1-600.