PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: Medium Entry average rating: No information on entry rating
[parent] The property that compact sets in a space are closed lies strictly between T1 and T2 (Result)

If a topological space is Hausdorff ($T_2$ , then every compact subset of that space is closed. If every compact subset of a space is closed, then (since singletons are always compact) then the space is accessible ($T_1$ . There are spaces that are $T_1$ and have compact sets that are not closed, and there are spaces in which compact sets are always closed but that are not $T_2$

Let $X$ be an infinite set with the finite complement topology. Singletons are finite, and therefore closed, so $X$ is $T_1$ Let $S \subset X$ and let $\mathbb{F}$ be an open cover of $S$ Let $F \in \mathbb{F}$ Then $X\setminus F$ is finite. Choosing a member of $\mathbb{F}$ for each remaining element of $S$ shows that $\mathbb{F}$ has a finite subcover. Thus, every subset of $X$ is compact. An infinite subset of $X$ will then be compact, but not closed.

Let $Y$ be an uncountable set with the countable complement topology. No two open sets are disjoint, so $Y$ is not Hausdorff. Let $C$ be a compact subset of $Y$ I shall show that $C$ is finite. Suppose $C$ is infinite, and let $S$ be an infinite sequence in $C$ without any repetitions. For any natural number $n$ let $U_n$ be all the elements of $C$ except for all the $S_k$ where $k>n$ Then $U_n$ is open for each $n$ and $\{U_n \mid n \in \mathbb{N}\}$ covers $C$ but has no finite subset that covers $C$ contradicting the fact that $C$ is compact. This contradiction arose by assuming a compact subset of $Y$ was infinite, all compact subsets of $Y$ are finite. $Y$ is $T_1$ (singleton sets are countable), so all compact subsets of $Y$ are closed.

These examples were suggested by the person known as Polytope on EFNet's math channel.




"The property that compact sets in a space are closed lies strictly between T1 and T2" is owned by dfeuer.
(view preamble | get metadata)

View style:

See Also: T1 space, Hausdorff space, compact

Keywords:  separation axiom, T1, T2, Hausdorff, compactness, compact

This object's parent.
Log in to rate this entry.
(view current ratings)

Cross-references: polytope, countable, contradiction, covers, natural number, sequence, disjoint, open sets, countable complement topology, uncountable set, subset, subcover, open cover, finite, finite complement topology, infinite set, compact sets, compact, singletons, closed, compact subset, Hausdorff, topological space

This is version 2 of The property that compact sets in a space are closed lies strictly between T1 and T2, born on 2007-12-02, modified 2007-12-02.
Object id is 10082, canonical name is PropertyThatCompactSetsInASpaceAreClosedLiesStrictlyBetweenT1AndT2.
Accessed 787 times total.

Classification:
AMS MSC54D10 (General topology :: Fairly general properties :: Lower separation axioms )
 54D30 (General topology :: Fairly general properties :: Compactness)

Pending Errata and Addenda
None.
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | add example | add (any)