∫ SJ Maths Mathematics Notes
UP PGT Tracker UP TGT Tracker
Real Analysis

Perfect set

A perfect set in a metric space is a closed set that is equal to its set of accumulation points (i.e., dense in itself with no isolated points). This topic covers perfect sets, such as the Cantor ternary set,.

For: UP PGT Mathematics UP TGT Mathematics DSSSB PGT / TGT KVS / NVS PGT LT Grade
📖 Topic progress
○ Mark as complete

Definition and statement

Definition and Characterization of Perfect Sets
Let $(X, d)$ be a metric space. A subset $P \subset X$ is called a \textbf{perfect set} if $P$ is closed in $X$ and every point of $P$ is a limit point of $P$ (i.e., $P = P'$), where $P'$ denotes the derived set of $P$. Equivalently, $P$ has no isolated points and contains all its limit points.

📐 Geometric Interpretation

Geometrically, a perfect set is 'clumped' everywhere locally; no matter how small a neighborhood you take around any point in $P$, it contains infinitely many other points of $P$, leaving no isolated dots or gaps.

⚙️ Algebraic & Structural Meaning

Algebraically and topologically, perfect subsets of $\mathbb{R}$ (like the Cantor set) provide the foundation for uncountable compact sets having Lebesgue measure zero, demonstrating the richness of the continuum.

Conditions and hypotheses

Check each condition and what changes when it is omitted:

Hypothesis / Condition Domain / Interval Necessity What Fails If Condition Dropped
Closedness Property ($P = \bar{P}$) Entire subset $P \subset X$ Strictly Mandatory / Necessary If $P$ is not closed, its limit points may fall outside $P$ (e.g., an open interval $(0, 1)$), violating the equality $P = P'$.
Dense-in-itself Property ($P \subset P'$) Every point $x \in P$ Strictly Mandatory If there exists an isolated point $x_0 \in P$, then $x_0 \notin P'$, meaning $P \neq P'$ and $P$ fails to be perfect.
Completeness / Metric Space Context Complete Metric Space $\mathbb{R}$ Essential for cardinality and Baire Category theorems Incomplete spaces may restrict the accumulation behavior, causing pathological deviations in countable vs. uncountable structures.

Useful results and shortcuts

Use these identities and results when their conditions apply:

01

Cantor Set Cardinality & Measure

$$m(C) = 0, \quad |C| = \mathfrak{c} = 2^{\aleph_0}$$

Rule: Any standard triadic Cantor set formed by repeatedly removing open middle thirds has Lebesgue measure zero and cardinality equal to the continuum.

Application: Directly tested in UP PGT and KVS PGT for determining measure and cardinality of recursive fractal sets.
02

Isolated Points Elimination

$$x \in P \text{ is isolated } \implies P \text{ is not perfect}$$

Rule: If a finite set or any set containing isolated points is given, immediately eliminate it from being a perfect set.

Application: Frequently used to discard options containing finite sets, $\mathbb{Z}$, or $\mathbb{N}$ in set-topology questions.
03

Derived Set Equality

$$P \text{ is perfect} \iff P = P'$$

Rule: Check if the set equals its derived set (set of all limit points). If $P' \subset P$ and $P \subset P'$, it is perfect.

04

Compact Perfect Sets in $\mathbb{R}$

$$P \subset \mathbb{R} \text{ is non-empty, compact, and perfect} \implies |P| = c$$

Rule: Every non-empty perfect set in $\mathbb{R}$ (or any complete metric space) is uncountable.

05

Union and Intersection Rule

$$P_1, P_2 \text{ perfect} \implies P_1 \cup P_2 \text{ is perfect; } P_1 \cap P_2 \text{ need not be}$$

Rule: Finite unions of perfect sets are perfect, but arbitrary or finite intersections can reduce to isolated points or empty sets.

Application: Used in multi-statement True/False questions in UP PGT.
06

Rapid Option Elimination via $\mathbb{Q}$ and $\mathbb{R}$

$$\bar{\mathbb{Q}} = \mathbb{R}, \quad \mathbb{Q}' = \mathbb{R}$$

Rule: $\mathbb{Q}$ is dense in itself ($\mathbb{Q} \subset \mathbb{Q}'$) but NOT closed ($\bar{\mathbb{Q}} = \mathbb{R} \neq \mathbb{Q}$), hence $\mathbb{Q}$ is NOT a perfect set.

Common errors and counterexamples

These examples show how a conclusion can fail when a condition is missing:

⚠️ COMMON ERROR #01

The Rational Numbers ($\mathbb{Q}$) Illusion

Common Pitfall: Candidates assume that because every real number is a limit point of rationals (so $\mathbb{Q}' = \mathbb{R}$), $\mathbb{Q}$ is a perfect set.

Counterexample: \mathbb{Q} \text{ in } \mathbb{R}

Why it fails: Although $\mathbb{Q} \subset \mathbb{Q}'$, $\mathbb{Q}$ is not closed in $\mathbb{R}$ (since its closure is $\mathbb{R} \neq \mathbb{Q}$), thus failing the definition.

🛡️ Exam Defense: Verify both conditions independently: 1) Is it closed? 2) Does it equal its derived set?
⚠️ COMMON ERROR #02

Confusing Limit Points with Isolated Points

Common Pitfall: Believing a set with a few isolated points can be 'almost' perfect or made perfect by adding its endpoints.

Counterexample: P = [0, 1] \cup \{5\}

Why it fails: The point $5$ is an isolated point ($5 \notin P'$), which instantly destroys the perfect set property for the entire set.

🛡️ Exam Defense: Check if every single element has a neighborhood intersecting the set in infinitely many points.

Comparison

Concept / TheoremHypotheses / AssumptionsKey Formula / OutcomeGeometric MeaningExam Identification Clue
Perfect SetClosed set $P$ where $P = P'$$P = P'$No isolated points; clumped everywhereCheck closedness and limit points
Cantor Ternary SetRemove open middle thirds recursively$m(C)=0, |C|=c$Dust-like fractal continuumKeywords: 'triadic', 'middle third'
Set of Rational Numbers $\mathbb{Q}$Ratio of integers$\bar{\mathbb{Q}} = \mathbb{R}, \mathbb{Q}' = \mathbb{R}$Dense everywhere, but full of gaps in completionTrap option for closedness
Closed Interval $[a, b]$Real numbers between $a$ and $b$$[a, b]' = [a, b]$Solid continuous segmentContains endpoints; not perfect due to boundary behavior unless infinite dimensional context, wait: endpoints of $[a,b]$ are limit points, but $[a,b]$ is perfect in $\mathbb{R}$? Actually, every point in $[a,b]$ is a limit point and $[a,b]$ is closed, so $[a,b]$ IS a perfect set!

Solved examples

Each problem includes a full solution and a shorter method:

CANONICAL PROBLEM 01 Dual-Method Breakdown

Which of the following subsets of $\mathbb{R}$ is a perfect set?

(A) $\mathbb{Q}$(B) $[0, 1]$(C) $\mathbb{N}$(D) $(0, 1)$
✓ Correct Answer: (B)
📚 Method A: Formal Textbook Derivation
Step 1: Check $\mathbb{Q}$ (not closed). Step 2: Check $\mathbb{N}$ (all points are isolated). Step 3: Check $(0, 1)$ (not closed in $\mathbb{R}$). Step 4: Check $[0, 1]$; it is closed and every point in $[0, 1]$ is a limit point, hence $[0, 1]$ is perfect.
⚡ Method B: 25-Second Exam Shortcut
Eliminate discrete sets ($\mathbb{N}$), non-closed sets ($\mathbb{Q}, (0, 1)$). Automatically, $[0, 1]$ is the only valid candidate.
💡 Tip: Remember that any non-degenerate closed interval $[a, b]$ in $\mathbb{R}$ is always a perfect set.
CANONICAL PROBLEM 02 Dual-Method Breakdown

Let $C$ be the standard Cantor ternary set. Which statement is false?

(A) $C$ is compact(B) $C$ is countable(C) $C$ has Lebesgue measure zero(D) $C$ is a perfect set
✓ Correct Answer: (B)
📚 Method A: Formal Textbook Derivation
The Cantor set $C$ is uncountable (cardinality of continuum), compact, has measure zero, and is a perfect set. Therefore, statement (B) asserting it is countable is false.
⚡ Method B: 25-Second Exam Shortcut
Cantor set is the canonical example of an uncountable set with measure zero.
💡 Tip: Countability of Cantor set is a recurring negative-marking trap in PGT exams.

Practice questions

Choose an answer to check it and see the solution:

Q1
MCQ 1: A subset $P$ of a metric space is called perfect if:
A $P$ is open and $P = P'$
B $P$ is closed and $P = P'$
C $P$ is bounded and $P \subset P'$
D $P$ is finite and discrete
Derivation & Analysis:

By definition, a perfect set is a closed set which is equal to its derived set ($P = P'$).

Q2
MCQ 2: Which of the following is a perfect set in $\mathbb{R}$?
A $\mathbb{Z}$
B $\mathbb{Q} \cap [0, 1]$
C [0, 1]
D \{1, 2, 3, 4\}
Derivation & Analysis:

The closed interval $[0, 1]$ is closed and every point in it is a limit point, making it a perfect set.

Q3
MCQ 3: The set of rational numbers $\mathbb{Q}$ is:
A Perfect
B Compact
C Dense in itself but not closed
D Closed but not dense in itself
Derivation & Analysis:

$\mathbb{Q}$ satisfies $\mathbb{Q} \subset \mathbb{Q}'$ (dense in itself), but $\bar{\mathbb{Q}} = \mathbb{R} \neq \mathbb{Q}$, so it is not closed and hence not perfect.

Q4
MCQ 4: The cardinality of any non-empty perfect set in $\mathbb{R}$ is:
A Finite
B Countably infinite
C Equal to the continuum $\mathfrak{c}$
D Countable or finite
Derivation & Analysis:

By the Cantor-Bendixson theorem, every non-empty perfect set in $\mathbb{R}$ is uncountable, hence has cardinality $\mathfrak{c}$.

Q5
MCQ 5: Which of the following sets has no isolated points?
A $\mathbb{N}$
B $\{1/n : n \in \mathbb{N}\} \cup \{0\}$
C $[0, 1] \cup \{2\}$
D (0, 1)
Derivation & Analysis:

In $(0, 1)$, every point has a neighborhood containing other points, so there are no isolated points. In the others, $2$, $0$, or integers are isolated.

Q6
MCQ 6: If $P_1$ and $P_2$ are perfect sets in $\mathbb{R}$, then $P_1 \cup P_2$ is:
A Always perfect
B Never perfect
C Countable
D Empty
Derivation & Analysis:

The union of two closed sets is closed, and the union of two dense-in-itself sets is dense in itself. Thus, $P_1 \cup P_2$ is perfect.

Q7
MCQ 7: The derived set of the Cantor ternary set $C$ is:
A $\emptyset$
B C
C [0, 1]
D $\mathbb{Q}$
Derivation & Analysis:

Since $C$ is a perfect set, it is equal to its derived set: $C' = C$.

Q8
MCQ 8: Assertion (A): Every closed interval $[a, b]$ where $a < b$ is a perfect set. Reason (R): $[a, b]$ is closed and has no isolated points.
A Both (A) and (R) are true and (R) is the correct explanation of (A)
B Both (A) and (R) are true but (R) is not the correct explanation
C (A) is true but (R) is false
D (A) is false but (R) is true
Derivation & Analysis:

Both statements are mathematically rigorous and (R) correctly justifies why $[a, b]$ is perfect.

Q9
MCQ 9: What is the Lebesgue measure of the standard Cantor ternary set $C$?
A 1
B 1/2
C 0
D Infinity
Derivation & Analysis:

The Cantor set is constructed by successively removing open middle intervals whose total lengths sum to $1$, leaving a set of measure zero.

Q10
MCQ 10: Which of the following statements is INCORRECT regarding perfect sets?
A Every perfect set is closed
B Every closed set is perfect
C Every non-empty perfect set in $\mathbb{R}$ is uncountable
D The intersection of an arbitrary family of perfect sets is closed
Derivation & Analysis:

Not every closed set is perfect; for instance, a finite closed set or a set with isolated points (like $[0, 1] \cup \{5\}$) is closed but not perfect.

Common questions

Yes, any non-degenerate closed interval $[a, b]$ ($a < b$) in $\mathbb{R}$ is closed and every point in it is a limit point, making it a perfect set.

Every perfect set must be closed, but a closed set is not necessarily perfect because it may contain isolated points (e.g., $F = [0, 1] \cup \{2\}$ is closed but not perfect due to the isolated point $2$).

Instantly eliminate any option involving finite sets, countable discrete sets like $\mathbb{N}$ or $\mathbb{Z}$, or non-closed sets like $\mathbb{Q}$ or $(0, 1)$. Focus your verification on closed sets without isolated points.

← Previous Topic
Open sets
Next Topic →
Axioms of real numbers