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

94 questions
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,...
8k views

940 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?
108 views

### What topological spaces satisfy yet another property involving relatively compact sets?

This is a follow-up to my questions here and here. A subset of a topological space is called relatively compact if its closure is compact. Let's call a sequence $(U_n)$ of open sets a bounding ...
979 views

### Why are these two definitions of a perfectly normal space equivalent?

I've been skimming through some topology textbooks recently. Some sources, (such as Munkres' Topology and Willard's General Topology) define a space $(X,\mathcal{T})$ to be perfectly normal iff $X$ is ...
670 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?
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 ...
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 ...
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 ...
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 ...
1k views

419 views

### A strong Hausdorff condition

Is the following strong form of Hausdorff equivalent to usual Hausdorff? $X$ is strong Hausdorff if given distinct elements $x,y$ in $X$ there are open sets $U,V \subseteq X$ with $x \subseteq U$, ...
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 ...
898 views

220 views

I recently encountered the Alexandroff double circle. The underlying set is $C = C_1 \cup C_2$, where $C_i$ is the circle of radius $i$ and centre $0$ in the complex plane. The basic open sets are: $\... 0answers 87 views ### Add a point to the Moore plane to get a normal space [duplicate] I've got the following question, and I'm having trouble with it. I was hoping that someone here could help me. Show that by adding one point to the Moore plane$\mathbf{M}$one can obtain a normal ... 2answers 525 views ###$X$second countable locally compact Hausdorff implies$C(X)$separable? In the post When is$C_0(X)$separable? , it is argued that if$X$is second countable and locally compact Hausdorff, then$C_{0}(X)$is separable. Is it also true that$C(X)$is separable under the ... 1answer 857 views ### Normality is not hereditary For$(S,\tau_{disc})$denote$A(S) = S \cup \{\infty_S\}$as its onepoint compactification. Let$S,T$be discrete spaces. Then clearly$X := A(S) \times A(T)$is compact Hausdorff since each onepoint ... 1answer 89 views ### Is$\mathbb{R}^\omega$endowed with the box topology completely normal (or hereditarily normal)? Just out of curiosity, I'd like to know more properties of box topology. I found Is$\mathbb{R}^\omega$a completely normal space, in the box topology? quite interesting, but unfortunately, it hasn't ... 1answer 57 views ### What topological spaces satisfy a property involving relatively compact sets? A subset of a topological space is called relatively compact if its closure is compact. My question is, what kind of topological spaces satisfy the following property: for every relatively compact ... 1answer 39 views ### What topological spaces satisfy another property involving relatively compact sets? This is a follow-up to my question here. A subset of a topological space is called relatively compact if its closure is compact. My question is, what kind of topological spaces satisfy the following ... 1answer 1k views ### A closed subspace of a locally compact Hausdorff space is also a locally compact Hausdorff space. Let$X$be a locally compact Hausdorff space, and$A$a closed subspace. Show that$A$is a locally compact Hausdorff space. Here is what I have for a proof. Will I need to clarify anything else? ... 1answer 359 views ### Let X be a T1 space, and show that X is normal if and only if each neighbourhood of a closed set F contains the closure of some neighbourhood of F Let$X$be a$T_1$-space, and show that$X$is normal if and only if each neighbourhood of a closed set$F$contains the closure of some neighbourhood of$F$. I saw this statement in the book ... 3answers 1k views ### If every continuous$f:X\to X$has$\text{Fix}(f)\subseteq X$closed, must$X$be Hausdorff? Given a function$f:X\to X$, let$\text{Fix}(f)=\{x\in X\mid x=f(x)\}$. In a recent comment, I wondered whether$X$is Hausdorff$\iff\text{Fix}(f)\subseteq X$is closed for every continuous$f:X\...
$\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$-...
### Give an example of a non compact Hausdorff space such that $\Delta$ is closed but $Y$ is not Hausdorff
Suppose $X$ is compact Hausdorff space and $f : X \to Y$ be a quotient map. Then it is well known that $Y$ is Hausdorff iff $\Delta =\{(x,y) \mid f(x)=f(y) \}$ is closed in $X \times X$. For example ...