View source for 10-327/Homework Assignment 4

{{10-327/Navigation}}

===Reading===
Read sections 23 through 25 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 26 through 27, just to get a feel for the future.

===Doing===
Solve and submit problems <u>1-3</u> and <u>8-10</u> Munkres' book, pages 157-158.

===Due date===
This assignment is due at the end of class on Monday, October 25, 2010.

===Suggestions for Good Deeds===
Annotate our Monday videos (starting with {{10-327/vp|0927}}) in a manner similar to (say) {{dbnvp link|AKT-090910-1|AKT-090910-1}}, and/or add links to the blackboard shots, in a manner similar to {{dbnvp link|Alekseev-1006-1|Alekseev-1006-1}}. Also, make ''constructive'' suggestions to me, {{Dror}} and / or the videographer, Qian (Sindy) Li, on how to improve the videos and / or the software used to display them. Note that "constructive" means also, "something that can be implemented relatively easily in the real world, given limited resources". 

{{Template:10-327:Dror/Students Divider}}

===Questions===
# Hi, quick question. I am wondering if the term test will cover the material on this assignment, or only the material before the assignment. Thanks! Jason.
#* The term test will cover everything including Monday October 25 and including this assignment. [[User:Drorbn|Drorbn]] 13:42, 23 October 2010 (EDT)
# In EXAMPLE 7 on page 151 Munkres claims that Rn~ is ['clearly' :)] homeomorphic to Rn: where Rn~ consists of all sequences x=(x1,x2,x3,...) with xi=0 for i>n, and   Rn consists of all sequences x=(x1,x2,...xn). Why are they homeomorphic ?? Thank you kindly. Oliviu.

RE: 2) Let <math>F :\tilde R^n \rightarrow R^n</math> be defined as <math>F(x)= \prod_{i=1}^{n} \pi_i (x)</math> and let <math>F^{-1} : R^n \rightarrow \tilde R^n</math> be defined as <math>F^{-1}(x)= \prod_{i \in Z_+} f_i (x)</math>  where <math> f_i (x) = \pi_i (x) </math> if <math> 1 \le i \le n </math> and <math> f_i(x)=0 </math> otherwise.  Then both <math> F </math> and <math> F^{-1} </math> are continuous, because we are working in the product topology and the component functions, namely the projection function and constant function are continuous.  Also <math> F </math> is a bijection because <math> F(F^{-1}(x_1, \ldots, x_n))=(x_1, \ldots, x_n)  </math> and <math> F^{-1}(F(x_1, \ldots, x_n, 0,0, \ldots))=(x_1, \ldots, x_n, 0,0, \ldots)  </math>, i.e <math> F </math> has a left and right inverse. So <math> F </math> is a homeomorphism between the two spaces.  Quick question is there a nicer way of writing math than using the math tag?  [[User:Ian|Ian]] 16:03, 22 October 2010 (EDT)
**Hi Ian I don't believe what you have said.</math>\tilde R^n</math> has the subspace topology from </math>R^\omega</math> where we indeed put product topology on it. This is not the same as </math>\tilde R^n</math> has the product topology. -Kai
***Kai I don't understand what you mean by not the same can you clarify? Do you mean they are not homeomorphic, i.e. there is something wrong with the functions I provided? [[User:Ian|Ian]] 17:47, 27 October 2010 (EDT)

3)Question. Suppose we have a function f going from topological space X to Y which is not onto and a function g going from Y to Z. Could I still define the composition of f and g? i.e. g circle f? -Kai [[User:Xwbdsb|Xwbdsb]] 19:19, 22 October 2010 (EDT)
*If I understand your question, I don't see why not...think about <math>\mathbb{R}</math> for example. <math>f(x)=x^2</math> is not onto, then let <math>g(x)=e^x</math> then g compose f is <math>e^{x^2}</math> - John
**I agree but look at munkre's page 17 last sentence. Note that g compose with f is defined only when the range of f equals the domain of g. So I just want to confirm with Dror if there is something wrong here.
***Touche, I see your point...that is strange - John


4)Question about the proof for [0,1] being connected. A few details are omitted. why would a closed subset of [0,1] contain its supremum? Also why [0,g_0] being a subset of A follows automatically after we showed that g_0 is in A? -Kai
*1. Suppose <math>S </math> is closed in <math> [0,1]. \Rightarrow S^C </math> is open. If <math> sup(S)=\alpha \notin S \Rightarrow \exists r>0 </math> s.t. <math> B(\alpha, r) \subset S^C \Rightarrow \alpha - 0.5r \in S^C \Rightarrow \alpha - 0.5r < \alpha </math> is an upper bound for S. <math> \Rightarrow \Leftarrow </math> 
*2. Recall that <math> G = \{g | [0,g] \subset A\}; g_0 = sup(G) \Rightarrow \forall g < g_0, [0,g] \subset A \Rightarrow [0, g_0) \subset A </math>. So, if <math> g_0 \in A \Rightarrow [0,g_0] \subset A</math>. -Frank [[User:Fzhao|Fzhao]] 23:50, 22 October 2010 (EDT)
**Thanks Frank. But I don't think your solution is convincing enough. \alpha - 0.5r is indeed not in S but why can you say it is an upper bound for S? Remember S could be rather complicated set all you know is that it is closed.
for 2 why is \Rightarrow \forall g < g_0, [0,g]? even if g_0 is sup(G) that does not mean anything less than g_0 would be in G. Consider [0,1] union {3}.

