definition 5.60 Functional specified on a basis
open in the book ·
parts/02-mathematical-methods/03-linear-algebra-representations.tex:2594
· p. 127
- ground object -- no derivation owed
Rests on
-
depends_on
definition 5.15
Basis
¶
-
depends_on
definition 5.12
Subspace generated by a set of vectors
¶
-
depends_on
definition 5.5
Linear combination
¶
- depends_on definition 4.33 Vector space ¶
-
depends_on
definition 5.7
Vector subspace
¶
- depends_on definition 5.5 Linear combination ¶ ↺
- proves proof ch:03-linear-algebra-representations@proof-3 ¶
-
depends_on
definition 5.5
Linear combination
¶
-
depends_on
definition 5.14
Linear independence
¶
- depends_on definition 5.5 Linear combination ¶ ↺
-
depends_on
definition 5.12
Subspace generated by a set of vectors
¶
-
depends_on
definition 5.46
Functional
¶
-
depends_on
definition 5.37
Linear transformation
¶
- depends_on definition 4.33 Vector space ¶ ↺
-
depends_on
definition 5.37
Linear transformation
¶
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 |
|---|---|---|---|---|
depends_on |
→ | Basis | declared | parts/02-mathematical-methods/03-linear-algebra-representations.tex:2602 |
depends_on |
→ | Functional | declared | parts/02-mathematical-methods/03-linear-algebra-representations.tex:2602 |