Real Analysis

Axioms of real numbers

The real number system $\mathbb{R}$ is formally defined as a complete ordered field, combining algebraic, order, and completeness axioms. This topic covers these axioms underpins all of Real Analysis and.

For: UP PGT Mathematics UP TGT Mathematics DSSSB PGT / TGT KVS / NVS PGT LT Grade

📖 Topic progress

○ Mark as complete

Definition and statement

Axiom of Completeness (Least Upper Bound Property)

Every non-empty subset $S \subset \mathbb{R}$ that is bounded above possesses a supremum (least upper bound) in $\mathbb{R}$, i.e., \exists \sup S \in \mathbb{R}.

📐 Geometric Interpretation

Geometrically, $\mathbb{R}$ forms an unbroken, continuous continuum line without any 'gaps', holes, or missing points, unlike $\mathbb{Q}$.

⚙️ Algebraic & Structural Meaning

Completeness elevates an ordered field to a complete ordered field, ensuring the validity of limit processes, continuity theorems, and convergence of Cauchy sequences.

Conditions and hypotheses

Check each condition and what changes when it is omitted:

Hypothesis / Condition	Domain / Interval	Necessity	What Fails If Condition Dropped
Field Axioms (Algebraic Structure)	`Global on \mathbb{R}`	Strictly Mandatory / Necessary	Failure of closure, associativity, commutativity, or existence of inverses leads to algebraic inconsistency.
Order Axioms	`Global on \mathbb{R}`	Strictly Mandatory	Inability to define inequalities, positivity, and monotonicity; complex numbers \mathbb{C} lack a natural order.
Completeness Axiom (Lub Property)	`Bounded Subsets`	Essential for analysis	In \mathbb{Q}$, the set $\{x \in \mathbb{Q} : x^2 < 2}$ is bounded above but lacks a supremum in \mathbb{Q}$, causing analysis to fail.

Useful results and shortcuts

Use these identities and results when their conditions apply:

Supremum and Infimum of Shifted Sets

$$\sup(a + S) = a + \sup S, \quad \inf(aS) = a \inf S \text{ (for } a > 0\text{)}$$

Rule: Constants add directly to bounds, and positive scalar multipliers scale bounds directly.

Application: Frequently asked in UP PGT to quickly evaluate bounds of translated sets.

Bounds for Negative Scaling

$$\sup(-S) = -\inf S, \quad \inf(-S) = -\sup S$$

Rule: Negating a set flips the supremum and infimum and swaps their roles with a negative sign.

Supremum of Union of Bounded Sets

$$\sup(A \cup B) = \max(\sup A, \sup B)$$

Rule: The least upper bound of a union is simply the maximum of the individual suprema.

Application: Standard conceptual shortcut to bypass epsilon-limit proofs.

Infimum of Union of Bounded Sets

$$\inf(A \cup B) = \min(\inf A, \inf B)$$

Rule: The greatest lower bound of a union is the minimum of the individual infima.

Application: Essential property tested in multiple-choice set-theoretic questions.

Archimedean Property Application

$$ \forall x \in \mathbb{R}, \exists n \in \mathbb{N} \text{ s.t. } n > x $$

Rule: The set of natural numbers is unbounded above in \mathbb{R}.

Application: Used to eliminate bounds options for unbounded sequences/sets.

Density of Q and R \setminus Q

$$ \forall a, b \in \mathbb{R} \text{ with } a < b, \exists r \in \mathbb{Q}, s \in \mathbb{R}\setminus\mathbb{Q} \text{ s.t. } a < r < b, a < s < b $$

Rule: Between any two real numbers, infinitely many rational and irrational numbers exist.

Common errors and counterexamples

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

⚠️ COMMON ERROR #01

Confusing Maximum with Supremum

Common Pitfall: Assuming that every bounded set above must contain its supremum (i.e., a maximum).

Counterexample: Set $S = (0, 1)$, where $\sup S = 1$, but $1 \notin S$.

Why it fails: The supremum of a set may lie outside the set itself if the set is open on the upper end.

🛡️ Exam Defense: Always check if the boundary point belongs to the set before declaring it a maximum.

⚠️ COMMON ERROR #02

