Relations and Functions

Detailed Notes on Relations and Functions

1. Introduction to Relations and Functions

• Mathematics helps in identifying patterns. Examples in daily life include family relationships and professional connections, while mathematical ones involve inequalities, properties of lines, and set relationships.
• Relations are pairs of objects, with a focus on identifying pairs from two sets and establishing a relationship between their elements.
• The function is a special type of relation representing a precise correspondence between two quantities.

2. Cartesian Products of Sets

• Definition: The Cartesian product of two sets P and Q, denoted as P × Q, is the set of all ordered pairs (p, q) where p is in P and q is in Q.
• Example: For sets A = {red, blue} and B = {b, c, s}, the Cartesian product A × B results in 6 pairs: {(red, b), (red, c), (red, s), (blue, b), (blue, c), (blue, s)}.
• If P or Q is empty, then P × Q is also empty.
• Crucially, order matters in pairs: (a, b) ≠ (b, a).
• The number of elements in P × Q, if P has p elements and Q has q elements, will be pq.

3. Properties of Cartesian Products

• The Cartesian product of two sets can have specific properties observed through examples.
• For instance, the relation P = {a, b, c} and Q = {1, 2} results in P × Q = {(a, 1), (b, 1), (c, 1), (a, 2), (b, 2), (c, 2)}.

4. Understanding Relations

• A relation R from set A to set B is a subset of the Cartesian product A × B.
• The domain of a relation is the set of all first elements, while the range is the set of second elements.
• Example: For A = {1, 2, 3} and B = {x, y, z}, suppose R = {(1, x), (2, y), (3, z)}. Here, domain = {1, 2, 3} and range = {x, y, z}.
• Relations can be depicted through arrow diagrams to visualize connections.

5. The Concept of Functions

• A function is a particular type of relation where each element of set A has a unique corresponding element in set B.
• This uniqueness is critical: no two distinct pairs may have the same first element.
• Denotation is done as f: A → B where f(x) = y indicates that 'x' maps to 'y'.
• Functions can be categorized as real-valued functions, polynomial functions, rational functions, etc.
• Examples of specific functions include identity, constant, polynomial, and modulus functions.

6. Operations on Functions

• Functions can be added, subtracted, multiplied, or divided according to specific rules:
  • Addition: (f + g)(x) = f(x) + g(x)
  • Subtraction: (f - g)(x) = f(x) - g(x)
  • Multiplication: (fg)(x) = f(x) * g(x)
  • Division: (f/g)(x) = f(x)/g(x), where g(x) ≠ 0.

7. Summary of Key Terms

• Ordered Pair: A pair (a, b) where order matters.
• Cartesian Product: Set of all ordered pairs from two sets.
• Domain: Set of all first elements in a relation.
• Range: Set of all second elements in a relation.
• Function: A relation with each element in the domain corresponding to one element in the range.

8. Historical Context

• The term function originated from the Latin term used in manuscripts by Gottfried Wilhelm Leibnitz. Initially used in non-analytical terms, it evolved into its modern analytical meaning advocated by Johan Bernoulli by the late 17th century.

Through exercises and examples, this chapter reinforces the concept of relations and functions, equipping students with foundational knowledge necessary for advanced studies in mathematics.

1. Ordered Pair: An element of the form (a, b) where order is significant.
2. Cartesian Product: A × B = {(a, b) : a ∈ A, b ∈ B} represents pairs from two sets.
3. Domain: The set of all first elements in a relation or function.
4. Range: The set of all second elements in a relation or function.
5. Function: A relation where each input has exactly one corresponding output.
6. Real-valued Function: A function that maps real numbers to real numbers.
7. Operations on Functions: Addition, subtraction, multiplication, and division of functions are defined.
8. Properties of Functions: Function must maintain unique outputs for each input from the domain.
9. Historical Context: The concept of function has evolved from Leibnitz's early usage to modern definitions in mathematics.