Adjoint of a Bra-Ket: Definition & Derivation

  • Thread starter Thread starter Alexis21
  • Start date Start date
  • Tags Tags
    Bra-ket
Alexis21
Messages
6
Reaction score
0
Hello everybody,

why is the adjoint of a bra-ket like this:

< \phi | \psi >^+ = < \psi | \phi >

Is it a definition or can it be derived somehow?

Thanks :)
 
Physics news on Phys.org
The scalar product in a (pre-)Hilbert space is a sesquilinear form, i.e., by definition

\langle \psi|\phi \rangle = \langle \phi|\psi \rangle^*

and

\langle \psi | \alpha \phi_1 + \beta \phi_2 \rangle = \alpha \langle \psi | \phi_1 \rangle + \beta \langle \psi | \phi_2 \rangle.<br />
 
Thank you!
 
When \langle\psi|\phi\rangle denotes the inner product (or semi-inner product) of \psi and \phi, what vanhees71 said is the complete answer. But if it denotes \langle\psi| acting on |\phi\rangle, some elaboration is required. \langle\psi| is defined as a function that takes kets to complex numbers. To be more specific, it's defined as the function such that takes |\phi\rangle to \big(|\psi\rangle,|\phi\rangle\big). (Here I'm using the (\cdot,\cdot) notation for the inner product of two kets, to make things more readable). Now we can prove it like this:
\langle\psi|\phi\rangle^* =\big(\langle\psi|\big(|\phi\rangle\big)\big)^* =\big(|\psi\rangle,|\phi\rangle\big)^* =\big(|\phi\rangle,|\psi\rangle\big) =\langle\phi|\big(|\psi\rangle\big) =\langle\phi|\psi\rangle The equality in the middle is the same identity that vanhees71 mentioned. As he said, it's part of the definition of an inner product.
 
The bra-ket is not a scalar product, but a short-hand for the action of a linear functional on a vector which yields a complex/real scalar.
 
Not an expert in QM. AFAIK, Schrödinger's equation is quite different from the classical wave equation. The former is an equation for the dynamics of the state of a (quantum?) system, the latter is an equation for the dynamics of a (classical) degree of freedom. As a matter of fact, Schrödinger's equation is first order in time derivatives, while the classical wave equation is second order. But, AFAIK, Schrödinger's equation is a wave equation; only its interpretation makes it non-classical...
Insights auto threads is broken atm, so I'm manually creating these for new Insight articles. Towards the end of the first lecture for the Qiskit Global Summer School 2025, Foundations of Quantum Mechanics, Olivia Lanes (Global Lead, Content and Education IBM) stated... Source: https://www.physicsforums.com/insights/quantum-entanglement-is-a-kinematic-fact-not-a-dynamical-effect/ by @RUTA
Is it possible, and fruitful, to use certain conceptual and technical tools from effective field theory (coarse-graining/integrating-out, power-counting, matching, RG) to think about the relationship between the fundamental (quantum) and the emergent (classical), both to account for the quasi-autonomy of the classical level and to quantify residual quantum corrections? By “emergent,” I mean the following: after integrating out fast/irrelevant quantum degrees of freedom (high-energy modes...
Back
Top