Review the key concepts, formulae, and examples before starting your quiz.
🔑Concepts
Ordered Pairs and Cartesian Product: An ordered pair is a pair of elements grouped together in a specific order, where unless . The Cartesian Product is the set of all possible ordered pairs where the first element belongs to set and the second to set . Visually, this can be represented as a rectangular grid of points on a coordinate plane, where the elements of are plotted on the horizontal axis and elements of on the vertical axis.
Definition of a Relation: A relation from a non-empty set to a non-empty set is a subset of the Cartesian product . The relation is derived by describing a relationship between the first element and the second element of the ordered pairs. Visually, a relation is often depicted using an 'Arrow Diagram' where elements of set and set are placed in two separate ovals, and arrows are drawn to connect related elements.
Domain of a Relation: The set of all first elements of the ordered pairs in a relation from set to set is called the domain of the relation . Mathematically, . In a visual mapping diagram, the domain consists of all elements in the first set (the source) that have at least one arrow originating from them.
Range of a Relation: The set of all second elements in a relation from set to set is called the range of the relation. Formally, . Visually, in an arrow diagram, the range is the specific collection of elements in the second set (the target) that are pointed to by arrows.
Co-domain of a Relation: When a relation is defined from set to set , the entire set is called the co-domain of the relation . It is important to note that the . Visually, the co-domain is represented by the entire second oval or 'target' container, regardless of whether every element inside it is connected to an element in the domain.
Total Number of Relations: If set has elements and set has elements, then the number of elements in is . The total number of possible relations that can be defined from to is , because every relation is a subset of the Cartesian product set. This exponential growth illustrates how many different ways elements from two sets can be linked.
Inverse Relation: For any relation from to , the inverse relation is a relation from to defined by . Visually, this is equivalent to taking an arrow diagram and reversing the direction of every single arrow. The domain of becomes the range of , and the range of becomes the domain of .
📐Formulae
💡Examples
Problem 1:
Let . Define a relation from to by . Write down the relation in roster form and find its domain, co-domain, and range.
Solution:
Step 1: Identify pairs satisfying where . When ; When ; When ; When ; When ; When (But , so this pair is excluded). Step 2: Write in roster form: . Step 3: Extract the Domain: . Step 4: Extract the Range: . Step 5: The Co-domain is the entire set : .
Explanation:
To solve this, we test each element of the first set in the given equation . If the resulting is also in the set, the pair is part of the relation. The domain is the set of starting values, and the range is the set of resulting values.
Problem 2:
Given and . Find the total number of relations from to .
Solution:
Step 1: Find the number of elements in set : . Step 2: Find the number of elements in set : . Step 3: Calculate the number of elements in the Cartesian product : . Step 4: Apply the formula for the number of relations: .
Explanation:
Since every relation is a subset of the Cartesian product, the total number of relations is equal to the number of subsets of , which is .