Composition of Functions

Definition

If $f: A \to B$ and $g: B \to C$ are two functions such that the output of $f$ lies in the domain of $g$, then the composition of $g$ with $f$ is the function denoted by:

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

for all $x \in A$ for which $f(x)$ is defined and $g(f(x))$ is also defined.

Meaning of the notation

• $f$ is applied first.
• $g$ is applied second.
• The symbol $\circ$ means “compose.”

Domain condition

The composition $g \circ f$ is only valid when:

• $f(x)$ belongs to the domain of $g$
• the final output is defined for the input $x$

Example

Let:

• $f(x) = x + 2$
• $g(x) = x^2$

Then:

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

and

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

These are generally not the same, showing that composition is order-sensitive.

---

Main Content

1. Meaning and Notation of Function Composition

• Composition means applying one function after another, where the result of the first function becomes the input of the second function.
• The notation matters: $(g \circ f)(x)$ is read as “$g$ composed with $f$” and means $g(f(x))$, not $f(g(x))$.

Detailed explanation

Function composition is a way to combine two mappings into one. If a function $f$ takes elements from set $A$ to set $B$, and a function $g$ takes elements from set $B$ to set $C$, then their composition creates a direct mapping from $A$ to $C$. This is especially useful in set theory and relations because it shows how one transformation can be followed by another.

For example, if:

• $f: \mathbb{R} \to \mathbb{R}$, $f(x)=2x$
• $g: \mathbb{R} \to \mathbb{R}$, $g(x)=x-3$

Then: $$(g \circ f)(x)=g(2x)=2x-3$$ and $$(f \circ g)(x)=f(x-3)=2(x-3)=2x-6$$

This clearly shows that the order of composition affects the result.

---

2. Domain, Codomain, and Validity of Composition

• Composition is only possible when the output set of the first function fits into the input set of the second function.
• The domain of the composed function may be smaller than the domain of the first function if some outputs of the first function are not allowed as inputs to the second.

Detailed explanation

To understand composition properly, it is not enough to know the formulas of the functions. One must also check whether the composition is defined.

Suppose:

• $f: A \to B$
• $g: B \to C$

Then $g \circ f$ exists because the outputs of $f$ are members of $B$, which is the domain of $g$. If this condition fails, composition cannot be formed.

Example with restricted domain

Let:

• $f(x)=x^2$
• $g(x)=\sqrt{x-1}$

Then: $$(g \circ f)(x)=\sqrt{x^2-1}$$

For this to be defined, we need: $$x^2-1 \ge 0 \Rightarrow x^2 \ge 1 \Rightarrow x \le -1 \text{ or } x \ge 1$$

So the composed function is not defined for all real numbers, only for those satisfying the condition above.

Key idea

The domain of a composite function is determined by:

1. The domain of the inner function.
2. The requirement that the inner function’s output lies in the domain of the outer function.

---

3. Properties, Examples, and Special Cases

• Composition is generally not commutative, meaning $g \circ f \ne f \circ g$ in most cases.
• Composition is associative, so if three functions are composable, then $(h \circ g) \circ f = h \circ (g \circ f)$.

Detailed explanation

Non-commutative property

Most functions do not satisfy: $$g \circ f = f \circ g$$

Example: Let:

• $f(x)=x+1$
• $g(x)=2x$

Then: $$(g \circ f)(x)=2(x+1)=2x+2$$ $$(f \circ g)(x)=2x+1$$

Since these are different, composition is not commutative.

Associative property

If:

• $f: A \to B$
• $g: B \to C$
• $h: C \to D$

Then: $$(h \circ g) \circ f = h \circ (g \circ f)$$

This means the grouping of functions does not matter as long as the order remains the same.

Example

Let:

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

Then: $$(h \circ g \circ f)(x)=h(g(f(x)))=h(2(x+1))=h(2x+2)=(2x+2)^2$$

Whether we compute $h \circ (g \circ f)$ or $(h \circ g) \circ f$, the final result is the same.

Identity function

If $I(x)=x$, then: $$f \circ I = I \circ f = f$$

This function acts like a neutral element in composition.

---

Working / Process

1. Identify the inner and outer functions
2. Decide which function is applied first.

3. In $(g \circ f)(x)$, first compute $f(x)$, then substitute that result into $g$.

4. Substitute the inner function into the outer function

5. Replace the variable in the outer function with the expression of the inner function.

6. Example: if $g(x)=x^2$ and $f(x)=x+3$, then $g(f(x))=(x+3)^2$.

7. Simplify and check the domain

8. Expand or simplify the expression if needed.
9. Ensure the final answer is defined for the required values of $x$.

Flow of composition

x  →  f(x)  →  g(f(x))

For three functions:

x  →  f(x)  →  g(f(x))  →  h(g(f(x)))

Example

Let:

• $f(x)=x-4$
• $g(x)=3x$

Find $(g \circ f)(x)$.

Step 1: Inner function is $f(x)=x-4$

Step 2: Apply $g$ to $f(x)$: $$(g \circ f)(x)=g(x-4)=3(x-4)$$

Step 3: Simplify: $$(g \circ f)(x)=3x-12$$

---

Advantages / Applications

• Helps in solving complex problems by breaking them into smaller functional steps.
• Widely used in algebra, calculus, computer science, physics, and engineering.
• Useful for understanding transformations, modeling processes, and proving properties of functions and relations.

Detailed applications

1. Mathematics and algebra

Composition is used to build new functions from simpler ones, which is important in graph transformations, inverse functions, and algebraic manipulation.

2. Computer science

Programs often perform operations in sequence. Function composition is the mathematical basis of chaining operations in programming and functional languages.

3. Real-world modeling

Many systems work in stages, such as:

• input processing
• transformation
• output generation

For example, a machine that converts units and then calculates cost can be represented using composed functions.

4. Theorem proving and relations

In discrete mathematics, composition of functions helps connect ideas from relations, mappings, and proofs involving equivalence or transitivity.

---

Summary

• Composition of functions means applying one function after another.
• The order of composition matters, and the outer function is applied last.
• A composed function is only defined when the output of the first function fits into the input of the second.
• Composition is associative but generally not commutative.

Important terms to remember: function composition, inner function, outer function, domain, codomain, identity function, associative property, non-commutative property