definition 12.94 Tensor product of Hilbert spaces
open in the book ·
parts/02-mathematical-methods/10-hilbert-spaces.tex:2580
· p. 441
- ground object -- no derivation owed
Rests on
-
depends_on
definition 12.2
Hilbert space
¶
-
depends_on
definition 5.18
Inner product
¶
-
depends_on
definition 4.33
Vector space
¶
-
depends_on
definition 4.8
Commutativity; abelian structure
¶
- depends_on definition 4.4 Internal binary operation; magma ¶
- depends_on definition 4.32 Field ¶
- depends_on definition 4.31 Module ¶
-
depends_on
definition 4.8
Commutativity; abelian structure
¶
-
depends_on
definition 4.33
Vector space
¶
-
depends_on
definition 6.27
Convergence; Cauchy sequence; completeness
¶
-
depends_on
definition 6.24
Metric
¶
-
depends_on
definition 3.43
Map
¶
- depends_on definition 3.24 Quantifiers ¶
- depends_on definition 3.28 Set ¶
- depends_on definition 3.38 Ordered pair and Cartesian product ¶
-
depends_on
definition 3.43
Map
¶
-
depends_on
definition 6.24
Metric
¶
- 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 ¶ ↺
Supports
-
depends_on
definition 12.99
Product and entangled vectors
¶
- depends_on example 12.100 Entangled vectors exist ¶
- depends_on example 12.98 Two particles in three-dimensional space ¶
-
depends_on
proposition 12.95
The tensor inner product is well defined and
positive definite
¶
- depends_on example 12.100 Entangled vectors exist ¶ ↺
- depends_on proposition 12.96 Operators on a tensor product ¶
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 |
→ | Hilbert space | declared | parts/02-mathematical-methods/10-hilbert-spaces.tex:2596 |
depends_on |
→ | Bilinear map | declared | parts/02-mathematical-methods/10-hilbert-spaces.tex:2596 |
depends_on |
→ | Inner product | declared | parts/02-mathematical-methods/10-hilbert-spaces.tex:2596 |
depends_on |
← | Product and entangled vectors | declared | parts/02-mathematical-methods/10-hilbert-spaces.tex:2728 |
depends_on |
← | Two particles in three-dimensional space | declared | parts/02-mathematical-methods/10-hilbert-spaces.tex:2720 |
depends_on |
← | The tensor inner product is well defined and positive definite | declared | parts/02-mathematical-methods/10-hilbert-spaces.tex:2608 |