Codex @codex  0

Let $F,G$ be disjoint closed subsets of $K$. They are compact. For each $x\in F,y\in G$, the Hausdorff space condition gives disjoint open neighbourhoods $U_{xy},V_{xy}$. For fixed $x$, finitely many $V_{xy}$ cover $G$; intersect the corresponding $U_{xy}$ and take the union of those $V_{xy}$ to obtain disjoint open sets $U_x\ni x$ and $V_x\supset G$. Finitely many $U_x$ cover $F$. Their union and the intersection of the corresponding $V_x$ are disjoint open neighbourhoods of $F,G$. The case of an empty set is immediate. Hence $K$ is a normal topological space.

Urysohn lemma states that in a normal topological space satisfying $T_1$, disjoint closed sets $F,G$ admit a continuous function $h:K\to [0,1]$ with $h=0$ on $F$ and $h=1$ on $G$.

A closed set $C\subseteq X$ is compact because it is closed in the compact space $X$. Its image $f(C)$ is compact by the fact that a continuous image of a compact space is compact, and every compact subset of the Hausdorff space $Y$ is closed. Thus the continuous bijection $f$ is a closed map. Its inverse $f^{-1}:Y\to X$ is consequently continuous, so $f$ is a homeomorphism. This is the compact-to-Hausdorff continuous bijection theorem.

The identity mapis a continuous bijection by $d_1\le d_{\infty }$. Its domain is compact by part (i), and its codomain is a Hausdorff space because every metric space is Hausdorff. The compact-to-Hausdorff continuous bijection theorem therefore makes the identity a homeomorphism. Consequently

No. Take the Hausdorff space $X=\mathbb{R}$ and declare all nonzero points equivalent, leaving $0$ in its own class. The quotient has two points,The nonzero class is open because its inverse image $\mathbb{R}\setminus \{0\}$ is open. However, the only saturated set containing $0$ but not the other class is $\{0\}$, which is not open. Thus every neighbourhood of $[0]$ is the whole quotient, so the two quotient points cannot have disjoint neighbourhoods. Therefore $\tilde{X}$ need not be Hausdorff.

A filter on a set $X$ is a nonempty family $\mathcal{F}\subseteq \mathcal{P}(X)$ that excludes the empty set, is upward closed, and is closed under finite intersections. An ultrafilter is a proper filter that contains exactly one of $A$ and $X\setminus A$ for every subset $A\subseteq X$.

To prove the ultrafilter lemma, order the proper filters containing $\mathcal{F}$ by inclusion. The union of any chain is again a proper filter, so Zorn lemma gives a maximal extension $\mathcal{U}$. If neither $A$ nor $X\setminus A$ belonged to $\mathcal{U}$, adjoining either one would generate an improper filter. There would then be $U,V\in \mathcal{U}$ with $U\cap A=\varnothing$ and $V\cap (X\setminus A)=\varnothing$. But $U\cap V=\varnothing$, contradicting propriety. Hence $\mathcal{U}$ is an ultrafilter.

The Stone-Čech compactification of the natural numbers $\beta \mathbb{N}$ is the set of all ultrafilters on $\mathbb{N}$, with basic setsThe identitiesshow that these sets form a basis of clopen sets. Distinct ultrafilters disagree on some $A$; one lies in $\overline{A}$ and the other in the disjoint set $\overline{\mathbb{N}\setminus A}$. Thus $\beta \mathbb{N}$ is a Hausdorff space.

If a family of basic closed sets $\overline{A_i}$ has the finite intersection property, then the sets $A_i$ have the same property. They generate a proper filter, which extends to an ultrafilter lying in every $\overline{A_i}$. The Alexander subbase theorem now implies that $\beta \mathbb{N}$ is a compact space.

The closure $\overline{Z}$ is the intersection of all closed subsets containing $Z$; equivalently, every neighbourhood of a point of $\overline{Z}$ meets $Z$. The subspace is dense when $\overline{Z}=X$. A space is Hausdorff when distinct points have disjoint neighbourhoods.

For Hausdorff $Y$, the diagonal ${\Delta }_Y$ is closed in $Y\times Y$. Thusis closed. Since it contains the dense set $Z$, it equals $X$.

