Relations and Functions

Relations and functions form the foundational language of mathematics, extending the concepts you learned in Class 11. Think of a relation as any connection between two sets of objects, while a function is a special type of relation where each input has exactly one output—like a vending machine that always gives the same product for the same button. This chapter explores how to determine when a relation qualifies as a function, how to verify if functions have inverses, and what properties make functions invertible.

Understanding Relations and Functions

A relation from set A to set B is simply a collection of ordered pairs (a, b) where a ∈ A and b ∈ B. Imagine a class roster: the relation might connect student names to their roll numbers. Not every student-number pair appears—that's the nature of relations.

A function f: A → B is a special relation where each element in A (the domain) connects to exactly one element in B (the codomain). The set of all actual outputs is called the range, which may be smaller than the codomain. Here's the key analogy: if a relation were a group chat where one person can message multiple people, a function would be a one-way delivery system where each letter arrives at exactly one address.

Building from Class 11

In Class 11, you studied functions like f(x) = x², f(x) = sin(x), and polynomial functions. You learned about domain and range. Now we ask: Can we reverse these functions? If f takes us from A to B, does f⁻¹ exist to take us back from B to A?

The answer depends on two properties:

• One-one (Injective): Different inputs must produce different outputs. If f(a) = f(b), then a = b.
• Onto (Surjective): Every element in the codomain is mapped to by something in the domain.

When both properties hold, the function is bijective, and its inverse exists.

Key Concepts and Techniques

Types of Functions

• Identity function: f(x) = x (always invertible)
• Polynomial functions: f(x) = aₙxⁿ + ... + a₁x + a₀ (invertible if one-one, like f(x) = x + 2)
• Exponential and logarithmic functions: f(x) = eˣ and f(x) = ln(x) are inverses of each other
• Trigonometric functions: Not one-one over their entire domain, but invertible on restricted domains (this bridges to chapter-02-inverse-trigonometric-functions)

Verifying Inverse Existence

For f: A → B to have an inverse f⁻¹: B → A:

1. Check if f is bijective (one-one and onto)
2. If yes, then f⁻¹(f(x)) = x and f(f⁻¹(y)) = y for all x ∈ A, y ∈ B

Operations on Functions

• Composition: (f ∘ g)(x) = f(g(x)) — apply g first, then f
• Sum/Product: (f + g)(x) = f(x) + g(x) and (fg)(x) = f(x)g(x)
• Inverse composition: (f ∘ f⁻¹)(x) = x and (f⁻¹ ∘ f)(x) = x

Real-World Connections

The function concept appears everywhere: temperature conversion (°C ↔ °F), medical dosage as a function of body weight, or economic models where output depends on input factors. Understanding invertibility matters when you need to reverse a process—decoding a message, finding original prices before markup, or calculating medication concentration from observed effects.

Connections to Other Topics

• chapter-02-inverse-trigonometric-functions: Inverses of trig functions on restricted domains
• chapter-05-continuity-and-differentiability: Functions must be continuous and differentiable for calculus
• chapter-06-application-of-derivatives: Real-world function behavior through derivatives
• Class 11 Functions: Extension of domain, codomain, and range concepts

Socratic Questions

1. If a function f is one-one but not onto, why doesn't the inverse f⁻¹ exist as a function from the codomain back to the domain? What would you need to do to make it exist?

1. Consider the function f(x) = x² on the domain of all real numbers. Why is it not invertible? How does restricting the domain to [0, ∞) change this situation?

1. When you compose two functions f and g to get f ∘ g, does the order matter? That is, is f ∘ g always equal to g ∘ f? Can you provide examples to support your reasoning?

1. In the context of trigonometric functions like sin(x), which are not one-one over their entire domain, how do mathematicians create inverse functions? What domain restrictions are necessary, and why?

1. If you know that f(3) = 7 and f⁻¹(7) = 3, what does this tell you about the relationship between the domain of f and the range of f⁻¹?