theorem 109.34 Reeh–Schlieder
open in the book ·
parts/11-qft-standard-model/11-axiomatic-qft.tex:1029
· p. 2304
Rests on
- depends_on axiom 109.15 Cyclicity of the vacuum ¶
- depends_on axiom 109.14 Local commutativity ¶
-
depends_on
theorem 109.26
Analyticity in the forward tube
¶
- depends_on equation 109.16 eq:axqft-wightman-support ¶
-
depends_on
lemma 109.25
Positivity of the cone pairing
¶
- depends_on notation 109.8 Conventions of this chapter ¶
- proves proof ch:11-axiomatic-qft@proof-7 ¶
- proves proof ch:11-axiomatic-qft@proof-8 ¶
- proves proof ch:11-axiomatic-qft@proof-11 ¶
Supports
- depends_on corollary 109.35 No local operator annihilates the vacuum ¶
-
depends_on
theorem 109.49
Spin and statistics
¶
- depends_on corollary 109.50 The connection between spin and statistics ¶
-
depends_on
theorem 109.72
Tomita–Takesaki; imported
¶
- depends_on proposition 109.74 The vacuum is thermal in a wedge ¶
-
depends_on
theorem 109.73
Bisognano–Wichmann; imported
¶
- depends_on proposition 109.74 The vacuum is thermal in a wedge ¶ ↺
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 |
→ | Bemerkungen zur unitäräquivalenz von lorentzinvarianten feldern | derived | parts/11-qft-standard-model/11-axiomatic-qft.tex:1036 |
depends_on |
→ | Cyclicity of the vacuum | declared | parts/11-qft-standard-model/11-axiomatic-qft.tex:1038 |
depends_on |
→ | Local commutativity | declared | parts/11-qft-standard-model/11-axiomatic-qft.tex:1038 |
depends_on |
→ | Analyticity in the forward tube | declared | parts/11-qft-standard-model/11-axiomatic-qft.tex:1038 |
depends_on |
← | No local operator annihilates the vacuum | declared | parts/11-qft-standard-model/11-axiomatic-qft.tex:1109 |
depends_on |
← | Spin and statistics | declared | parts/11-qft-standard-model/11-axiomatic-qft.tex:1532 |
depends_on |
← | Tomita–Takesaki; imported | declared | parts/11-qft-standard-model/11-axiomatic-qft.tex:2296 |
proves |
← | ch:11-axiomatic-qft@proof-11 | declared | parts/11-qft-standard-model/11-axiomatic-qft.tex:1041 |