math 104 midterm

160 flashcardsby an OutLearn student
Study these flashcardsFree · spaced repetition · iPhone, Android, Mac & web

All cards

1
[Def] $\beta$ is an upper bound of $E$ means...
$x \le \beta$ for every $x \in E$. NOT an upper bound: some $x \in E$ has $x > \beta$.
2
[Def] $\alpha = \sup E$: the two conditions
(i) $\alpha$ is an upper bound of $E$. (ii) If $\gamma < \alpha$, then $\gamma$ is not an upper bound: some $x \in E$ has $x > \gamma$. The sup may or may not be in $E$.
3
[Def] $\alpha = \inf E$: the two conditions
(i) $\alpha \le x$ for every $x \in E$ (lower bound). (ii) If $\gamma > \alpha$, some $x \in E$ has $x < \gamma$.
4
[Def] Least-upper-bound property of an ordered set $S$
EVERY nonempty $E \subseteq S$ that is bounded above has $\sup E$ in $S$. To show it fails: name ONE such $E$ with no sup in $S$. $\mathbb{R}$ has it, $\mathbb{Q}$ doesn't.
5
[Def] Ordered field: the two order axioms
(i) $y < z \Rightarrow x + y < x + z$. (ii) $x > 0$ and $y > 0 \Rightarrow xy > 0$.
6
[Def] Archimedean property (Rudin 1.20a)
If $x > 0$ and $y \in \mathbb{R}$, some $n \in \mathbb{N}$ has $nx > y$. Most-used form: choose $n > 1/x$, then $1/n < x$.
7
[Def] $\mathbb{Q}$ is dense in $\mathbb{R}$ (Rudin 1.20b)
If $x < y$ are real, some $p \in \mathbb{Q}$ has $x < p < y$.
8
[Def] Countable / at most countable / uncountable (Rudin)
Countable: a bijection $J \to A$, where $J = \{1, 2, 3, \dots\}$ (so countable sets are INFINITE). At most countable: finite or countable. Uncountable: neither.
9
[Def] Metric $d$ on $X$: the 3 conditions
(a) $d(p,q) > 0$ if $p \ne q$, and $d(p,p) = 0$. (b) $d(p,q) = d(q,p)$. (c) $d(p,q) \le d(p,r) + d(r,q)$.
10
[Def] Neighborhood (ball) $N_r(p)$
$N_r(p) = \{q \in X : d(p,q) < r\}$. In $\mathbb{R}$: the open interval $(p - r, p + r)$.
11
[Def] $p$ is a limit point of $E$
For EVERY $r > 0$, $N_r(p)$ contains a point $q \in E$ with $q \ne p$. ($p$ does not have to be in $E$.)
12
[Def] $p$ is NOT a limit point of $E$
There is ONE $r > 0$ such that $N_r(p)$ contains no point of $E$ other than (maybe) $p$.
13
[Def] Isolated point of $E$
$p \in E$ and $p$ is not a limit point of $E$.
14
[Def] $E$ is closed
Every limit point of $E$ is in $E$ ($E' \subseteq E$). Same thing: $E^c$ is open (Rudin 2.23).
15
[Def] $p$ is an interior point of $E$
There is SOME $r > 0$ with $N_r(p) \subseteq E$.
16
[Def] $p$ is NOT an interior point of $E$
For EVERY $r > 0$, $N_r(p)$ contains a point outside $E$.
17
[Def] $E$ is open
Every point of $E$ is an interior point of $E$.
18
[Def] Closure $\overline{E}$
$\overline{E} = E \cup E'$. It is closed, and it is the smallest closed set containing $E$ (Rudin 2.27).
19
[Def] $E$ is dense in $X$
Every point of $X$ is in $E$ or is a limit point of $E$. Not dense: some ball in $X$ misses $E$.
20
[Def] $E$ is bounded (metric space)
There are $M$ and $q \in X$ with $d(p,q) < M$ for every $p \in E$. In $\mathbb{R}$: $|x| \le M$ for all $x \in E$.
21
[Def] Open cover of $E$
A collection $\{G_\alpha\}$ of OPEN sets with $E \subseteq \bigcup_\alpha G_\alpha$. A subcover is some of the $G_\alpha$ that still cover $E$.
22
[Def] $K$ is compact
EVERY open cover of $K$ has a FINITE subcover.
23
[Def] $K$ is NOT compact
There is ONE open cover of $K$ with NO finite subcover. You get to choose that cover.
24
[Def] $A$ and $B$ are separated
$\overline{A} \cap B = \varnothing$ AND $A \cap \overline{B} = \varnothing$. Disjoint is not enough.
25
[Def] $E$ is connected
$E$ is NOT a union of two nonempty separated sets.
26
[Def] $p_n \to p$ (Def 3.1), all three quantifiers in order
$\forall \varepsilon > 0\ \exists N\ \forall n \ge N:\ d(p_n, p) < \varepsilon$. Order: ε first (not yours), then $N$ (yours, may depend on ε), then EVERY $n \ge N$.
27
[Def] $\{p_n\}$ does NOT converge to $p$
$\exists \varepsilon > 0\ \forall N\ \exists n \ge N:\ d(p_n, p) \ge \varepsilon$.
28
[Def] Subsequence of $\{p_n\}$
$p_{n_1}, p_{n_2}, p_{n_3}, \dots$ with $n_1 < n_2 < n_3 < \cdots$.
29
[Def] Monotonically increasing / decreasing
Increasing: $s_n \le s_{n+1}$ for all $n$. Decreasing: $s_n \ge s_{n+1}$ for all $n$.
30
[Def] Bounded sequence
Some $M$ has $|s_n| \le M$ for all $n$.
31
[Ball] Move 1: $q \in N_r(p)$. Give $q$ its own ball inside $N_r(p)$
$s = r - d(p,q) > 0$. If $d(q,x) < s$: $d(p,x) \le d(p,q) + d(q,x) < r$. So $N_s(q) \subseteq N_r(p)$.
32
[Ball] Move 2: $N_{r_A}(x) \subseteq A$ and $N_{r_B}(x) \subseteq B$. One ball inside both?
$r = \min\{r_A, r_B\} > 0$. Then $N_r(x) \subseteq A \cap B$.
33
[Ball] Move 3: keep a point $p$ away from a point $c$
$\delta = d(p,c)/2$ (or $/3$ for extra room). Then $N_\delta(p)$ and $N_\delta(c)$ don't overlap.
34
[Ball] Move 4: $s_n \to s$, and you have a ball $N_r(s)$
Def 3.1 with $\varepsilon = r$: some $N$ has $s_n \in N_r(s)$ for all $n \ge N$. Only finitely many terms are outside the ball.
35
[Ball] Move 5: only finitely many points $q_1, \dots, q_m \ne p$ of $E$ are in $N_\delta(p)$
$r = \min\{\delta, d(p,q_1), \dots, d(p,q_m)\} > 0$. Then $N_r(p)$ has no point of $E$ except $p$. Only works for FINITELY many points.
36
[Ball] Move 6: need a point $1/n$ inside $N_r(0)$
Choose $n > 1/r$ (Archimedean). Then $0 < 1/n < r$.
37
[Ball] HW3 P1: why HALF the distance to the nearest home base, not the full distance?
Full distance for $p = 1$ gives the ball $(0, 2)$, which reaches $0$: infinitely many $1/n$ get in, and you can't shrink past infinitely many. Half leaves a buffer, so only finitely many get in.
38
[Recipe] Step 0 on every problem
Circle the key word and write its definition with quantifiers. Line 1 comes from the hypothesis or a definition, never from the claim. One reason per line.
39
[Recipe] First line for 'for every $x$, $P(x)$'
Let $x$ be arbitrary. (You don't get to choose it.)
40
[Recipe] First line for 'there exists' / 'give an example'
Let $x = $ (your choice). Then check it works.
41
[Recipe] Prove $A \subseteq B$, prove $A = B$
Let $x \in A$ ... so $x \in B$. For $A = B$: prove both inclusions.
42
[Recipe] Ordered-field inequality, e.g. $a > 1 \Rightarrow \sqrt{a} < a$
Name the messy thing: $b = \sqrt{a}$, so $b > 0$, $b^2 = a$. Multiply only by things shown positive. Suppose $b \le 1$: then $b^2 \le b$, so $a \le 1$, contradiction. So $b > 1$, multiply by $b > 0$: $b < b^2 = a$.
43
[Recipe] Prove $\sup E = \alpha$
Two parts. (i) Let $x \in E$, show $x \le \alpha$. (ii) Let $\gamma < \alpha$, find $x \in E$ with $x > \gamma$ (often by Archimedean). Or (ii'): let $\beta$ be any upper bound, show $\alpha \le \beta$.
44
[Recipe] Prove a set is countable: 4 routes
(1) Bijection from $J$ (or $\mathbb{Z}$) AND write its inverse. (2) Countable union of countable sets (2.12). (3) Infinite subset of a countable set (2.8). (4) Tuples from a countable set (2.13).
45
[Recipe] Prove a set is uncountable: 3 routes
(1) It contains an uncountable set (an interval). (2) Its complement in $\mathbb{R}$ is countable, so if it were countable, $\mathbb{R}$ would be too (irrationals, HW2 P4). (3) Cantor diagonal: list it, change the $n$-th digit of the $n$-th entry.
46
[Recipe] Prove $(A \cap B)^\circ = A^\circ \cap B^\circ$
Two inclusions. ($\subseteq$) The ball inside $A \cap B$ is inside $A$ and inside $B$. ($\supseteq$) Balls of radius $r_A$ in $A$ and $r_B$ in $B$, $r = \min\{r_A, r_B\}$ gives a ball inside $A \cap B$.
47
[Recipe] Show $p$ IS a limit point of $E$
Let $r > 0$ (arbitrary). Build $q \in E$ with $q \ne p$ and $d(p,q) < r$. Usually: choose $n > 1/r$, take $q = p + 1/n$.
48
[Recipe] Show $E$ is closed: 3 ways
(1) Every limit point of $E$ is in $E$. (2) $E^c$ is open: for $p \notin E$ find $r > 0$ with $N_r(p) \cap E = \varnothing$. (3) Build it from closed sets: finite unions, any intersections, finite sets are closed.
49
[Recipe] Show $(0,1)$ is NOT compact
$U_n = (1/n, 1)$, $n \ge 2$. Covers: for $x \in (0,1)$ pick $n$ with $1/n < x$. Any finite pick has union $U_N$ ($N$ = largest index, nested), which misses $1/(2N)$.
50
[Recipe] NOT compact: bad cover for $[0, \infty)$ or $\mathbb{Z}$
$U_n = (-n, n)$. Any finite pick sits inside $U_N$, which misses the point $N$.
51
[Recipe] Prove $K = \{0\} \cup \{1/n\}$ is compact FROM THE DEFINITION
Let $\{G_\alpha\}$ be ANY open cover. $0 \in G_{\alpha_0}$, which is open, so $(-\delta, \delta) \subseteq G_{\alpha_0}$. Choose $N > 1/\delta$: every $1/n$ with $n \ge N$ is in $G_{\alpha_0}$. Add one set for each of $1, 1/2, \dots, 1/(N-1)$. Finite subcover.
52
[Recipe] Prove compact using Heine-Borel
Only in $\mathbb{R}^k$. Show bounded (e.g. convergent ⇒ bounded, 3.2c) AND closed (complement open, ball moves). Cite Heine-Borel (2.41).
53
[Recipe] $c_n \to c$. Show $K = \{c\} \cup \{c_n\}$ is closed
Let $p \notin K$, $\delta = |p - c|/3$. Tail: $|c_n - c| < \delta$ for $n \ge N$, so $|p - c_n| > 2\delta$. Early terms: finitely many, all $\ne p$. $r = \min\{\delta, \frac{1}{2}|p - c_1|, \dots, \frac{1}{2}|p - c_{N-1}|\}$. Then $N_r(p)$ misses $K$.
54
[Recipe] Show $E \subseteq \mathbb{R}$ is NOT connected
Cut at a point $t \notin E$ with points of $E$ on both sides: $A = E \cap (-\infty, t)$, $B = E \cap (t, \infty)$. Both nonempty and separated.
55
[Recipe] Which subsets of $\mathbb{R}$ are connected?
Exactly the intervals: if $x, y \in E$ and $x < z < y$, then $z \in E$ (Rudin 2.47).
56
[Recipe] Using 'E is connected' as a hypothesis
Suppose $E = A \cup B$ with $A$, $B$ separated. Show one of them must be empty.
57
[Recipe] ε-N by the definition: the 5 steps
(1) Scratch: bound $|s_n - s| \le C/n$ (top bigger, bottom smaller). (2) Let $\varepsilon > 0$. (3) Choose $N > C/\varepsilon$ (Archimedean). (4) For $n \ge N$: $|s_n - s| \le C/n \le C/N < \varepsilon$. (5) So $s_n \to s$.
58
[Recipe] Bound $\frac{2n+3}{8n^3+n^2}$ for an ε-N proof
Top: $2n + 3 \le 5n$. Bottom: $8n^3 + n^2 \ge 8n^3$. So it's $\le \frac{5}{8n^2} \le \frac{1}{n}$. Choose $N > 1/\varepsilon$.
59
[Recipe] ε-N: the bottom has a minus sign, e.g. $n^2 - 4$
Keep half: $n^2 - 4 \ge n^2/2$ once $n \ge 3$. Then take $N = \max\{3, \dots\}$.
60
[Recipe] Limits like $\sqrt{n^2 + n} - n$
Multiply by the conjugate: $\sqrt{n^2+n} - n = \frac{n}{\sqrt{n^2+n} + n}$. (HW5 P4: the limit is $1/2$.)
61
[Recipe] You're GIVEN $s_n \to s$. Prove something else converges
Let $\varepsilon > 0$. Use the hypothesis with that $\varepsilon$ to get $N$. Show the new quantity is $< \varepsilon$ for all $n \ge N$ (usually the triangle inequality).
62
[Recipe] Prove $(-1)^n$ diverges
Suppose $s_n \to s$. Take $\varepsilon = 1$ (half the gap). For $n \ge N$: $2 = |s_{n+1} - s_n| \le |s_{n+1} - s| + |s - s_n| < 1 + 1 = 2$. Contradiction.
63
[Recipe] Recursive sequence: prove it converges
Bounded: induction. Monotone: induction. Then monotone + bounded ⇒ converges (3.14). Increasing ⇒ the limit is the sup.
64
[Recipe] Is $d$ a metric?
Check (a) positive off the diagonal and $0$ on it, (b) symmetric, (c) triangle inequality, usually by cases.
65
[Recipe] Discrete metric ($d = 1$ if $p \ne q$, $0$ if $p = q$): which sets are open? closed?
$N_{1/2}(p) = \{p\}$, so every set is open, so every set is also closed. Every point is isolated.
66
[Recipe] Triangle inequality and its reverse
$|a + b| \le |a| + |b|$. Reverse: $\big||a| - |b|\big| \le |a - b|$.
67
[Recipe] Why doesn't L'Hopital count on 'using the definition' problems?
It's a calculus rule, not Def 3.1. The definition means: let $\varepsilon > 0$, choose $N$, check every $n \ge N$.
68
[Why] PMT 1(a), $a > 1 \Rightarrow \sqrt{a} < a$ · Line: Let $b = \sqrt{a}$. Then $b > 0$ and $b^2 = a$.
Rudin 1.21: positive square roots exist. Turns the goal into $b < b^2$.
69
[Why] PMT 1(a), $a > 1 \Rightarrow \sqrt{a} < a$ · Line: Suppose $b \le 1$. Then $b^2 \le b$.
Multiply by $b > 0$: a positive multiplier keeps the direction (1.18). Then $a = b^2 \le b \le 1$ contradicts $a > 1$.
70
[Why] PMT 1(a), $a > 1 \Rightarrow \sqrt{a} < a$ · Line: $b < b^2 = a$.
$b > 1$ (from the contradiction), multiplied by $b > 0$ (1.18).
71
[Why] HW1 P3, $\inf A = -\sup(-A)$ · Line: If $\ell$ is a lower bound of $A$, then $-\ell$ is an upper bound of $-A$.
$\ell \le x \Rightarrow -x \le -\ell$: multiplying by $-1$ flips the inequality.
72
[Why] HW1 P3, $\inf A = -\sup(-A)$ · Line: $s = \sup(-A)$ exists.
LUB property of $\mathbb{R}$: $-A$ is nonempty and bounded above.
73
[Why] HW1 P3, $\inf A = -\sup(-A)$ · Line: $-s$ is a lower bound of $A$.
For $x \in A$: $-x \le s$ ($s$ is an upper bound of $-A$), so $-s \le x$.
74
[Why] HW1 P3, $\inf A = -\sup(-A)$ · Line: If $c$ is any lower bound of $A$, then $c \le -s$.
$-c$ is an upper bound of $-A$, and $s$ is the LEAST one, so $s \le -c$.
75
[Why] PMT 1(b), $\mathbb{Q} = \bigcup_n S_n$ is countable · Line: $p \mapsto p/q$ is a bijection $\mathbb{Z} \to \{p/q : p \in \mathbb{Z}\}$.
Its inverse is $r \mapsto rq$. Writing the inverse IS the proof.
76
[Why] PMT 1(b), $\mathbb{Q} = \bigcup_n S_n$ is countable · Line: Each $S_n$ is countable.
$S_n$ is a finite union of the countable sets $\{p/q : p \in \mathbb{Z}\}$, $q = 1, \dots, n$ (2.12).
77
[Why] PMT 1(b), $\mathbb{Q} = \bigcup_n S_n$ is countable · Line: $r = p/q \in S_q$.
Membership rule of $S_n$ with $n = q$ ($1 \le q \le q$). That's the $\mathbb{Q} \subseteq \bigcup S_n$ direction.
78
[Why] PMT 1(b), $\mathbb{Q} = \bigcup_n S_n$ is countable · Line: $\mathbb{Q}$ is countable.
$\mathbb{Q} = \bigcup_n S_n$, a countable union of countable sets (2.12).
79
[Why] PMT 2(a), $(A \cap B)^\circ = A^\circ \cap B^\circ$ · Line: ($\subseteq$) $N_r(x) \subseteq A \cap B$, so $N_r(x) \subseteq A$ and $N_r(x) \subseteq B$.
$A \cap B$ sits inside $A$ and inside $B$: the same ball works for both. So $x \in A^\circ \cap B^\circ$.
80
[Why] PMT 2(a), $(A \cap B)^\circ = A^\circ \cap B^\circ$ · Line: ($\supseteq$) Let $r = \min\{r_A, r_B\}$.
Move 2: the smaller ball fits inside $N_{r_A}(x) \subseteq A$ and $N_{r_B}(x) \subseteq B$, so inside $A \cap B$.
81
[Why] PMT 2(b), open cover of $(0,1)$ with no finite subcover · Line: The sets $U_n = (1/n, 1)$ cover $(0,1)$.
For $x \in (0,1)$, Archimedean gives $n$ with $1/n < x$, so $x \in U_n$.
82
[Why] PMT 2(b), open cover of $(0,1)$ with no finite subcover · Line: A finite subcollection has union $U_N$, $N$ = the largest index.
Nested: $n \le m \Rightarrow U_n \subseteq U_m$, since $1/m \le 1/n$.
83
[Why] PMT 2(b), open cover of $(0,1)$ with no finite subcover · Line: $1/(2N) \notin U_N$.
$1/(2N) < 1/N$, yet $1/(2N) \in (0,1)$. So no finite subcover.
84
[Why] HW4 P1, $K = \{0\} \cup \{1/n\}$ compact by definition · Line: Let $\{G_\alpha\}$ be any open cover of $K$.
Compact = EVERY open cover has a finite subcover. 'For all' means arbitrary: you don't choose it.
85
[Why] HW4 P1, $K = \{0\} \cup \{1/n\}$ compact by definition · Line: $(-\delta, \delta) \subseteq G_{\alpha_0}$.
$0 \in G_{\alpha_0}$ and $G_{\alpha_0}$ is open, so $0$ is an interior point.
86
[Why] HW4 P1, $K = \{0\} \cup \{1/n\}$ compact by definition · Line: $1/n \in G_{\alpha_0}$ for every $n \ge N$.
Chose $1/N < \delta$ (Archimedean), $n \ge N \Rightarrow 0 < 1/n \le 1/N < \delta$.
87
[Why] HW4 P1, $K = \{0\} \cup \{1/n\}$ compact by definition · Line: $G_{\alpha_0}, G_{\alpha_1}, \dots, G_{\alpha_{N-1}}$ cover $K$.
$G_{\alpha_0}$ takes $0$ and the tail, one set each for the finitely many points $1, \dots, 1/(N-1)$. Finite subcover.
88
[Why] PMT 3(a), $b_n = \frac{2n+3}{8n^3+n^2} \to 0$ by definition · Line: $2n + 3 \le 5n$ and $8n^3 + n^2 \ge 8n^3$.
Top bigger ($3 \le 3n$), bottom smaller (drop $n^2$). Bigger top + smaller bottom = bigger fraction.
89
[Why] PMT 3(a), $b_n = \frac{2n+3}{8n^3+n^2} \to 0$ by definition · Line: Let $\varepsilon > 0$.
Def 3.1 starts with 'for every ε': it's arbitrary. You don't pick it.
90
[Why] PMT 3(a), $b_n = \frac{2n+3}{8n^3+n^2} \to 0$ by definition · Line: Choose $N \in \mathbb{N}$ with $N > 1/\varepsilon$.
Archimedean (1.20a). $N$ is allowed to depend on $\varepsilon$.
91
[Why] PMT 3(a), $b_n = \frac{2n+3}{8n^3+n^2} \to 0$ by definition · Line: For $n \ge N$: $|b_n - 0| \le 1/n \le 1/N < \varepsilon$.
The bound $b_n \le 1/n$, $n \ge N \Rightarrow 1/n \le 1/N$, the choice of $N$. That's Def 3.1.
92
[Why] PMT 3(b), $c_n \to c \Rightarrow K = \{c\} \cup \{c_n\}$ compact · Line: $K$ is bounded.
$\{c_n\}$ converges, so it's bounded (3.2c). Adding one point $c$ keeps it bounded.
93
[Why] PMT 3(b), $c_n \to c \Rightarrow K = \{c\} \cup \{c_n\}$ compact · Line: $\delta = |p - c|/3 > 0$.
$p \notin K$, so $p \ne c$. Dividing by 3 leaves room (Move 3).
94
[Why] PMT 3(b), $c_n \to c \Rightarrow K = \{c\} \cup \{c_n\}$ compact · Line: $|p - c_n| > 2\delta$ for $n \ge N$.
Reverse triangle: $|p - c_n| \ge |p - c| - |c_n - c| > 3\delta - \delta$.
95
[Why] PMT 3(b), $c_n \to c \Rightarrow K = \{c\} \cup \{c_n\}$ compact · Line: $r = \min\{\delta, \frac{1}{2}|p - c_1|, \dots, \frac{1}{2}|p - c_{N-1}|\} > 0$.
Min of FINITELY many positive numbers is positive (Move 5). Each $|p - c_k| > 0$ since $p \notin K$.
96
[Why] PMT 3(b), $c_n \to c \Rightarrow K = \{c\} \cup \{c_n\}$ compact · Line: $K$ is compact.
Closed and bounded in $\mathbb{R}$, so Heine-Borel (2.41).
97
[Why] HW3 P4(a), $E^\circ$ is open · Line: $s = r - d(p,q) > 0$ and $N_s(q) \subseteq N_r(p)$.
Triangle inequality: $d(p,x) \le d(p,q) + d(q,x) < d(p,q) + s = r$ (Move 1).
98
[Why] HW5 P1(b), disjoint open sets are separated · Line: $a \in A$ is not in $\overline{B}$.
$A$ is open, so $N_r(a) \subseteq A$, which misses $B$ ($A \cap B = \varnothing$). So $a \notin B$ and $a$ isn't a limit point of $B$.
99
[Why] PMT T/F 6, closure of a connected set is connected · Line: $E \subseteq A$, so $\overline{E} \subseteq \overline{A}$.
$\overline{A}$ is closed and contains $E$, $\overline{E}$ is the smallest closed set containing $E$ (2.27). Then $B \subseteq \overline{A}$ forces $B = \varnothing$.
100
[Why] HW5 P3, $s_n \to s \Rightarrow |s_n| \to |s|$ · Line: $\big||s_n| - |s|\big| \le |s_n - s| < \varepsilon$ for $n \ge N$.
Reverse triangle inequality, then the hypothesis $s_n \to s$ with the same $\varepsilon$.
101
[Why] HW5 P5, $s_1 = \sqrt{2}$, $s_{n+1} = \sqrt{2 + \sqrt{s_n}}$ · Line: $s_n < 2$ for all $n$.
Induction: $s_1 = \sqrt{2} < 2$, if $s_n < 2$, then $s_{n+1} < \sqrt{2 + \sqrt{2}} < \sqrt{4} = 2$.
102
[Why] HW5 P5, $s_1 = \sqrt{2}$, $s_{n+1} = \sqrt{2 + \sqrt{s_n}}$ · Line: $\{s_n\}$ converges.
Increasing (induction) and bounded above by 2, so it converges (3.14).
103
[T/F] Every finite ordered set has the least-upper-bound property.
TRUE. Every nonempty subset has a largest element, and that's its sup.
104
[T/F] If $E \subseteq \mathbb{R}$ is nonempty and bounded above, then $\sup E \in E$.
FALSE. $E = (0,1)$: $\sup E = 1 \notin E$. (A finite set won't work: its sup is its max.)
105
[T/F] $\mathbb{Q}$ has the least-upper-bound property.
FALSE. $\{p \in \mathbb{Q} : p^2 < 2\}$ is bounded above but has no least rational upper bound (Rudin 1.1).
106
[T/F] Between any two distinct real numbers there is a rational number.
TRUE. Density, Rudin 1.20(b).
107
[T/F] Between any two distinct real numbers there is an irrational number.
TRUE. Pick rational $q$ with $x - \sqrt{2} < q < y - \sqrt{2}$, then $q + \sqrt{2}$ is irrational and lies between $x$ and $y$.
108
[T/F] If $\alpha = \sup E$, then for every $\varepsilon > 0$ some $x \in E$ has $x > \alpha - \varepsilon$.
TRUE. $\alpha - \varepsilon < \alpha$, so it is not an upper bound (Def 1.8(ii)).
109
[T/F] In an ordered field, $x < y$ and $z < 0$ imply $xz < yz$.
FALSE. $x = 0$, $y = 1$, $z = -1$: $xz = 0 > -1 = yz$. Negatives flip.
110
[T/F] $\mathbb{Z}$ is countable.
TRUE. List it $0, 1, -1, 2, -2, \dots$ (Rudin Ex. 2.5).
111
[T/F] $\mathbb{Q}$ is countable.
TRUE. A countable union of countable sets $S_n$ (PMT 1b), or Rudin 2.13.
112
[T/F] Every infinite subset of a countable set is countable.
TRUE. Rudin 2.8.
113
[T/F] Every subset of a countable set is countable.
FALSE. $\{1\} \subseteq \mathbb{N}$ is finite: at most countable, not countable (Rudin's sense).
114
[T/F] A countable union of countable sets is countable.
TRUE. Rudin 2.12.
115
[T/F] Every infinite subset of $\mathbb{R}$ is uncountable.
FALSE. $\mathbb{N}$ (or $\mathbb{Q}$).
116
[T/F] Every uncountable subset of $\mathbb{R}$ is dense in $\mathbb{R}$.
FALSE. $[0,1]$: the interval $(2,3)$ contains none of its points.
117
[T/F] The set of irrational numbers is countable.
FALSE. Then $\mathbb{R} = \mathbb{Q} \cup$ (irrationals) would be countable (HW2 P4).
118
[T/F] Every limit point of $E$ belongs to $E$.
FALSE. $E = (0,1)$: $0$ is a limit point, not in $E$. (True exactly when $E$ is closed.)
119
[T/F] In ANY metric space, every interior point of $E$ is a limit point of $E$.
FALSE. $X = \mathbb{Z}$, $E = \{0\}$: $N_{1/2}(0) = \{0\} \subseteq E$, so $0$ is interior, but no other points are nearby.
120
[T/F] In $\mathbb{R}$, every interior point of $E$ is a limit point of $E$.
TRUE. $(p - r, p + r) \subseteq E$, so every ball around $p$ holds points of $E$ other than $p$.
121
[T/F] The intersection of infinitely many open sets is open.
FALSE. $\bigcap_n (-1/n, 1/n) = \{0\}$. (Finite intersections: TRUE, 2.24.)
122
[T/F] The union of infinitely many closed sets is closed.
FALSE. $\bigcup_n [1/n, 1] = (0, 1]$. (Finite unions: TRUE.)
123
[T/F] Any union of open sets is open.
TRUE. Rudin 2.24(a).
124
[T/F] Any intersection of closed sets is closed.
TRUE. Rudin 2.24(b).
125
[T/F] A subset of a metric space can be both open and closed.
TRUE. $\varnothing$ and $X$, every set in the discrete metric.
126
[T/F] Every finite subset of a metric space is closed.
TRUE. Finite sets have no limit points (2.20).
127
[T/F] $E'$ (the set of limit points of $E$) is closed.
TRUE. HW3 P2.
128
[T/F] $E$ and $E'$ always have the same limit points.
FALSE. $E = \{1/n\}$: $E' = \{0\}$, but $\{0\}$ has no limit points (HW3 P2).
129
[T/F] $(A \cup B)^\circ = A^\circ \cup B^\circ$ for all $A, B \subseteq \mathbb{R}$.
FALSE. $A = [0,1]$, $B = [1,2]$: $1 \in (A \cup B)^\circ = (0,2)$, but $1 \notin (0,1) \cup (1,2)$. (The $\cap$ version is TRUE.)
130
[T/F] $(A \cap B)^\circ = A^\circ \cap B^\circ$.
TRUE. PMT 2(a): take the min of the two radii.
131
[T/F] The closure of $\bigcup_{i=1}^\infty A_i$ equals $\bigcup_{i=1}^\infty \overline{A_i}$.
FALSE. $A_i = \{1/i\}$: $0$ is in the closure of the union but not in $\bigcup \{1/i\}$ (HW3 P3). For finite unions: TRUE.
132
[T/F] Every finite subset of a metric space is compact.
TRUE. Pick one cover set per point.
133
[T/F] Every bounded subset of $\mathbb{R}$ is compact.
FALSE. $(0,1)$, with the cover $U_n = (1/n, 1)$.
134
[T/F] Every closed subset of $\mathbb{R}$ is compact.
FALSE. $\mathbb{Z}$ or $[0,\infty)$, with the cover $U_n = (-n, n)$.
135
[T/F] In ANY metric space, closed and bounded implies compact.
FALSE. $E = \{p \in \mathbb{Q} : 2 < p^2 < 3\}$ inside $X = \mathbb{Q}$ (HW4 P4). Heine-Borel is for $\mathbb{R}^k$ only.
136
[T/F] The union of two compact sets is compact.
TRUE. Put the two finite subcovers together (PMT T/F 5).
137
[T/F] The intersection of two compact sets is compact.
TRUE. $K_1 \cap K_2$ is closed (compact ⇒ closed, 2.34) and sits inside compact $K_1$ (2.35).
138
[T/F] A closed subset of a compact set is compact.
TRUE. Rudin 2.35.
139
[T/F] Compact subsets of a metric space are closed.
TRUE. Rudin 2.34.
140
[T/F] Every infinite subset of a compact set $K$ has a limit point in $K$.
TRUE. Rudin 2.37.
141
[T/F] $\{0\} \cup \{1/n : n \in \mathbb{N}\}$ is compact.
TRUE. HW4 P1 (or closed + bounded, Heine-Borel).
142
[T/F] Disjoint sets are always separated.
FALSE. $[0,1]$ and $(1,2)$: $1 \in [0,1]$ is a limit point of $(1,2)$ (Rudin 2.46).
143
[T/F] Two disjoint open sets are separated.
TRUE. HW5 P1(b). Disjoint closed sets too (P1(a)).
144
[T/F] The union of two connected subsets of $\mathbb{R}$ is connected.
FALSE. $[0,1] \cup [2,3]$.
145
[T/F] $\mathbb{Q}$ is connected.
FALSE. $\mathbb{Q} \cap (-\infty, \sqrt{2})$ and $\mathbb{Q} \cap (\sqrt{2}, \infty)$ separate it.
146
[T/F] Every interval in $\mathbb{R}$ is connected.
TRUE. Rudin 2.47.
147
[T/F] The closure of a connected set is connected.
TRUE. PMT T/F 6 / HW5 P2.
148
[T/F] The interior of a connected set is connected.
FALSE. $[-1,0]^2 \cup [0,1]^2$ in $\mathbb{R}^2$: its interior is two separate open squares (HW5 P2).
149
[T/F] Every bounded sequence of real numbers converges.
FALSE. $(-1)^n$.
150
[T/F] Every bounded monotone sequence of real numbers converges.
TRUE. Rudin 3.14.
151
[T/F] Every convergent sequence is bounded.
TRUE. Rudin 3.2(c).
152
[T/F] If $\{|x_n|\}$ converges, then $\{x_n\}$ converges.
FALSE. $x_n = (-1)^n$: $|x_n| = 1$ converges, $x_n$ doesn't. (The other direction is TRUE, HW5 P3.)
153
[T/F] Every subsequence of a divergent sequence is divergent.
FALSE. $(-1)^n$ diverges, but the subsequence $x_{2n} = 1$ converges.
154
[T/F] If $s_n \to s$, then every subsequence of $\{s_n\}$ converges to $s$.
TRUE. The same $N$ works, since $n_k \ge k$.
155
[T/F] If $s_n > 0$ for all $n$ and $s_n \to s$, then $s > 0$.
FALSE. $1/n \to 0$. (You only get $s \ge 0$.)
156
[T/F] If $\{s_n t_n\}$ converges, then $\{s_n\}$ and $\{t_n\}$ both converge.
FALSE. $s_n = t_n = (-1)^n$: the product is always $1$.
157
[T/F] If $\{s_n^2\}$ converges, then $\{s_n\}$ converges.
FALSE. $s_n = (-1)^n$.
158
[T/F] Every sequence in $[0,1]$ has a convergent subsequence.
TRUE. $[0,1]$ is compact (3.6).
159
[T/F] A sequence of real numbers can converge to two different limits.
FALSE. Limits are unique (3.2(b)).
160
[T/F] If $p_n \in E$ for all $n$ and $p_n \to p$, then $p \in E$.
FALSE. $1/n \in (0,1]$, but the limit $0 \notin (0,1]$. (TRUE if $E$ is closed.)
Study all 160 cards for free