Compositions

Compositions of Functions

In mathematics, composition of functions refers to the process of combining two functions to create a new function. If you have two functions $f: A \to B$ and $g: B \to C$, their composition, denoted $g \circ f$, is a new function that maps elements from set $A$ to set $C$ through the intermediate set $B$. The composition $g \circ f$ is defined as:

$$(g \circ f)(x) = g(f(x)),$$

where $f(x)$ is applied first, and then $g$ is applied to the result of $f(x)$. In other words, the output of $f(x)$ becomes the input to $g(x)$.

---

1. Formal Definition of Function Composition

Let’s consider two functions:

• $f: A \to B$ is a function from set $A$ to set $B$,
• $g: B \to C$ is a function from set $B$ to set $C$.

The composition of $g$ and $f$, denoted by $g \circ f$, is defined as:

$$(g \circ f)(x) = g(f(x)),$$

where $f(x)$ is applied first, and then $g(x)$ is applied to the result.

Conditions for Composition:

• The domain of the composition $g \circ f$ is the domain of $f$, and the codomain is the codomain of $g$.
• For $g \circ f$ to be defined, the codomain of $f$ must be the same as the domain of $g$, i.e., $f: A \to B$ and $g: B \to C$.

---

2. Properties of Function Composition

Several important properties govern the composition of functions. Here are some of them:

a. Associativity of Composition

Function composition is associative. This means that for any three functions $f$, $g$, and $h$, the composition of $f \circ (g \circ h)$ is the same as $(f \circ g) \circ h$:

$$f \circ (g \circ h) = (f \circ g) \circ h.$$

This property allows for multiple compositions to be grouped in any way without changing the result.

b. Identity Function

The identity function $I$ on a set $A$ is a function that always returns the same value as its input, i.e., $I(x) = x$ for all $x \in A$. The identity function has a special property with respect to composition:

$$f \circ I = f \quad \text{and} \quad I \circ f = f.$$

That is, composing any function $f$ with the identity function leaves $f$ unchanged.

c. Composition is not Commutative

In general, function composition is not commutative, meaning that the order of composition matters:

$$g \circ f \neq f \circ g.$$

For example, if $f(x) = x + 1$ and $g(x) = x^2$, then:

$$(g \circ f)(x) = g(f(x)) = (x + 1)^2,$$ $$(f \circ g)(x) = f(g(x)) = x^2 + 1.$$

Clearly, $(x + 1)^2 \neq x^2 + 1$, so $g \circ f \neq f \circ g$.

---

3. Examples of Function Composition

Let’s explore some concrete examples to better understand the composition of functions.

Example 1: Basic Composition

Consider two functions:

$$f(x) = 2x + 3 \quad \text{and} \quad g(x) = x^2.$$

The composition $g \circ f$ is:

$$(g \circ f)(x) = g(f(x)) = g(2x + 3) = (2x + 3)^2.$$

So the composition $g \circ f$ is $(2x + 3)^2$.

Now, let’s compute $f \circ g$:

$$(f \circ g)(x) = f(g(x)) = f(x^2) = 2x^2 + 3.$$

Thus, the composition $f \circ g$ is $2x^2 + 3$, which is clearly different from $g \circ f$.

Example 2: Identity Function Composition

Let’s say we have the function $f(x) = 3x - 5$. The identity function $I(x) = x$ satisfies:

$$(f \circ I)(x) = f(I(x)) = f(x) = 3x - 5,$$ $$(I \circ f)(x) = I(f(x)) = f(x) = 3x - 5.$$

In this case, composing $f$ with the identity function leaves $f(x)$ unchanged.

Example 3: Composition with Piecewise Functions

Let’s define two piecewise functions:

• $f(x) = \begin{cases} x + 1 & \text{if } x \geq 0, \\ 2x & \text{if } x < 0. \end{cases}$
• $g(x) = \begin{cases} x^2 & \text{if } x \geq 0, \\ |x| & \text{if } x < 0. \end{cases}$

Now let’s compute the compositions for $x \geq 0$:

• $(g \circ f)(x) = g(f(x)) = g(x + 1) = (x + 1)^2$.
• $(f \circ g)(x) = f(g(x)) = f(x^2) = x^2 + 1$.

Thus, for $x \geq 0$, $g \circ f \neq f \circ g$. The compositions give different results.

---

4. Composition of More Than Two Functions

It is possible to compose more than two functions. If you have three functions $f$, $g$, and $h$, the composition $h \circ g \circ f$ is defined as:

$$(h \circ g \circ f)(x) = h(g(f(x))).$$

Since composition is associative, you can write this as:

$$h \circ (g \circ f).$$

For example, if $f(x) = 2x$, $g(x) = x + 1$, and $h(x) = x^2$, the composition $h \circ g \circ f$ is:

$$h(g(f(x))) = h(g(2x)) = h(2x + 1) = (2x + 1)^2.$$

This demonstrates that compositions can be extended to multiple functions in a straightforward manner.

---

5. Applications of Function Composition

Composition of functions is widely used in many areas of mathematics and its applications:

• In Calculus: Composition is crucial in the chain rule for differentiating composite functions. If $h(x) = g(f(x))$, the derivative of $h$ is: $$h'(x) = g'(f(x)) \cdot f'(x).$$
• In Computer Science: Function composition is a common technique in programming, especially in functional programming languages where functions are often composed to build more complex functions.
• In Probability and Statistics: Composition is used in probability theory when working with conditional probabilities, and in statistical transformations.
• In Physics: In certain physical models, transformations of variables can be expressed using the composition of functions, such as when converting between coordinate systems.

---

6. Conclusion

The composition of functions is a fundamental operation in mathematics where two functions are combined to produce a new function. It involves applying one function to the result of another. Composition is associative but generally not commutative. Understanding how to compose functions and the properties of function composition is important in areas ranging from algebra to calculus and computer science.