Sets: Empty, Finite, Infinite, and Equal Sets Study of Equality and Subsets

The Empty Set

  • Definition 1: A set which does not contain any element is called the empty set or the null set or the void set.

  • Notation: The empty set is denoted by the symbol ϕ\phi or the empty braces {}.

  • Criteria for Comparison:     * Example: Consider a student studying in both Class X and Class XI simultaneously. Since this is impossible, the set BB of such students contains no element. Therefore, BB is an empty set.     * Example: Let A = \{x : x \text{ is an integer and } -3 \le x < 7\}. This is not an empty set and can be written in roster form as {2,1,0,1,2,3,4,5,6}\{-2, -1, 0, 1, 2, 3, 4, 5, 6\}.

  • Specific Examples of Empty Sets:     * (i) A = \{x : 1 < x < 2, x \in N\}. There is no natural number between 11 and 22, so AA is empty.     * (ii) B={x:x22=0 and x is a rational number}B = \{x : x^2 - 2 = 0 \text{ and } x \text{ is a rational number}\}. The equation is not satisfied by any rational value, making BB an empty set.     * (iii) C={x:x is an even prime number greater than 2}C = \{x : x \text{ is an even prime number greater than 2}\}. Since 2 is the only even prime, CC is empty.     * (iv) D={x:x2=4,x is odd}D = \{x : x^2 = 4, x \text{ is odd}\}. The equation x2=4x^2 = 4 has solutions 22 and 2-2, neither of which is odd.

Finite and Infinite Sets

  • Definition 2: A set which is empty or consists of a definite number of elements is called finite; otherwise, the set is called infinite.

  • Cardinality Notation: By the number of elements of a set SS, we mean the number of distinct elements, denoted by n(S)n(S). If n(S)n(S) is a natural number, then SS is a non-empty finite set.

  • Examples of Finite Sets:     * A={1,2,3,4,5}A = \{1, 2, 3, 4, 5\} where n(A)=5n(A) = 5.     * B={a,b,c,d,e,g}B = \{a, b, c, d, e, g\} where n(B)=6n(B) = 6.     * C={men living presently in different parts of the world}C = \{\text{men living presently in different parts of the world}\}. Though the number is large, it is a finite natural number.     * WW = The set of days of the week.     * SS = The set of solutions of the equation x216=0x^2 - 16 = 0.

  • Examples of Infinite Sets:     * The set of natural numbers (NN).     * GG = The set of points on a line.     * Odd natural numbers (1,3,5,7,1, 3, 5, 7, \dots).

  • Roster Form for Infinite Sets: Infinite sets are represented by writing a few elements that indicate the structure, followed (or preceded) by three dots (\dots).     * Integers: {,3,2,1,0,1,2,3,}\{\dots, -3, -2, -1, 0, 1, 2, 3, \dots\}.     * Constraint: Not all infinite sets can be described in roster form. For example, the set of real numbers (RR) cannot be described this way because its elements do not follow a particular pattern.

  • Exercise Example 6 Analysis:     * (i) {x:xN and (x1)(x2)=0}\{x : x \in N \text{ and } (x-1)(x-2) = 0\}: Finite, elements are {1,2}\{1, 2\}.     * (ii) {x:xN and x2=4}\{x : x \in N \text{ and } x^2 = 4\}: Finite, elements are {2}\{2\}.     * (iii) {x:xN and 2x1=0}\{x : x \in N \text{ and } 2x - 1 = 0\}: Finite (empty set, as x=12Nx = \frac{1}{2} \notin N).     * (iv) {x:xN and x is prime}\{x : x \in N \text{ and } x \text{ is prime}\}: Infinite.     * (v) {x:xN and x is odd}\{x : x \in N \text{ and } x \text{ is odd}\}: Infinite.

