10-327/Homework Assignment 6

DBN: Classes: 2010-11: 10-327/Navigation Additions to the MAT 327 web site no longer count towards good deed points # Week of... Notes and Links 1 Sep 13 About This Class, Monday - Continuity and open sets, Thursday - topologies, continuity, bases. 2 Sep 20 Monday - More on bases, Thursdsay - Products, Subspaces, Closed sets, HW1, HW1 Solutions 3 Sep 27 Monday - the Cantor set, closures, Thursday, Class Photo, HW2, HW2 Solutions 4 Oct 4 Monday - the axiom of choice and infinite product spaces, Thursday - the box and the product topologies, metric spaces, HW3, HW3 Solutions 5 Oct 11 Monday is Thanksgiving. Thursday - metric spaces, sequencial closures, various products. Final exam's date announced on Friday. 6 Oct 18 Monday - connectedness in ${\mathbb {R} }$, HW4, HW4 Solutions, Thursday - connectedness, path-connectedness and products 7 Oct 25 Monday - Compactness of $[0,1]$, Term Test on Thursday, TT Solutions 8 Nov 1 Monday - compact is closed and bounded, maximal values, HW5, HW5 Solutions, Wednesday was the last date to drop this course, Thursday - compactness of products and in metric spaces, the FIP 9 Nov 8 Monday-Tuesday is Fall Break, Thursday - Tychonoff and a taste of Stone-Cech, HW6, HW6 Solutions 10 Nov 15 Monday - generalized limits, Thursday - Normal spaces and Urysohn's lemma, HW7, HW7 Solutions 11 Nov 22 Monday - $T_{3.5}$ and $I^{A}$, Thursday - Tietze's theorem 12 Nov 29 Monday - compactness in metric spaces, HW8, HW8 Solutions, Thursday - completeness and compactness 13 Dec 6 Monday - Baire spaces and no-where differentiable functions, Wednesday - Hilbert's 13th problem; also see December 2010 Schedule R Dec 13 See December 2010 Schedule F Dec 20 Final exam, Monday December 20, 2PM-5PM, at BR200 Register of Good Deeds Add your name / see who's in! See Hilbert's 13th

Reading

Read sections 37-38 in Munkres' textbook (Topology, 2nd edition). Remember that reading math isn't like reading a novel! If you read a novel and miss a few details most likely you'll still understand the novel. But if you miss a few details in a math text, often you'll miss everything that follows. So reading math takes reading and rereading and rerereading and a lot of thought about what you've read. Also, preread sections 30-33, just to get a feel for the future.

Doing

Solve and submit the following problems.

Problem 1. Problem 1 on page 235 of Munkres' book.

Problem 2. Show that $\{0,1\}^{\mathbb {N} }$ is homeomorphic to the cantor set $C$.

Problem 3. Show that any function $f\colon {\mathbb {N} }\to I^{A}$ from the integers into a "cube" $I^{A}=[0,1]^{A}$ has a unique continuous extension to $\beta {\mathbb {N} }$.

Problem 4. Use the fact that there is a countable dense subset within $I^{I}$ to show that the cardinality of $\beta {\mathbb {N} }$ is greater than or equal to the cardinality of $I^{I}$.

Problem 5. Show that the cardinality of $\beta {\mathbb {N} }$ is also less than or equal to the cardinality of $I^{I}$, and therefore it is equal to the cardinality of $I^{I}$.

Problem 6. Show that if $\mu \in \beta {\mathbb {N} }\backslash {\mathbb {N} }$ and if Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mbox{Lim}_\mu} is the corresponding generalized limit, and if Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle b} is a bounded sequence and Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle f\colon{\mathbb R}\to{\mathbb R}} is a continuous function, then Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mbox{Lim}_\mu f(b_k) = f(\mbox{Lim}_\mu b_k)} .

Problem 7. Show that there is no super-limit function Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mbox{SuperLim}} defined on bounded sequences of reals with values in the reals which has the following 4 properties:

1. Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mbox{SuperLim}(a_k)=\lim a_k} , if the sequence Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle a_k} is convergent.
2. Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mbox{SuperLim}(a_k+b_k) = \mbox{SuperLim}(a_k) + \mbox{SuperLim}(b_k)} .
3. Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mbox{SuperLim}(a_k\cdot b_k) = \mbox{SuperLim}(a_k) \cdot \mbox{SuperLim}(b_k)} .
4. Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mbox{SuperLim}(a'_k) = \mbox{SuperLim}(a_k)} , where Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle a'} is Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle a} "shifted once": Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle a'_k=a_{k+1}} .

