theorem 109.21 Wightman reconstruction
open in the book ·
parts/11-qft-standard-model/11-axiomatic-qft.tex:635
· p. 2300
Rests on
- depends_on definition 109.19 Wightman functions ¶
-
depends_on
proposition 109.20
Properties of the Wightman functions
¶
- depends_on axiom 109.13 Covariance ¶
- depends_on axiom 109.12 Fields ¶
- depends_on axiom 109.14 Local commutativity ¶
- depends_on axiom 109.10 Spectrum condition ¶
- depends_on axiom 109.9 Relativistic states ¶
- depends_on axiom 109.11 Unique vacuum ¶
- proves proof ch:11-axiomatic-qft@proof-4 ¶
- proves proof ch:11-axiomatic-qft@proof-5 ¶
Supports
-
depends_on
theorem 109.4
Haag
¶
- depends_on corollary 109.5 The interaction picture does not exist ¶
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 |
|---|---|---|---|---|
cites |
→ | Quantum Field Theory in Terms of Vacuum Expectation Values | derived | parts/11-qft-standard-model/11-axiomatic-qft.tex:644 |
depends_on |
→ | Wightman functions | declared | parts/11-qft-standard-model/11-axiomatic-qft.tex:645 |
depends_on |
→ | Properties of the Wightman functions | declared | parts/11-qft-standard-model/11-axiomatic-qft.tex:645 |
depends_on |
← | Haag | declared | parts/11-qft-standard-model/11-axiomatic-qft.tex:202 |
proves |
← | ch:11-axiomatic-qft@proof-5 | declared | parts/11-qft-standard-model/11-axiomatic-qft.tex:648 |