Part 1: Core Concepts (2 Marks)
- Power Set
: The set of all subsets of a given set . If , then the cardinality of its power set is strictly . - De Morgan’s Laws: Fundamental duality theorems in set algebra stating
and . - Dedekind Completeness of Real Numbers: The foundational property asserting that every non-empty set of real numbers bounded from above possesses a least upper bound (supremum) in
. - Absolute Value Inequality: For any
with , , and .
Part 2: Structural Frameworks (10 Marks)
Structural Hierarchy of the Real and Complex Number Systems
| Number Classification | Standard Symbol | Mathematical Formalization | Defining Canonical Examples |
|---|---|---|---|
| Natural Numbers | |||
| Whole Numbers | |||
| Integers | |||
| Rational Numbers | $\left{\frac{p}{q} ;\middle | ; p, q \in \mathbb{Z},; q \neq 0,; \gcd(p, q) = 1\right}$ | |
| Irrational Numbers | Non-terminating, non-repeating decimal numbers | ||
| Real Numbers | |||
| Imaginary Numbers | |||
| Complex Numbers |
Part 3: Distinction Tables
| Basis of Comparison | Rational Numbers ( |
Irrational Numbers ( |
|---|---|---|
| Fractional Form | Can be expressed as |
Cannot be expressed as an integer ratio |
| Decimal Expansion | Terminating or non-terminating repeating (periodic) | Non-terminating and non-repeating (aperiodic) |
| Algebraic Character | Closed under addition, subtraction, multiplication, division | Not closed under basic arithmetic operations |
| Examples |
Part 4: Worked Problems & Exam Traps
Worked Set Problem (Three Intersecting Sets)
Problem: In a cohort of 100 IT students: 50 know C, 40 know Java, 35 know Python. 20 know C and Java, 15 know Java and Python, 18 know C and Python, and 10 know all three. Find the number of students who know none of these languages.
TU Exam Trap: Remember the Principle of Inclusion-Exclusion alternates signs! The three-set intersection
must be added, not subtracted, at the final step.