Equal Sets

  • Definition 3: Two sets AA and BB are equal (A=BA = B) if they have exactly the same elements. If they do not, they are unequal (ABA \neq B).

  • Rules for Equality:     * Repetition of elements does not change a set. Example: A={1,2,3}A = \{1, 2, 3\} and B={2,2,1,3,3}B = \{2, 2, 1, 3, 3\} are equal because every element of AA is in BB and vice-versa.     * Order of elements does not matter. Example: A={1,2,3,4}A = \{1, 2, 3, 4\} and B={3,1,4,2}B = \{3, 1, 4, 2\} are equal.

  • Comparative Examples:     * The set of letters in "ALLOY" (X={A,L,O,Y}X = \{A, L, O, Y\}) and the set of letters in "LOYAL" (B={L,O,Y,A}B = \{L, O, Y, A\}) are equal sets.     * A={0}A = \{0\} is not equal to B = \{x : x > 15 \text{ and } x < 5\} because BB is empty (ϕ\phi).     * C={x:x5=0}C = \{x : x - 5 = 0\} contains only {5}\{5\}. E={x:x is an integral positive root of x22x15=0}E = \{x : x \text{ is an integral positive root of } x^2 - 2x - 15 = 0\} roots are 55 and 3-3, but only 55 is a positive root. Thus, C=EC = E.     * D={x:x2=25}D = \{x : x^2 = 25\} contains {5,5}\{-5, 5\}. Therefore, CDC \neq D because 5C-5 \notin C.

Subsets

  • Definition 4: A set AA is said to be a subset of a set BB if every element of AA is also an element of BB. This is expressed in symbols as ABA \subset B.

  • Logical Notation: AB if aA    aBA \subset B \text{ if } a \in A \implies a \in B.

  • Properties of Subsets:     * Every set is a subset of itself: AAA \subset A.     * The empty set is a subset of every set: ϕA\phi \subset A.     * Two-way implication for equality: A=BA = B if and only if (iff) ABA \subset B and BAB \subset A. This is written as AB and BA    A=BA \subset B \text{ and } B \subset A \iff A = B.

  • Example Case: If XX is the set of all students in your school and YY is the set of all students in your class, then YXY \subset X.

Exercises and Applications

Exercise 1.2 Identification
  • Null Sets:     * Set of odd natural numbers divisible by 2 (Null).     * Set of even prime numbers (Not null, contains {2}\{2\}).     * \{x : x \text{ is a natural number, } x < 5 \text{ and } x > 7\} (Null).     * {y:y is a point common to any two parallel lines}\{y : y \text{ is a point common to any two parallel lines}\} (Null).

  • Finite vs Infinite Identifying:     * Months of a year (Finite).     * {1,2,3,}\{1, 2, 3, \dots\} (Infinite).     * {1,2,3,,99,100}\{1, 2, 3, \dots, 99, 100\} (Finite).     * The set of positive integers greater than 100 (Infinite).     * The set of prime numbers less than 99 (Finite).     * Lines parallel to the x-axis (Infinite).     * Letters in the English alphabet (Finite).     * Numbers multiple of 5 (Infinite).     * Animals living on the earth (Finite).     * Circles passing through the origin (0,0) (Infinite).

  • Set Equality Comparisons:     * A={a,b,c,d},B={d,c,b,a}A = \{a, b, c, d\}, B = \{d, c, b, a\}: A=BA = B.     * A={4,8,12,16},B={8,4,16,18}A = \{4, 8, 12, 16\}, B = \{8, 4, 16, 18\}: ABA \neq B (12 is not in B, 18 is not in A).     * A={2,4,6,8,10},B={x:x is positive even integer and x10}A = \{2, 4, 6, 8, 10\}, B = \{x : x \text{ is positive even integer and } x \le 10\}: A=BA = B.     * A={x:x is a multiple of 10},B={10,15,20,25,30,}A = \{x : x \text{ is a multiple of 10}\}, B = \{10, 15, 20, 25, 30, \dots\}: ABA \neq B because 15 is not a multiple of 10.     * A={2,3},B={x:x2+5x+6=0}A = \{2, 3\}, B = \{x : x^2 + 5x + 6 = 0\}: B={2,3}B = \{-2, -3\}, so ABA \neq B.     * A={letter in FOLLOW}={F,O,L,W}A = \{\text{letter in FOLLOW}\} = \{F, O, L, W\}, B={letter in WOLF}={W,O,L,F}B = \{\text{letter in WOLF}\} = \{W, O, L, F\}: A=BA = B.