*Well, for the first question, not only is <math> \alpha - 0.5r </math> not in S, but neither is anything in <math> B(\alpha,r) </math>, since <math> S^C </math> is open. There can be no elements <math> \geq \alpha </math> in S because it's the supremum. Recall also we're working in the Reals. <math> \Rightarrow [\alpha - 0.5r, \infty) \subset S^C. </math>

*For the second question, notice that the supremum is the least upper bound (of G), so <math> \forall r > 0, \exists g \in G \cap B(g_0,r) \Rightarrow [0,g] \subset A \Rightarrow [0,g'] \subset A,  \forall g' < g \Rightarrow g' \in G \Rightarrow \forall g < g_0 </math>, take <math> r = 0.5(g_0 - g) \Rightarrow \exists a \in (g_0 - r, g_0) \cap G, \Rightarrow [0,g] \subset [0,a] \subset A.</math>
Specifically, in your counterexample, if 3 is in G, then anything less than 3 is also in G by construction of G.

*Perhaps (I'm guessing here) you might have found supremum to be a confusing notion. If this is the case, have no fear, there's a chapter on supremum in Spivak's book Calculus. You can probably find one in the math library. - Frank [[User:Fzhao|Fzhao]] 09:58, 23 October 2010 (EDT)

*Question 1(b) on HW4. x stands for a point in S^1 but what does it mean by -x? -Kai
** <math>S^1\subset{\mathbb R}^2</math>, and <math>{\mathbb R}^2</math> is a vector space. [[User:Drorbn|Drorbn]] 13:42, 23 October 2010 (EDT)

*Question. During the proof of A \subset B \subset of A closure when they are all subspaces of X. If A is connected and so is B. I think there is loss of generality. We should prove any non-empty clopen set is B. But we are only proving those clopen sets whose intersection with A is non-empty are B. That is not enough because we could also have non-empty clopen set in B which does not intersect A. -Kai
** If <math>B</math> doesn't intersect <math>A</math> it's complement will. [[User:Drorbn|Drorbn]] 13:42, 23 October 2010 (EDT)

*Question. Consider the usual basis for infinite product topology that we put on an infinite cartesian product of topological spaces. The basis is just the topology generated minus the empty set right? [[User:Xwbdsb|Xwbdsb]] 23:23, 23 October 2010 (EDT)
** No. In an infinite (or even finite) product there are open sets which are unions of cylinders but are not themselves cylinders. A ball in the plane is a union of boxes but it is not a box. Another example is <math>{\mathbb R}^\omega-\{\bar{0}\}</math>. [[User:Drorbn|Drorbn]] 11:45, 24 October 2010 (EDT)

* Another question. We proved before if we have a collection of metrizable topological spaces then if we put cylinder topology on the infinite cartesian product then the resulting topological space is going to be metrizable. Then why isnt R^R with cylinder topology metrizable a contradiction since each copy of R is metrizable and R^R is just the infinite cartesian product of copies of R with indexing set R. -Kai[[User:Xwbdsb|Xwbdsb]] 22:58, 24 October 2010 (EDT)
** The theorem in class was about ''countable'' products of metric spaces. [[User:Drorbn|Drorbn]] 10:00, 25 October 2010 (EDT)
***For the first half of the proof we don't require countability assumption right because if the product space is metrizable even if it is uncountable product we can still create a homeomorphic subspace to each of the individual topological spaces? -Kai [[User:Xwbdsb|Xwbdsb]] 10:37, 25 October 2010 (EDT)

* Is it true that if one general topological space is metrizable and if one general topological space is homeomorphic to it then it is metrizable? Why? Metrizability is not just topological property? It involves the definition of metric which depends on the structure of a set.?? -Kai [[User:Xwbdsb|Xwbdsb]] 00:25, 25 October 2010 (EDT)
** "Metrizable" is a topological property, it means "having some metric which induces the topology". If <math>X</math> is metrizable and <math>Y</math> is homeomorphic to it, a metric on <math>X</math> composed with the homeomorphism from <math>Y</math> to <math>X</math> defines a metric on <math>Y</math> which induces the topology of <math>Y</math>. [[User:Drorbn|Drorbn]] 10:00, 25 October 2010 (EDT)

*Question. When proving if X is a metrizable space and A is a countably infinite set in X. The cardinality of the sequential closure of A is less or equal to the cardinality of R we used the fact that a metrizable space is Hausdorff right? Or you can say that the number of limit points should be less or equal to the number of converging sequences... -Kai
** Yes we use the fact that metric spaces are <math>T_2</math>. [[User:Drorbn|Drorbn]] 20:30, 26 October 2010 (EDT)

*Question. When proving topologist's sine curve is not path connected in page 157. Are we using the fact that for a cts function in Euclidean space if x_n converges to x then f(x_n) has to converge to f(x)? i.e. any open nbd of f(x) contains all but finitely many terms of f(x_n)? -Kai[[User:Xwbdsb|Xwbdsb]] 14:01, 27 October 2010 (EDT)
** We did not complete the proof of that fact in class. There are many ways to complete it, some use what you wrote and some don't. [[User:Drorbn|Drorbn]] 14:48, 27 October 2010 (EDT)
*Question. Is f(t) = (t,t,t...) cts in the R^\omega with uniform topology?.... -Kai [[User:Xwbdsb|Xwbdsb]] 15:23, 27 October 2010 (EDT)