title: Set Theory, Number Systems, Relations and Functions subject: Maths 1 tags: [[set-theory], [number-systems], [relations], [functions], [mathematics-1], [iit-madras]]

---

Set Theory, Number Systems, Relations and Functions

1. Core Concepts & Intuition

Mathematics is fundamentally about understanding patterns and relationships. Imagine you’re organizing a massive music festival - you need to categorize attendees, understand their relationships, and ensure smooth flow between different areas. Set theory provides the framework for this organization, number systems give us the language to count and measure, while relations and functions help us understand how different elements connect and transform.

Think of sets as containers that group similar items together - like putting all rock music fans in one area and jazz enthusiasts in another. Relations tell us how these groups interact - some people might know each other, some venues might be connected by pathways. Functions are like one-way transformations - taking an attendee’s ticket number and giving them a specific seat assignment.

These concepts solve the fundamental problem of organizing and understanding relationships in our world, from simple counting to complex data analysis. They form the foundation of all mathematical thinking.

2. Formal Definitions, Jargon, and Nuances

Sets are collections of distinct objects, called elements or members. The concept of a set is one of the most fundamental in mathematics.

Set: A collection of well-defined objects. Denoted as $A=\{1,2,3\}$ or described by a property $A=\{x\mid x\text{ is an even number}\}$.

Key set operations and concepts:

1. Empty Set (Null Set): The set with no elements, denoted as $\varnothing$ or $\{\}$.
2. Universal Set: The set containing all elements under consideration, denoted as $U$.
3. Subset: Set $A$ is a subset of set $B$ (denoted $A\subseteq B$) if every element of $A$ is also an element of $B$.
4. Proper Subset: $A\subset B$ means $A\subseteq B$ but $A\ne B$.
5. Union: $A\cup B=\{x\mid x\in A\text{ or }x\in B\}$
6. Intersection: $A\cap B=\{x\mid x\in A\text{ and }x\in B\}$
7. Complement: $A^c=\{x\mid x\in U\text{ and }x\notin A\}$
8. Set Difference: $A\setminus B=\{x\mid x\in A\text{ and }x\notin B\}$
9. Cartesian Product: $A\times B=\{(a,b)\mid a\in A,b\in B\}$
10. Power Set: The set of all subsets of a set $A$, denoted as $\mathcal{P}(A)$.

Number systems provide the numerical foundation:

Natural Numbers: $\mathbb{N}=\{1,2,3,\dots \}$ (counting numbers)

Integers: $\mathbb{Z}=\{\dots ,-2,-1,0,1,2,\dots \}$ (whole numbers including negatives)

Rational Numbers: $\mathbb{Q}=\{p/q\mid p,q\in \mathbb{Z},q\ne 0\}$ (fractions)

Real Numbers: $\mathbb{R}$ (all numbers on the number line)

Irrational Numbers: Real numbers that are not rational, like $\sqrt{2},\pi ,e$

Relations establish connections between elements:

Relation: A subset of a Cartesian product. If $R\subseteq A\times B$, then $R$ is a relation from $A$ to $B$.

Properties of relations:

1. Reflexive: $(a,a)\in R$ for all $a\in A$
2. Symmetric: If $(a,b)\in R$, then $(b,a)\in R$
3. Transitive: If $(a,b)\in R$ and $(b,c)\in R$, then $(a,c)\in R$
4. Antisymmetric: If $(a,b)\in R$ and $(b,a)\in R$, then $a=b$
5. Equivalence Relation: A relation that is reflexive, symmetric, and transitive

Functions are special types of relations:

Function: A relation where each input has exactly one output. For every $x\in A$, there exists exactly one $y\in B$ such that $(x,y)\in f$.

Types of functions:

1. Injective (One-to-one): Different inputs give different outputs
2. Surjective (Onto): Every element in the codomain is hit
3. Bijective: Both injective and surjective (one-to-one correspondence)

3. Step-by-Step Procedures & Worked Examples

To work with sets systematically:

1. Determine set membership: Check if an element belongs to a set
2. Perform set operations: Apply union, intersection, complement operations
3. Verify subset relationships: Check if one set is contained in another
4. Analyze relations: Test for reflexive, symmetric, transitive properties
5. Classify functions: Determine if injective, surjective, or bijective

Worked Example 1: Set Operations

Problem: Let $A=\{1,2,3,4,5\}$, $B=\{3,4,5,6,7\}$, $U=\{1,2,3,4,5,6,7,8,9,10\}$. Find:

1. $A\cup B$
2. $A\cap B$
3. $A\setminus B$
4. $B^c$

Solution:

1. $A\cup B=\{1,2,3,4,5,6,7\}$
2. $A\cap B=\{3,4,5\}$
3. $A\setminus B=\{1,2\}$
4. $B^c=\{1,2,8,9,10\}$

Worked Example 2: Relations and Properties

Problem: Consider the relation $R=\{(1,1),(1,2),(2,2),(2,3),(3,3)\}$ on the set $A=\{1,2,3\}$. Test if $R$ is:

1. Reflexive
2. Symmetric
3. Transitive

Solution:

