Skip to main content
added 205 characters in body
Source Link
Taras Banakh
  • 41.8k
  • 3
  • 74
  • 183

As a counterexample to this question we can consider the Katetov extension $\kappa\omega$ of the discrete space of all finite ordinals $\omega$.

By definition, $\kappa\omega$ is the space of all ultrafilters on $\omega$ with the topology in which a neighborhood base of an ultrafilter $\mathcal U$ consists of the sets $\{\mathcal U\}\cup U$ where $U\in\mathcal U$. Here we identify $\omega$ with the set of principal ultrafilters on $\omega$. So, $\kappa\omega=\omega\cup\omega^*$ where $\omega^*$ is the set of free ultrafilters on $\omega$. The space $\kappa\omega$ is separable but has cardinality $2^{\mathfrak c}>\mathfrak c$. Since the subspace $\omega^*$ of free ultrafilters is discrete and uncountable, the separable space $\kappa\omega$ has uncountable network weight, so is not $\omega$-monolithic.

On the other hand, the space $\kappa\omega$ is semi-stratifiable. This is witnessed by the function $g$ defined by $g(n,\mathcal U)=\{\mathcal U\}$ if the ultrafilter $\mathcal U$ is principal and $g(n,\mathcal U)=\{\mathcal U\}\cup(\omega\setminus n)$ if $\mathcal U$ is free.

This example also answers A question on semi-stratifiable space.

As a counterexample to this question we can consider the Katetov extension $\kappa\omega$ of the discrete space of all finite ordinals $\omega$.

By definition, $\kappa\omega$ is the space of all ultrafilters on $\omega$ with the topology in which a neighborhood base of an ultrafilter $\mathcal U$ consists of the sets $\{\mathcal U\}\cup U$ where $U\in\mathcal U$. Here we identify $\omega$ with the set of principal ultrafilters on $\omega$. So, $\kappa\omega=\omega\cup\omega^*$ where $\omega^*$ is the set of free ultrafilters on $\omega$. The space $\kappa\omega$ is separable but has cardinality $2^{\mathfrak c}>\mathfrak c$. Since the subspace $\omega^*$ of free ultrafilters is discrete and uncountable, the separable space $\kappa\omega$ has uncountable network weight, so is not $\omega$-monolithic.

On the other hand, the space $\kappa\omega$ is semi-stratifiable. This is witnessed by the function $g$ defined by $g(n,\mathcal U)=\{\mathcal U\}$ if the ultrafilter $\mathcal U$ is principal and $g(n,\mathcal U)=\{\mathcal U\}\cup(\omega\setminus n)$ if $\mathcal U$ is free.

As a counterexample to this question we can consider the Katetov extension $\kappa\omega$ of the discrete space of all finite ordinals $\omega$.

By definition, $\kappa\omega$ is the space of all ultrafilters on $\omega$ with the topology in which a neighborhood base of an ultrafilter $\mathcal U$ consists of the sets $\{\mathcal U\}\cup U$ where $U\in\mathcal U$. Here we identify $\omega$ with the set of principal ultrafilters on $\omega$. So, $\kappa\omega=\omega\cup\omega^*$ where $\omega^*$ is the set of free ultrafilters on $\omega$. The space $\kappa\omega$ is separable but has cardinality $2^{\mathfrak c}>\mathfrak c$. Since the subspace $\omega^*$ of free ultrafilters is discrete and uncountable, the separable space $\kappa\omega$ has uncountable network weight, so is not $\omega$-monolithic.

On the other hand, the space $\kappa\omega$ is semi-stratifiable. This is witnessed by the function $g$ defined by $g(n,\mathcal U)=\{\mathcal U\}$ if the ultrafilter $\mathcal U$ is principal and $g(n,\mathcal U)=\{\mathcal U\}\cup(\omega\setminus n)$ if $\mathcal U$ is free.

This example also answers A question on semi-stratifiable space.

Source Link
Taras Banakh
  • 41.8k
  • 3
  • 74
  • 183

As a counterexample to this question we can consider the Katetov extension $\kappa\omega$ of the discrete space of all finite ordinals $\omega$.

By definition, $\kappa\omega$ is the space of all ultrafilters on $\omega$ with the topology in which a neighborhood base of an ultrafilter $\mathcal U$ consists of the sets $\{\mathcal U\}\cup U$ where $U\in\mathcal U$. Here we identify $\omega$ with the set of principal ultrafilters on $\omega$. So, $\kappa\omega=\omega\cup\omega^*$ where $\omega^*$ is the set of free ultrafilters on $\omega$. The space $\kappa\omega$ is separable but has cardinality $2^{\mathfrak c}>\mathfrak c$. Since the subspace $\omega^*$ of free ultrafilters is discrete and uncountable, the separable space $\kappa\omega$ has uncountable network weight, so is not $\omega$-monolithic.

On the other hand, the space $\kappa\omega$ is semi-stratifiable. This is witnessed by the function $g$ defined by $g(n,\mathcal U)=\{\mathcal U\}$ if the ultrafilter $\mathcal U$ is principal and $g(n,\mathcal U)=\{\mathcal U\}\cup(\omega\setminus n)$ if $\mathcal U$ is free.