Intereting Posts

Notation for limit points of a minimizing sequence: $\arg \inf$
Show that $K = \mathbb{Q}(\sqrt{p} \ | \ \text{p is prime} \}$ is an algebraic and infinite extension of Q
Find the distribution of linear combination of independent random variables
The Dual Pairing
Sums of independent Poisson random variables
write $\iiint_E \hspace{1mm}dV$ in 6 forms. where $E = \left\{ (x, y, z)|0\leq z\leq x+y, x^2\leq y\leq \sqrt{x},0\leq x\leq 1\right\}$
(Theoretical) Multivariable Calculus Textbooks
Prove ${\large\int}_0^\infty\frac{\ln x}{\sqrt{x}\ \sqrt{x+1}\ \sqrt{2x+1}}dx\stackrel?=\frac{\pi^{3/2}\,\ln2}{2^{3/2}\Gamma^2\left(\tfrac34\right)}$
Prove $n\binom{p}{n}=p\binom{p-1}{n-1}$
Three dimensional spherical excess formula
Does this hold: $(1+\sqrt{M})^n=2^n\cdot\sqrt M$
Are the real product rule and quotient rule for integration already known?
Binomial Coefficients with fractions
Given a set of partial orderings of samples from a set of distributions, can we estimate the (relative) mean of the distributions?
Evaluating a double integral that arises in computing the solid angle subtended by an equilateral triangle

Is the following strong form of Hausdorff equivalent to usual Hausdorff?

$X$ is

strong Hausdorffif given distinct elements $x,y$ in $X$ there are open sets $U,V \subseteq X$ with $x \subseteq U$, $y \subseteq V$ and $\overline{U} \cap \overline{V} = \emptyset$.

I think that it is not equivalent, but haven’t been able to prove this.

- Assume that the function $f(x)$ is continuous and $\lim_{n\to\infty}f_n(x)=f(x)$. Does this imply that $f_n(x)$ is uniform convergent?
- Does a continuous point-wise limit imply uniform convergence?
- Mid-point convexity does not imply convexity
- Counter-example to Cauchy-Peano-Arzela theorem
- Rank of free submodules of a free module over a commutative ring.
- Famous uses of the inclusion-exclusion principle?

- Difference between $R^\infty$ and $R^\omega$
- Categorification of the (co-)induced topology
- Examples when vector $(X,Y)$ is not normal 2D distribution, but X and Y are.
- Is there a continuous non constant map $\mathbb{R}^2 \to \mathbb{S}^1$?
- The direct sum of two closed subspace is closed? (Hilbert space)
- Infimum is a continuous function, compact set
- Example where Tietze Extension fails?
- Intervals are connected and the only connected sets in $\mathbb{R}$
- Does “regular” implies collectionwise hausdorff?
- Is the product of closed subgroups in topological group closed?

No, this property is called being Urysohn (or sometimes *completely Hausdorff*), see Wikipedia. There we also find an example (from Steen and Seebach’s book) of a Hausdorff but not Urysohn space: the relatively prime integer topology: online explanation.

As Henno Brandsma’s answer shows, this property is not equivalent to Hausdorffness. Another example (of my own construction, though I highly doubt it is original) is as follows:

Let $X = ( \mathbb{N} \times \mathbb{Z} ) \cup \{ -\infty , +\infty \}$. For notational convenience, by $\mathbb{Z}^{>0}$ I will denote the positive integers, and by $\mathbb{Z}^{<0}$ I will denote the negative integers.

We topologise $X$ as follows:

- each $\langle i,n \rangle$ with $n \neq 0$ is isolated.
- the basic open neighbourhoods of $\langle i,0 \rangle$ are of the form $\{ \langle i,0 \rangle \} \cup \{ \langle i,n \rangle : |n| \geq k \}$ for $k > 0$.
- the basic open neighbourhoods of $-\infty$ are of the form $\{ -\infty \} \cup A$ where $A \subseteq \mathbb{N} \times \mathbb{Z}^{<0}$ is such that $\{ i \in \mathbb{N} : \{ n \in \mathbb{Z}^{<0} : \langle i,n \rangle \notin A\text{ is infinite} \} \}$ is finite.
- the basic open neighbourhoods of $+\infty$ are of the form $\{ -\infty \} \cup A$ where $A \subseteq \mathbb{N} \times \mathbb{Z}^{>0}$ is such that $\{ i \in \mathbb{N} : \{ n \in \mathbb{Z}^{>0} : \langle i,n \rangle \notin A\text{ is infinite} \} \}$ is finite.

(The basic idea is that the subspaces $( \mathbb{N} \times \mathbb{Z}^{<0} ) \cup \{ – \infty \}$ and $( \mathbb{N} \times \mathbb{Z}^{>0} ) \cup \{ +\infty \}$ are copies of the Arens-Fort space, and each $\langle i,0\rangle$ is a limit point of the sections $\{ i \} \times \mathbb{Z}^{<0}$ and $\{ i \} \times \mathbb{Z}^{>0}$.)

It is fairly easy to show that $X$ is Hausdorff.

However, if $U$ and $V$ are (basic) open neighbourhoods of $-\infty$, $+\infty$, respectively, then there must be an $i \in \mathbb{N}$ such that $\{ n \in \mathbb{Z}^{<0} : \langle i,n \rangle \in U \}$ and $\{ n \in \mathbb{Z}^{>0} : \langle i,n \rangle \in V \}$ are both infinite, and so $\langle i,0 \rangle \in \overline{U} \cap \overline{V}$.

Here’s yet another example based on the examples here. For each integer $n$, let $I_n$ denote the open interval $(n,n+1)$.

Let $X = \mathbb{R} \cup \{p_0,p_1\}$, where $p_0$ and $p_1$ are distinct points not belonging to $\mathbb{R}$. Topologize $X$ by declaring $U \subseteq X$ to be open if and only if the following hold:

- $U \cap \mathbb{R}$ is open with respect to the standard topology on $\mathbb{R}$
- If $p_0 \in U$, then $U$ contains all but finitely many of $I_0,I_2,I_4,\ldots$
- If $p_1 \in U$, then $U$ contains all but finitely many of $I_1,I_3,I_5,\ldots$

This space is Hausdorff. However, if $U$ is an open neighbourhood of either $p_0$ or $q_0$, then $\overline U$ contains all but finitely many of the positive integers. Thus, neighbourhoods of $p$ and $q$ can never have disjoint closures.

- I read that ordinal numbers relate to length, while cardinal numbers relate to size. How do 'length' and 'size' differ?
- “Area” of the topologist's sine curve
- What is the intuitive way to understand Dot and Cross products of vectors?
- Understanding of the formal and intuitive definition of a limit
- Turning cobordism into a cohomology theory
- Hilbert vs. De Morgan
- Why use ZF over NFU?
- Real and imaginary parts of the Möbius transformation
- Complex Functions: Integrability
- Domain of a Polynomial function
- Lunch Meeting Probability for two person to meet in given 1 hour slot and none would wait more then 15 minute.
- Representing the dirac distribution in $H^1(\mathbb R)$ through the scalar product
- Set that is not algebraic
- morphism from a local ring of a scheme to the scheme
- Adjoining 1/2 to Z/12Z