Limits of Topological Spaces
We’ve defined topological spaces and continuous maps between them. Together these give us a category . We’d like to understand a few of our favorite categorical constructions as they work in this context.
First off, the empty set has a unique topology, since it only has the one subset at all. Given any other space (we’ll omit explicit mention of its topology) there is a unique function , and it is continuous since the preimage of any subset of is empty. Thus is the initial object in .
On the other side, any singleton set also has a unique topology, since the only subsets are the whole set and the empty set, which must both be open. Given any other space there is a unique function , and it is continuous because the preimage of the empty set is empty and the preimage of the single point is the whole of , both of which are open in . Thus is a terminal object in .
Now for products. Given a family of topological spaces indexed by , we can form the product set , which comes with projection functions and satisfies a universal property. We want to use this same set and these same functions to describe the product in , so we must choose our topology on the product set so that these projections will be continuous. Given an open set , then, its preimage must be open in . Let’s take these preimages to be a subbase and consider the topology they generate.
If is any other space with a family of continuous maps , then the universal property in gives us a unique function . But will it be a continuous map? To check this, remember that we only need to verify it on a subbase for the topology on the product space, and we have one ready to work with. Each set in the subbase is the preimage of an open set in some , and then its preimage under is , which is open by the assumption that each is continuous. And so the product set equipped with the product topology described above is the categorical product of the topological spaces .
What about coproducts? Let’s again start with the coproduct in , which is the disjoint union , and which comes with canonical injections . This time let’s jump right into the universal property, which says that given another space and functions , we have a unique function . Now we need any function we get like this to be continuous. The preimage of an open set will be the union of the preimages of each of the , sitting inside the disjoint union. By choosing , the , and judiciously, we can get the preimage to be any open set we want in , so the open sets in the disjoint union should consist precisely of those subsets whose preimage is open for each . It’s easy to verify that this collection is actually a topology, which then gives us the categorical coproduct in .
If we start with a topological space and take any subset then we can ask for the coarsest topology on that makes the inclusion map continuous, sort of like how we defined the product topology above. The open sets in will be any set of the form for an open subset . Then given another space , a function will be continuous if and only if is continuous. Indeed, the preimage clearly shows this equivalence. We call this the subspace topology on .
In particular, if we have two continuous maps and , then we can consider the subspace consisting of those points satisfying . Given any other space and a continuous map such that , clearly sends all of into the set ; the function factors as , where is the inclusion map. Then must be continuous because is, and so the subspace is the equalizer of the maps and .
Dually, given a topological space and an equivalence relation on the underlying set of we can define the quotient space to be the set of equivalence classes of points of . This comes with a canonical function , which we want to be continuous. Further, we know that if is any function for which implies , then factors as for some function . We want to define the topology on the quotient set so that is continuous if and only if is. Given an open set , its preimage is the set of equivalence classes that get sent into , while its preimage is the set of all points that get sent to . And so we say a subset of the quotient space is open if and only if its preimage — the union of the equivalence classes in is open in .
In particular, if we have two maps and we get an equivalence relation on by defining if there is a so that and . If we walk through the above description of the quotient space we find that this construction gives us the coequalizer of and .
And now, the existence theorem for limits tells us that all limits and colimits exist in . That is, the category of topological spaces is both complete and cocomplete.
As a particularly useful example, let’s look at an example of a pushout. If we have two topological spaces and and a third space with maps and making into a subspace of both and , then we can construct the pushout of and over . The general rule is to first construct the coproduct of and , and then pass to an appropriate coequalizer. That is, we take the disjoint union and then identify the points in the copy of sitting inside with those in the copy of sitting inside . That is, we get the union of and , “glued” along .
No you don’t, but if you identify X under the smallest equivalence relation that includes that relation you just defined, then you get the coequalizer you want.
Comment by Jeremy Henty | November 26, 2007 |
[…] a lot about the category of topological spaces and continuous maps between them. In particular we’ve seen that it’s complete and cocomplete — it has all limits and colimits. But we’ve […]
Pingback by Topological Groups « The Unapologetic Mathematician | November 27, 2007 |
Jeremy, I thought I’d discussed completing a relation to an equivalence relation, hadn’t I? Okay, maybe I need to go back and cover that.
Comment by John Armstrong | November 27, 2007 |
John, sorry if my comment was overly blunt. I read “… we get an equivalence relation on X by defining x_1~x_2 if P” as saying that x_1~x_2 is equivalent by definition to P . You may reasonably declare that I misread you since you wrote “if”, not “if and only if” but I think it would be harder to misread if you made it explicit you were completing a relation to an equivalence relation. After all, you were quite explicit whenever you completed a subbase to a topology so I was expecting you to be similarly explicit when constructing the relation. I concede that it’s a judgement call, maybe I was too nitpicky.
Comment by Jeremy Henty | November 28, 2007 |
On a separate point, you have a slight LaTeX glitch. You need to write \~ to get a ~ because LaTeX interprets ~ as “unbreakable whitespace”.
Comment by Jeremy Henty | November 28, 2007 |
[…] sets are open subsets of , but they may not be open as subsets of . But by the definition of the subspace topology, each one must be the intersection of with an open subset of . Let’s just say that each is […]
Pingback by Some compact subspaces « The Unapologetic Mathematician | January 15, 2008 |
[…] One of the biggest results in point-set topology is Tychonoff’s Theorem: the fact that the product of any family of compact spaces is again compact. Unsurprisingly, the really tough bit comes in […]
Pingback by Tychonoff’s Theorem I « The Unapologetic Mathematician | January 17, 2008 |
Dear sir:
I am student,could you help me please, I need some examples about continuous functions between {regular spaces,normal spaces,competely normal,conncted spaces}i.e let x={a,b,c} and Y={d,e,f,g} such that f-1(f(a))= a,f-1(f(b))={b},f-1(f(c))={c},but .
f-1(f(a,b))=/={a,b},I mean some thing like this.
And I want the proof the invrese image of compact set is compact.
regards
Comment by Gazala | July 2, 2008 |
I’m really not sure what you’re going for. Where’s the topology in your example? And what does it have to do with any of those classes of spaces?
As for the inverse image of a compact set being compact, it’s clearly false. Just take a constant function from the reals to the reals. The single point is compact, but its inverse image is the whole line, which isn’t compact.
Comment by John Armstrong | July 2, 2008 |
[…] is obtained by taking the usual topology on , taking its product with itself, and then taking the quotient topology) by is the divisor of […]
Pingback by Bertini’s Theorem « Rigorous Trivialities | July 14, 2008 |
dear sir
please I need proof
if :X—->Y is continuous mapping, if A is a subspace of Y then f-1(A) normal in X
regards
Comment by Gazala | August 4, 2008 |
Gazala: again, your setup is clearly false. I’m sure wherever you got the problem from says a lot more, but you don’t seem to understand enough to know what’s part of the statement and what’s not. Either way, I’m not here to do your homework.
Comment by John Armstrong | August 4, 2008 |
Though ubiquitous, it’s still a remarkable phenomenon: isn’t it odd how so many flailing students apparently assume the Internet is just bursting with people keen to do others’ tedious homework?
Comment by Sridhar Ramesh | August 4, 2008 |
Well, I’m willing to help, but you at least have to pose a problem that makes some sort of sense. As it stands, this is not a problem that any professor would have posed.
Comment by John Armstrong | August 4, 2008 |
Of course. What stands out to me is that, often as not, what’s being asked for seems to transcend “Could someone help me understand this?” into “Could someone do this for me?”. But then, I guess that’s always the line one has to watch when giving help, whether asked for or not.
Comment by Sridhar Ramesh | August 4, 2008 |
[…] know about products of topological spaces. We can take products of metric spaces, too, and one method comes down to us all the way from […]
Pingback by Products of Metric Spaces « The Unapologetic Mathematician | August 19, 2008 |
[…] one circle with a marked point for each natural number and quotient by an equivalence relation declaring that all those marked points are really the same point. And […]
Pingback by Hawaiʻian Earrings « The Unapologetic Mathematician | September 12, 2008 |
[…] line and “wrapping” it around itself periodically. I haven’t really mentioned the topologies, but the first approach inherits the subspace topology from the topology on the complex numbers, […]
Pingback by The Circle Group « The Unapologetic Mathematician | May 27, 2009 |
[…] metric spaces is that we get the same topology as if we’d forgotten the metric and taken the product of topological spaces. This will actually be useful to us, in a way, so I’d like to explain it […]
Pingback by The Topology of Higher-Dimensional Real Spaces « The Unapologetic Mathematician | September 15, 2009 |
[…] of vectors so that , and for each such define , so . As a slice of the open set in the product topology on , the set is open in . Further, is continuously differentiable on since is continuously […]
Pingback by The Implicit Function Theorem II « The Unapologetic Mathematician | November 20, 2009 |
[…] such a shape in -dimensional space is the product of closed […]
Pingback by Higher-Dimensional Riemann Integrals « The Unapologetic Mathematician | December 1, 2009 |
[…] space in a natural way, and if this constitutes a subobject in the category. Unfortunately, unlike we saw with topological spaces, it’s not always possible to do this with measurable spaces. But […]
Pingback by Measurable Subspaces I « The Unapologetic Mathematician | April 28, 2010 |
[…] Topological Vector Spaces, Normed Vector Spaces, and Banach Spaces Before we move on, we want to define some structures that blend algebraic and topological notions. These are all based on vector spaces. And, particularly, we care about infinite-dimensional vector spaces. Finite-dimensional vector spaces are actually pretty simple, topologically. For pretty much all purposes you have a topology on your base field , and the vector space (which is isomorphic to for some ) will get the product topology. […]
Pingback by Topological Vector Spaces, Normed Vector Spaces, and Banach Spaces « The Unapologetic Mathematician | May 12, 2010 |
[…] – and -dimensional smooth manifolds, respectively, then we can come up with an atlas that makes the product space into an -dimensional smooth manifold, and that it satisfies the conditions to be a product object […]
Pingback by Product Manifolds « The Unapologetic Mathematician | March 7, 2011 |
[…] we define an “embedding” to be an immersion where the image — endowed with the subspace topology — is homeomorphic to itself by . This is closer to the geometrically intuitive notion of a […]
Pingback by Immersions and Embeddings « The Unapologetic Mathematician | April 18, 2011 |