Relations

Core Concepts

In mathematics, a relation is a fundamental concept that establishes a connection or relationship between the elements of two sets.

Relations

A relation $R$ from a set $A$ to a set $B$ is a subset of the Cartesian product $A \times B$. Elements of a relation are represented as ordered pairs $(x, y)$, where $x \in A$ and $y \in B$.

• A Cartesian product $A \times B$ is the set of all possible ordered pairs where the first element is from $A$ and the second is from $B$.
• Therefore, any rule, mapping, or equation that links an input $x$ to an output $y$ forms a relation.

Relations can be represented in several ways:

1. Ordered Pairs: $R = \{(1, 2), (2, 4), (3, 6)\}$
2. Mapping/Arrow Diagram: Arrows connecting elements from the input set to the output set.
3. Algebraic Equation: A rule such as $y = 2x$.
4. Graph: Plotted points or lines on the Cartesian coordinate system.

Graph of a Relation

Since a relation is a set of ordered pairs $(x, y)$, it can be visually represented on a Cartesian plane where the horizontal axis (x-axis) represents the first elements, and the vertical axis (y-axis) represents the second elements.

• Discrete Relations: If the relation is a finite set of points, the graph is simply a collection of plotted dots.
• Continuous Relations: If the relation is defined by an equation (e.g., $y = 2x+1$ where $x, y \in \mathbb{R}$), the graph is a continuous line or curve.
• Inequalities: Relations can also be inequalities (e.g., $y > x$). The graph will consist of a boundary line (solid or dashed) and a shaded region indicating the pairs that satisfy the relation. In NECTA format, it is standard practice to shade the unrequired region so that the required region is left clear.

Domain and Range of a Relation

For any relation $R$ containing ordered pairs $(x, y)$:

• Domain: The set of all first coordinates (the $x$-values or inputs).

$$ \text{Domain}(R) = \{x \mid (x, y) \in R\} $$

• Range: The set of all second coordinates (the $y$-values or outputs).

$$ \text{Range}(R) = \{y \mid (x, y) \in R\} $$

When dealing with algebraic relations, the domain is the set of all real numbers for which the relation is defined. The range is the set of all possible resulting values.

Inverse of a Relation

The inverse of a relation $R$, denoted as $R^{-1}$, is formed by reversing the order of the coordinates in each ordered pair of $R$. $$ R^{-1} = \{(y, x) \mid (x, y) \in R\} $$ Key theoretical properties of the inverse relation:

1. Domain and Range Swap:
• $\text{Domain}(R^{-1}) = \text{Range}(R)$
• $\text{Range}(R^{-1}) = \text{Domain}(R)$
2. Graphical Intuition: The graph of an inverse relation $R^{-1}$ is the reflection of the graph of $R$ across the line $y = x$.
3. Algebraic Calculation: To find the inverse of a relation defined by an equation in $x$ and $y$, you simply swap the variables $x$ and $y$ in the equation and then, if possible, make $y$ the subject.

Worked Examples

Example 1: Basic Domain, Range, and Inverse from Ordered Pairs Given the relation $R = \{(1, 5), (2, 7), (3, 9), (4, 11)\}$. (a) State the domain and range of $R$. (b) Find the inverse relation $R^{-1}$.

Solution: (a) The domain is the set of all first elements. $$\text{Domain} = \{1, 2, 3, 4\}$$ The range is the set of all second elements. $$\text{Range} = \{5, 7, 9, 11\}$$ (b) The inverse relation is found by swapping the coordinates of each pair. $$R^{-1} = \{(5, 1), (7, 2), (9, 3), (11, 4)\}$$

Example 2: Formulating a Relation from an Equation A relation $R$ is defined by $R = \{(x, y) : y = x^2 + 1\}$ for the domain $\{-2, -1, 0, 1, 2\}$. List the ordered pairs of the relation and state its range.

Solution: Substitute each $x$-value from the domain into the equation to find the corresponding $y$-value.

• If $x = -2$, $y = (-2)^2 + 1 = 4 + 1 = 5$
• If $x = -1$, $y = (-1)^2 + 1 = 1 + 1 = 2$
• If $x = 0$, $y = (0)^2 + 1 = 0 + 1 = 1$
• If $x = 1$, $y = (1)^2 + 1 = 1 + 1 = 2$
• If $x = 2$, $y = (2)^2 + 1 = 4 + 1 = 5$

The ordered pairs are: $R = \{(-2, 5), (-1, 2), (0, 1), (1, 2), (2, 5)\}$ The range is the set of unique $y$-values: $$\text{Range} = \{1, 2, 5\}$$

Example 3: Finding the Inverse of a Linear Relation Find the inverse of the relation defined by the equation $y = 3x - 4$.

Solution: Step 1: Write the equation. $$y = 3x - 4$$ Step 2: Swap the variables $x$ and $y$ to form the inverse relation. $$x = 3y - 4$$ Step 3: Make $y$ the subject of the new equation. $$x + 4 = 3y$$ $$y = \frac{x + 4}{3}$$ Thus, the inverse relation is given by $y = \frac{1}{3}x + \frac{4}{3}$.

Example 4: Domain and Range of a Rational Relation Determine the domain of the relation $y = \frac{2x}{x - 3}$.

Solution: The relation is undefined if the denominator is equal to zero because division by zero is undefined in real numbers. Set the denominator to zero to find the restricted values: $$x - 3 = 0 \implies x = 3$$ Therefore, $x$ can be any real number except 3. $$\text{Domain} = \{x \in \mathbb{R} : x \neq 3\}$$

