Welcome to the World of Inverses!

In your math journey so far, you’ve learned that almost every operation has an "undo" button. Addition has subtraction, and multiplication has division. But what about exponential functions? If you have a function like \( f(x) = 2^x \), how do you "undo" that power to get the exponent back? In this chapter, we are going to explore the inverse of exponential functions: the logarithmic function.

Don't worry if this seems a little abstract at first. By the end of these notes, you'll see that an inverse is simply a "swap" of roles between inputs and outputs!

1. The Core Concept: Swapping Inputs and Outputs

Recall from Topic 2.8 (Inverse Functions) that an inverse function "reverses" the action of the original function. If an exponential function takes an input \( x \) and gives an output \( y \), its inverse will take that \( y \) and give you back the original \( x \).

The Definition:
If \( f(x) = b^x \), then its inverse is written as \( f^{-1}(x) = \log_b(x) \).
This is read as "logarithm, base \( b \), of \( x \)."

The Key Relationship:
\( y = b^x \) is equivalent to \( \log_b(y) = x \)

Quick Review: In an exponential function \( f(x) = b^x \), the base \( b \) must be positive and not equal to 1 (\( b > 0 \) and \( b \neq 1 \)). The same rules apply to the base of the inverse (the logarithm)!

Memory Aid: "The Base Stays the Base"
When switching between exponential and logarithmic forms, the base of the exponent always becomes the base of the log. It stays at the bottom!

2. Graphical Representation

One of the easiest ways to understand the inverse of an exponential function is to look at its graph. Because they are inverses, the graph of \( f(x) = b^x \) and \( f^{-1}(x) = \log_b(x) \) are reflections of each other across the line \( y = x \).

What happens to the points?

If the point \( (h, k) \) is on the graph of the exponential function, then the point \( (k, h) \) must be on the graph of the logarithmic function. We simply swap the \( x \) and \( y \) coordinates.

Example: Let \( f(x) = 2^x \).
- The point \( (0, 1) \) is on the exponential graph because \( 2^0 = 1 \).
- Therefore, the point \( (1, 0) \) is on the graph of \( \log_2(x) \).
- The point \( (3, 8) \) is on the exponential graph because \( 2^3 = 8 \).
- Therefore, the point \( (8, 3) \) is on the graph of \( \log_2(x) \).

What happens to the Asymptotes?

  • Exponential Functions have a Horizontal Asymptote at \( y = 0 \).
  • Logarithmic Functions (the inverses) have a Vertical Asymptote at \( x = 0 \).

Key Takeaway: The "role swap" applies to everything: coordinates, axes, and even asymptotes!

3. Domain and Range Swap

Because the inverse function swaps inputs and outputs, the Domain and Range also switch places.

For the Exponential Function \( f(x) = b^x \):
- Domain: All real numbers, \( (-\infty, \infty) \).
- Range: All positive real numbers, \( (0, \infty) \).

For the Logarithmic Function \( f^{-1}(x) = \log_b(x) \):
- Domain: All positive real numbers, \( (0, \infty) \).
- Range: All real numbers, \( (-\infty, \infty) \).

Common Mistake Alert: You cannot take the logarithm of a negative number or zero! Since the range of an exponential function is always positive, the domain of its inverse must also be positive. If you try to calculate \( \log_2(-4) \), you are essentially asking "2 to what power equals -4?" There is no real number that makes that true!

4. Finding the Inverse Analytically

To find the inverse of an exponential expression algebraically, follow these steps:

  1. Replace \( f(x) \) with \( y \).
  2. Swap \( x \) and \( y \).
  3. Solve for the new \( y \) by converting the equation to logarithmic form.

Example: Find the inverse of \( f(x) = 5^x \)
Step 1: \( y = 5^x \)
Step 2: \( x = 5^y \)
Step 3: To get \( y \) by itself, we use our "undo" button (the log). Rewrite as \( \log_5(x) = y \).
Final Answer: \( f^{-1}(x) = \log_5(x) \).

Did you know? This process works for any base! If you have the natural exponential function \( f(x) = e^x \), its inverse is the natural logarithm \( f^{-1}(x) = \ln(x) \). They follow the exact same rules.

5. Composition of Inverses

One of the most important properties of inverse functions is that they "cancel" each other out when composed. This is a powerful tool for solving equations in later chapters.

For any \( b > 0, b \neq 1 \):
1. \( \log_b(b^x) = x \) (The log "undoes" the exponent)
2. \( b^{\log_b(x)} = x \) for \( x > 0 \) (The exponent "undoes" the log)

Analogy: Think of this like putting on your shoes (the exponential function) and then taking them off (the logarithmic function). You end up back where you started: with just your bare feet (\( x \))!

Summary Checklist

  • Logarithms are the inverses of exponential functions.
  • The base remains the same in both forms.
  • The Domain of the exponential becomes the Range of the log.
  • The Range of the exponential becomes the Domain of the log.
  • The graphs are reflections across the line \( y = x \).
  • A Horizontal Asymptote (\( y=0 \)) becomes a Vertical Asymptote (\( x=0 \)).

Note: For more details on calculating specific values of logs, check out Topic 2.9: Logarithmic Expressions. To learn more about the properties of the log graphs themselves, see Topic 2.11: Logarithmic Functions.