|
|
| (One intermediate revision by one other user not shown) |
| Line 1: |
Line 1: |
| {{see also|Pull back (disambiguation)}}
| | Nice to meet you, my name is Numbers Held though I don't really like becoming called like that. South Dakota is where me and my spouse reside and my family enjoys it. To collect coins is a thing that I'm totally addicted to. I am a meter reader but I plan on changing it.<br><br>Check out my weblog ... [http://nuvem.tk/altergalactica/AliceedMaurermy nuvem.tk] |
| In mathematics, a '''pullback''' is either of two different, but related processes: precomposition and fiber-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''(''x'').
| |
| | |
| : <math>f(y(x)) \equiv g(x) \, </math>
| |
| | |
| 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 [[de Rham cohomology|cohomology classes]].
| |
| | |
| See:
| |
| *[[Pullback (differential geometry)]]
| |
| *[[Pullback (cohomology)]]
| |
| | |
| ==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:
| |
| *[[Pullback (category theory)]]
| |
| *[[Inverse image sheaf]]
| |
| *[[Pullback bundle]]
| |
| *[[Fibred category]]
| |
| | |
| ==Functional analysis==
| |
| When the pullback is studied as an operator acting on [[function space]]s, 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 [[section (fiber bundle)|sections]] of [[fibre bundle]]s: 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) <math> f^* s=s\circ f</math> of ''s'' with ''f'' is a section of the pullback (fibre-product) bundle ''f''*''E'' over ''M''.
| |
| | |
| ==See also==
| |
| * [[Inverse image functor]]
| |
| | |
| | |
| | |
| | |
| | |
| [[Category:Mathematical analysis]]
| |
Nice to meet you, my name is Numbers Held though I don't really like becoming called like that. South Dakota is where me and my spouse reside and my family enjoys it. To collect coins is a thing that I'm totally addicted to. I am a meter reader but I plan on changing it.
Check out my weblog ... nuvem.tk