Alphabeta Math
TheoremStatement: Literature-sourcedProof: AI-generatedPipeline-generatedjudge pass (gpt-6-luna)
How statement and proof provenance work

The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.

  • Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
  • AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
  • AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.

These labels describe origin, not correctness: citations and verification chips remain separate evidence.

Ray-to-projector is well-defined and bijective

Statement

For nonzero finite-dimensional complex-inner-product H, the map sending a ray [u] to the rank-one projector Pu=∣u⟩⟨u∣ of any unit representative is well-defined and bijective onto the rank-one orthogonal projections on H. Each Pu is non-negative and has trace one.

Facts & Assumptions

Given: A nonzero finite-dimensional complex-inner-product space H, the pure-state ray convention, and the root inner product linear in its first argument.

[F1]

Pure state and ray: a ray is the equivalence class of a nonzero vector under multiplication by a nonzero complex scalar; a pure state is such a ray represented by a unit vector.

[F2]

Dirac Notation Conversion: the root inner product is linear in its first argument and ∣u⟩⟨u∣ acts by z↦⟨z,u⟩u.

[F3]

The orthogonal projection PWv is the W-component in V=W⊕W⊥: the orthogonal projection onto W returns the W component in H=W⊕W⊥; its residual is in W⊥.

[F4]

Non-negative and positive operators: non-negative means self-adjoint with nonnegative quadratic form.

[F5]
[F6]

Every finite-dimensional real or complex inner product space has an orthonormal basis: every finite-dimensional inner-product space has an orthonormal basis.

[F7]

Rank and nullity of a linear map with finite-dimensional domain: rank⁡(P)=dim⁡(im⁡P); rank one means that the image is one-dimensional.

Proof

1.1givenF1F2algebra

Let u be unit and suppose v=αu is another unit representative of the same ray. Then 1=∥v∥2=∣α∣2∥u∥2, so ∣α∣=1. By [F2], Pvz=⟨z,αu⟩αu=α‾α⟨z,u⟩u=Puz for every z. Thus the projector does not depend on the unit representative.

1.2F2F3F4F5F6F7choosealgebra

By [F2], Pu2z=⟨z,u⟩⟨u,u⟩u=Puz. Its range is Cu, a one-dimensional subspace, so [F7] gives rank one. For every z, Puz∈Cu and ⟨z−Puz,u⟩=⟨z,u⟩−⟨z,u⟩⟨u,u⟩=0, so the residual is in (Cu)⊥; by the residual characterization in [F3], Pu is the orthogonal projection onto Cu. Also, for all z,w, ⟨Puz,w⟩=⟨z,u⟩⟨u,w⟩=⟨z,Puw⟩ and ⟨Puz,z⟩=∣⟨z,u⟩∣2≥0. Hence Pu is non-negative by [F4]. Choose an orthonormal basis (ej) by [F6] and write u=∑jcjej; then ⟨Puej,ej⟩=∣cj∣2, so [F5] gives tr⁡(Pu)=∑j∣cj∣2=⟨u,u⟩=1 by orthonormality.

2.1givenF1F2F3F7step 1.2algebrachoose∎

Conversely, let P be a rank-one orthogonal projection onto W. By [F7], dim⁡W=1, so choose a unit u∈W. For every z, write Pz=αu; [F3] gives z−Pz∈W⊥, so ⟨z,u⟩=⟨Pz,u⟩=α. Therefore Pz=⟨z,u⟩u=Puz, proving surjectivity. If Pu=Pv, their ranges are equal, so u and v span the same line and represent the same ray. This proves injectivity and the claimed bijection.

Depends on

Used by

Cited to discharge well-definedness by Pure state and ray.

Dependency tree · two levels

41 results within two dependency steps of this one, each drawn at its shortest distance from it. An arrow runs from a result to what uses it, so the chart reads left to right and ends at this result, which carries a heavier outline. Every node is a link to that result. Click elsewhere on the chart to enlarge it.

Sources