lemma 109.42 Total inversion is a complex Lorentz transformation

open in the book · parts/11-qft-standard-model/11-axiomatic-qft.tex:1260 · p. 2307

Rests on

depends_on definition 109.27 The complex Lorentz group ¶
depends_on definition 39.5 Orthochronous Lorentz group ¶
- depends_on definition 39.1 Lorentz group ¶
  - depends_on definition 38.6 Minkowski metric and interval ¶
    - depends_on proposition 38.5 The invariant interval ¶
      - depends_on equation 38.1 eq:lor-beta-gamma ¶
      - depends_on theorem 38.4 Lorentz boost ¶
      - proves proof ch:02-lorentz-transformations@proof-2 ¶
- depends_on equation 39.3 eq:mink-noncompact ¶
  - step_from equation 39.2 eq:mink-lorentz-condition ¶
proves proof ch:11-axiomatic-qft@proof-14 ¶

Supports

depends_on corollary 109.43 Total inversion is automatic ¶
- depends_on theorem 109.44 Jost ¶
  - depends_on corollary 109.45 Locality implies $PCT$ ¶
- depends_on theorem 109.49 Spin and statistics ¶
  - depends_on corollary 109.50 The connection between spin and statistics ¶

Neighborhood

Every logical edge within two steps of this node.

declared and complete
partly declared
a check failed
not graded
declared in the source
inferred from structure

Edges

type	direction	node	provenance	where
`depends_on`	→	The complex Lorentz group	declared	parts/11-qft-standard-model/11-axiomatic-qft.tex:1266
`depends_on`	→	Orthochronous Lorentz group	declared	parts/11-qft-standard-model/11-axiomatic-qft.tex:1266
`depends_on`	←	Total inversion is automatic	declared	parts/11-qft-standard-model/11-axiomatic-qft.tex:1324
`proves`	←	ch:11-axiomatic-qft@proof-14	declared	parts/11-qft-standard-model/11-axiomatic-qft.tex:1269