1. Reflexive: Check if $(a,a)\in R$ for all $a\in A$:

   • $(1,1)\in R$ ✓
   • $(2,2)\in R$ ✓
   • $(3,3)\in R$ ✓
   • $R$ is reflexive

2. Symmetric: Check if $(a,b)\in R$ implies $(b,a)\in R$:

   • $(1,2)\in R$ but $(2,1)\notin R$ ✗
   • $R$ is not symmetric

3. Transitive: Check if $(a,b)\in R$ and $(b,c)\in R$ implies $(a,c)\in R$:

   • $(1,2)\in R$ and $(2,3)\in R$, but $(1,3)\notin R$ ✗
   • $R$ is not transitive

Visual Representation

graph TD
    A[Set A: {1,2,3,4,5}] --> B[Union]
    C[Set B: {3,4,5,6,7}] --> B
    B --> D[A ∪ B: {1,2,3,4,5,6,7}]

    A --> E[Intersection]
    C --> E
    E --> F[A ∩ B: {3,4,5}]

    A --> G[Difference]
    C --> H[Complement]
    G --> I[A \\ B: {1,2}]
    H --> J[B^c: {1,2,8,9,10}]

4. The “Exam Brain” Algorithm & Strategic Handbook

Exam questions on these topics often test your ability to recognize patterns and apply definitions systematically.

Pattern Recognition:

• Keywords to look for: “belongs to”, “subset”, “union”, “intersection”, “reflexive”, “symmetric”, “transitive”, “one-to-one”, “onto”, “domain”, “range”, “function”, “relation”
• Question Formats: Set operation problems, Venn diagram interpretations, relation property testing, function classification, domain/range finding

Mental Algorithm (The Approach):

1. Identify the Goal: Determine what the question asks - is it about set operations, relation properties, or function types?
2. Select the Tool: Choose the appropriate definition or property - use set operations for set questions, test properties for relations, analyze mapping for functions
3. Execute & Verify: Apply the definition systematically, then double-check by testing with specific examples

5. Common Pitfalls & Exam Traps

• Trap 1: Confusing ⊆ and ⊂ - Students often forget that ⊆ includes equality while ⊂ means proper subset. Always check if the problem allows equality or requires strict inequality.
• Trap 2: Missing elements in set operations - When finding unions or intersections, students sometimes forget elements that appear in only one set or miss the universal set context.
• Trap 3: Incorrectly identifying function types - Mixing up injective/surjective concepts. Remember: injective means different inputs give different outputs, surjective means every output is hit.

6. Practice Exercises (Scaffolded Difficulty)

Exercise 1 (Concept Check)

Which of the following are true for the relation $R=\{(1,1),(2,2),(1,2)\}$ on set $\{1,2\}$?

1. R is reflexive
2. R is symmetric
3. R is transitive
4. R is an equivalence relation

Exercise 2 (Application)

Let $A=\{x\in \mathbb{Z}\mid 1\le x\le 10\}$ and $B=\{x\in \mathbb{Z}\mid x\text{ is even}\}$. Define $R=\{(a,b)\mid a\in A,b\in B,b=2a\}$. What is the cardinality of R?

Exercise 3 (Qualifier-Style Synthesis)

In a survey of 100 students, 60 like mathematics, 45 like physics, and 25 like both. Define sets M (math), P (physics), and U (all students). If a relation R on U is defined as “x and y have at least one subject in common”, determine if R is reflexive, symmetric, and transitive.

7. Comprehensive Solutions to Exercises

Exercise 1 Solution:

Answer: Options 1, 2, and 3.

• Reflexive: (1,1) and (2,2) are present ✓
• Symmetric: (1,2) ∈ R implies (2,1) ∈ R ✓
• Transitive: (1,1) and (1,2) imply (1,2) ∈ R, but we need (1,2) ✓
• Not equivalence because not transitive (missing (2,1) for transitivity with (1,2))

Exercise 2 Solution:

Answer: 5

• A has 10 elements: {1,2,3,4,5,6,7,8,9,10}
• Even numbers in this range: {2,4,6,8,10}
• R contains pairs where b = 2a: (1,2), (2,4), (3,6), (4,8), (5,10)
• Cardinality is 5

Exercise 3 Solution:

Answer: Reflexive and symmetric, but not transitive

• Reflexive: Every student has at least one subject ✓
• Symmetric: If x and y share a subject, y and x share the same subject ✓
• Not transitive: Students liking only math and only physics don’t share subjects with each other

---

8. Connections & Further Learning

• [[Coordinate Geometry]] (Week 2 - builds on set concepts for plotting)
• [[Quadratic Functions]] (Week 3 - functions extend to polynomial functions)
• [[Polynomial Functions]] (Week 4 - advanced function analysis)
• [[Logic and Proofs]] (prerequisite for formal set theory)
• [[Discrete Mathematics]] (broader context for relations and functions)

Formatting Constraints (Non-Negotiable):

• Markdown: Use strict Markdown for all text and structure.
• LaTeX: Use $inline math$ and $$display math$$.
• Code Blocks: Use dedicated pseudocode or mermaid blocks.
• Clarity: Ensure every explanation is direct, unambiguous, and easy to understand.