Search Results

Let $w(X) = \inf\{|\mathcal{B}| : \mathcal{B} \text{ is a base for }X\}$ be the weight of topological space $X$. For metric spaces and locally compact spaces we have inequality $w(X)\leq |X|$. This in …

I was browsing Gillman and Jerison for known relations between zero-sets, $C$-embedded sets and so on. The spaces I'm considering are $T_{3.5}$. There are two properties that pseudocompact spaces have …

What interests me the most is if the case of exponential law is true under the assumptions claimed for example on nlab: if $X, Y$ are Hausdorff and $Y$ is locally compact, then $F^0(X, F^0(Y, Z))\cong …

I'm learning about topological groups from Arhangelskii and Tkachenko "Topological groups and related structures" and this is one of the exercises there. A paratopological group is a group with topolo …

The canonical inclusion $\beta\mathbb{Q}\setminus \mathbb{Q} \hookrightarrow \beta\mathbb{Q}$ is not the Stone-Čech compactification of $\beta\mathbb{Q}\setminus \mathbb{Q}$. Even so, this doesn't nec …

Let $(P_1)$ be the property: Every locally finite open cover of $X$ has finite subcover. Let $(P_2)$ be the property: Every locally finite open cover of $X$ is finite. Let $(P_3)$ be the property: Eve …

In the article A Perfectly Normal, Locally Compact, Noncollectionwise Normal Space Form $\lozenge^\ast$ by Daniels and Gruenhage (I presume "form" is a typo and it should be "from", but it's like that …

We call $X$ strongly collectionwise normal if the set $\mathcal{U}_\Delta$ of all neighbourhoods of the diagonal $\Delta_X$ of $X\times X$ is a uniformity. This is equivalent to the property that for …

I am looking for where this specific theorem of Blair is originally located: Theorem. Let $S\subseteq X$, the following are equivalent: $S$ is $z$-embedded If $A, B\subseteq S$ are disjoint zero-set …

Let $X = \mathbb{R}^2$ with $(x, y)\in X$ for $y\neq 0$ isolated and $(x, 0)$ having neighbourhood basis of the form $$U_n(x) = \{(x, y) : y\in (-1/n, 1/n)\}\cup \{(x+y+1, y) : 0 < y < 1/n\}\cup \{(x+ …

I am looking for locally compact Hausdorff spaces $X$ with the following property: If $f:X\to Y$ is a perfect map onto locally compact Hausdorff space $Y$, then $Y$ is zero-dimensional. One can see …

According to @Tyrone the term well-embedded set was first used in Measures on Metacompact Spaces by W. Moran. In the article Extensions of Zero-sets and of Real-valued Functions by R. Blair and A. Hag …

Let $X$ be a uniform space, $S\subseteq X$ and $f:S\to \mathbb{R}$ bounded uniformly continuous, then there exists a uniformly continuous extension of $f$ to $X$. (Katětov, 1951) I am looking for pr …

Consider the ring $C = C(X) = C(X; \mathbb{R})$ of continuous functions $f:X\to \mathbb{R}$ where $X$ is a Tychonoff space. This is naturally a lattice ordered ring by setting $f\geq 0$ iff $f(x)\geq …

Note: What I call a measurable cardinal seems to be non-standard among set theorists, and should be called a $\sigma$-measurable cardinal. I know that a discrete space is realcompact iff its non-measu …