10-327/Classnotes for Monday December 6: Difference between revisions
From Drorbn
Jump to navigationJump to search
No edit summary |
No edit summary |
||
(4 intermediate revisions by 3 users not shown) | |||
Line 6: | Line 6: | ||
{{Template:10-327:Dror/Students Divider}} |
{{Template:10-327:Dror/Students Divider}} |
||
[http://katlas.math.toronto.edu/drorbn/index.php?title=Image:327-notes_for_120610.pdf Lecture Notes] |
|||
*'''Question.''' The fact that the metric space of real-valued functions on the unit interval with uniform metric is complete uses the fact that [0,1] is compact right? If the function space is defined on a non-compact topological space is that necessarily complete?... -Kai [[User:Xwbdsb|Xwbdsb]] 00:01, 20 December 2010 (EST) |
|||
** No, the compactness of <math>[0,1]</math> is not used. As we said in class, if <math>(f_n)</math> is Cauchy in the uniform metric, then for any <math>x</math>, the sequence <math>(f_n(x))</math> is Cauchy in <math>{\mathbb R}</math>, so it has a limit. Call that limit <math>f(x)</math>; it is not hard to show that <math>f</math> is continuous and that <math>f_n\to f</math>. Theorem 43.6 in Munkres is a slight generalization of this. [[User:Drorbn|Drorbn]] 07:12, 20 December 2010 (EST) |
|||
Thanks Dror. |
|||
Everybody good luck on the exam!-Kai |
|||
Great course! Thank you very much for all your help Dror and all the classmates in this class. |
|||
-Kai |
Latest revision as of 19:14, 20 December 2010
|
See some blackboard shots at BBS/10_327-101206-142909.jpg.
Video: Topology-101206
Dror's notes above / Student's notes below |
- Question. The fact that the metric space of real-valued functions on the unit interval with uniform metric is complete uses the fact that [0,1] is compact right? If the function space is defined on a non-compact topological space is that necessarily complete?... -Kai Xwbdsb 00:01, 20 December 2010 (EST)
- No, the compactness of is not used. As we said in class, if is Cauchy in the uniform metric, then for any , the sequence is Cauchy in , so it has a limit. Call that limit ; it is not hard to show that is continuous and that . Theorem 43.6 in Munkres is a slight generalization of this. Drorbn 07:12, 20 December 2010 (EST)
Thanks Dror.
Everybody good luck on the exam!-Kai
Great course! Thank you very much for all your help Dror and all the classmates in this class. -Kai