Assuming Rational Completeness

Common Pitfall: Applying completeness arguments directly inside the field of rational numbers \mathbb{Q}.

Counterexample: Set $S = \{x \in \mathbb{Q} : x^2 < 2 \}$

Why it fails: Although bounded above in \mathbb{Q}$, its supremum $\sqrt{2}$ does not exist in \mathbb{Q}.

🛡️ Exam Defense: Remember that \mathbb{Q} is not complete; completeness is an exclusive axiom of \mathbb{R}.

Comparison

Concept / Theorem	Hypotheses / Assumptions	Key Formula / Outcome	Geometric Meaning	Exam Identification Clue
Field Axioms	Set \mathbb{R} with +, \cdot	Ring/Field laws hold	Algebraic consistency	Basic arithmetic manipulation
Order Axioms	Relation \le	Trichotomy & Monotonicity	Linear arrangement on a line	Inequality solving
Completeness Axiom	Non-empty & bounded above	\exists \sup S \in \mathbb{R}	No gaps on the real line	Supremum/infimum existence questions
Archimedean Property	x, y \in \mathbb{R} with y > 0	\exists n \in \mathbb{N} \text{ s.t. } ny > x	Unboundedness of \mathbb{N}	Limit bounds and epsilon proofs

Solved examples

Each problem includes a full solution and a shorter method:

CANONICAL PROBLEM 01 Dual-Method Breakdown

Find the supremum of the set $S = \left\{ 1 - \frac{1}{n} : n \in \mathbb{N} \right\}$.

(A) 0(B) 1(C) \infty(D) Does not exist

📚 Method A: Formal Textbook Derivation

Step 1: Observe elements $0, \frac{1}{2}, \frac{2}{3}, \dots$. Step 2: Clearly bounded above by 1. Step 3: For any $\epsilon > 0$, choose $n$ large enough such that $1 - \frac{1}{n} > 1 - \epsilon$. Thus 1 is the least upper bound.

⚡ Method B: 25-Second Exam Shortcut

Evaluate $\lim_{n \to \infin} \left(1 - \frac{1}{n}\right) = 1$, which gives the supremum for monotonic sequences.

💡 Tip: For standard sequence-generated sets, the limit as $n \to \infty$ often gives the supremum or infimum.

CANONICAL PROBLEM 02 Dual-Method Breakdown

If $A$ and $B$ are non-empty bounded subsets of \mathbb{R}$, what is $\sup(A + B)$ where $A + B = \{a + b : a \in A, b \in B\}$?

(A) \sup A \cdot \sup B(B) \sup A - \sup B(C) \sup A + \sup B(D) \max(\sup A, \sup B)

📚 Method A: Formal Textbook Derivation

Let $s_1 = \sup A$ and $s_2 = \sup B$. For any $a \in A, b \in B$, $a + b \le s_1 + s_2$, so $s_1 + s_2$ is an upper bound for $A + B$. By approximating elements within $\epsilon$, equality is established.

⚡ Method B: 25-Second Exam Shortcut

The supremum of a sum of sets is the sum of their suprema: $\sup(A+B) = \sup A + \sup B$.

💡 Tip: Direct standard theorem statement frequently tested in UP PGT.

Practice questions

Choose an answer to check it and see the solution:

MCQ 1: Which of the following is true for the set of rational numbers \mathbb{Q}?

A It is a complete ordered field

B It satisfies the least upper bound property

C It is an ordered field but not complete

D It possesses no order relation

Derivation & Analysis:

\mathbb{Q} satisfies field and order axioms, but fails the completeness axiom (e.g., bounded sets like \{x \in \mathbb{Q} : x^2 < 2\} have no supremum in \mathbb{Q}).

MCQ 2: The infimum of the set $S = \left\{ \frac{1}{n} : n \in \mathbb{N} \right\}$ is:

A 1

B 0

C $\frac{1}{2}$

D Does not exist

Derivation & Analysis:

The set consists of positive terms decreasing toward 0. Since 0 is a lower bound and any number greater than 0 fails to be a lower bound, $\inf S = 0$.

MCQ 3: If $S = (0, 1)$, then $\sup S - \inf S$ equals:

