# Difference between revisions of "Pullback"

en>Michael Hardy |
(removed (x) from the function y(x) (strictly speaking the function is y, y(x) is the value of y at x).) |
||

(One intermediate revision by one other user not shown) | |||

Line 1: | Line 1: | ||

In mathematics, a '''pullback''' is either of two different, but related processes: precomposition and | {{noref|date=March 2014}} | ||

{{see also|Pull back (disambiguation)}} | |||

In mathematics, a '''pullback''' is either of two different, but related processes: precomposition and fibre-product. Its "dual" is [[pushforward]]. | |||

==Precomposition== | ==Precomposition== | ||

Precomposition with a function probably provides the most elementary notion of pullback: in simple terms, a function ''f'' of a variable ''y'', where ''y'' itself is a function of another variable ''x'', may be written as a function of ''x''. This is the pullback of ''f'' by the function ''y'' | Precomposition with a function probably provides the most elementary notion of pullback: in simple terms, a function ''f'' of a variable ''y'', where ''y'' itself is a function of another variable ''x'', may be written as a function of ''x''. This is the pullback of ''f'' by the function ''y''. | ||

: <math>f(y(x)) \equiv g(x) \, </math> | : <math>f(y(x)) \equiv g(x) \, </math> | ||

Line 33: | Line 35: | ||

* [[Inverse image functor]] | * [[Inverse image functor]] | ||

[[ | |||

[[Category:Mathematical analysis]] |

## Latest revision as of 23:31, 28 June 2014

Template:Noref
{{#invoke:see also|seealso}}
In mathematics, a **pullback** is either of two different, but related processes: precomposition and fibre-product. Its "dual" is pushforward.

## Precomposition

Precomposition with a function probably provides the most elementary notion of pullback: in simple terms, a function *f* of a variable *y*, where *y* itself is a function of another variable *x*, may be written as a function of *x*. This is the pullback of *f* by the function *y*.

It is such a fundamental process, that it is often passed over without mention, for instance in elementary calculus: this is sometimes called *omitting pullbacks*, and pervades areas as diverse as fluid mechanics and differential geometry.

However, it is not just functions that can be "pulled back" in this sense. Pullbacks can be applied to many other objects such as differential forms and their cohomology classes.

See:

## Fibre-product

The notion of pullback as a fibre-product ultimately leads to the very general idea of a categorical pullback, but it has important special cases: inverse image (and pullback) sheaves in algebraic geometry, and pullback bundles in algebraic topology and differential geometry.

See:

## Functional analysis

When the pullback is studied as an operator acting on function spaces, it becomes a linear operator, and is known as the composition operator. Its adjoint is the push-forward, or, in the context of functional analysis, the transfer operator.

## Relationship

The relation between the two notions of pullback can perhaps best be illustrated by sections of fibre bundles: if *s* is a section of a fibre bundle *E* over *N*, and *f* is a map from *M* to *N*, then the pullback (precomposition) of *s* with *f* is a section of the pullback (fibre-product) bundle *f***E* over *M*.