Questions tagged [hausdorff-spaces]

Use this tag for questions that specifically address the role of the Hausdorff (T_2) condition, or about the set of Hausdorff topologies, etc. For a topological question with the Hausdorff assumption, just use [gn.general-topology].

Filter by
Sorted by
Tagged with
7 votes
0 answers
77 views

Is there a Hausdorff space with a $\sigma$-locally finite basis but no $\sigma$-discrete basis?

In short, the question is in the title: is there a Hausdorff space with a $\sigma$-locally finite basis but no $\sigma$-discrete basis? A bit of context: Given a topological space $X$, a family $\...
3 votes
1 answer
411 views

Compact subsets and Hausdorffness of topology

We know that all closed subsets of a compact topological space $(X,\tau)$ are compact. If we add the Hausdorff condition on the topology $\tau$ we can see the equivalence of these conditions on a ...
80 votes
5 answers
6k views

How do the compact Hausdorff topologies sit in the lattice of all topologies on a set?

This question is about the space of all topologies on a fixed set X. We may order the topologies by refinement, so that τ ≤ σ just in case every τ open set is open in σ. ...
6 votes
1 answer
257 views

Topologies that turn the real numbers into a compact Hausdorff topological group

If I'm not mistaken, the question I put on the title used to be on this site, but I'm not being able to find it at all. I'm therefore reposting it so that someone can either give me the old link or ...
12 votes
5 answers
4k views

Examples for "nice" Boolean algebras that are not complete or not atomic

A Boolean algebra may, or may not, be complete (i.e, any set of elements has a sup and an inf) or atomic (i.e., every element is a sup of some set of atoms). Boolean Algebras that are complete as ...
2 votes
0 answers
68 views

Why does normality imply that a countable base $B$ contains at least one set $U$ whose closure is a subset of another set $V \in B$?

I'm reading Aliprantis and Border's excellent text, Infinite Dimensional Analysis: A Hitchhiker's Guide (PDF available at link, assuming I've done this properly), and I've reached an impasse in the ...
0 votes
10 answers
9k views

What is an explicit example of a sequence converging to two different points? [closed]

In principle a sequence in a non-Hausdorff space can converge to two points simultaneously. Can anyone give me an explicit example of the above? Or tell me any method of generating such kinds of ...
2 votes
0 answers
191 views

A question about infinite product of Baire and meager spaces

Proposition 1: For any space $X$ and an infinite cardinal $\kappa$, the product $X^{\kappa}$ is either meager or a Baire space. Does anyone have any suggestions to demonstrate Proposition 1? I was ...
1 vote
2 answers
432 views

Subsets of the Cantor set

