example 12.98 Two particles in three-dimensional space
open in the book ·
parts/02-mathematical-methods/10-hilbert-spaces.tex:2703
· p. 442
- example -- no derivation owed by its kind
Rests on
-
depends_on
definition 12.94
Tensor product of Hilbert spaces
¶
-
depends_on
definition 12.2
Hilbert space
¶
-
depends_on
definition 5.18
Inner product
¶
- depends_on definition 4.33 Vector space ¶
- depends_on definition 6.27 Convergence; Cauchy sequence; completeness ¶
- depends_on equation 5.44 eq:lin-norm-assoc ¶
-
depends_on
definition 5.18
Inner product
¶
-
depends_on
definition 5.110
Bilinear map
¶
-
depends_on
definition 5.37
Linear transformation
¶
- depends_on definition 4.33 Vector space ¶ ↺
-
depends_on
definition 5.37
Linear transformation
¶
- depends_on definition 5.18 Inner product ¶ ↺
-
depends_on
definition 12.2
Hilbert space
¶
-
depends_on
example 12.11
The function space $L^{2}$
¶
- depends_on definition 12.2 Hilbert space ¶ ↺
- depends_on definition 5.18 Inner product ¶ ↺
Supports
Nothing declares a dependency on this node yet.
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 |
→ | Methods of Modern Mathematical Physics I: Functional Analysis | derived | parts/02-mathematical-methods/10-hilbert-spaces.tex:2715 |
depends_on |
→ | Tensor product of Hilbert spaces | declared | parts/02-mathematical-methods/10-hilbert-spaces.tex:2720 |
depends_on |
→ | The function space $L^{2}$ | declared | parts/02-mathematical-methods/10-hilbert-spaces.tex:2720 |