Example 5: Graphing an Inequality Relation (Section B Style) Sketch the graph of the relation $R = \{(x, y) \mid y \ge 2x - 1\}$.

Solution: Step 1: Graph the boundary line $y = 2x - 1$.

• When $x = 0$, $y = -1$. Point: $(0, -1)$
• When $x = 1$, $y = 1$. Point: $(1, 1)$

Draw a solid line through these points because the inequality $\ge$ includes "equal to". Step 2: Determine which side of the line to shade. Pick a test point not on the line, for example, $(0, 0)$. Substitute $(0, 0)$ into the inequality $y \ge 2x - 1$: $$0 \ge 2(0) - 1$$ $$0 \ge -1$$ This is a TRUE statement. Therefore, the region containing $(0, 0)$ is the required region. Step 3: To indicate the relation clearly, shade the unrequired region (the side not containing $(0, 0)$). Leave the side with $(0, 0)$ unshaded.

Example 6: Algebraic Inverse and Domain Restriction Given the relation $y = \sqrt{x - 2}$, find its domain, range, and its inverse relation $R^{-1}$.

Solution: Step 1: Find the domain. The expression under a square root must be non-negative. $$x - 2 \ge 0 \implies x \ge 2$$ $$\text{Domain}(R) = \{x \in \mathbb{R} \mid x \ge 2\}$$

Step 2: Find the range. The principal square root yields non-negative values. $$\text{Range}(R) = \{y \in \mathbb{R} \mid y \ge 0\}$$

Step 3: Find the inverse $R^{-1}$. Swap $x$ and $y$: $$x = \sqrt{y - 2}$$ Square both sides: $$x^2 = y - 2$$ Make $y$ the subject: $$y = x^2 + 2$$ Since $\text{Domain}(R^{-1}) = \text{Range}(R)$, the inverse relation is $y = x^2 + 2$ for $x \ge 0$.

Common Pitfalls & Misconceptions

1. Confusing Domain and Range: Students frequently mix up the $x$ (Domain) and $y$ (Range) values. Tip: Remember "D" comes before "R" in the alphabet, just as "$x$" comes before "$y$".
2. Forgetting to Swap Variables for Inverses: A common error is merely attempting to rearrange the original equation without first swapping $x$ and $y$. Always interchange $x$ and $y$ first, then make $y$ the subject.
3. Assuming an Inverse Relation is Always a Function: Every relation has an inverse relation, but the inverse might not be a function. For instance, the inverse of $y = x^2$ is $x = y^2$ (or $y = \pm\sqrt{x}$), which gives two $y$-values for each positive $x$-value.
4. Incorrect Shading for Inequalities: When graphing inequality relations, students often shade the required region instead of the unrequired region. NECTA standard practice is to clearly cross out or shade the unwanted region. Also, failing to distinguish between strict inequalities ($<, >$, requiring dashed lines) and inclusive inequalities ($\le, \ge$, requiring solid lines) loses marks.
5. Division by Zero Ignorance: When finding the domain of rational relations (fractions), students often forget to exclude the $x$-values that make the denominator zero.

NECTA Exam Focus

Even though direct mappings might not be explicitly listed, "Relations" is an essential part of the NECTA Basic Mathematics CSEE syllabus. Questions are predominantly featured in Section A (usually around questions 2, 7, or 8) and as sub-parts of the Coordinate Geometry and Functions topics in Section B.

Recurring themes and testing styles include:

• Identifying Domain and Range: Extracting these sets from a given list of ordered pairs or mapping diagrams.
• Finding Inverses Algebraically: Given a linear or simple rational relation $R$, students are asked to derive the equation for $R^{-1}$.
• Graphing Inequality Regions: Plotting boundaries and shading the correct regions is highly examinable, particularly as a foundational skill for Linear Programming.

Practice Problems

Category 1: Basic Foundations

1. A relation is given by $R = \{(-1, 2), (0, 3), (1, 4), (2, 5)\}$.

(a) State the domain and range of the relation. (b) Write down the elements of the inverse relation $R^{-1}$.

2. If the domain of the relation $y = 2x - 3$ is $\{0, 2, 4, 6\}$, list the ordered pairs that satisfy this relation.
3. Find the inverse of the relation defined by $R = \{(x, y) \mid y = x + 5\}$.

Category 2: Intermediate Level

1. Determine the domain of the relation $y = \frac{x + 1}{2x - 8}$.
2. Find the inverse of the relation $y = \frac{3x - 1}{2}$. State the domain and range of the inverse relation.
3. Draw the graph of the relation $y = 3 - x$ for $-2 \le x \le 3$. From your graph, state the range.

Category 3: Advanced NECTA-Style Applications

1. A relation $R$ is given by $y = \frac{2}{x - 1}$.

(a) Find the inverse relation $R^{-1}$. (b) What are the domain and range of $R^{-1}$?

2. Sketch the graph of the relation $R = \{(x, y) \mid y < x + 2\}$ by shading the unrequired region.
3. Find the inverse of the relation $y = x^2 - 4$ where $x \ge 0$. Clearly state the domain of the inverse relation.
4. Two relations are defined as $R_1 = \{(x, y) \mid y \ge 2\}$ and $R_2 = \{(x, y) \mid y \le x\}$. On the same $xy$-plane, shade the unrequired regions to show the region satisfying both $R_1$ and $R_2$ simultaneously.

Subtopics

• Relations
• Graph of a relation
• Domain and range of a relation
• Inverse of a relation

Crosswalk Notes

Cross-version relationships are drafted in data/curricula/crosswalks/csee-basic-mathematics-2005-to-mathematics-2023.json. Partial and 2005-only mappings remain reviewable.