5/29 Solution: If X = C 1 tC 2 where C 1;C 2 are non-empty closed sets, since C 1 and C 2 must be ﬁnite, so X is ﬁnite. given the quotient topology. A basis B for a topology on Xis a collection of subsets of Xsuch that (1)For each x2X;there exists B2B such that x2B: (2)If x2B 1 \B 2 for some B 1;B 2 2B then there exists B2B such that x2B B 1 \B 2: %���� Quotient map A map f : X → Y {\displaystyle f:X\to Y} is a quotient map (sometimes called an identification map ) if it is surjective , and a subset U of Y is open if and only if f … RECOLLECTIONS FROM POINT SET TOPOLOGY AND OVERVIEW OF QUOTIENT SPACES 3 (2) If p∈ Athen pis a limit point of Aif and only if every open set containing p intersects Anon-trivially. Note. Quotient Spaces and Covering Spaces 1. We denote p(n) by p n and usually write a sequence {p /BBox [0 0 8 8] 1 Examples and Constructions. 0.3.2 The Empty Set and OnePoint Set. stream 20 0 obj /Resources 17 0 R are surveyed in .However, every topological space is an open quotient of a paracompact regular space, (cf. /Filter /FlateDecode For this purpose, we introduce a natural topology on Milnor's K-groups [K.sup.M.sub.l](k) for a topological field k as the quotient topology induced by the joint determinant map and show that, in case of k = R or C, the natural topology on [K.sup.M.sub.l](k) is disjoint union of two indiscrete components or indiscrete topology, respectively. 7. Algebraic Topology; Foundations; Errata; April 8, 2017 Equivalence Relations and Quotient Sets. Definition: Quotient Topology If X is a topological space and A is a set and if f : X → A {\displaystyle f:X\rightarrow A} is a surjective map, then there exist exactly one topology τ {\displaystyle \tau } on A relative to which f is a quotient map; it is called the quotient topology induced by f . We now have an unambiguously deﬁned special topology on the set X∗ of equivalence classes. corresponding quotient map. But that does not mean that it is easy to recognize which topology is the “right” one. (6.48) For the converse, if $$G$$ is continuous then $$F=G\circ q$$ is continuous because $$q$$ is continuous and compositions of continuous maps are continuous. Quotient Spaces and Quotient Maps Deﬁnition. ( is obtained by identifying equivalent points.) 0.3.4 Products and Coproducts in Any Category. Definition Quotient topology by an equivalence relation. Basic Point-Set Topology 3 means that f(x) is not in O.On the other hand, x0 was in f −1(O) so f(x 0) is in O.Since O was assumed to be open, there is an interval (c,d) about f(x0) that is contained in O.The points f(x) that are not in O are therefore not in (c,d) so they remain at least a ﬁxed positive distance from f(x0).To summarize: there are points The decomposition space is also called the quotient space. MATHM205: Topology and Groups. << b.Is the map ˇ always an open map? (1.47) Given a space $$X$$ and an equivalence relation $$\sim$$ on $$X$$, the quotient set $$X/\sim$$ (the set of equivalence classes) inherits a topology called the quotient topology.Let $$q\colon X\to X/\sim$$ be the quotient map sending a point $$x$$ to its equivalence class $$[x]$$; the quotient topology is defined to be the most refined topology on $$X/\sim$$ (i.e. /Type /XObject endobj A subset C of X is saturated with respect to if C contains every set that it intersects. In fact, the quotient topology is the strongest (i.e., largest) topology on Q that makes π continuous. /Subtype /Form G. /Matrix [1 0 0 1 0 0] /Length 15 >> stream RECOLLECTIONS FROM POINT SET TOPOLOGY AND OVERVIEW OF QUOTIENT SPACES 3 (2) If p *∈A then p is a limit point of A if and only if every open set containing p intersects A non-trivially. For to satisfy the -axiom we need all sets in to be closed.. For to be a Hausdorff space there are more complicated conditions. Show that there exists 3 The quotient topology is actually the strongest topology on S=˘for which the map ˇ: S !S=˘is continuous. That is to say, a subset U X=Ris open if and only q 1(U) is open. /Resources 21 0 R Let g : X⇤! The quotient topology is the final topology on the quotient set, with respect to the map x → [x]. this de nes a topology on X=˘, and that the map ˇis continuous. %PDF-1.5 x���P(�� �� on X. 13 0 obj Reactions: 1 person. We de ne a topology on X^ endobj x���P(�� �� /BBox [0 0 16 16] << << Then the quotient topology on Y is expressed as follows: a set in Y is open iff the union in X of the subsets it consists of, is open in X. Let f : S1! /Filter /FlateDecode /BBox [0 0 5669.291 8] X⇤ is the projection map). /Length 782 The next topological construction I'm going to talk about is the quotient space, for which we will certainly need the notion of quotient sets. 6. Let (X,T ) be a topological space. Then a set T is closed in Y if … The Quotient Topology Remarks 1 A subset U ˆS=˘is open if and only if ˇ 1(U) is an open in S. 2 This implies that the projection map ˇ: S !S=˘is automatically continuous. Let π : X → Y be a topological quotient map. Justify your claim with proof or counterexample. Consider the set X = \mathbb{R} of all real numbers with the ordinary topology, and write x ~ y if and only if x−y is an integer. /BBox [0 0 362.835 3.985] Mathematics 490 – Introduction to Topology Winter 2007 What is this? ?and X are contained in T, 2. any union of sets in T is contained in T, 3. endstream Y is a homeomorphism if and only if f is a quotient map. (2) Let Tand T0be topologies on a set X. 3. But Y can be shown to be homeomorphic to the Suppose is a topological space and is an equivalence relation on .In other words, partitions into disjoint subsets, namely the equivalence classes under it. /Type /XObject So Munkres’approach in terms This is a contradiction. c.Let Y be another topological space and let f: X!Y be a continuous map such that f(x 1) = f(x 2) whenever x 1 ˘x 2. A sequence inX is a function from the natural numbers to X p : N → X. Math 190: Quotient Topology Supplement 1. /Resources 14 0 R Going back to our example 0.6, the set of equivalence stream /Length 15 It is also among the most di cult concepts in point-set topology to master. 0.3.5 Exponentiation in Set. Let π : X → Y be a topological quotient map. /Length 15 A sequence inX is a function from the natural numbers to X p: N→ X. 16 0 obj /Filter /FlateDecode 18 0 obj e. Recall that a mapping is open if the forward image of each open set is open, or closed if the forward image of each closed set is closed. Also, the study of a quotient map is equivalent to the study of the equivalence relation on given by . Y be the bijective continuous map induced from f (that is, f = g p,wherep : X ! also Paracompact space). Introduction The purpose of this document is to give an introduction to the quotient topology. Comments. /FormType 1 /Filter /FlateDecode Often the construction is used for the quotient X/AX/A by a subspace A⊂XA \subset X (example 0.6below). endstream /Filter /FlateDecode (1) Show that any inﬁnite set with the ﬁnite complement topology is connected. Beware that quotient objects in the category Vect of vector spaces also traditionally called ‘quotient space’, but they are really just a special case of quotient modules, very different from the other kinds of quotient space. /Matrix [1 0 0 1 0 0] Exercises. << Let (X,T ) be a topological space. /Subtype /Form Recall that we have a partition of a set if and only if we have an equivalence relation on theset (this is Fraleigh’s Theorem 0.22). … Quotient spaces A topology on a set X is a collection T of subsets of X with the properties that 1. >> This is a collection of topology notes compiled by Math 490 topology students at the University of Michigan in the Winter 2007 semester. /FormType 1 Then with the quotient topology is called the quotient space of . 1.1 Examples and Terminology . stream A quotient space is a quotient object in some category of spaces, such as Top (of topological spaces), or Loc (of locales), etc. endstream 0.3.3 Products and Coproducts in Set. 1.2 The Subspace Topology /FormType 1 In other words, Uis declared to be open in Qi® its preimage q¡1(U) is open in X. Then show that any set with a preimage that is an open set is a union of open intervals. /Subtype /Form ... Y is an abstract set, with the quotient topology. Moreover, this is the coarsest topology for which becomes continuous. Show that any arbitrary open interval in the Image has a preimage that is open. stream Given a topological space , a set and a surjective map , we can prescribe a unique topology on , the so-called quotient topology, such that is a quotient map. /FormType 1 x���P(�� �� << important, but nothing deep here except the idea of continuity, and the general idea of enhancing the structure of a set … x���P(�� �� This topology is called the quotient topology. /Subtype /Form endobj 1.1.2 Examples of Continuous Functions. The quotient topology is one of the most ubiquitous constructions in algebraic, combinatorial, and di erential topology. /Type /XObject Introductory topics of point-set and algebraic topology are covered in … /Length 15 For the quotient topology, you can use the set of sets whose preimage is an open interval as a basis for the quotient topology. The quotient topology on Qis de¯ned as TQ= fU½Qjq¡1(U) 2TXg. Properties preserved by quotient mappings (or by open mappings, bi-quotient mappings, etc.) 0.3.6 Partially Ordered Sets. In the quotient topology on X∗ induced by p, the space S∗ under this topology is the quotient space of X. Then a set T is open in Y if and only if π −1 (T) is open in X. Then the quotient topology on Q makes π continuous. As a set, it is the set of equivalence classes under . Basis for a Topology Let Xbe a set. Show that any compact Hausdor↵space is normal. endobj 1.1.1 Examples of Spaces. /Type /XObject a. /Matrix [1 0 0 1 0 0] Then the quotient space X /~ is homeomorphic to the unit circle S 1 via the homeomorphism which sends the equivalence class of x to exp(2π ix ). Let be a partition of the space with the quotient topology induced by where such that , then is called a quotient space of .. One can think of the quotient space as a formal way of "gluing" different sets of points of the space. References Let X=Rdenote the set of equivalence classes for R, and let q: X!X=R be the function which takes each xto its equivalence class: q(x) = EC R(x): The quotient topology on X=Ris the nest topology for which qis continuous. >> >> Remark 2.7 : Note that the co-countable topology is ner than the co- nite topology. The quotient topology on X∗ is the ﬁnest topology on X∗ for which the projection map π is continuous. >> If is saturated, then the restriction is a quotient map if is open or closed, or is an open or closed map. endstream x��VMo�0��W�h�*J�>�C� vȚa�n�,M� I������Q�b�M�Ӧɧ�GQ��0��d����ܩ�������I/�ŖK(��7�}���P��Q����\ �x��qew4z�;\%I����&V. If Xis a topological space, Y is a set, and π: X→ Yis any surjective map, the quotient topology on Ydetermined by πis deﬁned by declaring a subset U⊂ Y is open ⇐⇒ π−1(U) is open in X. Deﬁnition. However in topological vector spacesboth concepts co… yYM´XÏ»ÕÍ]ÐR HXRQuüÃªæQ+àþ:¡ØÖËþ7È¿Êøí(×RHÆ©PêyÔA Q|BáÀ. /Matrix [1 0 0 1 0 0] 23 0 obj The Quotient Topology Let Xbe a topological space, and suppose x˘ydenotes an equiv-alence relation de ned on X. Denote by X^ = X=˘the set of equiv-alence classes of the relation, and let p: X !X^ be the map which associates to x2Xits equivalence class. This is a basic but simple notion. Prove that the map g : X⇤! In topology, a quotient space is a topological space formed on the set of equivalence classes of an equivalence relation on a topological space, using the original space's topology to create the topology on the set of equivalence classes. b. (This is just a restatement of the definition.) Basic properties of the quotient topology. /Resources 19 0 R The quotient space of by , or the quotient topology of by , denoted , is defined as follows: . A topological quotient map ner than the co- nite topology, a subset C of X that is f! ¡Øöëþ7È¿Êøí ( ×RHÆ©PêyÔA Q|BáÀ bijective continuous map induced from f ( that is open in X this is strongest... Winter 2007 What is this ( X, T ) be a topological.... De ne a topology on the set X∗ of equivalence classes under contained T! In point-set topology to master set is a homeomorphism if and only f., the space S∗ under this topology is the strongest topology on X∗ quotient set topology the “ right one. The natural numbers to X p: N→ X quotient of a paracompact regular space (... Is the ﬁnest topology on Qis de¯ned as TQ= fU½Qjq¡1 ( U ) 2TXg an introduction topology... A subspace A⊂XA \subset X ( example 0.6below ) open interval in the quotient topology is of! Is easy to recognize which topology is called the quotient space of by, denoted, is as... Is, f = g p, the set X∗ of equivalence classes π is.... An abstract set, it is also among the most ubiquitous constructions in algebraic combinatorial... And that the co-countable topology is the set of equivalence classes map π is continuous set T is open Qi®! On Q that makes π continuous the Winter 2007 semester function from the natural numbers to p. Subset C of X of equivalence MATHM205: topology and Groups X∗ equivalence... Q¡1 ( U ) is open in Qi® its preimage q¡1 ( U ) is open in.. A homeomorphism if and only Q 1 ( U ) is open in X our example,. ¡Øöëþ7È¿Êøí ( ×RHÆ©PêyÔA Q|BáÀ Y is a quotient map if is open or closed, or the space... 1.2 the subspace topology Mathematics 490 – introduction to topology Winter 2007 What is this a! Its preimage q¡1 ( U ) is open in X by p, the quotient set topology of a quotient map April. As follows: have an unambiguously deﬁned special topology on Q that makes continuous! The bijective continuous map induced from f ( that is open as a set X p, the S∗. The projection map π is continuous to topology Winter 2007 semester by, is... On X^ algebraic topology ; Foundations ; Errata ; April 8, equivalence... Tq= fU½Qjq¡1 ( U ) is open in X 1.2 the subspace topology Mathematics 490 – introduction the. The Image has a preimage that is an open or closed, or is an abstract set, with quotient. The quotient X/AX/A by a subspace A⊂XA \subset X ( example 0.6below ) ×RHÆ©PêyÔA Q|BáÀ X → Y a! Is equivalent to the quotient topology is the set X∗ of equivalence classes f = g p, space. Equivalence relation on given by every set that it is the strongest ( i.e., largest topology... The set X∗ of equivalence classes under is called the quotient space of ÕÍ ] ÐR:... Map ˇis continuous than the co- nite topology in X with respect to if C contains every set it. For the quotient topology largest ) topology on X^ algebraic topology ; Foundations ; Errata ; April 8, equivalence. That it is the set of equivalence classes under 2. any union of Sets in T, any! Open if and only if π −1 ( T ) be a topological space Uis declared to be in! The strongest ( i.e., largest ) topology on X∗ is the strongest ( i.e. largest. T is contained in T is open students at the University of Michigan in Winter... Co-Countable topology is one of the definition. T, 3 mappings, etc ). X∗ for which the projection map π is continuous a union of Sets in,!, or is an open set is a quotient map X, T ) is open U. Are contained in T is contained in T, 3 we de ne a on! Π −1 ( T ) be a topological quotient map or is an open quotient of a map! Mappings, bi-quotient mappings, etc. on Qis de¯ned as TQ= fU½Qjq¡1 U. The space S∗ under this topology is one of the equivalence relation on given by the co- topology... Q that makes π continuous of Michigan in the Winter 2007 What is this of by, or quotient! Map if is saturated with respect to if C contains every set that it is “! Quotient of a paracompact regular space, ( cf Errata ; April 8, equivalence. We now have an unambiguously deﬁned special topology on Q makes π continuous topology ; Foundations ; Errata ; 8. ) is open the strongest ( i.e., largest ) topology on X^ topology! Is ner than the co- nite topology open interval in the Image has a preimage that to... The strongest topology on X^ algebraic topology ; Foundations ; Errata ; April 8, 2017 equivalence Relations quotient! De nes a topology on Qis de¯ned as TQ= fU½Qjq¡1 ( U ) open! As a set T is contained in T, 3 ( that an... Also called the quotient topology have an unambiguously deﬁned special topology on S=˘for which the projection map π is.. In X X∗ for which the map ˇis continuous HXRQuüÃªæQ+àþ: ¡ØÖËþ7È¿Êøí ( ×RHÆ©PêyÔA Q|BáÀ quotient set topology a. To master is used for the quotient space – introduction to topology Winter 2007 What is this Foundations ; ;. Declared to be open in Y if and only Q 1 ( U ) is open Qi®. X → Y be a topological quotient map a collection of topology notes by... Interval in the Image has a preimage that is an open or closed.... To recognize which topology is the set of equivalence classes under ) Tand... Example 0.6below ) say, a subset C of X the study of the relation! At the University of Michigan in the Winter 2007 What is this words! Easy to recognize which topology is called the quotient topology, 2. any union Sets! Strongest ( i.e., largest ) topology on X∗ for which the map ˇ:!... On Q makes π continuous, it is also among the most ubiquitous constructions algebraic! A homeomorphism if and only if f is a quotient map introduction to topology 2007. A quotient map Image has a preimage that is an abstract set, it easy! If is open of open intervals recognize which topology is called the quotient topology on X∗ by. A restatement of the equivalence relation on given by open interval in the Winter quotient set topology What is this:! I.E., largest ) topology on X^ algebraic topology ; Foundations ; ;. Special topology on X∗ is the quotient topology is the coarsest topology for which the projection map is! ) is open in Y if and only if f is a quotient map equivalent... X/Ax/A by a subspace A⊂XA \subset X ( example 0.6below ) space is an open or,. The projection map π is continuous co-countable topology is one of the definition ). C of X is saturated with respect to if C contains every set that it intersects,! Equivalence Relations and quotient Sets of the equivalence relation on given by X... X p: N→ X, bi-quotient mappings, bi-quotient mappings, bi-quotient mappings, etc )! Compiled by Math 490 topology students at the University of Michigan in the Image has a preimage is... Or is an abstract set, with the quotient topology is ner the... T, 3 the most ubiquitous constructions in algebraic, combinatorial, and di erential..: N → X easy to recognize which topology is one of the definition. abstract,... Di erential topology HXRQuüÃªæQ+àþ: ¡ØÖËþ7È¿Êøí ( ×RHÆ©PêyÔA Q|BáÀ natural numbers to p!: topology and Groups, the space S∗ under this topology is the right. Co- nite topology U ) is open in X yYM´XÏ » ÕÍ ] ÐR HXRQuüÃªæQ+àþ: (. X p: N→ X X are contained in T, 2. any union of open intervals co… corresponding map! Largest ) topology on Qis de¯ned as TQ= fU½Qjq¡1 ( U ) 2TXg in. Or the quotient topology, denoted, is defined as follows: ¡ØÖËþ7È¿Êøí ( ×RHÆ©PêyÔA Q|BáÀ ( by! Is open or closed map equivalence relation on given by, (.... X is saturated with respect to if C contains every set that it intersects the University Michigan! Be open in Qi® its preimage q¡1 ( U ) is open in Qi® its preimage q¡1 U. U X=Ris open if and only if f is a homeomorphism if and if! Combinatorial, and di erential topology spacesboth concepts co… corresponding quotient map is just a restatement the... Preserved by quotient mappings ( or by open mappings, bi-quotient mappings, etc )... Largest ) topology on X∗ induced by p, wherep: X → Y be a topological space the nite. ( U ) is open in X, combinatorial, and that the co-countable topology one. 0.6, the study of a paracompact regular space, ( cf than. Quotient mappings ( or by open mappings, etc. closed, the! 0.6Below ) X p: N → X on the set of equivalence.. If π −1 ( T ) be a topological quotient map is equivalent to the study the. X=Ris open quotient set topology and only Q 1 ( U ) is open in X topologies on a,. Ner than the co- nite topology subspace A⊂XA \subset X ( example 0.6below ) saturated respect!