The Niemytzki plane is $\varkappa $-metrizable

Wojciech Bielas; Andrzej Kucharski; Szymon Plewik

Displaying similar documents to “The Niemytzki plane is $ϰ$ -metrizable”

Non-normality points and nice spaces

Sergei Logunov (2021)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

J. Terasawa in " $β X - {p}$ are non-normal for non-discrete spaces $X$ " (2007) and the author in “On non-normality points and metrizable crowded spaces” (2007), independently showed for any metrizable crowded space $X$ that each point $p$ of its Čech–Stone remainder $X^{*}$ is a non-normality point of $β X$ . We introduce a new class of spaces, named nice spaces, which contains both of Sorgenfrey line and every metrizable crowded space. We obtain the result above for every nice space.

On subcompactness and countable subcompactness of metrizable spaces in ZF

Kyriakos Keremedis (2022)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

We show in ZF that: (i) Every subcompact metrizable space is completely metrizable, and every completely metrizable space is countably subcompact. (ii) A metrizable space $𝐗 = (X, T)$ is countably compact if and only if it is countably subcompact relative to $T$ . (iii) For every metrizable space $𝐗 = (X, T)$ , the following are equivalent: (a) $𝐗$ is compact; (b) for every open filter $ℱ$ of $𝐗$ , $⋂ {\bar{F} : F \in ℱ} \neq \emptyset$ ; (c) $𝐗$ is subcompact relative to $T$ . We also show: (iv) The negation of each of the statements, (a) every countably subcompact...

Characterizations of $z$ -Lindelöf spaces

Ahmad Al-Omari, Takashi Noiri (2017)

Archivum Mathematicum

Similarity:

A topological space $(X, τ)$ is said to be $z$ -Lindelöf [1] if every cover of $X$ by cozero sets of $(X, τ)$ admits a countable subcover. In this paper, we obtain new characterizations and preservation theorems of $z$ -Lindelöf spaces.

About $w c s$ -covers and $w c s^{*}$ -networks on the Vietoris hyperspace $ℱ (X)$

Luong Quoc Tuyen, Ong V. Tuyen, Phan D. Tuan, Nguzen X. Truc (2023)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

We study some generalized metric properties on the hyperspace $ℱ (X)$ of finite subsets of a space $X$ endowed with the Vietoris topology. We prove that $X$ has a point-star network consisting of (countable) $w c s$ -covers if and only if so does $ℱ (X)$ . Moreover, $X$ has a sequence of $w c s$ -covers with property $(P)$ which is a point-star network if and only if so does $ℱ (X)$ , where $(P)$ is one of the following properties: point-finite, point-countable, compact-finite, compact-countable, locally finite, locally countable....

A note on spaces with countable extent

Yan-Kui Song (2017)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

Let $P$ be a topological property. A space $X$ is said to be star P if whenever $𝒰$ is an open cover of $X$ , there exists a subspace $A \subseteq X$ with property $P$ such that $X = S t (A, 𝒰)$ . In this note, we construct a Tychonoff pseudocompact SCE-space which is not star Lindelöf, which gives a negative answer to a question of Rojas-Sánchez and Tamariz-Mascarúa.

On hereditary normality of $ω^{*}$ , Kunen points and character $ω_{1}$

Sergei Logunov (2021)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

We show that $ω^{*} ∖ {p}$ is not normal, if $p$ is a limit point of some countable subset of $ω^{*}$ , consisting of points of character $ω_{1}$ . Moreover, such a point $p$ is a Kunen point and a super Kunen point.

Spaces with property $(D C (ω_{1}))$

Wei-Feng Xuan, Wei-Xue Shi (2017)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

We prove that if $X$ is a first countable space with property $(D C (ω_{1}))$ and with a $G_{δ}$ -diagonal then the cardinality of $X$ is at most $𝔠$ . We also show that if $X$ is a first countable, DCCC, normal space then the extent of $X$ is at most $𝔠$ .

Locally functionally countable subalgebra of $ℛ (L)$

M. Elyasi, A. A. Estaji, M. Robat Sarpoushi (2020)

Archivum Mathematicum

Similarity:

Let $L_{c} (X) = {f \in C (X) : \bar{C_{f}} = X}$ , where $C_{f}$ is the union of all open subsets $U \subseteq X$ such that $| f (U) | \leq ℵ_{0}$ . In this paper, we present a pointfree topology version of $L_{c} (X)$ , named $ℛ_{ℓ c} (L)$ . We observe that $ℛ_{ℓ c} (L)$ enjoys most of the important properties shared by $ℛ (L)$ and $ℛ_{c} (L)$ , where $ℛ_{c} (L)$ is the pointfree version of all continuous functions of $C (X)$ with countable image. The interrelation between $ℛ (L)$ , $ℛ_{ℓ c} (L)$ , and $ℛ_{c} (L)$ is examined. We show that $L_{c} (X) ≅ ℛ_{ℓ c} (𝔒 (X))$ for any space $X$ . Frames $L$ for which $ℛ_{ℓ c} (L) = ℛ (L)$ are characterized.

Exponential separability is preserved by some products

Vladimir Vladimirovich Tkachuk (2022)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

