Treatise of Physics

Knowledge graph › Linear Algebra and Representation Theory

definition 5.66 Pushforward

open in the book · parts/02-mathematical-methods/03-linear-algebra-representations.tex:2967 · p. 132

Rests on

Supports

Neighborhood

Every logical edge within two steps of this node.

definition 5.66: Pushforward5.66definition 5.59: Dual space5.59definition 5.37: Linear transformation5.37proposition 5.67: Adjointness of pullback and pushforward5.67definition 5.46: Functional5.46proposition 5.61: Annihilator of a subspace5.61proposition 5.114: prop:lin-bilinear-dual5.114proposition 5.63: prop:lin-dual-inner-product5.63definition 4.33: Vector space4.33definition 7.99: Differentiability at a point7.99definition 12.35: Bounded operator; operator norm12.35definition 12.69: Operator with a domain12.69definition 5.41: Adjoint5.41definition 5.110: Bilinear map5.110definition 5.128: Derivation5.128definition 5.56: Endomorphism5.56definition 5.47: Inverse of a linear transformation5.47definition 5.53: Isomorphism5.53definition 5.39: Kernel, image, nullity, rank5.39lemma A.337: A nilpotent map has nilpotent adjointA.337proposition 5.48: Existence, uniqueness, and linearity of the inverse5.48proposition 5.125: prop:lin-matrix-algebra5.125proposition 5.45: prop:lin-matrix-unique5.45theorem A.335: Jordan decompositionA.335theorem 5.158: Schur's first lemma5.158notation 5.65: The dual pairing5.65proof : ch:03-linear-algebra-representations@proof-24proof

Edges

typedirectionnode provenancewhere
depends_on → Dual space declared parts/02-mathematical-methods/03-linear-algebra-representations.tex:2979
depends_on → Linear transformation declared parts/02-mathematical-methods/03-linear-algebra-representations.tex:2979
depends_on ← Adjointness of pullback and pushforward declared parts/02-mathematical-methods/03-linear-algebra-representations.tex:3009