Peel Off
  • Blog
  • About
  • Contact

The rigidity of a compact hausdorff topological space

11/10/2015

24 Comments

 
Picture
 "Mathematics occurs on the boundary between the obvious and the impossible."

Since I'm tutoring Topology this semester, I thought it would be a good idea to make a post on something introductory of Topology. So, I remembered the following exercise of the very beginning of the course:

Exercise: Let $\tau$ and $\tau'$ be topologies on a set $X$. Then, the identity map $(X, \tau) \hookrightarrow (X,\tau ')$ is continuous iff $\tau' \subset \tau$.

The proof is trivial. As a corollary, one gets:

Corollary: $\tau = \tau'$ iff the identity is a homeomorphism.

All of the above are easy results that seem to be only mild exercises. We now show that they furnish a way to understand how rigid a compact hausdorff topology is.

For that, consider the following observations which follow from the definitions.

OBS1: If $(X,\tau)$ is hausdorff and $\tau \subset \tau'$, then $(X,\tau')$ is hausdorff.

OBS2: If $(X,\tau')$ is compact and $\tau \subset \tau'$, then $(X,\tau)$ is compact.

Now we present the only non-trivial lemma of this post (although it is quite straight-forward):

Lemma: Every continuous bijective function from a compact space to a hausdorff space is a homeomorphism.

Proof: It suffices to prove that image of closed sets is closed. Take a closed set on the domain. Since it is closed on a compact space, it is compact. Its image is therefore compact. But a compact set in a hausdorff space is closed. $\blacksquare$

Now we come to the crux of the post:

Proposition: Let $(X,\tau)$ be a compact hausdorff space. If $\tau' \subsetneq \tau$, then $(X,\tau')$ is not hausdorff. If $\tau' \supsetneq \tau$, then $(X,\tau')$ is not compact.
In other words, if you take off open sets of $\tau$ you lose hausdorffness and if you put new open sets in $\tau$ you lose compactness.

Proof: The reader may want to prove this on his own. If not, go ahead.

Let's prove the first case. Suppose $(X,\tau')$ is hausdorff. By OBS2, we have that $(X,\tau')$ is compact. Hence, by the exercise together with the lemma, we have that the identity is a homeomorphism. By the corollary of the exercise, this implies $\tau' =\tau$, a contradiction. Similarly, we have the second case. $\blacksquare$

This can be illustrated with as follows:

Imagine we have a flight of stairs. Each step of the stair is a topology on a given set $X$. The bottom is the trivial topology, the top is the discrete topology. A red step means a topology which makes $X$ compact, and a blue step is a topology which makes $X$ hausdorff. What the theorem above says is that in a given "line" of stairs, there can be at most one step which is both red and blue.











​

​

24 Comments
site kurma link
11/9/2022 02:50:36 pm

Really informative article, I had the opportunity to learn a lot, thank you. https://kurma.website/

Reply
website kurma link
14/9/2022 05:12:28 pm

Really informative article, I had the opportunity to learn a lot, thank you. https://bit.ly/site-kurma

Reply
bozcaada escort link
4/10/2022 02:19:02 pm

I think this post is useful for people. It has been very useful for me. Looking forward to the next one, thank you. https://escortnova.com/escort-ilanlari/canakkale-escort/bozcaada-escort/

Reply
kucukcekmece escort link
5/10/2022 09:15:12 am

It was a post that I found very successful. Good luck to you. https://escortnova.com/escort-ilanlari/istanbul-escort/kucukcekmece-escort/

Reply
corum escort link
5/10/2022 04:42:11 pm

I follow your posts closely. I can find it thanks to your reliable share. Thank you. https://escortnova.com/escort-ilanlari/corum-escort/

Reply
izmir escort link
6/10/2022 06:22:41 am

I support your continuation of your posts. I will be happy as new posts come. Thank you. https://escortnova.com/escort-ilanlari/izmir-escort/

Reply
artova escort link
7/10/2022 05:29:37 am

I think the content is at a successful level. It adds enough information. Thank you. https://escortnova.com/escort-ilanlari/tokat-escort/artova-escort/

Reply
bitlis escort link
7/10/2022 08:04:27 pm

Thank you for your sharing. I must say that I am successful in your content. https://escortnova.com/escort-ilanlari/bitlis-escort/

Reply
daday escort link
8/10/2022 10:03:52 am

Thoughtful and real content is shared. Thank you for these shares. https://escortnova.com/escort-ilanlari/kastamonu-escort/daday-escort/

Reply
Korsan Taksi link
12/11/2022 10:52:36 pm

Tıkla: https://taksikenti.com/

Reply
betinfo link
22/11/2022 06:20:04 pm

It was a successful post.These types of posts are very helpful.

Reply
evden iş imkanı link
22/11/2022 06:56:46 pm

Hemen Göz At evde para kazanmaya basla: https://sites.google.com/view/evden-ek-is/

Reply
mrbahis link
6/12/2022 06:02:47 pm

Congratulations for the successful article. I can't wait for the sequel.

Reply
vbet link
9/12/2022 08:08:22 am

Congratulations, it's a nice post. I'm always waiting for such nice posts in the future.

Reply
sportsbet link
10/12/2022 06:55:15 am

I follow your work closely. Congratulations for this beautiful content.

Reply
takipçi satın al link
10/12/2022 04:23:21 pm

Uygun fiyatlardan takipçi satın al: https://takipcialdim.com/

Reply
tiktok takipçi satın al link
10/12/2022 06:47:56 pm

Tiktok takipçi satışı burada: https://takipcialdim.com/tiktok-takipci-satin-al/

Reply
instagram beğeni satın al link
10/12/2022 06:49:00 pm

İnstagram beğeni satışı yapan firmamıza göz atın: https://takipcialdim.com/instagram-begeni-satin-al/

Reply
sms onay link
16/12/2022 12:00:43 pm

Hemen Göz At: https://www.smsonay.com/

Reply
takipçi satın al link
16/12/2022 12:01:12 pm

takipci satın almak için tıkla: https://takipcim.com.tr/

Reply
betmatik link
17/12/2022 03:34:11 am

Betmatik giriş adresine ulaşmak için tıkla.

Reply
betpark link
20/12/2022 11:38:06 am

Betpark giriş adresi burada.

Reply
casino siteleri link
28/12/2022 07:21:22 pm

hemen göz at casino oyna: http://haikuboy.com

Reply
100 tl bonus veren siteler link
8/1/2023 12:54:49 pm

100 tl deneme bonusu veren siteleri öğrenmek istiyorsan tıkla.

Reply



Leave a Reply.

    Author

    My name is Aloizio Macedo, and I am a 21 years old Mathematics student at UFRJ (Universidade Federal do Rio de Janeiro).

    Archives

    October 2015
    August 2015
    November 2014
    September 2014
    August 2014

    Categories

    All

    RSS Feed

Powered by Create your own unique website with customizable templates.