We show that exponential separability is an inverse invariant of closed maps with countably compact exponentially separable fibers. This implies that it is preserved by products with a scattered compact factor and in the products of sequential countably compact spaces. We also provide an example of a $σ$ -compact crowded space in which all countable subspaces are scattered. If $X$ is a Lindelöf space and every $Y \subset X$ with $| Y | \leq 2^{ω_{1}}$ is scattered, then $X$ is functionally countable; if every $Y \subset X$ with $| Y | \leq 2^{𝔠}$ is scattered,...

A countably cellular topological group all of whose countable subsets are closed need not be $ℝ$ -factorizable

Mihail G. Tkachenko (2023)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

We construct a Hausdorff topological group $G$ such that $ℵ_{1}$ is a precalibre of $G$ (hence, $G$ has countable cellularity), all countable subsets of $G$ are closed and $C$ -embedded in $G$ , but $G$ is not $ℝ$ -factorizable. This solves Problem 8.6.3 from the book “Topological Groups and Related Structures" (2008) in the negative.

Infinite-Dimensionality modulo Absolute Borel Classes

Vitalij Chatyrko, Yasunao Hattori (2008)

Bulletin of the Polish Academy of Sciences. Mathematics

Similarity:

For each ordinal 1 ≤ α < ω₁ we present separable metrizable spaces $X_{α}$ , $Y_{α}$ and $Z_{α}$ such that (i) $f X_{α}, f Y_{α}, f Z_{α} = ω ₀$ , where f is either trdef or ₀-trsur, (ii) $A (α) - t r i n d X_{α} = \infty$ and $M (α) - t r i n d X_{α} = - 1$ , (iii) $A (α) - t r i n d Y_{α} = - 1$ and $M (α) - t r i n d Y_{α} = \infty$ , and (iv) $A (α) - t r i n d Z_{α} = M (α) - t r i n d Z_{α} = \infty$ and $A (α + 1) \cap M (α + 1) - t r i n d Z_{α} = - 1$ . We also show that there exists no separable metrizable space $W_{α}$ with $A (α) - t r i n d W_{α} \neq \infty$ , $M (α) - t r i n d W_{α} \neq \infty$ and $A (α) \cap M (α) - t r i n d W_{α} = \infty$ , where A(α) (resp. M(α)) is the absolutely additive (resp. multiplicative) Borel class.

Continuous images of Lindelöf $p$ -groups, $σ$ -compact groups, and related results

Aleksander V. Arhangel'skii (2019)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

It is shown that there exists a $σ$ -compact topological group which cannot be represented as a continuous image of a Lindelöf $p$ -group, see Example 2.8. This result is based on an inequality for the cardinality of continuous images of Lindelöf $p$ -groups (Theorem 2.1). A closely related result is Corollary 4.4: if a space $Y$ is a continuous image of a Lindelöf $p$ -group, then there exists a covering $γ$ of $Y$ by dyadic compacta such that $| γ | \leq 2^{ω}$ . We also show that if a homogeneous compact space $Y$ is...

More reflections on compactness

Lúcia R. Junqueira, Franklin D. Tall (2003)

Fundamenta Mathematicae

Similarity:

We consider the question of when $X_{M} = X$ , where $X_{M}$ is the elementary submodel topology on X ∩ M, especially in the case when $X_{M}$ is compact.

$C^{*}$ -points vs $P$ -points and $P^{♭}$ -points

Jorge Martinez, Warren Wm. McGovern (2022)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

In a Tychonoff space $X$ , the point $p \in X$ is called a $C^{*}$ -point if every real-valued continuous function on $C ∖ {p}$ can be extended continuously to $p$ . Every point in an extremally disconnected space is a $C^{*}$ -point. A classic example is the space $𝐖^{*} = ω_{1} + 1$ consisting of the countable ordinals together with $ω_{1}$ . The point $ω_{1}$ is known to be a $C^{*}$ -point as well as a $P$ -point. We supply a characterization of $C^{*}$ -points in totally ordered spaces. The remainder of our time is aimed at studying when a point in a product space...

$Σ_{s}$ -products revisited

Reynaldo Rojas-Hernández (2015)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

We show that any $Σ_{s}$ -product of at most $𝔠$ -many $L Σ (\leq ω)$ -spaces has the $L Σ (\leq ω)$ -property. This result generalizes some known results about $L Σ (\leq ω)$ -spaces. On the other hand, we prove that every $Σ_{s}$ -product of monotonically monolithic spaces is monotonically monolithic, and in a similar form, we show that every $Σ_{s}$ -product of Collins-Roscoe spaces has the Collins-Roscoe property. These results generalize some known results about the Collins-Roscoe spaces and answer some questions due to Tkachuk [Lifting the Collins-Roscoe...

On operators from $ℓ_{s}$ to $ℓ_{p} \otimes ̂ ℓ_{q}$ or to $ℓ_{p} \hat{\otimes ̂} ℓ_{q}$

Christian Samuel (2010)

Colloquium Mathematicae

Similarity:

We show that every operator from $ℓ_{s}$ to $ℓ_{p} \otimes ̂ ℓ_{q}$ is compact when 1 ≤ p,q < s and that every operator from $ℓ_{s}$ to $ℓ_{p} \hat{\otimes ̂} ℓ_{q}$ is compact when 1/p + 1/q > 1 + 1/s.

Displaying similar documents to “The Niemytzki plane is ϰ -metrizable”

Displaying similar documents to “The Niemytzki plane is $ϰ$ -metrizable”