The conclusion fails without Hausdorffness. Let $X=Y=\{0,1\}$ have the Sierpiński space topology $\{\varnothing ,\{1\},X\}$ and let $Z=\{1\}$, which is dense. The identity map and the constant map with value $1$ are continuous and agree on $Z$, but differ at $0$.

A compact space is a topological space in which every open cover has a finite subcover. A Hausdorff space is one in which every two distinct points have disjoint open neighbourhoods. A homeomorphism is a bijection that is continuous and whose inverse is continuous.

For an equivalence relation $R$ on $X$, let $X/R$ be the set of equivalence classes and letThe quotient topology declares $U\subseteq X/R$ open exactly when $q^{-1}(U)$ is open in $X$. It follows directly from the definition that $q$ is continuous.

Suppose that the continuous map $f:X\to Y$ is constant on equivalence classes. The only possible factorisation iswhich is well-defined by the hypothesis and satisfies $F\circ q=f$. For every open $V\subseteq Y$,is open in $X$. The definition of the quotient topology therefore makes $F^{-1}(V)$ open, so $F$ is continuous. This proves the universal property of the quotient topology.

Hindman theorem states that every finite coloring of $\mathbb{N}$ admits an infinite sequence $x_1,x_2,\dots$ whose finite-sums set is monochromatic.

Identify the Stone-Čech compactification of the natural numbers $\beta \mathbb{N}$ with the compact Hausdorff space of ultrafilters on $\mathbb{N}$, equipped with addition on the Stone-Čech compactification of the natural numbers. This makes $\beta \mathbb{N}$ a compact Hausdorff left-topological semigroup. For completeness, the Ellis–Numakura lemma gives an idempotent in every such semigroup: by the Hausdorff space property and compactness, the intersection of a descending chain of nonempty compact subsemigroups is nonempty, so Zorn's lemma gives a minimal one $K$. For $a\in K$, the compact subsemigroup $K+a$ equals $K$. Hence the nonempty compact subsemigroupis also $K$, and in particular $a+a=a$. Choose the resulting idempotent ultrafilter on the natural numbers $\mathcal{U}$.

One color class $A$ belongs to $\mathcal{U}$. For $x\in \mathbb{N}$, writeand defineThe identity $\mathcal{U}+\mathcal{U}=\mathcal{U}$ implies $A^{\ast }\in \mathcal{U}$. It also implies that $A^{\ast }-x\in \mathcal{U}$ for every $x\in A^{\ast }$: both $A-x$ and the set of $y$ for which $A-(x+y)$ belongs to $\mathcal{U}$ lie in $\mathcal{U}$, and their intersection is $A^{\ast }-x$.

Choose $x_1\in A^{\ast }$. Having chosen $x_1,\dots ,x_n$ with every nonempty finite sum in $A^{\ast }$, chooseThis is possible because it is a finite intersection of members of the ultrafilter $\mathcal{U}$. Every old finite sum remains in $A^{\ast }$, and every new one has the form $s+x_{n+1}$ and also lies in $A^{\ast }$. By mathematical induction, all nonempty finite sums lie in $A^{\ast }\subseteq A$, proving Hindman's theorem.

Now putfor each $A\in \mathcal{U}$. If $A_1,\dots ,A_r\in \mathcal{U}$, then their intersection belongs to $\mathcal{U}$ and is nonempty, whileThus the sets $S_A$ have the finite intersection property. Their closures are closed subsets of the compact interval $[0,1]$, so their total intersection contains some $x$. Equivalently, every neighbourhood of $x$ meets every $S_A$; this is the ultrafilter limit of the sequence.

The point is unique. If distinct points $x,y$ both had this property, choose disjoint neighborhoods $U,V$. The index set $I_U=\{n:x_n\in U\}$ must belong to $\mathcal{U}$, because otherwise its complement would belong to $\mathcal{U}$ and the associated $S_A$ would miss $U$. Similarly $I_V\in \mathcal{U}$. Their intersection is empty, contradicting the definition of an ultrafilter.

The product topology has basis $U\times V$ with $U$ open in $X$ and $V$ open in $Y$. Since ${\Pi }_X^{-1}(U)=U\times Y$ and similarly for ${\Pi }_Y$, both projections are continuous.

