Review
Limit Proofs of Sequences
. A very helpful technique for proving the limit of some sequence where it is really hard to isolate n can be the following:
Example: say you want to prove the limit of . It would be hard to isolate to find such an .
Hence bound the sequence by something easier i.e. . Thus . Building off this technique we know the denominator . Hence .Then from here you can easily find an s.t. the limit definition holds. This technique is displayed in Ross page 40 - 41.
See Ross textbook chapter 9 for useful limit properties and theorems.
Sequences
Topology
. The empty set is considered to be finite
. Thm 2.6 ~ Rudin Although a finite set cannot be equivalent to one of its proper subsets, this is possible for infinite sets.
Definition of a Metric Space (Condensed - ish):
. A K-cell is convex and compact
. Thm 2.19 ~ Rudin Every neighborbood is an open set
. Thm 2.23 ~ Rudin A set is open iff the complement is closed. Similarly with closed sets.
. Thm 2.24 ~ Rudin
a) The infinite union of open sets is open.
b) The infinite intersection of closed sets is closed.
c) The finite intersection of a collection of open sets is an open set.
d) The union of a finite set of closed sets is also a closed set.
Some Statements About Compactness:
. According to Rudin, an open cover of a set in a metric space is a collection of open sets {} such that .
. By definition, a subset of a metric space is compact if every open cover of K contains a finite subcover.
. Every finite set is comapact.
. Thm 2.34 ~ Rudin Compact subsets of metric spaces are closed.
. Thm 2.35 ~ Rudin Closed subsets of compact sets are compact.
. Thm 2.35 corr. ~ Rudin If is closed and is compact, then is compact.
. Thm 2.37 ~ Rudin If is an infinite subset of a compact set , then has a limit point in .
. Thm 2.42 ~ Rudin Every bounded, infinite set in has a limit point in .
Some Statements About Connected Sets:
. By Definition (Rudin), two subsets and of a metric space are said to be separated if both and are empty.
. A set is said to be connected if it is not a union of two separated sets.
Continuity
Some Definitions of Continuity
. Suppose and are metric spaces, , and maps into :
Then is said to be continuous at if for every there exists a such that
for all points for which .
is said to be uniformly continuous on if for every epsilon greater than zero, there exists a delta such that for all and in for which .
Important Theorems Regarding Continuity
. Theorem 4.8 ~ Rudin A mapping of a metric space into a metric space is continuous on iff is open in for every open set in . Similarly for every closed set in .
. Thm 4.14 ~ Rudin if is a continuous mapping of a compact metric space into a metric space , then is compact.
. Thm 4.17 ~ Rudin if is a continuous one to one mapping of a compact space ONTO a metric space , then the inverse mapping is a continuous mapping of onto .
. Thm 4.19 ~ Rudin If is a continuous mapping of compact metric space INTO a metric space , then is uniformly continuous on .
. Thm 4.22 ~ Rudin If is a continuous mapping of a metric space INTO a metric space , an dif is a connected subset of , then is connected.
Taylor Series
Mean Value Theorem:
a) If
b) Generalized MVT (in book)
c) Common MVT →
Questions
Taylor's Theorem and Integrability
1) I can't quite digest the idea of what theorem 6.10 (pg. 126 Rudin) is explaining. I understand the general idea where you have some since you have a finite interval of discontinuous points at . Hence removing this interval of discontinuous points leaves compact, integrable sets of points along the given interval . However, I don't quite understand why this idea is enough to show that a function in integrable. What if you have the function where has a single discontinuous point that is defined but the function itself is not Reimann integrable?
2) Visually speaking, I don't quite understand how a refined partition an be a union of two sub-partitions. What exactly would that look like?
Topology
1) Aside from the midterm question, the set , and the empty set, what are some other examples of open and closed sets?
2)
Limits
1) How can we know/ differentiate certain approaches to particular limits of sequences that satisfy L'Hopital criteria and yield an answer but it is in fact the wrong answer?