Interactive Audio Exploration
Listen to the mathematical walkthrough or read along with interactive audio controls
Section 1: The Concept of a Relation (R)
A (Relation R) from set X to set Y is defined as a connection that associates some or all elements of X with some or all elements of Y. Mathematically, a relation R is simply a subset of the Cartesian product: [R subset_of (X x Y)]. The statement 'a R b' means that the ordered pair (a, b) belongs to the relation R according to a specific condition (e.g., 'a + b = 7' or 'a is the multiplicative inverse of b').
Quick Concept Check
Question: What is the mathematical definition of a relation R from X to Y?
Key Answer: A relation R from X to Y is any subset of the Cartesian product X x Y.
Section 2: The Definition of a Function (Mapping)
A relation R from set X to set Y is called a (Function or Mapping) [f: X -> Y] if and only if: (Every element in set X appears as a first projection in the ordered pairs of R exactly once). Graphically, this means:
1. In an Arrow Diagram: Exactly one arrow emerges from each element of X.
2. In a Cartesian Grid: Each vertical line contains exactly one plotted point.
If any element in X has zero arrows or more than one arrow, the relation is NOT a function.
Quick Concept Check
Question: What is the golden condition for a relation to be classified as a function?
Key Answer: Every element of set X must appear as a first projection exactly once (emerge with exactly one arrow).
Section 3: Domain, Codomain, and Range
When a relation [f: X -> Y] is a function, we define three essential sets:
1. (Domain): The entire input set X.
2. (Codomain): The entire output set Y.
3. (Range): The set of all second projections (actual outputs/images) in the ordered pairs of f: [Range = {f(x) : x in X}].
Crucial Rule: The Range is always a subset of the Codomain: [Range subset_of Codomain (Y)].
Quick Concept Check
Question: What is the difference between Codomain and Range in a function?
Key Answer: The Codomain is the complete target set Y, while the Range is the subset of elements in Y that are actual images of X.
Section 4: Function Notation and Functional Evaluation
Functions are denoted by letters like f, g, or h. The notation [f(x) = y] denotes the rule of the function, meaning 'y is the image of x under f'. To find the image of any value, substitute it for x in the rule. For example, if f(x) = 2x + 3, then f(4) = 2(4) + 3 = 11. Conversely, if given that f(a) = 15, we solve the equation 2a + 3 = 15 => 2a = 12 => a = 6.
Quick Concept Check
Question: If f(x) = 3x - 5, find f(2) and find the value of k if f(k) = 10.
Key Answer: f(2) = 3(2) - 5 = 1. And 3k - 5 = 10 => 3k = 15 => k = 5.
Mathematical Vocabulary & Glossary
Master essential mathematical terms with native pronunciation and examples (12 Terms)
Definition
Relation
A mathematical association connecting elements of two sets; a subset of X x Y
Example: R is a relation from X to Y.
Definition
Function (Mapping)
A relation where each input has exactly one unique output
Example: f: X -> Y is a function.
Definition
Domain
The entire set of inputs (X) from which the function maps
Example: The domain of f is X.
Definition
Codomain
The entire potential target set of outputs (Y)
Example: The codomain is set Y.
Definition
Range
The actual set of output values (images); a subset of the codomain
Example: The range is {2, 4, 6}.
Definition
Image
The corresponding output value y assigned to input x by the function
Example: f(3) = 9, so 9 is the image of 3.
Definition
First Projection
The x-element in an ordered pair representing domain values
Example: Domain elements appear as first projections.
Definition
Second Projection
The y-element in an ordered pair representing range values
Example: Range elements appear as second projections.
Definition
Vertical Line Test
A graphical test where a vertical line intersects a function graph once
Example: The curve passes the vertical line test.
Definition
Unique Output
One and only one y-value corresponding to each x-value
Example: A function guarantees a unique output.
Definition
Subset
A set whose elements are entirely contained within another set
Example: Range is always a subset of Codomain.
Definition
Arrow Diagram
A visual mapping showing arrows between domain and codomain elements
Example: An arrow diagram verifies mapping status.
Deep Conceptual Analysis & Models
Comprehensive breakdown of core concepts, charts, and mathematical relationships
The Golden Rule of Functions: f: X -> Y
• Function Test: Every x in X appears as first projection exactly once.
• Domain: Set X.
• Codomain: Set Y.
• Range: Actual images {y in Y : y = f(x)}.
• Relationship: Range is always a subset of Codomain.
• Domain: Set X.
• Codomain: Set Y.
• Range: Actual images {y in Y : y = f(x)}.
• Relationship: Range is always a subset of Codomain.
Comparative Reference: Function Identification from Representations
Swipe horizontally to view table
| Representation | Function Condition (YES) | Not a Function Condition (NO) |
|---|---|---|
| Set of Pairs | Each x appears once: {(1, 4), (2, 5), (3, 6)} | An x repeats or is missing: {(1, 4), (1, 5), (2, 6)} |
| Arrow Diagram | Exactly one arrow emerges from each x | An element in X has 0 arrows or 2+ arrows |
| Cartesian Grid | Vertical line test: exactly 1 point per column | A vertical line has 0 points or 2+ points |
Algebra Lab: Extracting Domain, Codomain, and Range
Step-by-step procedure to prove a relation is a function and extract its range:
1. Write the Relation as Ordered Pairs
Translate the verbal condition (e.g., 'a + b = 6') into explicit pairs (a, b).
Example: R = {(1, 5), (2, 4), (3, 3)}.
2. Verify the Function Condition
Check that every element of domain X appears as the first projection once and only once.
Example: Elements {1, 2, 3} all appear once => Function.
3. Extract the Range
Collect all the second projections inside a set without duplicates.
Example: Range = {5, 4, 3}.
Guided Practice Challenge
Problem:
Mastery Assessment Bank (10 Questions)
Select the correct answer for each problem. Immediate pedagogical feedback will be provided.
Score: 0 / 10
1
If R = {(1, 3), (2, 5), (3, 7)} is a function from X to Y, then the Range of the function is:
2
Which of the following relations represents a function?
3
The Range of any function f: X -> Y is always a subset of:
4
If f(x) = 4x + b and f(3) = 15, then the value of b is:
5
If f: X -> Y is a function, then the set X is called the:
6
If f(x) = 2x - 1, then the image of the number 4 under f is:
7
In an arrow diagram representing a function, each element of the domain must:
8
If X = {2, 3, 5} and R = {(2, 6), (a, 9), (5, 15)} is a function on X, then a equals:
9
If f(x) = x^2 - 3, then f(sqrt(3)) equals:
10
If f(x) = 5, then f(3) + f(-3) equals: