Relevant Classe: Math 297
Content
Worksheets Covered: Worksheet 01 - Worksheet 23
Homework Covered: Homework 01 - Homework 10a
Questions and Inspiration
Worksheet 13 - Topology: Sequential Compactness
Question 170.
Let .
Show that the collection of open sets is an open cover for
Fix any element in ; it is in some set in , so is an open cover of
Does contain a finite subcover of
Fix an . Only a single element of contains (specifically, the one centered around ). Therefore, no finite subcover exists, because is unbounded and has infinitely many elements.
Question 171
Show that every finite subset of is compact in .
Fix a finite subset of . Fix an open cover for . For each , there is at least one such that . Choose one and denote this . If we take the subcover defined by , it is finite (since is finite) and a cover (since each is covered by at least one ball, namely ). Therefore, a finite subcover must exist for every open cover . Therefore, is compact.
Question 172
Show that is not compact in
Consider the open cover
Question 173
Let be an unbounded subset of an inner product space . By considering the open cover , show that cannot be compact. Conclude that every compact subset of must be bounded.
Fix any finite subset of . Take the max of all the balls. . Because it’s unbounded, there exists an element that is outside of because is unbounded. Therefore, is not a finite subcover. Therefore, no finite subcover exists.
By the contrapositive, if is compact, it is bounded.
Question 174
Suppose is a subset of an inner product space that is not closed. Suppose . By considering the open cover of D, show that can not be compact. Conclude that every compact subset of must be closed.
Fix . Notice that the complement of is closed (the closure of ), so is open (and by the Archimedean Property, for all elements in there is an that contains it).
Fix any finite subset . Choose the corresponding to the largest . Because the natural numbers are unbounded in the real numbers, there exists a real number such that . This means that all elements in are not in any open set . Therefore, is not a finite subcover. This means that all finite subsets of are not finite subcovers, so no finite subcovers exists.
By the contrapositive, if D is compact, then D is closed.
Question 175
Show that if is a compact subset of an Inner Product Space, then is closed and bounded
Just use 173 and 174
Question 176
Let be an unbounded subset of an Inner Product Space . For each , choose . Show that does not have a convergent subsequence and so cannot be sequentially compact. Conclude that every sequentially compact subset of must be bounded.
Fix an unbounded subset . Let . is nonempty because it is unbounded: for any , there exists an element such that , which means that . This means that there exists an .
Let be a sequence of elements, where . Fix any subsequence of . Since , for each there exists at least one element (actually, an infinite number of elements) such that because . Since The subsequence is unbounded, it does not converge. Therefore, no convergent subsequences exist, so cannot be sequentially compact.
By the contrapositive, if a subset is sequentially compact, it must be bounded.
Show that every bounded and closed interval in is sequentially compact.
Fix any bounded and closed interval, . Fix any sequence on . Because it is bounded, by the Bolzano-Weierstrass Theorem, it contains a convergent subsequence . Since is closed, all convergent sequences must converge to an element in , so . Since was arbitrary, all sequences in contain a convergent subsequence that converges to something in . Therefore, is sequentially compact.
Question 177
Recall that in Prompt 164 you showed that a subset of a finite dimensional Inner Product Space is closed if and only if every Cauchy Sequence in the subset converges to an element of the subset. Use this result to show that a sequentially compact subset of an Inner Product Space is closed.
Let be an inner product space. Let be a sequentially compact subset of .
Fix a Cauchy Sequence in . Because is sequentially compact, it contains a convergent subsequence , where . Because is Cauchy, it also converges; therefore, it must also converge to . So it converges to an element in . Therefore, is sequentially closed, so is also closed.
Question 178: Heine-Borel Theorem
A Subset of a finite dimensional inner product space is sequentially compact if and only if it is both closed and bounded.
Suppose is sequentially compact. By 177, must be closed. By 176, must be bounded. Therefore, is closed and bounded.
Suppose is closed and bounded. By 176, must be sequentially compact.
Question 179
Show that every nonempty sequentially compact subset of has both a maximum and a minimum.
Fix such that is sequentially compact. Therefore, is closed an bounded.
Because is bounded (and is complete), and exist. And because is closed, if and exist, they are both respectively in . Therefore, since , has a maximum (and conversely, since , has a minimum).
Worksheet 14 - Connected Sets
Question 182
Suppose is a finite dimensional Inner Product Space. Let and be nonempty subsets of such that . We will construct Cauchy Sequences in and in that both converge to the same element of .
Since and are nonempty, we can choose and . Let . Since , we know that that or . If belongs to , then define and . Otherwise, set and . How would we define ? ?…
Repeat the same process, but generalize for an arbitrary and .
Show that both and are Cauchy.
You can prove this more rigorously, but essentially the gap between and is at least one half of the distance between and . This means that, inductively, the distance is less than . Since the distance between consecutive elements is decreasing geometrically, we have already proved that it must be Cauchy (using the geometric series formula)
Show that there is a vector such that and .
Because and are Cauchy, they are convergent. Denote and .
Consider the sequence . Fix any . There exists an such that , . Therefore, .
Both and are monotonic and bounded between by and respectively. Since the sequences get arbitrarily close to each other and they converge, their limits must be the same.
Conclude that every finite dimensional Inner Product Space is connected.
By the above construction, we can see that either is nonempty (a sequence in converges to something in ) or is nonempty by the same reasoning.
Question 183
The above problem suggests a general approach for determining if a subset of a finite dimensional Inner Product Space is connected. Suppose is a finite dimensional inner product space. Show that a subset of is connected if and only if for all nonempty disjoint subsets for which there exists a Cauchy sequence contained in one of or that converges to an element of the other.
Suppose is connected.
Fix any disjoint subsets such that . Without a loss of generality . Fix because it is nonempty. Since , there exists a Cauchy sequence in that converges to . as well, so this sequence converges to an element of .
Suppose for all nonempty disjoint subsets for which there exists a Cauchy sequence contained in one of or that converges to an element of the other.
Fix such that . Without a loss of generality, say there exists in that converges to an . That means that because the Closure is equal to the Sequential Closure in finite dimensional inner product spaces. .
This means that is not disconnected, and therefore must be connected.
Question 185, 186, 187
Show that for every subset of , is connected if and only if is an interval.
Let us prove the contrapositive: Suppose is not an interval.
There exists such that ; ; and .
Let and let . Because , we can easily see that .
. , so .
Following similar logic, the opposite is also true. Therefore, is not connected.
Let us prove via contradiction: Suppose that is not connected.
There exists two nonempty disjoint sets such that and . Fix and . Without a loss of generality, .
Consider the set . Let . We can see that . By the equality of the closure and sequential closure, . Now, because , . Since and , or is not an interval. Let us suppose .
Now consider the set , and let . Similarly, we can see that . Since and , and , ,
Since the reals are dense in the reals, there exists a number in such that, but (because but ) and (because but ). This means that , so is not an interval.
Worksheet 15 - Limits
Question 189
Show that 3 is a limit point of both and , but 3 is not a limit point of
(which already doesn’t include 3) because the reals are dense in the reals
Consider . There are no natural numbers that are less than 1 away from 3, so there exists no non-3 elements
Question 190
Suppose is a finite dimensional Inner Product Space and . Show that is a limit point of if and only if there is a sequence in that converges to .
Suppose that is a limit point of .
Consider the sequence where is an arbitrary element in . This clearly converges to .
Suppose that there is a sequence in that converges to
Fix . Because is a convergent sequence, there exists an such that , . That means that is nonempty.
Question 191
Suppose is a finite dimensional Inner Product Space and . Is every point in a limit point of ? Is every limit point of an element of ?
Not every point of is a limit point of . Fix . Consider . but is not a limit point of .
Not every limit point of is an element of : consider . 3 is a limit point of this, but 3 is not in the subset.
Question 192
Suppose is a finite dimensional Inner Product Space and . Show that is closed if and only if every limit point of belongs to .
Suppose is closed.
That means is sequentially closed. That means that every convergent sequence in converges to an element in .
Fix a limit point in : by Question 190, there is a sequence in that converges to . Since is closed, that means must be in .
Suppose every limit point of belongs to .
Fix a convergent sequence in . This means that is a limit point of (by Question 190). That means that is in . Therefore, every Cauchy sequence converges to something in , which means is sequentially closed C is closed.
Question 193
With the notation of the definition of the limit, what does it mean to say .
It means that there is a ball around which never reaches.
Question 194
Suppose and are finite dimensional inner product spaces. Fix a linear transformation and an Orthonormal Basis for . Set .
Show that for all in .
INCOMPLETE
> $$ \begin{align*} \lVert T(\vec v)\rVert_W &= \lVert \langle v, \vec e_1 \rangle T(\vec e_1) + \cdots + \langle v, \vec e_n \rangle T(\vec e_n)\rVert_W\\ &\leq |\langle v, \vec e_1 \rangle| \lVert T(\vec e_1)\rVert + \cdots + |\langle v, \vec e_n \rangle| \lVert T(\vec e_n)\rVert_W\\ &\leq |\langle v, \vec e_1 \rangle| \frac{c}{\sqrt n} + \cdots + |\langle v, \vec e_n \rangle| \frac{c}{\sqrt{n}}\\ &= \frac{c}{\sqrt n}\left(|\langle v, \vec e_1 \rangle| + \cdots + |\langle v, \vec e_n\rangle|\right)\\ \end{align*}Fix .
in orthonormal coordinates. That means that
Conclude that
Question 195, 196, 197
Show: if , then for all sequences in that converge to we have that the sequence converges to .
Fix a sequence, epsilon delta to prove that it converges (they are equivalent)
**Show: if , then there is a sequence in that converge to yet does not converge to .
There is an epsilon for which no matter how small your delta gets, there is no in your sequence for which all subsequent elements also map to an element within epsilon of the target.
Important
Conclude: , if and only if for all sequences in that converge to we have that the sequence converges to .