Unit 1: Set Theory, Relation and Function - Subjective Questions
MTH136 — Discrete Structures • Practice Questions with Detailed Answers
20 questions
Define a set and explain the different methods used to describe a set with suitable examples.
A set is a well-defined collection of distinct objects, called elements or members of the set. The word well-defined means that it must be possible to decide clearly whether a given object belongs to the set or not.
Methods of describing a set:
- Roster / Tabular Form: All elements are listed explicitly within braces, separated by commas.
- Example:
- Set-Builder / Rule Form: The elements are described by a common property.
- Example:
Notation:
- means is an element of .
- means is not an element of .
Example: The set of vowels can be written as:
- Roster form:
- Set-builder form:
Explain the various types of sets with definitions and examples.
Different types of sets are classified based on the number of elements and their nature:
- Empty / Null Set: A set with no elements, denoted by or .
- Example:
- Singleton Set: A set with exactly one element.
- Example:
- Finite Set: A set with a countable (finite) number of elements.
- Example:
- Infinite Set: A set with an uncountable / unending number of elements.
- Example:
- Equal Sets: Two sets having exactly the same elements. .
- Example:
- Equivalent Sets: Two sets having the same number of elements (same cardinality).
- Example: and
- Universal Set: The set containing all objects under consideration, denoted by .
- Subset: if every element of is in .
- Disjoint Sets: Sets having no common elements, i.e. .
Define subset and power set. Find the power set of and state the relation between the cardinality of a set and its power set.
Subset: A set is called a subset of (written ) if every element of is also an element of .
- Proper Subset: if but .
Power Set: The power set of a set , denoted , is the set of all subsets of (including and itself).
Given:
Relation: If a set has elements, then its power set has elements.
Here , so , which matches the 8 subsets listed above.
Describe Venn diagrams and illustrate the operations of union, intersection, difference, and complement using Venn diagrams.
Venn Diagrams are pictorial representations of sets using closed figures (usually circles) drawn inside a rectangle that represents the universal set . They help visualize relationships and operations between sets.
Set Operations illustrated:
- Union (): All elements in , , or both. Both circles are shaded fully.
- Intersection (): Only the common (overlapping) region is shaded.
- Difference (): The part of outside is shaded.
- Complement (): The region inside but outside is shaded.
Venn diagrams are widely used to verify set identities such as De Morgan's laws visually.
State and prove De Morgan's Laws for sets, and verify them using a Venn diagram description.
De Morgan's Laws relate the complement of union and intersection:
Proof of Law 1:
Let
- and
- and
Hence .
Conversely, let
- and
- and
Hence .
Since both inclusions hold, . (Proved)
Law 2 is proved similarly.
Venn Verification: Shading everything outside gives the same region as the overlap of the regions outside and outside .
State the laws of set theory (algebra of sets) with their formulas.
The fundamental laws of set theory are:
- Idempotent Laws:
- Commutative Laws:
- Associative Laws:
- Distributive Laws:
- Identity Laws:
- , and
- Domination / Null Laws:
- , and
- Complement Laws:
- , and
- Double Complement Law:
- De Morgan's Laws:
- Absorption Laws:
Prove the Distributive Law .
To Prove:
Part 1: Show
Let
- and
- and ( or )
- and or and
- or
Part 2: Show
Let
- or
- and or and
- and ( or )
Since both sets are subsets of each other, they are equal. (Proved)
Define the Cartesian product of two sets. If and , find and . Is ?
Cartesian Product: The Cartesian product of two sets and , denoted , is the set of all ordered pairs where and .
Given: ,
Comparison: because the ordered pairs are different (e.g. ).
Note: . Both products have the same cardinality but are not equal sets (unless ).
Define a relation. Explain the different types of relations with examples.
Relation: A relation from set to set is a subset of the Cartesian product . If , we write .
A relation on a set is a subset of .
Types of Relations on a set :
- Reflexive: for every .
- Example: on real numbers.
- Symmetric: If then .
- Example: "is a sibling of".
- Transitive: If and , then .
- Example: on integers.
- Anti-symmetric: If and , then .
- Example: on integers.
- Equivalence Relation: A relation that is reflexive, symmetric, and transitive.
- Example: "is equal to", congruence modulo .
- Empty Relation: .
- Universal Relation: .
Let be a relation on the set defined by . Check whether is reflexive, symmetric, and transitive.
Given: and
Reflexive Check: A relation is reflexive if for all .
- are all present. R is Reflexive. ✅
Symmetric Check: For every , must also be in .
- and ✅
- All diagonal pairs are symmetric by default. R is Symmetric. ✅
Transitive Check: For , we need .
- and ✅
- and ✅
- No violating pairs found. R is Transitive. ✅
Conclusion: Since is reflexive, symmetric, and transitive, is an equivalence relation.
Define a function. Distinguish between a relation and a function with examples.
Function: A function from set to set (written ) is a special relation in which every element of is associated with exactly one element of .
- is the domain, is the codomain.
- The set of all outputs is the range, where .
Difference between Relation and Function:
| Basis | Relation | Function |
|---|---|---|
| Definition | Any subset of | Special relation |
| Mapping | An element of may map to zero, one, or many elements of | Each element of maps to exactly one element of |
| Uniqueness | Not required | Required |
Example of Relation (not a function):
— here maps to two values, so not a function.
Example of Function:
— each input has a unique output.
Explain the identity function and the polynomial function along with their graphs and properties.
Identity Function:
The function defined by is called the identity function.
- Domain: , Range:
- Graph: A straight line passing through the origin with slope (the line ).
- It is both one-one and onto (bijective).
Polynomial Function:
A function of the form:
where are real constants () and is a non-negative integer, is a polynomial function of degree .
- Examples:
- (constant, degree 0)
- (linear, degree 1)
- (quadratic, degree 2)
- Graphs:
- Linear functions give straight lines.
- Quadratic functions give parabolas.
- Domain: for all polynomial functions.
Define the modulus (absolute value) function. Describe its properties and sketch its graph.
Modulus Function:
The modulus function is defined as:
Properties:
- Domain: (all real numbers)
- Range: (always non-negative)
- for all
- (even function, symmetric about the y-axis)
- (triangle inequality)
Graph:
The graph is V-shaped with the vertex at the origin .
- For : the line (slope )
- For : the line (slope )
The graph lies entirely on or above the x-axis, confirming the range is .
Explain the greatest integer function (step function). Evaluate , , and , and describe its graph.
Greatest Integer Function:
Also called the floor function, denoted , it gives the greatest integer less than or equal to .
Evaluations:
- (greatest integer )
- (greatest integer ; note but )
- (exact integer)
Properties:
- Domain: , Range: (set of integers)
- where
Graph:
The graph looks like a series of horizontal steps (a staircase):
- For ,
- For ,
- For ,
Each step is closed on the left (filled dot) and open on the right (hollow dot).
Distinguish between one-one (injective) and onto (surjective) functions with definitions and examples.
One-One (Injective) Function:
A function is one-one if different elements of have different images in .
Equivalently, .
- Example: on is one-one.
Onto (Surjective) Function:
A function is onto if every element of the codomain has at least one pre-image in , i.e. .
- Example: , is onto.
Key Differences:
| Basis | One-One | Onto |
|---|---|---|
| Focus | Distinct inputs give distinct outputs | Every output is achieved |
| Condition | Range = Codomain |
Bijective Function: A function that is both one-one and onto.
Show that the function defined by is both one-one and onto (bijective).
Given: ,
Step 1: Prove One-One (Injective)
Let
Since , the function is one-one. ✅
Step 2: Prove Onto (Surjective)
Let be any element of the codomain. We need such that .
Since for every real , is a real number, every element of the codomain has a pre-image. So is onto. ✅
Conclusion: Since is both one-one and onto, is a bijective function.
In a survey of students, like tea, like coffee, and like both. Using set theory, find how many students like (i) at least one drink, (ii) only tea, (iii) neither drink.
Given:
- Total students,
- (like tea)
- (like coffee)
- (like both)
(i) At least one drink
Using the inclusion-exclusion principle:
So 80 students like at least one drink.
(ii) Only tea
So 30 students like only tea.
(iii) Neither drink
So 20 students like neither drink.
Prove the Associative Law of Union and verify it using the sets , , .
To Prove:
Proof:
Let
- or
- or or
- or or (by associativity of 'or')
- or
The reverse inclusion follows by the same logic. Hence the two sets are equal. (Proved)
Verification: , ,
LHS:
RHS:
Since LHS = RHS = , the law is verified. ✅
Given , with universal set , compute , , , , and .
Given:
(i) Union (all elements in or ):
(ii) Intersection (common elements):
(iii) Difference (in but not in ):
(iv) Difference (in but not in ):
(v) Complement (in but not in ):
Explain the operations of union, intersection, and difference of sets with definitions, notations, and examples. Also state whether each operation is commutative.
1. Union ():
The set of all elements belonging to or or both.
- Example:
- Commutative? Yes, .
2. Intersection ():
The set of all elements common to both and .
- Example:
- Commutative? Yes, .
3. Difference ():
The set of elements in but not in .
- Example:
- Commutative? No, in general .
Summary: Union and intersection are commutative, but the difference operation is not commutative.
Define a set and explain the different methods used to describe a set with suitable examples.
A set is a well-defined collection of distinct objects, called elements or members of the set. The word well-defined means that it must be possible to decide clearly whether a given object belongs to the set or not.
Methods of describing a set:
- Roster / Tabular Form: All elements are listed explicitly within braces, separated by commas.
- Example:
- Set-Builder / Rule Form: The elements are described by a common property.
- Example:
Notation:
- means is an element of .
- means is not an element of .
Example: The set of vowels can be written as:
- Roster form:
- Set-builder form:
Did this save you a night before the exam?
LPU Notes is free, and it stays free. Ads cover part of the server bill. The rest comes out of a student's own pocket: the domain, the storage, and keeping the site up through the weeks everyone needs it at once.
The payment button didn't load. An ad blocker or a filtered network is the usual reason. to try again.
Nothing here is ever locked, and nothing unlocks. Chip in only if it was worth it. What it pays for →