# 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.

445 questions
3answers
4k views

### Does this property characterize a space as Hausdorff?

As a result of this question, I've been thinking about the following condition on a topological space $Y$: For every topological space $X$, $E\subseteq X$, and continuous maps $f,g\colon X\to Y$, ...
4answers
21k 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,...
3answers
1k views

2answers
852 views

### How many compact Hausdorff spaces are there of a given cardinality?

This is a question I found myself wondering about recently. I eventually figured out the answer myself, but as this doesn't seem to be written down anywhere easy to find on the Internet I decided to ...
1answer
2k views

### When is $C_0(X)$ separable?

Recall that a compact Hausdorff space is second countable if and only if the Banach space $C(X)$ of continuous functions on $X$ is separable. I'm looking for a similar criterion for locally compact ...
3answers
774 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 ...
1answer
9k 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, ...
4answers
1k views

### Why are ordered spaces normal? [collecting proofs]

Greets This is a problem I wanted to solve for a long time, and finally did some days ago. So I want to ask people here at MSE to show as many different answers to this problem as possible. I will ...
2answers
1k views

### How big can a separable Hausdorff space be?

It is just an idea (might be wrong) but, i think that if a Hausdorff space, say $X$, contains too many elements, then a countable subset cannot be dense in it. Does there exist a cardinality that any ...
6answers
7k views

### Examples for subspace of a normal space which is not normal

Are there any simple examples of subspaces of a normal space which are not normal? I know closed subspace of a normal space is normal, but open subspace in most cases which I can think of are also ...
4answers
1k views

### Looking For a Neat Proof of the Fact that the Grassmannian Manifold is Hausdorff

$\newcommand{\R}{\mathbf R}$ Let $V$ be an $n$-dimensional vector space and $k$ be an integer less than $n$. A $k$-frame in $V$ is an injective linear map $T:\R^k\to V$. Let the set of all the $k$-...
2answers
343 views

### Do Hausdorff spaces that aren't completely regular appear in practice?

Completely regular spaces include all metrizable spaces, topological vector spaces, and topological groups in general. In fact, they are exactly the uniformizable spaces. Complete regularity is ...
1answer
1k views

### When is a quotient by closed equivalence relation Hausdorff

Let us say for an arbitrary topological space $X$ that it has property $\dagger$ if for any closed equivalence relation $\sim$ on $X$ (closed as a subset of $X^2$), the quotient space $X/{\sim}$ is ...
2answers
1k views

1answer
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 ...
1answer
1k views

### Every infinite Hausdorff space has an infinite discrete subspace

I want to show that any infinite Hausdorff space contains an infinite discrete subspace. I am motivated by the role of $\mathbb N$ in $\mathbb R$. We know that if a Hausdorff space is finite, then it ...
3answers
1k views

### Give an example of non-normal subspace of a normal space.

We know that a closed subspace of normal space is normal. My question was: why should other subspaces not work and then I came up with a counterexample. It is peculiar that any subspace of regular ...
1answer
68 views

### A second opinion on a proof in topology

My friend and I were looking over some homework questions for an upcoming test in introductory topology, and one of the questions on the homework was to show that a metric space is normal. What we ...
1answer
157 views

### $T_{2.5}$ topology without coarser metric topology

Let $(X,\tau)$ be a second-countable $T_{2.5}$ space, where with $T_{2.5}$ I mean that any distinct points are separated by closed neighborhoods. Does there have to be some metrizable second-countable ...
1answer
139 views

### Separation axioms in uniform spaces

I have some problems understanding the proof of the following lemma: Lemma: Let $x \in X, \ \ \ U, W \in \mathcal{U}, \ \ \ \mathcal{T(U)}$ is the topology on $X$. If there exists $V \in \mathcal{U}$ ...
1answer
235 views

3answers
7k views

### $f,g$ continuous from $X$ to $Y$. if they are agree on a dense set $A$ of $X$ then they agree on $X$

Problem: Suppose $f$ and $g$ are two continuous functions such that $f: X \to Y$ and $g : X \to Y$. $Y$ is a a Hausdorff space. Suppose $f(x) = g(x)$ for all $x \in A \subseteq X$ where $A$ ...
4answers
3k views

### Regular but not normal space

This was an exam question of ours: Let $\chi$ be the set, $\chi = \left \{ a, b, c, d \right \}$. Create a topology $\tau$ on $\chi$ so that $\left ( \chi ,\tau \right )$ is regular but not ...
3answers
869 views

### Why study non-T1 topological spaces?

I can understand (somewhat) why one would want to study non-Hausdorff topologies, since for example the Zariski topology is so important to algebraists, and the weak topology generated by lower ...
2answers
673 views

### Non-orientable 1-dimensional (non-hausdorff) manifold

Is there any nice example of a 1-dimensional non-hausdorff manifold that is not oriented? I have tried the line with two origins, but maybe something more exotic is needed?
1answer
2k views

### Is the set of fixed points in a non-Hausdorff space always closed?

It is not hard to show that if $f: X \rightarrow X$ is a continuous map and $X$ is a Hausdorff space, then the set of fixed points is closed in $X$. We basically just look at the diagonal and consider ...
3answers
223 views

### Separating closed sets in Moore plane / Niemytzki plane (Topology)

I spent the last few days trying to solve this exercise with little success, so I really hope someone here might be able to assist: Denote Moore plane by $M$, the $x$-axis by $R$ and the upper ...
1answer
1k views

### Question about quotient of a compact Hausdorff space

I am reading the book 'Algebraic Topology' by Tammo Tom Dieck. On page 12 in the proposition 1.4.4 he states that : Let $X$ be a compact Hausdorff space and $f : X \rightarrow Y$ be a quotient ...
3answers
943 views

### Compactness and Strictly Finer Topologies.

If $(A,\tau{_1})$ is a compact Hausdorff space and $\tau{_2}$ is a strictly finer topology on $X$, can $(A, \tau_{2})$ be compact?
2answers
812 views

### Prove: the countable product of regular topological spaces is regular.

Prove: the countable product of regular topological spaces is regular. Label the countable product of $X_i$ as $X$. Given $x \in X$ and $U$ a closed set s.t. $x \notin U$, let's find disjoint ...
2answers
168 views

### quotient topology doesn't preserve separation axioms

According to Wikipedia Quotient topology is ill-behaved with respect to Separation Axioms,locally compactness and simply connectedness. I have examples to support this argument for locally ...