A copy of the Cantor set is a space homeomorphic to $2^{\omega}$. Suppose that $X$ is a Hausdorff space that contains a copy $C^{\prime}$ of the Cantor set. Let $U$ be a nonempty subset open in $C^{\...
7 votes
1 answer
846 views

Is a closed subset of an extremally disconnected set again extremally disconnected?

Let $T$ be a compact Hausdorff extremally disconnected set (so $T$ is a compact Hausdorff space, such that the closure of each open subset is again open). Let $S \subseteq T$ be a closed subset. ...
1 vote
1 answer
148 views

Spaces whose interiors of retracts is a base of the topology

Definition:   topological space $\ X\ $ is   r-basic $\ \Leftarrow:\Rightarrow\ $ the interiors of retracts of $\ X\ $ form a topological base of $\ X.$ Main question: Are r-basic spaces mentioned in ...
1 vote
1 answer
112 views

extending disjoint open subsets of a normal Hausdorff space

Under what assumptions on $C$ and $X$ is the following true ? I was neither able to find a counterxample or prove this, though it appears that compactness, e.g. assuming $X$ is compactly generated, ...
3 votes
4 answers
2k views

Is a separable compact Hausdorff space already metrizable? [closed]

It is a known fact that a 2nd countable compact Hausdorff space is metrizable. What if we weaken the 2nd countable to separable only - is the space still metrizable? The core of the question, or a ...
5 votes
1 answer
296 views

Is the tensor product of compactly generated Hausdorff abelian groups again Hausdorff?

Consider the tensor product $G \otimes_{\mathbb{Z}} H$ of two abelian groups $G$ and $H$. If $G$ and $H$ are topological groups, we can give $G \otimes_{\mathbb{Z}} H$ a topology as follows. For any $...
1 vote
0 answers
161 views

Subspaces of compact spaces and quotients of Hausdorff spaces

Let $\operatorname{Top}$ be the class of topological spaces. Furthermore, let $\mathcal{U}\subset\operatorname{Top}$ and $\mathcal{V}\subset\operatorname{Top}$ classes satisfying the following ...
1 vote
1 answer
85 views

Hausdorff quotient collapsing and separating a prescribed collection of disjoint closed subsets

Let $X$ be a compact Hausdorff space (I don't mind assuming it's metrizable). Let $A_i$ $i\in \mathbb{N}$ be a collection of disjoint closed subsets of $X$. My question: Does there exist a Hausdorff ...
1 vote
1 answer
1k views

Countable intersections in topological space

If a T1 topological space is closed under countable intersections, does this necessarily make the topology discrete? It is easy to construct a counterexample if the topological space is not assumed to ...
6 votes
1 answer
576 views

Uniqueness of limits and compactness implies closure

It is not difficult to prove that in a Hausdorff topological space every compact set is closed, and almost trivial that if in a topological space X every compact set is closed then X is T1. As ...
3 votes
4 answers
811 views

Does countable compactness imply local compactness in Hausdorff spaces?

The question arose while comparing the notions of compactness, countable compactness, local compactness, and "Lindelofness" in Hausdorff spaces. It is straightforward to show that compactness implies ...
0 votes
0 answers
110 views

A relative version of Urysohn's Lemma?

Let $f:Y\to X$ be a continuous surjective map between locally compact Hausdorff spaces. Assume there is a continuous section $s:X\to Y$ which has closed image and is a homeomorphism to the image. I ...
2 votes
0 answers
73 views

Breaking down the co power of a topological space

Consider a compact, Hausdorff topological space which is homeomorphic to its own co-power over an index set $I$, so $X \cong \prod_{i \in I } X$. Is there necessarily another topological space, which ...
2 votes
0 answers
252 views

The Cauchy Problem in General Relativity: Existence of a Hausdorff Development

This is related to a problem that I posed about a year ago. I was given several references by a number of experts who were kind enough to entertain my rather arcane question. Those references were ...
1 vote
0 answers
301 views

Relationship between weak Lp and strong Lq topologies for q<p

Specificaly: Does convergence in $L^{\frac{1}{2}}$ imply weak $L^2$ convergence? Having a limit in $L^{\frac{1}{2}}$ topology and a limit in weak $L^2$ topology whether these are always equal? If not,...
4 votes
1 answer
388 views

Is normality of a Hausdorff space consequence of some property of open domains?

Let $\mathrm{r}\mathscr{O}$ be the family of open domains (regular open sets) of a topological space $\langle X,\mathscr{O}\rangle$, that is: $$A\in\mathrm{r}\mathscr{O}\iff A=\mathrm{int(\mathrm{cl(A)...
2 votes
1 answer
238 views

Relative extremely disconnected space

A topological space $X$ is called relative extremely disconnected if it has a base $B$ (for open subsets) such that disjoint elements in $B$ have disjoint closure. Does it exist an infinite ...
11 votes
1 answer
1k views

Does the gluing procedure in Robert Wald’s book *General Relativity* yield a Hausdorff spacetime?

Before I state my problem, let me provide some definitions pertaining to the Cauchy Problem in General Relativity. Definition 1: A triplet $ (\Sigma,h,k) $ is called an initial data set if $ (\Sigma,...
5 votes
3 answers
2k views

Discrete subspaces of Hausdorff spaces

does every infinite hausdorff space contains a countable infinite discrete subspace?
1 vote
1 answer
2k views

If X is a Haussdorf topological space and R and equivalence relation on X, when is X/R Haussdorf?

I was wondering if there are some necessary and sufficient conditions for the quotient space to be Haussdorf. I have been trying a little for a while, but I only got very restrictive sufficient ...
3 votes
1 answer
569 views

Jet spaces between non Hausdorff manifolds

I found it very hard to find literature about smooth manifolds that are not required to be Hausdorff. In particular I'm interested in their local properties: 1.) Are the $r$-th order jet bundles $J^r(...
11 votes
3 answers
1k views

Minimal Hausdorff

A Hausdorff space $(X,\tau)$ is said to be minimal Hausdorff if for each topology $\tau' \subseteq \tau$ with $\tau' \neq \tau$ the space $(X,\tau')$ is not Hausdorff. Every compact Hausdorff space ...
6 votes
2 answers
941 views

Compact cover of a Hausdorff compact space

In his book "Riemannian Geometry" do Carmo cites the Hopf-Rinow theorem in chapter 7. (theorem 2.8). One of the equivalences there deals with the cover of the manifold using nested sequence of compact ...