AI & ChatGPT searches , social queriess for PUSHFORWARD
Search references for PUSHFORWARD. Phrases containing PUSHFORWARD
See searches and references containing PUSHFORWARD!
Search references for PUSHFORWARD. Phrases containing PUSHFORWARD
See searches and references containing PUSHFORWARD!PUSHFORWARD
Topics referred to by the same term
notion of pushforward in mathematics is "dual" to the notion of pullback, and can mean a number of different but closely related things. Pushforward (differential)
Pushforward
"Pushed forward" from one measurable space to another
In measure theory, a pushforward measure (also known as push forward, push-forward or image measure) is obtained by transferring ("pushing forward") a
Pushforward_measure
Linear approximation of smooth maps on tangent spaces
In differential geometry, pushforward is a linear approximation of smooth maps (formulating manifold) on tangent spaces. Suppose that φ : M → N {\displaystyle
Pushforward_(differential)
The pushforward is harder to define formally. For simplicity, fix Lebesgue measures on U {\displaystyle U} and V . {\displaystyle V.} The pushforward can
Valuation_(geometry)
In algebraic topology, the pushforward of a continuous function f {\displaystyle f} : X → Y {\displaystyle X\rightarrow Y} between two topological spaces
Pushforward_(homology)
In mathematics, a mapping between categories
can define a new sheaf f∗F on Y, called the direct image sheaf or the pushforward sheaf of F along f, such that the global sections of f∗F is given by
Direct_image_functor
Mathematical operation
{\displaystyle \phi } is a diffeomorphism, then the pullback, together with the pushforward, can be used to transform any tensor field from N {\displaystyle N} to
Pullback (differential geometry)
Pullback_(differential_geometry)
Degree of differentiability of a function or map
tangent bundle, the pushforward is a vector bundle homomorphism: F ∗ : T M → T N . {\displaystyle F_{*}:TM\to TN.} The dual to the pushforward is the pullback
Smoothness
Mathematical function
In the mathematical field of measure theory, an outer measure or exterior measure is a function defined on all subsets of a given set with values in the
Outer_measure
codimension as Y′. Conversely, if f is proper, for Y a subvariety of X the pushforward is defined to be f ∗ ( [ Y ] ) = n [ f ( Y ) ] {\displaystyle f_{*}([Y])=n[f(Y)]\
Algebraic_cycle
sheaves come from intersection cohomology sheaves or from the derived pushforward of a local system on a family of topological spaces parameterized by
Constructible_sheaf
Mathematical technique for simplification
)}gd\mu =\int _{\Omega }g\circ TdT^{*}\mu } . Pushforward measure and transformation formula The pushforward measure in terms of a transformation T {\displaystyle
Change_of_variables
Mathematical description of spacetime used in relativity
under inclusion, pullback of covariant tensors under general maps and pushforward of vectors under general maps Behavior of tensors under inclusion: For
Minkowski_spacetime
Unsolved problem in geometry
that a cohomology class on X is of co-level c (coniveau c) if it is the pushforward of a cohomology class on a c-codimensional subvariety of X. The cohomology
Hodge_conjecture
Process in mathematics
precomposition is a special case of the general fiber-product. Its dual is a pushforward. Precomposition with a function probably provides the most elementary
Pullback
Discrete-variable probability distribution
{\displaystyle X\colon A\to B} is discrete provided its image is countable. The pushforward measure X ∗ ( P ) {\displaystyle X_{*}(P)} —called the distribution of
Probability_mass_function
Differentiable function whose derivative is everywhere injective
differentiable function between differentiable manifolds whose differential pushforward is everywhere injective. Explicitly, f : M → N is an immersion if D p
Immersion_(mathematics)
Differential map between manifolds whose differential is everywhere surjective
differentiable map between differentiable manifolds whose differential pushforward is everywhere surjective. It is a basic concept in differential topology
Submersion_(mathematics)
Mathematical function for the probability a given outcome occurs in an experiment
variable. Then the probability distribution of X {\displaystyle X} is the pushforward measure of the probability measure P {\displaystyle P} onto ( E , E )
Probability_distribution
Mathematical Concept
generated by tautological classes. These are classes obtained from 1 by pushforward along various morphisms described below. The tautological cohomology
Tautological_ring
Duistermaat–Heckman formula, due to Duistermaat and Heckman (1982), states that the pushforward of the canonical (Liouville) measure on a symplectic manifold under the
Duistermaat–Heckman_formula
Integral expressing the amount of overlap of one function as it is shifted over another
are Radon measures on G, then their convolution μ∗ν is defined as the pushforward measure of the group action and can be written as ( μ ∗ ν ) ( E ) = ∬
Convolution
Concept in differential geometry
diffeological space X {\displaystyle X} to a set Y {\displaystyle Y} , the pushforward diffeology on Y {\displaystyle Y} is the diffeology generated by the
Diffeology
Mathematical notion of infinitesimal difference
generally, the differential or pushforward refers to the derivative of a map between smooth manifolds and the pushforward operations it defines. The differential
Differential_(mathematics)
Variable representing a random phenomenon
sample space) to a measurable space. This allows consideration of the pushforward measure, which is called the distribution of the random variable; the
Random_variable
Typographical symbol (*)
*:A^{k}\rightarrow A^{n-k}} . as a unary operator, written as a subscript The pushforward (differential) of a smooth map f {\displaystyle f} between two smooth
Asterisk
a true measure on the second space. It acquired its name because the pushforward measure on the second space was historically thought of as a Radon measure
Radonifying_operator
Vector space equipped with a bilinear product
pullbacks, while upper indices are contravariant, transforming under pushforwards. Thus, the structure coefficients are often written ci,jk, and their
Algebra_over_a_field
Generalizations of codimension-1 subvarieties of algebraic varieties
the pushforward. (If X is not quasi-compact, then the pushforward may fail to be a locally finite sum.) This is a special case of the pushforward on Chow
Divisor_(algebraic_geometry)
Vector field on a pseudo-Riemannian manifold that preserves the metric tensor
of isometries. In this broader sense, a Killing vector field is the pushforward of a right invariant vector field on G {\displaystyle G} by the group
Killing_vector_field
Fiber bundle induced by a map of its base space
so that although the notion of a 'pushforward of a bundle' is defined in some contexts (for example, the pushforward by a diffeomorphism), in general it
Pullback_bundle
Tool to track locally defined data attached to the open sets of a topological space
topological spaces, pushforward and pullback relate sheaves on X {\displaystyle X} to those on Y {\displaystyle Y} and vice versa. The pushforward (also known
Sheaf_(mathematics)
Mathematical concept
of the tangent space TgG at each g ∈ G into TeG. It is given as the pushforward of a vector in TgG along the left-translation in the group: ω ( v ) =
Maurer–Cartan_form
Intuitively, a perfect measure μ is one for which, if we consider the pushforward measure on the real line R, then every measurable set is "μ-approximately
Perfect_measure
Identity concerning harmonic maps between Riemannian manifolds
manifolds and let u : M → N be a harmonic map. Let du denote the derivative (pushforward) of u, ∇ the gradient, Δ the Laplace–Beltrami operator, RiemN the Riemann
Bochner_identity
Group of rotations in 3 dimensions
dimensions, the Haar measure on S O ( 3 ) {\displaystyle SO(3)} is just the pushforward of the 3-area measure. Consequently, generating a uniformly random rotation
3D_rotation_group
Consistent set of finite-dimensional distributions will define a stochastic process
π F G ) ∗ μ G {\displaystyle (\pi _{F}^{G})_{*}\mu _{G}} denotes the pushforward measure of μ G {\displaystyle \mu _{G}} induced by the canonical projection
Kolmogorov_extension_theorem
Nonlinear differential operator used to study conformal mappings
orientation-preserving diffeomorphisms of S1, Diff(S1), acts on Fλ(S1) via pushforwards. If f ∈ D i f f ( S 1 ) {\displaystyle f\in \mathrm {Diff} (S^{1})} then
Schwarzian_derivative
Result in algebraic geometry
{\displaystyle X.} The Grothendieck–Riemann–Roch theorem relates the pushforward map f ! = ∑ ( − 1 ) i R i f ∗ : K 0 ( X ) → K 0 ( Y ) {\displaystyle
Grothendieck–Riemann–Roch theorem
Grothendieck–Riemann–Roch_theorem
Mathematical result in differential geometry
above). If X is a compact submanifold of a manifold Y then there is a pushforward (or "shriek") map from K(TX) to K(TY). The topological index of an element
Atiyah–Singer_index_theorem
Theorem in probability and statistics
theorem of mathematical analysis on Lebesgue integration relative to a pushforward measure. This proposition is (sometimes) known as the law of the unconscious
Law of the unconscious statistician
Law_of_the_unconscious_statistician
Technique from algebraic geometry
morphism of schemes and f ∗ , f ∗ {\displaystyle f_{*},f^{*}} denote the pushforward as well the pullback for quasi-coherent sheaves (here, for simplicity
Faithfully_flat_descent
Measure that changes under a transformation but keeps the same null sets
expressible as multiplication by the Jacobian determinant of the derivative (pushforward) of T. To express this idea more formally in measure theory terms, the
Quasi-invariant_measure
Tangent spaces of a manifold
M {\displaystyle \pi :TM\rightarrow M} is the canonical projection. Pushforward (differential) Unit tangent bundle Cotangent bundle Frame bundle Musical
Tangent_bundle
Assignment of vector fields to manifolds
called variously the derivative, total derivative, differential, or pushforward of φ {\displaystyle \varphi } at x {\displaystyle x} . It is frequently
Tangent_space
Concept in probability theory
, Xn) is called comonotonic, if its multivariate distribution (the pushforward measure) is comonotonic, this means Pr ( X 1 ≤ x 1 , … , X n ≤ x n )
Comonotonicity
Long exact sequence
H^{*}(E).\,} In the case of a fiber bundle, one can also define a pushforward map π ∗ {\displaystyle \pi _{\ast }} π ∗ : H ∗ ( E ) ⟶ H ∗ − k ( M )
Gysin_homomorphism
a hyperplane section, f ∗ {\displaystyle f_{*}} is the direct image (pushforward) and R n f ∗ {\displaystyle R^{n}f_{*}} is the n-th derived functor of
Decomposition theorem of Beilinson, Bernstein and Deligne
Decomposition_theorem_of_Beilinson,_Bernstein_and_Deligne
Mathematical structure
{\displaystyle F} to F u {\displaystyle Fu} . These functors are called pushforwards. If C ~ {\displaystyle {\tilde {\mathcal {C}}}} and D ~ {\displaystyle
Grothendieck_topology
Expected value of a random variable given that certain conditions are known to occur
\mathbb {R} ^{n}} . The measure used is the pushforward measure induced by Y. In the first example, the pushforward measure is a Dirac distribution at 1. In
Conditional_expectation
Straight path on a curved surface or a Riemannian manifold
here d π : T T M → T M {\displaystyle d\pi :TTM\to TM} denotes the pushforward (differential) along the projection π : T M → M {\displaystyle \pi :TM\to
Geodesic
Expression that may be integrated over a region
denoted f∗ and called the pushforward. For any point p ∈ M and any tangent vector v ∈ TpM, there is a well-defined pushforward vector f∗(v) in Tf(p)N. However
Differential_form
Description of continuous random distribution
Borel sets as measurable subsets) has as probability distribution the pushforward measure X∗P on ( X , A ) {\displaystyle ({\mathcal {X}},{\mathcal {A}})}
Probability_density_function
Exterior derivative Lie derivative pullback (differential geometry) pushforward (differential) jet (mathematics) Contact (mathematics) jet bundle Frobenius
List of differential geometry topics
List_of_differential_geometry_topics
Transformation that preserves area measure of regions
} denotes the Euclidean wedge product of vectors and df denotes the pushforward along f. Every Euclidean isometry of the Euclidean plane is equiareal
Equiareal_map
Instantaneous rate of change (mathematics)
′ ( a ) v {\displaystyle f'(\mathbf {a} )\mathbf {v} } is called the pushforward of v {\displaystyle \mathbf {v} } by f {\displaystyle f} . If the
Derivative
other, then they determine the same pullback: f* = g*. In contrast, a pushforward for de Rham cohomology for example is given by integration-along-fibers
Pullback_(cohomology)
Smooth manifold with an inner product on each tangent space
di_{p}(w){\big )},} where d i p ( v ) {\displaystyle di_{p}(v)} is the pushforward of v {\displaystyle v} by i . {\displaystyle i.} Examples: The n {\displaystyle
Riemannian_manifold
\scriptstyle F:M\,\longrightarrow \,N} be a smooth surjection such that the pushforward (differential) of F {\displaystyle \scriptstyle F} is surjective almost
Smooth_coarea_formula
Mathematical category
{\displaystyle u} is a continuous map between them, then the pullback and pushforward operations on sheaves yield a geometric morphism between the associated
Topos
{\displaystyle \ P_{*}f(q)} where P ∗ f {\displaystyle \ P_{*}f} denotes the pushforward of f {\displaystyle \ f} by P {\displaystyle \ P} , f {\displaystyle
Orbit_(control_theory)
Subject of study in ergodic theory
systems are defined in terms of the pushforward. For example, the transfer operator is defined in terms of the pushforward of the transformation map T {\displaystyle
Measure-preserving dynamical system
Measure-preserving_dynamical_system
object K ∈ D(X×Y). Most natural functors, including basic ones like pushforwards and pullbacks, are of this type. These kinds of functors were introduced
Fourier–Mukai_transform
Random process of binary (boolean) random variables
function f : B → R {\displaystyle f:{\mathcal {B}}\to \mathbb {R} } . The pushforward f ∘ T − 1 {\displaystyle f\circ T^{-1}} defined by ( f ∘ T − 1 ) ( σ
Bernoulli_process
Matrix of partial derivatives of a vector-valued function
sensitivity and statistical diagnostics. Center manifold Hessian matrix Pushforward (differential) Differentiability at x implies, but is not implied by
Jacobian matrix and determinant
Jacobian_matrix_and_determinant
Stochastic process generalizing Brownian motion
surely. The image of the Lebesgue measure on [0, t] under the map w (the pushforward measure) has a density Lt. Thus, ∫ 0 t f ( w ( s ) ) d s = ∫ − ∞ + ∞
Wiener_process
Defines a notion of parallel transport on a bundle
smooth manifold E . {\displaystyle E.} As such, one may consider the pushforward d X ( v ) , {\displaystyle dX(v),} which is an element of the tangent
Connection_(vector_bundle)
Distance-preserving mathematical transformation
{\displaystyle g'} by f {\displaystyle f} . Equivalently, in terms of the pushforward f ∗ , {\displaystyle f_{*},} we have that for any two vector fields v
Isometry
Generalization of vector bundles
quasi-coherent sheaf on X {\displaystyle X} , then the direct image sheaf (or pushforward) f ∗ F {\displaystyle f_{*}{\mathcal {F}}} is quasi-coherent on Y {\displaystyle
Coherent_sheaf
Technique for the generative modeling of a continuous probability distribution
[ ϕ t ] # π 0 {\displaystyle p_{t}=[\phi _{t}]_{\#}\pi _{0}} by the pushforward measure operator. In particular, [ ϕ 1 ] # π 0 = π 1 {\displaystyle [\phi
Diffusion_model
Dual space to the tangent space in differential geometry
{\displaystyle f:M\to N} between manifolds induces a linear map (called the pushforward or derivative) between the tangent spaces f ∗ : T x M → T f ( x ) N {\displaystyle
Cotangent_space
Function in mathematics
is a point of U0 ⊂ S, then a vector field may be represented by the pushforward of a vector field v0 on R2 by φ 0 {\displaystyle \varphi _{0}} : where
Connection_(mathematics)
Mathematics concept
The finite-dimensional distributions of μ {\displaystyle \mu } are the pushforward measures f ∗ ( μ ) {\displaystyle f_{*}(\mu )} , where f : X → R k {\displaystyle
Finite-dimensional distribution
Finite-dimensional_distribution
Mathematical model
topology, and this has a pushforward by the injection map from Spec(K) to Spec(R), which is a sheaf over Spec(R). If this pushforward is representable by a
Néron_model
Theorem
how a large deviation principle on one space "pushes forward" (via the pushforward of a probability measure) to a large deviation principle on another space
Contraction principle (large deviations theory)
Contraction_principle_(large_deviations_theory)
Lie group of complex numbers of unit modulus; topologically a circle
{\displaystyle \mu _{N}(A)=|A|/N} , whose associated Loeb measure (the pushforward measure under the standard part) gives the usual Haar measure on the
Circle_group
the dual vector space to the cotangent space. Analytic mappings induce pushforward maps on tangent spaces and pullback maps on cotangent spaces. The dimension
Analytic_space
Concept in measure theory
(f)=\operatorname {supp} (f_{*}\mu )} , where f ∗ μ {\displaystyle f_{*}\mu } is the pushforward measure onto σ ( T ) {\displaystyle \sigma ({\cal {T}})} of μ {\displaystyle
Essential_range
Differential geometry construct on fiber bundles
s : T M → T E {\displaystyle {\rm {d}}s\colon TM\to TE} is then the pushforward of tangent vectors. The horizontal spaces together form a vector subbundle
Ehresmann_connection
Fundamental construction of differential calculus
vector will agree with the directional derivative. The differential or pushforward of a map between manifolds is the induced map between tangent spaces
Generalizations of the derivative
Generalizations_of_the_derivative
Algebraic tool for computing topological spaces' invariants
f_{*}:H_{k}(X_{1})\to H_{k}(X_{2})} such that the composition of pushforwards is the pushforward of a composition: that is, ( g ∘ h ) ∗ = g ∗ ∘ h ∗ . {\displaystyle
Mayer–Vietoris_sequence
Operator encoding information about iterated map
operator can be shown to be the point-set limit of the measure-theoretic pushforward of g: in essence, the transfer operator is the direct image functor in
Transfer_operator
Array of numbers describing a metric connection
properties of a tensor are given by pullbacks for covariant indices, and pushforwards for contravariant indices. The article on covariant derivatives provides
Christoffel_symbols
Generalization of mass, length, area and volume
Measurable function Minkowski content Outer measure Product measure Pushforward measure Random measure Regular measure Vector measure Valuation (measure
Measure_(mathematics)
Module over a sheaf of differential operators
D-modules on different algebraic varieties are connected by pullback and pushforward functors comparable to the ones for coherent sheaves. For a map f: X
D-module
Topics referred to by the same term
relating derivatives of a function Differential topology Differential (pushforward) The total derivative of a map between manifolds. Differential exponent
Differential
Probability theory operation
distribution of X {\displaystyle X} on R {\displaystyle \mathbb {R} } is the pushforward measure μ ∘ F X − 1 {\displaystyle \mu \circ F_{X}^{-1}} . Given any
Probability integral transform
Probability_integral_transform
Cohomology with real coefficients computed using differential forms
Hodge theory Integration along fibers (for de Rham cohomology, the pushforward is given by integration) Sheaf theory ∂ ∂ ¯ {\displaystyle \partial {\bar
De_Rham_cohomology
Collection of random variables
the law of stochastic process X {\displaystyle X} is defined as the pushforward measure: μ = P ∘ X − 1 , {\displaystyle \mu =P\circ X^{-1},} where P
Stochastic_process
Mathematical theory
Riemann–Roch theorem then describes how the Chern class behaves under pushforward of vector bundles under a proper map of arithmetic varieties. A complete
Arakelov_theory
Homology theory for locally compact spaces
with respect to proper maps. That is, a proper map f: X → Y induces a pushforward homomorphism H i B M ( X ) → H i B M ( Y ) {\displaystyle H_{i}^{BM}(X)\to
Borel–Moore_homology
Type of derivative in mathematics
{\displaystyle N} at f ( p ) {\displaystyle f(p)} . This is also known as the pushforward. This is closely related to the derivative as a linear approximation
Derivative (multivariable calculus)
Derivative_(multivariable_calculus)
Specialized notation for multivariable calculus
components represent a space is known as the pushforward (or differential), or the Jacobian matrix. The pushforward along a vector function f with respect to
Matrix_calculus
Fundamental formulas linking the metric and curvature tensor of a manifold
a natural inclusion of the tangent bundle of M into that of P by the pushforward, and the cokernel is the normal bundle of M: 0 → T x M → T x P | M →
Gauss–Codazzi_equations
Type of probability space
Ω → R {\displaystyle \textstyle f:\Omega \to \mathbb {R} } induces a pushforward measure f ∗ P {\displaystyle f_{*}P} , – the probability measure μ {\displaystyle
Standard_probability_space
Y and Lg is left-multiplication by g along the fiber, and Lg* is the pushforward. That is, E is the vector bundle that consists of the vertical subspace
Bundle_metric
Notion in calculus
one treats the differential in this manner, then it is known as the pushforward since it "pushes" velocities from a source space into velocities in a
Differential_of_a_function
Concept in mathematics
{\displaystyle \mu \left(f^{-1}(A)\right)=\mu (A).} In terms of the pushforward measure, this states that f ∗ ( μ ) = μ . {\displaystyle f_{*}(\mu )=\mu
Invariant_measure
Subject area in mathematics
smooth variety Y determines a homomorphism f* : K(X) → K(Y) called the pushforward. This gives two ways of determining an element in the Chow group of Y
Algebraic_K-theory
Technique in integral evaluation
Weierstrass substitution Euler substitution Glasser's master theorem Pushforward measure Swokowski 1983, p. 257 Swokowski 1983, p. 258 Briggs & Cochran
Integration_by_substitution
PUSHFORWARD
PUSHFORWARD
PUSHFORWARD
PUSHFORWARD
Girl/Female
Gujarati, Hindu, Indian, Kannada, Malayalam, Marathi, Sanskrit, Sindhi, Tamil, Telugu
Complete
Boy/Male
Dutch
Cock or rooster.
Boy/Male
Indian
Intelligent, Skillful
Male
Egyptian
, Ares, ("a lion"), god of war.
Boy/Male
Tamil
Vicknesh | விசà¯à®•à¯à®¨à¯‡à®·
Brilliant
Female
Egyptian
, the wife of Ra-er, and mother of Uer-mu.
Girl/Female
Indian, Marathi
Little Noble
Girl/Female
Biblical
Society, friendship.
Boy/Male
Bengali, Gujarati, Hindu, Indian, Kannada, Malayalam, Marathi, Oriya, Sanskrit, Sindhi, Tamil, Telugu
King of Kings
Boy/Male
Hindu
Stable
PUSHFORWARD
PUSHFORWARD
PUSHFORWARD
PUSHFORWARD
PUSHFORWARD