A 0

B 1

C -1

D $\infty$

Derivation & Analysis:

For $S = (0, 1)$, $\sup S = 1$ and $\inf S = 0$. Thus $\sup S - \inf S = 1 - 0 = 1$.

MCQ 4: The Archimedean property of \mathbb{R}$ implies that for any positive real numbers $x$ and $y$:

A $\exists n \in \mathbb{N} \text{ such that } nx > y$

B $nx < y \forall n \in \mathbb{N}$

C $x > ny \forall n \in \mathbb{N}$

D nx = y for some n

Derivation & Analysis:

By the Archimedean property, given any $y > 0$ and $x > 0$, we can always find a natural number $n$ large enough such that $nx > y$.

MCQ 5: If $A$ and $B$ are non-empty bounded subsets of \mathbb{R}$ such that $A \subseteq B$, then:

A $\sup$ A $\ge$ $\sup$ B

B $\sup$ A $\le$ $\sup$ B

C $\inf$ A $\le$ $\inf$ B

D $\sup A = \inf B$

Derivation & Analysis:

Since every upper bound of $B$ is also an upper bound of $A$, the least upper bound of $A$ must be less than or equal to the least upper bound of $B$.

MCQ 6: Which of the following sets does not have a supremum in \mathbb{R}?

A $\{x \in \mathbb{R} : x < 5\}$

B $\{x \in \mathbb{R} : x^2 < 4\}$

C $\{n \in \mathbb{N} : n < 100\}$

D $\{x \in \mathbb{R} : x > 0\}$

Derivation & Analysis:

The set $\{x \in \mathbb{R} : x > 0\}$ is not bounded above in \mathbb{R}$, hence it does not possess a supremum in \mathbb{R} (or its supremum is considered $+\infty$).

MCQ 7: The supremum of the set $S = \left\{ (-1)^n \left(1 + \frac{1}{n}\right) : n \in \mathbb{N} \right\}$ is:

A 1

B $\frac{3}{2}$

C 2

D Does not exist

Derivation & Analysis:

For odd $n$, terms are $-(1 + 1/n)$ approaching $-1$. For even $n$, terms are $1 + 1/n$, with the maximum at $n=2$ giving $1 + 1/2 = 3/2$. Thus the supremum is $3/2$.

MCQ 8: Between any two distinct real numbers, there exist:

A Only rational numbers

B Only irrational numbers

C Infinitely many rational and irrational numbers

D A finite number of real numbers

Derivation & Analysis:

Due to the density property of both \mathbb{Q}$ and \mathbb{R}\setminus\mathbb{Q}$ in \mathbb{R}$, infinitely many rational and irrational numbers lie between any two distinct reals.

MCQ 9: If $S$ is a non-empty bounded subset of \mathbb{R}$ and $c > 0$, let $cS = \{cs : s \in S\}$. Then $\inf(cS)$ is equal to:

A $c \inf S$

B $\inf S$

C $c \sup S$

D $-c \inf S$

Derivation & Analysis:

Multiplying a set by a positive scalar $c > 0$ scales all lower bounds and elements proportionally, so $\inf(cS) = c \inf S$.

Q10

MCQ 10: The greatest lower bound of the set $S = \left\{ \frac{n}{n+1} : n \in \mathbb{N} \right\}$ is:

A 1

B 0

C $\frac{1}{2}$

D Does not exist

Derivation & Analysis:

For $n=1$, the element is $1/2$. As $n$ increases, $n/(n+1)$ increases toward 1. The smallest element is at $n=1$, which is $1/2$, hence $\inf S = 1/2$.

Common questions

Completeness guarantees that there are no 'gaps' in the number line. Without it, standard calculus concepts like limits, continuity, derivatives, and integration would break down because Cauchy sequences and bounded monotonic sequences would fail to converge.

A supremum is the least upper bound, which may or may not belong to the set. A maximum is a supremum that strictly belongs to the set. For example, in $(0, 1)$, the supremum is 1, but the maximum does not exist.

Evaluate the first few terms to check monotonicity and find the limit as $n \to \infty$. For monotonic sequences, the limit often gives the supremum or infimum.