Lecture Notes and Videos on Introduction to Analysis I
|
Copyright: I (Bala Krishnamoorthy) hold the copyright
for all lecture scribes/notes, documents, and other
materials including videos posted on these course web
pages. These materials might not be used for commercial
purposes without my consent.
|
Scribes from
all lectures so far (as a single big file)
| Lec | Date | Topic(s) | Scribe | Video |
| 1 |
Aug 19 |
syllabus,
notation for logical statements, contrapositive proof,
proof by contradiction, proof by induction
|
Scb1
|
Vid1
|
| 2 |
Aug 21 |
sets and operations, union, intersection, distributive laws, set
difference, De Morgan's laws, Cartesian product
|
Scb2
|
Vid2
|
| 3 |
Aug 26 |
problem on Cartesian product, families of sets, set
operations over families, functions, composition,
pre/image
|
Scb3
|
Vid3
|
| 4 |
Aug 28 |
pre/images commute with \(\cup,\cap\) or not (for
\(\cap\)), injective, surjective \(f\)'s, relation,
equivalence relation, partition
|
Scb4
|
Vid4
|
| 5 |
Sep 2 |
\(\{[x]\}_{x \in X}\) under \(\sim\) partitions \(X\),
equivalence classes of fruits, countability, Cartesian
product of countable sets
|
Scb5
|
Vid5
|
| 6 |
Sep 4 |
\(\mathbb{Q}\) is countable, \(\mathbb{R}\) is
uncountable, triangle inequality (two versions),
convergence, \(\{x_n\}\)\(\to\)\(a \Rightarrow\)\(
\{Mx_n\}\)\( \to\)\( Ma\)
|
Scb6
|
Vid6
|
| 7 |
Sep 9 |
convergence in \(\mathbb{R}^m\), continuity, \(f_i\)
continuous \(\Rightarrow f_1 + f_2 - f_3\) is,
\(g(x)\) continuous & \(g(a) \neq 0 \Rightarrow
1/g(x)\) is
|
Scb7
|
Vid7
|
| 8 |
Sep 11 |
completeness, bounded set, \(\mathbb{R}\) complete but
\(\mathbb{Q}\) is not, monotone/bounded sequence, sup,
inf, lim sup, lim inf
|
Scb8
|
Vid8
|
| 9 |
Sep 16 |
\(\lim\sup\)\(/\)\(\inf
a_n\)\(=\)\(b\)\(\Leftrightarrow\)\(\lim
a_n\)\(=\)\(b\), Cauchy sequences, continuity with
sequences, intermediate value theorem (IVT)
|
Scb9
|
Vid9
|
| 10 |
Sep 18 |
proof of the IVT, subsequence, Bolzano-Weierstrass
(BW) theorem in \(\mathbb{R}\), extreme value theorem
(EVT)
|
Scb10
|
Vid10
|
| 11 |
Sep 23 |
Rolle's theorem, mean value theorem:\(\,\exists c \in
[a,b]\)\(\,:\,\)\(f'(c)\)\(=\)\((f(b)-f(a)/(b-a)\),
metric spaces, taxicab distance
|
Scb11
|
Vid11
|
| 12 |
Sep 25 |
metric must be finite (\(d(x,y)\)\(<\)\(\infty\)),
metric spaces examples, distance between functions,
isometry, embedding
|
Scb12
|
Vid12
|
| 13 |
Sep 30 |
convergence in a metric space, \(\epsilon\)-\(\delta\)
& open ball definitions of continuity of \(f : X \to
Y,\) discrete metric space
|
Scb13
|
Vid13
|
| 14 |
Oct 2 |
interior, boundary, & exterior points; open and closed
sets, interior \(A^{\circ}\) and closure \(\bar{A}\)
of set \(A\), midterm review
|
Scb14
|
Vid14
|
| 15 |
Oct 7 |
Midterm exam
|
| 16 |
Oct 9 |
\(\overline{B}(\mathbf{a};r)\) closed,
\((\bar{A})^{\rm c}\)\(=\)\((A^c)^{\rm o}\),
continuity w/ open sets: \(\forall V\)\(\ni\)\(
f(x_0), \exists U\)\(\ni\)\(x_0 : f(U) \subseteq V\),
convergent\(\Rightarrow\)Cauchy
|
Scb16
|
Vid16
|
| 17 |
Oct 14 |
complete metric spaces, \((A,d_A)\)
complete\(\Leftrightarrow\)\(A \subset X\) closed,
contraction, Banach's fixed point theorem (BFPT)
|
Scb17
|
Vid17
|
| 18 |
Oct 16 |
BFPT problem, subsequence in \((X,d)\), compact subset
of \((X,d)\), compact\(\Rightarrow\)closed & bounded,
converse in \(\mathbb{R}^m\)
|
Scb18
|
Vid18
|
| 19 |
Oct 21 |
compact \(\Rightarrow\) complete, compact sets under
continuous \(f, f^{-1}\), EVT, \(K\) cpct
\(\Rightarrow\)\(f^{-1}(K)\) closed, totally bounded
|
Scb19
|
Vid19
|
| 20 |
Oct 23 |
totally bounded\(\Rightarrow\)bounded, open cover
property (OCP), OCP\(\Rightarrow\)compact,
\(f(x)\)\(=\)\(\sup\{r|B(x,r) \subset O\}\) continuous
|
Scb20
|
Vid20
|
| 21 |
Oct 28 |
OCP\(\Leftrightarrow\)compact, proof, problems using
OCP, pointwise and uniform continuity (same \(\delta\)
for all \(x\)) of functions
|
Scb21
|
Vid21
|
| 22 |
Oct 30 |
equicontinuous, \(\{f_n\}\) pointwise/uniform
convergence, continuous \(\{f_n(x)\}\)\(\to\)\(f(x)\)
uniformly\(\Rightarrow\)\(f(x)\) continuous
|
Scb22
|
Vid22
|
| 23 |
Nov 4 |
test for uniform convergence, \(\{\int f_n(x)\} \to
\int f(x)\), convergence of series of functions,
Weierstrass' M-test
|
Scb23
|
Vid23
|
| 24 |
Nov 6 |
differentiating series, space of bounded functions
\(B((X,Y),\rho)\), \(\rho(f,g) < \infty\), convergence
in \(B((X,y),\rho)\)
|
Scb24
|
Vid24
|
| |
Nov 11 |
No class (Veterans Day)
|
| 25 |
Nov 13 |
\(B(X,Y)\) complete when \(Y\) is,
\(C_b(X,Y)\)\(\subseteq\)\(B(X,Y)\) & closed, \(X\)
compact\(\Rightarrow\) continuous \(f:\)\(X \to Y\) is
bounded
|
Scb25
|
Vid25
|
| 26 |
Nov 18 |
Application to diff eqns, initial value problem (IVP),
uniformly Lipschitz, BFPT for IVP, multiple solutions
to IVP
|
Scb26
|
Vid26
|
| 27 |
Nov 20 |
dense subset, countable+dense
subset\(\Rightarrow\)separable, \(\mathbb{R}^n\)
separable,
compact\(\Rightarrow\)separable, Arzelà-Ascoli
thm (AAT)
|
Scb27
|
Vid27
|
| 28 |
Dec 2 |
AAT applications:
\(K\)\(\subseteq\)\(C(X,\mathbb{R}^m)\)
compact\(\Leftrightarrow\)closed, bounded, &
equicontinuous, \(C([0,1],\mathbb{R})\) not locally
compact
|
Scb28
|
Vid28
|
| 29 |
Dec 4 |
Cauchy-Schwarz inequality (CSI), \(\Delta\)-inequality
using CSI, equality in \(\Delta\)-ineq, Young's
inequality, convex function
|
Scb29
|
Vid29
|
Last modified: Thu Dec 04 23:16:07 PST 2025
|