Function Composition

Function Composition

Function composition is the process of combining two or more functions to create a new function. If we have two functions $f: A \to B$ and $g: B \to C$, their composition, denoted $(g \circ f)$, is a function from set $A$ to set $C$, defined by:

$$(g \circ f)(x) = g(f(x)) \quad \text{for all } x \in A.$$

This means that you first apply the function $f$ to $x$, and then apply the function $g$ to the result of $f(x)$.

---

1. Formal Definition of Function Composition

Let $f: A \to B$ and $g: B \to C$ be two functions. The composition of $f$ and $g$, denoted as $g \circ f$, is a function from $A$ to $C$ defined by:

$$(g \circ f)(x) = g(f(x)) \quad \text{for all } x \in A.$$

Here, $f(x)$ produces an element in $B$, and then $g(f(x))$ produces an element in $C$.

---

2. Composition of Functions and Their Domains

For the composition $g \circ f$ to be defined:

• The codomain of $f$, i.e., the set $B$, must match the domain of $g$, i.e., the set $B$ must be a subset of the domain of $g$.
• Therefore, the result of $f(x)$ must always lie within the domain of $g$.

---

3. Example of Function Composition

Let’s consider two functions:

• $f: \mathbb{R} \to \mathbb{R}$, defined by $f(x) = 2x + 1$,
• $g: \mathbb{R} \to \mathbb{R}$, defined by $g(x) = x^2$.

To find $(g \circ f)(x)$, we first apply $f(x)$ and then apply $g$ to the result of $f(x)$:

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

Thus, the composition $g \circ f$ is:

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

---

4. Properties of Function Composition

Function composition has several important properties that are useful in mathematical proofs and problem-solving:

a. Associativity

Function composition is associative, meaning that if we have three functions $f: A \to B$, $g: B \to C$, and $h: C \to D$, then:

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

This property allows us to compose multiple functions without worrying about the grouping of functions.

b. Identity Function

The identity function $\text{id}_A$ on a set $A$ is the function that maps every element to itself. It has the property that for any function $f: A \to B$:

$$f \circ \text{id}_A = f \quad \text{and} \quad \text{id}_B \circ f = f.$$

Thus, composing a function with the identity function leaves the original function unchanged.

c. Non-Commutativity

Function composition is not commutative, meaning that in general:

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

In other words, the order in which we apply the functions matters. Changing the order can lead to different results.

---

5. Composing Functions with Different Domains and Codomains

If the functions $f: A \to B$ and $g: B \to C$ are composed, we are guaranteed that the domain of $f$ is $A$, and the codomain of $g$ is $C$. However, sometimes you might want to compose functions with different domains and codomains:

Example:

Let’s say $f: A \to B$ and $g: C \to D$ are two functions with different domains and codomains. In order to compose them, you need to find a suitable domain and codomain such that composition is valid. This is less common but can occur in specialized contexts.

---

6. Inverse Functions and Composition

If $f$ is a bijection, meaning it is both injective (one-to-one) and surjective (onto), it has an inverse function $f^{-1}: B \to A$. The composition of a function with its inverse satisfies:

$$f^{-1} \circ f = \text{id}_A \quad \text{and} \quad f \circ f^{-1} = \text{id}_B.$$

This shows that the inverse function "undoes" the operation of the original function, essentially returning the original input.

---

7. Example of Composing with an Inverse

Let’s take an example where $f: \mathbb{R} \to \mathbb{R}$ is defined by $f(x) = 3x + 4$, and its inverse function is $f^{-1}(x) = \frac{x - 4}{3}$.

• Composition with the inverse: $f^{-1} \circ f(x)$: $$f^{-1}(f(x)) = f^{-1}(3x + 4) = \frac{(3x + 4) - 4}{3} = x.$$
• Composition in the opposite direction: $f \circ f^{-1}(x)$: $$f(f^{-1}(x)) = f\left( \frac{x - 4}{3} \right) = 3\left( \frac{x - 4}{3} \right) + 4 = x.$$

In both cases, the result is just $x$, confirming that the composition of a function with its inverse gives the identity function.

---

8. Real-World Applications of Function Composition

Function composition is widely used in many areas, including:

• Mathematics: In calculus, when dealing with transformations, mappings, or solving equations.
• Computer Science: In functional programming, where functions are combined and manipulated to build complex algorithms.
• Physics: In modeling complex systems where multiple processes or phenomena are combined (e.g., transformations in space and time).
• Economics: To model the impact of multiple variables and their interactions (e.g., cost functions, demand functions, etc.).

---

Conclusion

Function composition is a fundamental concept in mathematics that allows the combination of functions to create new ones. It is essential for building more complex relationships between variables, solving problems, and understanding how different mathematical structures interact. Function composition is associative, involves inverse functions, and has important applications in various fields such as mathematics, computer science, and economics.