Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

A topological space is KC if every compact subspace is closed. A topological space is US if every convergent sequences has exactly one limit. Does someone know an easy example of a US space which is not KC? Thanks.

share|improve this question
8  
These terms happen to both 1) be terrible search terms and 2) have unguessable meanings if you're not familiar with them, so you might want to include definitions. –  Qiaochu Yuan Sep 7 '12 at 5:28
    
Sorry, I edit to include definitions. –  Pedro Perez Sep 7 '12 at 6:15
1  
Take the finite complement topology on any infinite set. –  Evan Jenkins Sep 7 '12 at 6:39
4  
That space is not US. –  Pedro Perez Sep 7 '12 at 7:53
3  
By the way, what do KC and US stand for? I imagine KC means "kompact closed", but US is puzzling me. ("unique sequence"?) –  Henry Cohn Sep 7 '12 at 12:32
show 1 more comment

3 Answers 3

To create a counterexample X, start with the closed interval [0,1] (with the usual topology) and attach a new point z whose neighborhoods are open dense subsets of [0,1].

Observe [0,1] is a compact nonclosed subspace of X and thus X is not a KC space. However no sequence in [0,1] converges to z and in particular all convergent sequences in X have unique limits.

The finite complement topology on an infinite set does not yield a counterexample since every infinite sequence converges to every point of the space.

In general no counterexample Y can be a sequential space since if Y is a sequential space then Y is a KC space iff Y is a US space. ( Recall Y is a sequential space if every nonclosed set B contains a convergent sequence whose limit lies outside B).

share|improve this answer
add comment

Start with the one point compactification of the minimal uncountable well ordered space and then split the maximum point into two points.

share|improve this answer
add comment

I refer to COROLLARY 1 of This Article.

In COROLLARY 1 of it, $X^+$ denotes the one point compactification of the topological space $X$:

COROLLARY: Let $X$ be a Hausdorff space.Then:

(a) $X^+$ is always $US$.

(b) $X^+$ is $KC$ if and only if $X$ is a $\kappa$ space.

So it suffices to choose a Hausdorff space $X$, which is not $\kappa$ space. then $X^+$ is $US$ but is not $KC$.

PS: The topological space $X$ is called $\kappa$ space, if A subspace $A$ is closed in $X$ if and only if $A \cap K$ is closed in $K$, for all compact subset $K \subset X$.

share|improve this answer
1  
+1 for the link. Theorem 1 says: $T_2 \implies KC \implies US \implies T_1$ and none of the implications reverses even for compact spaces. –  Ramiro de la Vega Sep 7 '12 at 14:02
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.