BASIC SET THEORY
Basic Set Theory is a branch of mathematical logic that studies sets, which are collections of distinct objects. It provides a foundation for various branches of mathematics and is widely used in different areas, including algebra, calculus, and probability theory. Here are some fundamental concepts in basic set theory:
-
Set:
- A set is a well-defined collection of distinct objects, considered as an object in its own right. For example, the set of natural numbers less than 10 is {1,2,3,4,5,6,7,8,9}.
-
Element:
- An element is an individual object that belongs to a set. In the set mentioned above, 3 is an element of the set.
-
Representation:
- Sets can be represented using curly braces. For example, the set of even numbers less than 10 can be represented as {2,4,6,8}.
-
Equal Sets:
- Two sets are equal if they have exactly the same elements, regardless of the order. For example, {1,2,3} and {3,1,2} are equal sets.
-
Subset:
- A set is a subset of set if every element of is also an element of . The notation denotes that is a subset of .
-
Union:
- The union of two sets and , denoted by , is the set of elements that are in , or , or in both.
-
Intersection:
- The intersection of two sets and , denoted by , is the set of elements that are common to both and .
-
Complement:
- The complement of a set , denoted by or , is the set of all elements in the universal set that are not in .
-
Universal Set:
- The universal set, denoted by , is the set that contains all the elements under consideration
In basic set theory, various symbols are used to represent operations and relationships between sets. Here are some common symbols used in basic set theory:
-
∅ or {:
- The symbol ∅ represents the empty set, which is a set with no elements.
-
:
- The symbol ∈ is used to denote that an element belongs to a set. For example, means that element is in set .
-
∉:
- The symbol ∉ is used to denote that an element does not belong to a set. For example, means that element is not in set .
-
⊂or ⊆:
- The symbol ⊂ or ⊆ denotes that one set is a subset of another. means that every element of is also an element of , and allows for the possibility that is equal to .
-
⊃or ⊇:
- The symbol ⊃ or ⊇ denotes that one set is a superset of another. means that every element of is also an element of , and allows for the possibility that is equal to .
-
∪:
- The symbol ∪ denotes the union of two sets. is the set of elements that are in , or , or in both.
-
∩:
- The symbol ∩ denotes the intersection of two sets. is the set of elements that are common to both and .
-
∖ or \:
- The symbols ∖ or \ represent the set difference. or is the set of elements in but not in .
-
or :
- The symbols ∁ or denote the complement of a set. is the set of all elements in the universal set that are not in �.
-
:
- The symbol × is sometimes used to denote the Cartesian product of two sets. is the set of all ordered pairs where is in and is in .
In basic set theory, there are several formulas and properties that describe relationships and operations between sets. Here are some fundamental formulas:
-
Cardinality of a Set:
- The cardinality of a set , denoted as , is the count of elements in .
- n(A ∪ B) = n(A) + n(B) - n(A ∩ B) - This formula calculates the cardinality of the union (A ∪ B) of two sets A and B, where n(A) and n(B) are the respective cardinalities of A and B and n(A ∩ B) is the cardinality of their intersection.
- n(A ∩ B) = n(A) + n(B) - n(A ∪ B) - This formula finds the cardinality of the intersection (A ∩ B) of two sets, based on their individual cardinalities and the cardinality of their union.
- n(A - B) = n(A) - n(A ∩ B) - This formula determines the cardinality of the difference (A - B) of set A and set B, where n(A) is the cardinality of A and n(A ∩ B) is the cardinality of their intersection.
- n(∅) = 0 - This formula simply states that the empty set (∅) has no elements, its cardinality is 0
-
Complement of a Set:
- The complement of a set with respect to the universal set , denoted , consists of all elements in that are not in .
-
Set Difference:
- The set difference between sets and , denoted or , is the set of elements in but not in .
-
De Morgan's Laws:
- De Morgan's laws express the complement of the union and intersection of sets.
- (A∩B)c=Ac∪Bc
-
Cartesian Product:
- The Cartesian product of two sets and , denoted , is the set of all ordered pairs where is in and is in . ∣
-
Power Set:
- The power set of a set , denoted as , is the set of all subsets of , including the empty set and itself.
-
Set Identities:
- Identity laws express the relationship of a set with itself under union and intersection operations.
- ,
What is a Set?
A set is a collection of distinct elements, considered as an object in its own right. For example, the numbers 1, 2, and 3 are distinct elements when considered separately, but when they are considered collectively as the set {1, 2, 3}, they form a single entity. Sets are typically denoted by curly braces, and the elements are listed inside the braces.
Here's an example:
This is a set named containing the elements 1, 2, 3, 4, and 5. The order in which elements are listed in a set doesn't matter, and each element is unique within the set.
Sets are fundamental in various branches of mathematics, including set theory, which studies the properties and relationships of sets. Sets can be manipulated using operations such as union, intersection, and complement. Additionally, sets play a crucial role in various mathematical structures and concepts, including functions, relations, and logic
Types of Sets
Sets can be classified into various types based on their properties and elements. Here are some common types of sets:
-
Finite Set:
- A set that contains a definite number of elements.
- Example: .
-
Infinite Set:
- A set that contains an infinite number of elements.
- Example: (the set of natural numbers).
-
Empty Set (Null Set):
- A set with no elements.
- Denoted by {} or ∅.
-
Singleton Set:
- A set that contains only one element.
- Example: .
-
Equal Set:
- Two sets are equal if and only if they have exactly the same elements.
- Example: and are equal sets.
-
Subset:
- Set is a subset of set if every element of is also an element of .
- Denoted by .
- Example: If and , then is a subset of .
-
Power Set:
- The set of all subsets of a given set.
- If , then the power set of is .
-
Universal Set:
- The set that contains all the elements under consideration in a particular discussion or problem.
- Often denoted by .
-
Complement Set:
- The complement of set with respect to the universal set is the set of all elements in that are not in .
- Denoted by or .
-
Disjoint Set:
- Two sets are disjoint if they have no common elements.
- Example: If and , then and are disjoint sets
Sets can be represented in various ways, and different methods are used to write and describe sets. Here are some common methods of writing sets:
-
Roster or Enumeration Method:
- The elements of the set are listed explicitly, separated by commas, and enclosed in curly braces.
- Example: .
-
Set-Builder or Rule Method:
- The set is defined by specifying a rule or condition that its elements must satisfy.
- Example: .
-
Interval Notation:
- Used when dealing with sets of real numbers.
- Example: can be written as [1,5].
-
Venn Diagrams:
- Graphical representation of sets using overlapping circles.
- Common elements are placed in the overlapping region.
- Example: Consider sets and , their Venn diagram would show the overlapping element 3.
-
Interval Notation for Inequalities:
- Used for sets of real numbers expressed as intervals.
- Example: can be written as (2,∞).
-
Algebraic Notation:
- Used to express sets in terms of variables and algebraic operations.
- Example: represents the set {−1,1}.
-
Descriptive Method:
- Sets can be described in natural language.
- Example: is the set of prime numbers less than 10.
-
Power Set Notation:
- Denotes the power set of a set , which is the set of all subsets of .
- Example: If , the power set of is {{},{1},{2},{1,2}}.
Solved examples of Basic Set Theory
a. Union (A ∪ B): b. Intersection (A ∩ B): c. Difference (A - B): d. Complement of A (with respect to the universal set U):
a. Subset (P is a subset of Q?):
b. Disjoint sets (P and Q disjoint?): The sets are not disjoint since they share the element 6.
a. Union (X ∪ Y): b. Intersection (X ∩ Y): c. Complement of X (with respect to the universal set U):
a. Symmetric Difference (M △ N): b. Power Set of M (P(M)): |