# Questions tagged [separation-axioms]

Separation axioms are properties of topological space which, roughly speaking, say in what way two points, a point and a closed set, or two closed sets can be "separated". Most important are $T_0$-spaces, $T_1$-spaces, Hausdorff, regular, completely regular and normal spaces.

117 questions
Filter by
Sorted by
Tagged with
26k views

### $X$ is Hausdorff if and only if the diagonal of $X\times X$ is closed

Let $X$ be a topological space. The diagonal of $X \times X$ is the subset $$D = \{(x,x)\in X\times X\mid x \in X\}.$$ Show that $X$ is Hausdorff if and only if $D$ is closed in $X \times X$. First,...
10k views

489 views

### Is it true that every normal countable topological space is metrizable?

I've been reading about and working on various proofs about metrizabililty. I'm having trouble answering the following question: Is it true that every normal countable topological space is metrizable? ...
909 views

### Construction of a Hausdorff space from a topological space

Let $X$ be a topological space. Is there a Hausdorff space $HX$ and a continuous function $i:X\rightarrow HX$ such that for any Hausdorff space $A$ and a continuous function $j:X\rightarrow A$, there ...
3k views

### Prove that a separable metric space is Lindelöf without proving it is second-countable

This a problem from my exam: Prove that a separable metric space is a Lindelöf space I know that a separable metric space is second-countable, and second-countable implies the Lindelöf property. ...
3k views

### A finite Hausdorff space is discrete

Theorem: $X$ is a finite Hausdorff. Show that the topology is discrete. My attempt: $X$ is Hausdorff then $T_2 \implies T_1$ Thus for any $x \in X$ we have $\{x\}$ is closed. Thus $X \setminus \{x\}$ ...
173 views

### GRE 9367 #62: Prove $X=[0,1]$ in lower limit topology ($[a,b)$) is not compact, is Hausdorff and is disconnected.

GRE9367 #62 Ian Coley's solution: Sean Sovine's solution: Prove $X$ is not compact. My first proof was similar to Ian Coley's, but I came up with another proof: If $X$ is compact, ...
610 views

### Show that any metrizable space $X$ is Hausdorff

I wish to show that any metrizable space $(X,\mathcal{T})$ is Hausdorff Proof attempt: Let $d$ be the metric that generates the topology on $X$. Pick two points $x,y \in X$, we wish to produce two ...
12k views

### The product of Hausdorff spaces is Hausdorff

I'm confused how it can be true that the product of an infinite number of Hausdorff spaces $X_\alpha$ can be Hausdorff. If $\prod_{\alpha \in J} X_\alpha$ is a product space with product topology, ...
1k views

### Is every linear ordered set normal in its order topology?

I'm trying to prove (or disprove) that every linear ordered set $(X, <_X)$ is normal in its order topology. I was able to prove $(X,<_X)$ is hausdorff, simply by taking two open intervals with ...
3k views

2k views

### Is a metric space perfectly normal?

I typically like to practice my knowledge on a specific concept by doing proofs using one definition of a term, and then doing the same proofs using an equivalent definition (without inducing the ...
3k views

### $[0,1)\times[0,1)$ (lower limit topology) is a regular, but not a normal topological space

Let $X=[0,1)\times[0,1)$, $\tau$ its topology with base $$\beta = \{ [a,b)\times[c,d): 0 \leq a < b \leq 1, 0 \leq c < d \leq 1 \}\;.$$ Please help me prove, that it is regular, but not a ...