Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

I lately looked up the definition of being a compactly generated space on Wikipedia:

Definition: A topological space $X$ is compactly generated if it satisfies the following condition: A subspace $A$ is closed in $X$ if and only if $A \cap K$ is closed in $K$ for all compact subspaces $K \subset X$.

In the second sentence it says: "Equivalently, one can replace closed with open in this definition". I tried to show that this is actually equivalent, but I did not succeed. Bascially you have:

$A$ open $\iff$ $(X\backslash A)$ closed $\iff \forall K $ compact: $K \cap (X\backslash A)$ closed

What one would need is pulling the set difference out, namely:

$\forall K $ compact: $K \cap (X\backslash A)$ closed $\iff \forall K $ compact: $X\backslash(K \cap A) $ closed $\iff \forall K $ compact: $K \cap A$ open.

But is the first equivalence true? I could not find a justification for it, probably I am not seeing a simple argument here.

share|improve this question
add comment

1 Answer

up vote 4 down vote accepted

You don't need that first equivalence. $K\cap(X\setminus A)$ is closed in $K$ iff

$$K\setminus\Big(K\cap(X\setminus A)\Big)=K\cap A$$ is open in $K$.

share|improve this answer
    
Of course... I completely overlooked the fact that the set should actually be closed in the subspace. The day will still come when I will be better at topology :) - Thank you for the answer –  Listing May 12 '12 at 20:59
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.