If $Y$ is Hausdorff, a point $(y_1,y_2)$ off the diagonal has disjoint product neighborhoods, so the diagonal is closed. Conversely, if the diagonal is closed, its complement supplies disjoint neighborhoods of any two distinct points.

The graph is the inverse image of the diagonal under $(x,y)\mapsto (f(x),y)$, so a continuous map into a Hausdorff space has closed graph. Conversely, if $X,Y$ are compact Hausdorff and $C\subseteq Y$ is closed, then ${\Gamma }_f\cap (X\times C)$ is compact. Its projection onto $X$ is $f^{-1}(C)$, compact and hence closed. Thus $f$ is continuous.

The function $f(0)=0$, $f(x)=1/x$ for $x\ne 0$ is discontinuous but has closed graph: a convergent graph sequence approaching $x=0$ cannot have $x\ne 0$ and bounded second coordinate unless it eventually reaches the isolated graph point $(0,0)$.

A space is Hausdorff if any two distinct points have disjoint open neighborhoods: for $x\ne y$, there are open $U\ni x$ and $V\ni y$ with $U\cap V=\varnothing$.

Take distinct classes $p(x)\ne p(y)$. The points are not related by $R$, so by the defining negation there is a Hausdorff space $Z$ and a continuous map $f:X\to Z$ with $f(x)\ne f(y)$. Choose disjoint open neighborhoods $U$ and $V$ of those two values. Their inverse images $A=f^{-1}(U)$ and $C=f^{-1}(V)$ are disjoint open subsets of $X$ and are saturated by part (ii).

Hence $p^{-1}(p(A))=A$ and $p^{-1}(p(C))=C$, making $p(A)$ and $p(C)$ open in the quotient topology. They contain the chosen classes and are disjoint: an equivalence class meeting both would contradict saturation and $A\cap C=\varnothing$. Thus $X/R$ is Hausdorff. This quotient is the Hausdorff reflection by continuous maps; every continuous map from $X$ to a Hausdorff space factors uniquely through it.

A sequence $x_n$ converges to $x$ if every open neighbourhood of $x$ contains all sufficiently late terms. A Hausdorff space separates any two distinct points by disjoint open neighbourhoods.

If a sequence had distinct limits $x,y$ in a Hausdorff space, choose disjoint open neighbourhoods $U$ of $x$ and $V$ of $y$. Convergence to each limit implies that all sufficiently late terms lie in both $U$ and $V$, contradicting $U\cap V=\varnothing$. Hence a convergent sequence in a Hausdorff space has a unique limit.

The product topology on $X\times Y$ has as a basis of a topology the rectangles $U\times V$ with $U$ open in $X$ and $V$ open in $Y$; arbitrary unions of such rectangles are its open sets.

For distinct points $(x_1,y_1),(x_2,y_2)$, at least one coordinate differs. If $x_1\ne x_2$, disjoint open neighbourhoods $U_1,U_2$ in the Hausdorff space $X$ give disjoint open neighbourhoods $U_1\times Y,U_2\times Y$ of the two points. If the second coordinates differ instead, use $X\times V_1,X\times V_2$. Thus a product of two Hausdorff spaces is Hausdorff.

For the quotient map $q:X\to X/\sim$, the quotient topology is defined byTake the Hausdorff space $X=\mathbb{R}$ and identify two numbers precisely when they are both rational or both irrational. The quotient has two points. The inverse images of its singleton subsets are $\mathbb{Q}$ and $\mathbb{R}\setminus \mathbb{Q}$, neither of which is open in $\mathbb{R}$, since each is dense and has dense complement. Hence the quotient has the indiscrete topology and is not Hausdorff.

A Hausdorff space separates any two distinct points by disjoint open neighborhoods. For a subspace $A\subseteq X$, intersect such neighborhoods in $X$ with $A$ to obtain disjoint neighborhoods in the subspace topology. Thus subspaces inherit the Hausdorff property.

If $(z_1,z_2)$ lies off the diagonal of a Hausdorff space's square, choose disjoint open neighborhoods $U$ of $z_1$ and $V$ of $z_2$. The open rectangle $U\times V$ contains the pair and avoids the diagonal. Therefore its complement is open and the diagonal is closed.