Due date

This assignment is due at the end of class on Thursday, November 18, 2010.

Dror's notes above / Student's notes below

Hi Dror, how do we prove some set has smaller cardinality to another set? I mean what do you mean by that? Why in problem 5 it says that the cardinality of a set is less or equal to another set so that the cardinality are the same? Xwbdsb 00:25, 13 November 2010 (EST)

• One way to do this is that if you have a map Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle f(x):A \to B} such that f(x) is 1-1, then Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle A} has cardinality less than or equal to Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle B} . I haven't worked on this question yet, so it may be a red herring, but in general I find the technique useful. John

Also I am wondering what is the super-limit because it wasn't done in class and it is not covered in the book too??Xwbdsb 00:36, 13 November 2010 (EST) I remember that when proving the homeomorphism in question 2 there is another intricate argument for continuity that is not the standard definition in our topology class? Sorry Dror I am sort of lost of what to do for this assignment...Xwbdsb 00:36, 13 November 2010 (EST)

Also what is the generalized limit? I search for this idea in the book but I didn't find anything. I think in the book before we understand Stone-Cech compatification theorem we need to understand what a regular space is and also we need to understand one-point compactification? Isn't Stone-Cech compatification just a special way to compatify the some topological space so that the continuous function with uniquely be extended to the compatification? Xwbdsb 00:58, 13 November 2010 (EST)

• I actually genuinely enjoyed writing this assignment, thinking that I've asked a lovely collection of questions that will challenge you in the positive sense of the word - make you scratch your heads, and struggle a bit, and fight a bit to understand what is going on and eventually get some satisfaction and gain some appreciation of the intricacy and beauty of the subject matter as you understand and solve these problems. So please challenge yourself and think and struggle a bit more. Drorbn 10:32, 13 November 2010 (EST)

• I have a question concerning Problem 7. Perhaps I am misunderstanding it, but if we just define Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle SuperLim(a_k)=0} for all sequences the 3 properties seem to hold, maybe that $SuperLim(a_{k})=Lim(a_{k})$ if the sequence does converge should be added? Or maybe just ruling out constant functions is suffient... -John
  • Thanks! You are absolutely right. The question has been modified. Drorbn 15:23, 13 November 2010 (EST)

---

Hi Dror, I understand you want to make it challenging but I think it is also a bit unfair for some students like me. I never learned super-limit function. It is not done in your lecture or discussed in the book. So solving this question totally relies on other background knowledge. I don't have such strong background compared to some other students and I didn't even have a serious lecture on cardinality. I am just hoping since you are asking these kind of questions could you possibly talk about it in class? Trust me Dror it is not that I am not working hard or not trying to struggle but my background is not even enough for me to understand the question. For example I don't know what super-limit function is. I couldn't find it in Munkres book I couldn't find it by googling? Are you talking about limsup?

And what is the generalized definition of limit? I cannot find the definition anywhere.Xwbdsb 10:01, 14 November 2010 (EST)

• In the question about super-limits you are asked to prove that "super-limits", objects with the given properties, do not exist. It is not surprising they are not in the literature. Cardinalities are covered in MAT246, which is a pre-requisite to this class, I believe. I'll say more about generalized limits in the coming class tomorrow. Drorbn 10:37, 14 November 2010 (EST)
  • Munkres Chapter 1 is all about set theory. In particular sections 6,7 and 9 have discussions about cardinality, this may be a good resource if you are having difficulties with the ideas. - John

---

• A quick question (and I hope it isn't stupid...), but I'm not sure what "A" is when you talk about the cube Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle I^A} . What product of the unit interval are you talking about? --Wesley 12:15, 14 November 2010 (EST)
  • Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle A} is any set whatsoever. So the "cube" Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle I^A} is finite dimensional if Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle A} is finite, but it is infinite dimensional if Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle A} is infinite. Drorbn 13:28, 14 November 2010 (EST)

• • Is it true that for question 6 the function f has to be bounded? Since even though b is a bounded sequence but f(b_k) might not be bounded so that the generalized limit is not defined. given that f is continuous. suppose f=1/x and b_k = 1/k. Xwbdsb 22:12, 15 November 2010 (EST)