Relations and Functions
"A function is a rule that takes an input and gives EXACTLY ONE output. Everything else is just a relation."
1. Chapter Overview
Sets tell us WHAT elements exist. RELATIONS tell us how elements of different sets are ASSOCIATED. FUNCTIONS are a special kind of relation where each input has EXACTLY ONE output. This chapter covers: Cartesian product, relations (definition, domain, range), and functions (definition, types — one-one, onto, into).
2. Cartesian Product of Sets
Definition
- The Cartesian product of two sets A and B: A × B = {(a, b) : a ∈ A and b ∈ B}
- It's the set of ALL POSSIBLE ORDERED PAIRS (a, b) where a comes from A and b from B
- A × B ≠ B × A (generally — order matters!)
- n(A × B) = n(A) × n(B) (number of elements)
Examples
- If A = {1, 2} and B = {x, y}: A × B = {(1,x), (1,y), (2,x), (2,y)}
- R × R = the COORDINATE PLANE (all ordered pairs of real numbers)
3. Relations
Definition
- A relation R from set A to set B is a SUBSET of A × B
- (a, b) ∈ R means 'a is related to b under relation R'
- Domain of R: set of all FIRST elements
- Range of R: set of all SECOND elements
- Codomain of R: set B (the 'target' set)
Number of Relations
- Total possible relations from A to B = 2^(n(A) × n(B))
4. Functions
Definition
- A function (mapping) f from set A to set B (f : A → B) is a relation where EVERY element of A is related to EXACTLY ONE element of B
- A = DOMAIN. B = CODOMAIN.
- f(x) = the IMAGE of x under f
- Range = {f(x) : x ∈ A} — the ACTUAL outputs. Range ⊆ Codomain.
Key Distinction: Relation vs Function
- A function IS a relation (every function is a relation)
- NOT every relation is a function
- A relation is a function if: (a) every element of the domain has an image (is mapped somewhere), AND (b) no element of the domain has MORE THAN ONE image
5. Types of Functions
Based on Mapping Pattern
| Type | Definition | Visual |
|---|---|---|
| One-One (Injective) | Different inputs → DIFFERENT outputs. f(x₁) = f(x₂) ⇒ x₁ = x₂. | Horizontal line test: any horizontal line cuts the graph at MOST ONCE. |
| Many-One | Two or MORE different inputs map to the SAME output. | Horizontal line cuts graph MORE THAN ONCE. |
| Onto (Surjective) | Range = Codomain. Every element of B is the image of SOME element of A. | All of B is 'covered'. |
| Into | Range ⊂ Codomain (strictly). Some elements of B are NOT images of any element of A. | Codomain is not fully covered. |
| One-One and Onto (Bijective) | BOTH one-one AND onto. The 'perfect' function. | Invertible. |
Some Standard Functions
- Identity function f(x) = x. Domain = R. Range = R. One-one and onto.
- Constant function f(x) = c. Many-one (all inputs → same output).
- Polynomial function f(x) = a₀ + a₁x + a₂x² + ... + aₙxⁿ
- Rational function f(x) = P(x)/Q(x), Q(x) ≠ 0
- Modulus function f(x) = |x|. Many-one.
6. Algebra of Real Functions
For functions f and g defined on a common domain:
- (f + g)(x) = f(x) + g(x)
- (f — g)(x) = f(x) — g(x)
- (f · g)(x) = f(x) · g(x)
- (f / g)(x) = f(x) / g(x), where g(x) ≠ 0
7. Exam Focus
- Cartesian product — notation, counting elements
- Relation — definition as subset of Cartesian product. Domain, range.
- Function — definition (EVERY input → EXACTLY ONE output)
- One-one, many-one, onto, into — definitions with examples
- One-one onto (bijective) — significance
- Domain and range of real functions (especially rational, modulus, square root)
8. Key Concepts
- A relation from A to B is a subset of A × B
- A function f : A → B assigns exactly ONE element of B to each element of A
- One-one: f(x₁) = f(x₂) ⇒ x₁ = x₂
- Onto: Range = Codomain (for every y ∈ B, ∃ x ∈ A such that f(x) = y)
9. Conclusion
Functions are the MOST IMPORTANT CONCEPT in mathematics — they appear in every subsequent chapter:
- RELATION: A subset of A × B. Any association.
- FUNCTION: A special relation. Every input → ONE output. Deterministic.
- TYPES: One-one (injective). Onto (surjective). Bijective = both.
- The idea: Mathematics is about MAPS between sets. A function IS a map. Understanding functions is understanding the central metaphor of all of mathematics.
'Functions are the verbs of mathematics. They are what things DO.'