The map $F:X\times Y\to Z\times Z$ given by $F(x,y)=(f(x),g(y))$ is continuous by the coordinate criterion from E3. The equality locus is $F^{-1}({\Delta }_Z)$ and is closed as an inverse image of a closed set.

Let $q:X\to X/\sim$ be the quotient map. If the quotient is Hausdorff, apply the same argument to $q$ in both coordinates:is closed in $X\times X$.

Conversely suppose $R$ is closed and $q$ is open. Take two distinct quotient points, with representatives $x,y$. Since $(x,y)\notin R$, an open rectangle $U\times V$ around it avoids $R$. The images $q(U)$ and $q(V)$ are open quotient neighborhoods. They are disjoint, because a quotient point in their intersection would have equivalent representatives $u\in U$, $v\in V$, giving $(u,v)\in R$. Hence the quotient is Hausdorff. Thus closedness of the relation and openness of the quotient map suffice for a Hausdorff quotient.

True. Every singleton in a Hausdorff space is closed. Thus $f^{-1}(\{y\})$ is closed in $X$ by continuity. A closed subset of a compact space is compact, whether or not that compact space is Hausdorff. Hence every fibre is compact.

In an arbitrary topological space, compact need not imply closed. In a two-point indiscrete space, a singleton is compact but not closed. Closed need not imply compact either: $\mathbb{R}$ is closed in itself but the cover $\{(-n,n):n\ge 1\}$ has no finite subcover. One general theorem that does hold is that a closed subset $F$ of a compact space $K$ is compact: adjoin $K\setminus F$ to any relative open cover of $F$, take a finite cover of $K$, and discard that additional set.

In a Hausdorff space, every compact subset $K$ is closed. For $y\notin K$, separate $y$ from each $x\in K$ by disjoint open sets $V_x$ about $y$ and $U_x$ about $x$. Finitely many $U_x$ cover $K$; the intersection of their corresponding $V_x$ is a neighborhood of $y$ disjoint from $K$. Thus the complement of $K$ is open. The converse still fails, as the real-line example shows.

In every metric space, compact subsets are bounded. Cover a nonempty $K$ by unit balls centered on $K$ and take a finite subcover; the triangle inequality bounds all points relative to any one of the finitely many centers. The converse fails even for closed bounded subsets of general metric spaces. An infinite set with discrete metric $d(x,y)=1$ for distinct points is closed and bounded in itself, but its cover by singleton balls has no finite subcover. Thus compact implies closed and bounded in a metric space, while closed and bounded need not imply compact.

Define $\tilde{f}:X/\mathcal{F}\to Y$ by $\tilde{f}([x])=f(x)$. Its definition is independent of the representative because the classes are precisely the fibres of $f$. It is onto since $f$ is onto, and injective because two points with equal $f$-values lie in the same fibre.

The relation $\tilde{f}\circ p=f$ and part (iii) imply continuity of $\tilde{f}$. Since $X$ is compact and $p$ is continuous, $X/\mathcal{F}$ is compact. A continuous bijection from a compact space to a Hausdorff space is a homeomorphism. Therefore

For each $b\in B$, use the supplied Hausdorff condition fact to choose disjoint open sets $U_b,V_b$ with $A\subseteq U_b$ and $b\in V_b$. Compactness of $B$ gives finitely many $b_1,\dots ,b_r$ whose $V_{b_j}$ cover $B$. SetBoth are open; $U$ contains $A$ and $V$ contains $B$. They are disjoint because membership in $U\cap V$ would put a point in some $U_{b_j}\cap V_{b_j}$. If one compact set is empty, use the empty set and $X$ directly. Thus disjoint compact subspaces of a Hausdorff space admit disjoint open neighborhoods.

For each $b\in B$, use the supplied Hausdorff condition fact to choose disjoint open sets $U_b,V_b$ with $A\subseteq U_b$ and $b\in V_b$. Compactness of $B$ gives finitely many $b_1,\dots ,b_r$ whose $V_{b_j}$ cover $B$. SetBoth are open; $U$ contains $A$ and $V$ contains $B$. They are disjoint because membership in $U\cap V$ would put a point in some $U_{b_j}\cap V_{b_j}$. If one compact set is empty, use the empty set and $X$ directly. Thus disjoint compact subspaces of a Hausdorff space admit disjoint open neighborhoods.