91Ó°ÊÓ

The pushforward in calculus refers to how a function transforms vectors from its domain, essentially providing a linear approximation at any given point. When a function \( f: \mathbb{R}^{n} \rightarrow \mathbb{R}^{m} \) is considered, its pushforward, denoted \( f_{*} \), is the derivative of the function \( f \). This derivative map is represented by the Jacobian matrix \( Df \).
If you have a compound function like \( g \, \circ \, f \), the pushforward can be derived using the chain rule as follows: \( (g \circ f)_{*}(x) = D(g \circ f)(x) = Dg(f(x)) \, \cdot \, Df(x) \). This equals \( g_{*}(f(x)) \, \circ \, f_{*}(x) \). This straightforward linear representation helps us understand how transformations occur under the function \( f \) and their implications on the output of \( g \).
Here's a key takeaway:

• The pushforward linearizes a function, giving insight into how objects move under transformation.
• This is crucial when dealing with composite functions, as it ensures continuity and predictability through the Jacobian matrices involved.

The pullback, on the other hand, deals with pre-composition by a function. For a function \( f: \mathbb{R}^{n} \rightarrow \mathbb{R}^{m} \), the pullback is denoted as \( f^{*} \). It pulls our function to the domain of another function.
Consider a function \( h: \mathbb{R}^p \rightarrow \mathbb{R} \). When pulling back using the pullback map of the composite function \( (g \circ f) \), it translates to \( (g \circ f)^{*}(h) = f^{*}(g^{*}(h)) \). This operation ensures that the function \( h \) is evaluated at every pre-image in the domain of \( f \) via the function \( g \). The cascade of transformations ensures that meaningful computations are possible by anchoring everything back to the space where they originated.

• Pullbacks are essential for transforming functions backward across composite transformations.
• It ensures that functions can be reliably evaluated through intermediate steps in a composite transformation.

The product rule is one of the foundational principles in differential calculus. When differentiating the product of two functions, the product rule states that:
\[ d(f \cdot g) = f \cdot dg + g \cdot df. \] If we have two functions \( f \) and \( g \) on \( \mathbb{R}^n \), their differential product is given by:
\[ d(f \cdot g) = d(f) \cdot g + f \cdot d(g). \]
This formula is incredibly useful, especially in multivariable calculus where functions are complex. The principle can be extended when dealing with exterior derivatives and differential forms.

• The product rule ensures the correct breakdown of derivatives in product functions.
• It applies universally to multi-variable functions, aiding in complex differential computations.

The chain rule is essential for the composition of functions. It provides a formula to calculate the derivative of a composite function. For functions \( f: \mathbb{R}^{n} \rightarrow \mathbb{R}^{m} \) and \( g: \mathbb{R}^{m} \rightarrow \mathbb{R}^{p} \), the chain rule helps find the derivative of \( g \circ f \).
This is formalized as:
\[ D(g \circ f)(x) = Dg(f(x)) \cdot Df(x). \] The chain rule shows that to differentiate a composite function, you multiply the derivative of the outer function by the derivative of the inner function evaluated at the inner function’s point.

• The chain rule is vital for differentiating nested functions, ensuring continuous derivative accuracy.
• It is foundational for advanced calculus, particularly useful in multi-step transformations.

A differentiable map describes a function that is smooth and has a derivative at every point in its domain. Such maps are crucial in both pure and applied mathematics for characterizing smooth transformations. For functions \( f: \mathbb{R}^{n} \rightarrow \mathbb{R}^{m} \), the differentiability implies that the function can be approximated locally by a linear map, meaning it has a well-defined Jacobian at every point.
This makes analysis and computations more tractable, as one can rely on the linear approximation for proofs and problem-solving. Consider how the pushforward and pullback operate; both rely on the existence of a well-defined derivative, underscoring the importance of differentiable maps.

• Differentiable maps ensure that transformations remain smooth without abrupt changes.
• These maps allow the use of linear approximations locally, simplifying complex analyses.