Manuscript XXII-F@1 · XXII-F.tex · section · 67821705
Representation and selecting properties
The conditional extraction theorem › Representation and selecting properties · lines 697–709
The classification route is the one recorded in Cheung's En08-A
and XXII-A CheungEn08A (thm:weaker)
CheungXXIIA (thm:classification).
Self-duality and irreducibility are not additional requirements
of this particular route.
An isomorphism exists; this theorem does not supply a canonical Lorentz frame or an implemented algorithm for computing it. A later numerical or constructive claim must specify its algorithm, input precision, termination, and error certificate.
Nearby in this section
- section: Representation and selecting properties
- definition: Definition: Faithful generated affine representation
- section: Representation and selecting properties
- assumption: Model specification: Certificates for the conditional theorem
- section: Representation and selecting properties
- theorem: Theorem: Conditional operational Lorentz-cone assembly