In Chapter 2, we studied the definition of sequence and the convergence of a sequence. Topological spaces provide a general framework for the study of convergence. However, instead of a distance function, we can think of the basic structure on a topological space as a collection of open sets.<\/p>\n
Definition: In terms of open sets, a topological space is an ordered pair (X, \u03c4 <\/em>), where X <\/em>is a set and \u03c4 <\/em>is a collection of subsets of X<\/em>, satisfying the following axioms.<\/p>\n Ex <\/em>: Let X <\/em>be set such that X <\/em>= {a, b, c<\/em>}. Then let \u03c4 <\/em>be a collection of the subsets of X <\/em>such that \u03c4 <\/em>= {\u00f8, <\/em>{a, b<\/em>}, <\/em>{a, c<\/em>}, X<\/em>}. Then, even though the first two properties are satisfied, the intersection of {a, b<\/em>} and {a, c<\/em>} is {a<\/em>}, which is not in \u03c4 <\/em>. Therefore, \u03c4 <\/em>is not a topology of the set X<\/em>.<\/p>\n <\/p>\n There are many ways of defining a topology on R. The standard topology on R is generated by the open intervals. we can define a topology \u03c4 <\/em>on X <\/em>= R by defining that T <\/em>\u2286 R to be in \u03c4 <\/em>if, for every point x <\/em>\u2208 T <\/em>, there exists an e\u00a0<\/em>> <\/em>0 such that (x <\/em>\u2212 e, <\/em>x <\/em>+ e<\/i>) \u2286 T <\/em>. This topology is defined as the usual topology<\/strong> on R. For example: Let X <\/em>= R and let \u03c4 <\/em>= {\u2205, <\/em>(1, <\/em>3), X<\/em>}.<\/p>\n This definition of usual topology can be used to explain convergence of a sequence and it is similar to the Theorem 2.2.3B in our reading last week.<\/p>\n By Theorem 2.2.3, a sequence (x<\/em>n<\/em>) converges to a real number x <\/em>if, for every positive number e<\/em>, there exists an N <\/em>\u2208 N such that whenever n <\/em>\u2265 N <\/em>it follows that |x<\/em>n <\/em>\u2212 x<\/em>| < e<\/em>. This is an example of a distance function mentioned in our introduction, where |x<\/em>n <\/em>\u2212 x<\/em>| represents the distance between x<\/em>n <\/em>and x <\/em>on the line of R.<\/p>\n Theorem 2.2.3B is saying that a sequence (x<\/em>n<\/em>) converges to x <\/em>if, given any e<\/i>-neighborhood Ve<\/em>(x<\/em>) of x<\/em>, there exists a point in the sequence after which all of the terms are in Ve<\/em>(x<\/em>). In other words, every s<\/em>-neighborhood contains all but a finite number of the terms of (x<\/em>n<\/em>).<\/p>\n And to say a sequence (x<\/em>n<\/em>) in X <\/em>converges in the topology \u03c4 <\/em>to an element x <\/em>\u2208 X <\/em>if, given any set T <\/em>\u2208 \u03c4 <\/em>such that x <\/em>\u2208 T <\/em>, the sequence (x<\/em>n<\/em>) is eventually in T <\/em>.<\/p>\n Here we can see that convergence in topology is similar with Theorem 2.2.3B from topological aspect. We can treat Ve<\/em>(x<\/em>) as a of a type of T <\/em>\u2208 \u03c4 <\/em>that contains the point x <\/em>to which (x<\/em>n<\/em>) converges. Let T<\/em>1 = (a, b<\/em>) \u2208 \u03c4 <\/em>be an open interval such that x <\/em>\u2208 T<\/em>1 and T<\/em>2 = (c, d<\/em>) \u2208 \u03c4 <\/em>be an open interval such that x <\/em>\u2208 T<\/em>2 with\u00a0a, b, c <\/em>and d <\/em>arbitrary.<\/p>\n Let \u03c4 <\/em>= {\u2205, T<\/em>1, T<\/em>2, <\/em>X<\/em>}.<\/p>\n So \u03c4 <\/em>will be a topology because it satisfies all the three properties of topology mentioned above. And the sequence (x<\/em>n<\/em>) in X <\/em>converges in the topology \u03c4 <\/em>to an element x <\/em>\u2208 X <\/em>if, given any set T <\/em>\u2208 \u03c4 <\/em>such that x <\/em>\u2208 T <\/em>, the sequence (x<\/em>n<\/em>) is eventually in T <\/em>.<\/p>\n <\/p>\n For X <\/em>= R, we have two extreme examples:<\/p>\n Notice that both topologies satisfy the properties mentioned before. Both topologies contains \u00f8 and the entire set X <\/em>which equals to R.<\/p>\n For the trivial topology, the intersection of the two elements is \u00f8, which is in \u03c4 <\/em>, and the union of the two elements is R, which is also in \u03c4 <\/em>.<\/p>\n For the discrete topology, since it contains all subsets of R, the intersection or union of any elements inside the power set of R will still be in \u03c4 <\/em>.<\/p>\n Before digging into examples, let us review the definition of convergence of a sequence in topological space.<\/p>\n Definition: Let (X, T <\/em>) be a topological space and x<\/em>n <\/em>\u2208 X <\/em>a sequence. We say that the sequence x<\/em>n <\/em>converges to x<\/em>0 \u2208 X <\/em>if for every open set U <\/em>\u2286 X <\/em>which contains x<\/em>0 there exists an n<\/em>0 \u2208 N such that for all n \u2265<\/em>\u00a0n<\/em>0 the points x<\/em>n <\/em>lies in U <\/em>.<\/p>\n Then, consider the following three sequences.<\/p>\n We know that in the usual topology,\u00a0an<\/em> converges to 0,\u00a0cn\u00a0<\/em>converges to 1, while\u00a0bn<\/em> diverges. However, this is not the case in other topologies.<\/p>\n In trivial topology {\u00f8, R}, the only open set that contains the limit of the three sequences is R. Since for all of the three sequences, xn \u2208 R, \u2200n \u2208 N, all of them converge in the trivial topology.<\/p>\n In discrete topology, notice that T = {0} is in the topology, and since an<\/em> converges to 0, by definition, because\u00a0an<\/em> never enters the set T (for all n, an<\/em> \u2260 0),\u00a0an<\/em> does not satisfy the condition of being eventually inside every set T in \u03c4 which contains the point 0, so an<\/em> fails to converge to 0 in the discrete topology. bn<\/i>\u00a0still diverges in the discrete topology. Because\u00a0cn\u00a0<\/em>is contained in every subset in the discrete topology that contains 1,\u00a0cn<\/span><\/em><\/span>\u00a0<\/em>converges in the discrete topology.<\/p>\n https:\/\/en.wikipedia.org\/wiki\/Topologicalspace<\/p>\n Click to access 04%20-%20Congergent%20sequences.pdf<\/a><\/p>\n\n
2 Relating to Last Week\u2019s Reading<\/h1>\n
\n
\n
\n
3 Examples of Topologies<\/h1>\n
\n
4 Examples of a Sequence In R That Converges In Some Of the Topological Space<\/h1>\n
\n
References<\/h1>\n