Function composition

From Citizendium, the Citizens' Compendium
Jump to: navigation, search
This article is a stub and thus not approved.
Main Article
Related Articles  [?]
Bibliography  [?]
External Links  [?]
Citable Version  [?]
This editable Main Article is under development and not meant to be cited; by editing it you can help to improve it towards a future approved, citable version. These unapproved articles are subject to a disclaimer.

In mathematics, function composition is the construction of a function out of two others by taking the value or output of one function and using it as the argument or input to another function.

If f and g are functions, then we may evaluate the function g on an input x to produce an output y, written : we then take y as the input to f to produce a further output z, written . The composite function that takes the initial input x to the final output z is the composite function, written .

For function composition to make sense, the set of possible outputs of g must be a subset of the set of permissible inputs of f: that is, the image of g must be contained in the domain of f. In some contexts, the stricter requirement may be imposed that functions may only be composed if the codomain of the first function is equal to the domain of the second.

Function composition is associative but need not be commutative: indeed it is quite possible that it makes no sense to compose f and g in the reverse order.

The chain rule in calculus describes the derivative of the composite of differentiable functions.