We often think of functions as simple input-output machines. You put a number in, and you get a number out. But to truly understand calculus, we need to analyze their behavior more deeply. It’s not just about what comes out, but how the inputs and outputs relate to each other. Some functions are very particular about their relationships.

Think of it like a coat check. When it's working properly, each ticket corresponds to exactly one coat. You wouldn't want two different tickets leading to the same coat. The function $f(x) = x^3$ is injective; no two different numbers, when cubed, give the same result. However, $f(x) = x^2$ is not injective because both $x=2$ and $x=-2$ produce the output $y=4$.

Imagine a vending machine where every single item has a button. There are no buttons for items that are out of stock. The function $f(x) = x^3$ is surjective for real numbers, as you can get any real number output (positive, negative, or zero) by cubing some other real number. But $f(x) = x^2$ is not surjective if the codomain is all real numbers, because you can never get a negative output.

When a function is both injective and surjective, it is called bijective. This is the gold standard for a 'well-behaved' function. A bijective function creates a perfect, reversible pairing between two sets. For every input, there is one unique output, and for every output, there is one unique input it came from. This property is crucial for creating inverse functions, which essentially run the original function in reverse.

Functions can be combined in a process called composition. This is where the output of one function becomes the input for another. We write this as $(f \circ g)(x)$, which is pronounced "f of g of x" and means $f(g(x))$. You work from the inside out: first, you apply $g$ to $x$, and then you apply $f$ to the result of that.

Determining the domain of a composite function requires careful thought. An input $x$ is only in the domain of $f(g(x))$ if two conditions are met:

1. $x$ must be in the domain of the inner function, $g$.
2. The output, $g(x)$, must be in the domain of the outer function, $f$.

First, the domain of $g(x)$ is all real numbers, so there are no restrictions there.

Next, the output of $g$, which is $x^2 - 10$, must be a valid input for $f$. The function $f(x)$ requires its input to be greater than or equal to 1. So, we must solve the inequality: $x^2 - 10 \ge 1$ This is a non-linear inequality. To solve it, we first treat it like an equation:

These critical values, $\sqrt{11} \approx 3.32$ and $-\sqrt{11} \approx -3.32$, divide the number line into three intervals: $(-\infty, -\sqrt{11}]$, $[-\sqrt{11}, \sqrt{11}]$, and $[\sqrt{11}, \infty)$. We test a point from each interval in our inequality, $x^2 - 10 \ge 1$.

• Test $x = -4$: $(-4)^2 - 10 = 16 - 10 = 6$. Since $6 \ge 1$, this interval works.
• Test $x = 0$: $(0)^2 - 10 = -10$. Since $-10$ is not $\ge 1$, this interval fails.
• Test $x = 4$: $(4)^2 - 10 = 16 - 10 = 6$. Since $6 \ge 1$, this interval works.

So, the domain of our composite function $h(x)$ is $(-\infty, -\sqrt{11}] \cup [\sqrt{11}, \infty)$.

The shape of a function's graph can reveal deep properties about the function itself. One of the most important graphical properties is symmetry. Functions can be categorized based on their symmetry, or parity.

Most functions are neither even nor odd. For example, $f(x) = (x-1)^2$ is not symmetric about the y-axis or the origin. Knowing a function's parity can simplify calculations, especially in calculus. For example, the integral of an odd function over a symmetric interval like $[-a, a]$ is always zero.

Time to test your understanding of these advanced function properties.

Mastering these concepts—mapping properties, composition, and symmetry—provides the analytical tools needed to dissect complex functions and predict their behavior, a cornerstone of calculus.