Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I read a paper and met the concept Katetov extension. What is Katetov extension of the natural numbers? Reference on it are also welcome.

share|cite|improve this question
What paper?${}$ – Chris Eagle Dec 23 '12 at 13:28
up vote 4 down vote accepted


M. Katětov, Über H-abgeschlossene und bikompakte Räume, Cas. Mat. Fys., 69:39-49, 1940,

Katětov proved that any Hausdorff space $X$ can be densely embedded in an $H$-closed space; he did it by constructing a specific $H$-closed extension, $\kappa X$, of $X$. (A space is $H$-closed if it is closed in every Hausdorff space in which it is embedded.)

Definition. If $\langle X,\tau\rangle$ is a Hausdorff space, $\kappa X$, the Katětov extension of $X$, is the set $$X\cup\{p\subseteq\tau:p\text{ is a free open ultrafilter on }X\}$$ with the topology generated by $$\big\{\{p\}\cup U:U\in p\in\kappa X\setminus X\big\}\;.$$

The first paper here, by Mukherjee, Sengupta, and Ghosh, treats some cardinal functions on $\kappa D$ for discrete spaces $D$.

Added: That link goes to a front page from which it’s not obvious how to reach the paper. Here is a direct link to the PDF. Katětov’s original paper is freely available here.

share|cite|improve this answer

Recall that the Katětov extension $\kappa X$ of a Hausdorff space $X$, is the set $X$ ∪ {p:p is a free open ultrafilter on $X$} with the topology generated by {{p} ∪ U : U ∈ p ∈ $\kappa X\backslash X$} ∪ {U : U $\in \tau(X)$} ($\tau(X)$ denotes the set of open sets of $X$).

It follows from Exercise 7B in the Porter-Woods text (Extensions and Absolutes of Hausdorff Spaces) that if X is discrete, $\kappa X$ is $\beta X$ with the finer topology generated by {U : U $\in \tau(X)$} ∪ { {p} ∪ U: p ∈ cl$_{\beta X}$U, U $\in \tau(X)$}.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.