A first countable supercompact Hausdorff space with a closed $G_δ$ nonsupercompact subspace

Murray G. Bell

Displaying similar documents to “A first countable supercompact Hausdorff space with a closed $G_{δ}$ nonsupercompact subspace”

The (dis)connectedness of products of Hausdorff spaces in the box topology

Vitalij A. Chatyrko (2021)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

In this paper the following two propositions are proved: (a) If $X_{α}$ , $α \in A$ , is an infinite system of connected spaces such that infinitely many of them are nondegenerated completely Hausdorff topological spaces then the box product $□_{α \in A} X_{α}$ can be decomposed into continuum many disjoint nonempty open subsets, in particular, it is disconnected. (b) If $X_{α}$ , $α \in A$ , is an infinite system of Brown Hausdorff topological spaces then the box product $□_{α \in A} X_{α}$ is also Brown Hausdorff, and hence, it is connected. A space...

A compact Hausdorff topology that is a T₁-complement of itself

Dmitri Shakhmatov, Michael Tkachenko (2002)

Fundamenta Mathematicae

Similarity:

Topologies τ₁ and τ₂ on a set X are called T₁-complementary if τ₁ ∩ τ₂ = X∖F: F ⊆ X is finite ∪ ∅ and τ₁∪τ₂ is a subbase for the discrete topology on X. Topological spaces $(X, τ_{X})$ and $(Y, τ_{Y})$ are called T₁-complementary provided that there exists a bijection f: X → Y such that $τ_{X}$ and $f^{- 1} (U) : U \in τ_{Y}$ are T₁-complementary topologies on X. We provide an example of a compact Hausdorff space of size $2^{}$ which is T₁-complementary to itself ( denotes the cardinality of the continuum). We prove that the existence of a compact...

Univoque sets for real numbers

Fan Lü, Bo Tan, Jun Wu (2014)

Fundamenta Mathematicae

Similarity:

For x ∈ (0,1), the univoque set for x, denoted (x), is defined to be the set of β ∈ (1,2) such that x has only one representation of the form x = x₁/β + x₂/β² + ⋯ with $x_{i} \in 0, 1$ . We prove that for any x ∈ (0,1), (x) contains a sequence ${β_{k}}_{k \geq 1}$ increasing to 2. Moreover, (x) is a Lebesgue null set of Hausdorff dimension 1; both (x) and its closure $\bar{(x)}$ are nowhere dense.

On the Hausdorff Dimension of Topological Subspaces

Tomasz Szarek, Maciej Ślęczka (2006)

Bulletin of the Polish Academy of Sciences. Mathematics

Similarity:

It is shown that every Polish space X with $d i m_{T} X \geq d$ admits a compact subspace Y such that $d i m_{H} Y \geq d$ where $d i m_{T}$ and $d i m_{H}$ denote the topological and Hausdorff dimensions, respectively.

On the continuity of the Hausdorff dimension of the Julia-Lavaurs sets

Ludwik Jaksztas (2011)

Fundamenta Mathematicae

Similarity:

Let f₀(z) = z²+1/4. We denote by ₀ the set of parameters σ ∈ ℂ for which the critical point 0 escapes from the filled-in Julia set K(f₀) in one step by the Lavaurs map $g_{σ}$ . We prove that if σ₀ ∈ ∂₀, then the Hausdorff dimension of the Julia-Lavaurs set $J_{0, σ}$ is continuous at σ₀ as the function of the parameter $σ \in \bar{₀}$ if and only if $H D (J_{0, σ ₀}) \geq 4 / 3$ . Since $H D (J_{0, σ}) > 4 / 3$ on a dense set of parameters which correspond to preparabolic points, the lower semicontinuity implies the continuity of $H D (J_{0, σ})$ on an open and dense subset of...

Infinite Iterated Function Systems Depending on a Parameter

Ludwik Jaksztas (2007)

Bulletin of the Polish Academy of Sciences. Mathematics

Similarity:

This paper is motivated by the problem of dependence of the Hausdorff dimension of the Julia-Lavaurs sets $J_{0, σ}$ for the map f₀(z) = z²+1/4 on the parameter σ. Using homographies, we imitate the construction of the iterated function system (IFS) whose limit set is a subset of $J_{0, σ}$ , given by Urbański and Zinsmeister. The closure of the limit set of our IFS $ϕ_{σ, α}^{n, k}$ is the closure of some family of circles, and if the parameter σ varies, then the behavior of the limit set is similar to the behavior of...

A two-dimensional univoque set

Martijn de Vrie, Vilmos Komornik (2011)

Fundamenta Mathematicae

Similarity:

Let J ⊂ ℝ² be the set of couples (x,q) with q > 1 such that x has at least one representation of the form $x = \sum_{i = 1}^{\infty} c_{i} q^{- i}$ with integer coefficients $c_{i}$ satisfying $0 \leq c_{i} < q$ , i ≥ 1. In this case we say that $(c_{i}) = c ₁ c ₂ . . .$ is an expansion of x in base q. Let U be the set of couples (x,q) ∈ J such that x has exactly one expansion in base q. In this paper we deduce some topological and combinatorial properties of the set U. We characterize the closure of U, and we determine its Hausdorff dimension. For (x,q) ∈ J, we also...

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.

On the Separation Dimension of $K_{ω}$

Yasunao Hattori, Jan van Mill (2013)

Bulletin of the Polish Academy of Sciences. Mathematics

Similarity:

We prove that $t r t K_{ω} > ω + 1$ , where trt stands for the transfinite extension of Steinke’s separation dimension. This answers a question of Chatyrko and Hattori.

A note on star Lindelöf, first countable and normal spaces

Wei-Feng Xuan (2017)

Mathematica Bohemica

Similarity:

A topological space $X$ is said to be star Lindelöf if for any open cover $𝒰$ of $X$ there is a Lindelöf subspace $A \subset X$ such that $St (A, 𝒰) = X$ . The “extent” $e (X)$ of $X$ is the supremum of the cardinalities of closed discrete subsets of $X$ . We prove that under $V = L$ every star Lindelöf, first countable and normal space must have countable extent. We also obtain an example under $MA + \neg CH$ , which shows that a star Lindelöf, first countable and normal space may not have countable extent.

A new Lindelöf space with points $G_{δ}$

Alan S. Dow (2015)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

We prove that $♦^{*}$ implies there is a zero-dimensional Hausdorff Lindelöf space of cardinality $2^{ℵ_{1}}$ which has points $G_{δ}$ . In addition, this space has the property that it need not be Lindelöf after countably closed forcing.

Spaces with star countable extent

A. D. Rojas-Sánchez, Angel Tamariz-Mascarúa (2016)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

For a topological property $P$ , we say that a space $X$ is star $P$ if for every open cover $𝒰$ of the space $X$ there exists $A \subset X$ such that $s t (A, 𝒰) = X$ . We consider space with star countable extent establishing the relations between the star countable extent property and the properties star Lindelöf and feebly Lindelöf. We describe some classes of spaces in which the star countable extent property is equivalent to either the Lindelöf property or separability. An example is given of a Tychonoff star Lindelöf...

A nice subclass of functionally countable spaces

Vladimir Vladimirovich Tkachuk (2018)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

A space $X$ is functionally countable if $f (X)$ is countable for any continuous function $f : X \to ℝ$ . We will call a space $X$ exponentially separable if for any countable family $ℱ$ of closed subsets of $X$ , there exists a countable set $A \subset X$ such that $A \cap ⋂ 𝒢 \neq \emptyset$ whenever $𝒢 \subset ℱ$ and $⋂ 𝒢 \neq \emptyset$ . Every exponentially separable space is functionally countable; we will show that for some nice classes of spaces exponential separability coincides with functional countability. We will also establish that the class of exponentially separable...

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.

An observation on spaces with a zeroset diagonal

Wei-Feng Xuan (2020)

Mathematica Bohemica

Similarity:

We say that a space $X$ has the discrete countable chain condition (DCCC for short) if every discrete family of nonempty open subsets of $X$ is countable. A space $X$ has a zeroset diagonal if there is a continuous mapping $f : X^{2} \to [0, 1]$ with $Δ_{X} = f^{- 1} (0)$ , where $Δ_{X} = {(x, x) : x \in X}$ . In this paper, we prove that every first countable DCCC space with a zeroset diagonal has cardinality at most $𝔠$ .

$ℰ_{B}$ -dimension function of bitopological spaces

M. Jelić (1987)

Matematički Vesnik

Similarity:

On a question of $C_{c} (X)$

A. R. Olfati (2016)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

In this short article we answer the question posed in Ghadermazi M., Karamzadeh O.A.S., Namdari M., On the functionally countable subalgebra of $C (X)$ , Rend. Sem. Mat. Univ. Padova 129 (2013), 47–69. It is shown that $C_{c} (X)$ is isomorphic to some ring of continuous functions if and only if $υ_{0} X$ is functionally countable. For a strongly zero-dimensional space $X$ , this is equivalent to say that $X$ is functionally countable. Hence for every $P$ -space it is equivalent to pseudo- $ℵ_{0}$ -compactness.

On universality of countable and weak products of sigma hereditarily disconnected spaces

Taras Banakh, Robert Cauty (2001)

Fundamenta Mathematicae

Similarity:

Suppose a metrizable separable space Y is sigma hereditarily disconnected, i.e., it is a countable union of hereditarily disconnected subspaces. We prove that the countable power $X^{ω}$ of any subspace X ⊂ Y is not universal for the class ₂ of absolute $G_{δ σ}$ -sets; moreover, if Y is an absolute $F_{σ δ}$ -set, then $X^{ω}$ contains no closed topological copy of the Nagata space = W(I,ℙ); if Y is an absolute $G_{δ}$ -set, then $X^{ω}$ contains no closed copy of the Smirnov space σ = W(I,0). On the other hand, the countable...

$T_{2}$ and $T_{3}$ objects at $p$ in the category of proximity spaces

Muammer Kula, Samed Özkan (2020)

Mathematica Bohemica

Similarity:

In previous papers, various notions of pre-Hausdorff, Hausdorff and regular objects at a point $p$ in a topological category were introduced and compared. The main objective of this paper is to characterize each of these notions of pre-Hausdorff, Hausdorff and regular objects locally in the category of proximity spaces. Furthermore, the relationships that arise among the various $Pre T_{2}$ , $T_{i}$ , $i = 0, 1, 2, 3$ , structures at a point $p$ are investigated. Finally, we examine the relationships between the generalized...

On Szymański theorem on hereditary normality of $β ω$

Sergei Logunov (2022)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

We discuss the following result of A. Szymański in “Retracts and non-normality points" (2012), Corollary 3.5.: If $F$ is a closed subspace of $ω^{*}$ and the $π$ -weight of $F$ is countable, then every nonisolated point of $F$ is a non-normality point of $ω^{*}$ . We obtain stronger results for all types of points, excluding the limits of countable discrete sets considered in “Some non-normal subspaces of the Čech–Stone compactification of a discrete space” (1980) by A. Błaszczyk and A. Szymański. Perhaps...

Extremally disconnected resolutions of $T_{0}$ -spaces

A. Błaszczyk (1974)

Colloquium Mathematicae

Similarity:

On biorthogonal systems whose functionals are finitely supported

Christina Brech, Piotr Koszmider (2011)

Fundamenta Mathematicae

Similarity:

We show that for each natural number n > 1, it is consistent that there is a compact Hausdorff totally disconnected space $K_{2 n}$ such that $C (K_{2 n})$ has no uncountable (semi)biorthogonal sequence ${(f_{ξ}, μ_{ξ})}_{ξ \in ω ₁}$ where $μ_{ξ}$ ’s are atomic measures with supports consisting of at most 2n-1 points of $K_{2 n}$ , but has biorthogonal systems ${(f_{ξ}, μ_{ξ})}_{ξ \in ω ₁}$ where $μ_{ξ}$ ’s are atomic measures with supports consisting of 2n points. This complements a result of Todorcevic which implies that it is consistent that such spaces do not exist: he proves...

On the Set-Theoretic Strength of Countable Compactness of the Tychonoff Product $2^{ℝ}$

Eleftherios Tachtsis (2010)

Bulletin of the Polish Academy of Sciences. Mathematics

Similarity:

We work in ZF set theory (i.e., Zermelo-Fraenkel set theory minus the Axiom of Choice AC) and show the following: 1. The Axiom of Choice for well-ordered families of non-empty sets ( $A C^{W O}$ ) does not imply “the Tychonoff product $2^{ℝ}$ , where 2 is the discrete space 0,1, is countably compact” in ZF. This answers in the negative the following question from Keremedis, Felouzis, and Tachtsis [Bull. Polish Acad. Sci. Math. 55 (2007)]: Does the Countable Axiom of Choice for families of non-empty sets...

The growth speed of digits in infinite iterated function systems

Chun-Yun Cao, Bao-Wei Wang, Jun Wu (2013)

Studia Mathematica

Similarity:

Let ${f ₙ}_{n \geq 1}$ be an infinite iterated function system on [0,1] satisfying the open set condition with the open set (0,1) and let Λ be its attractor. Then to any x ∈ Λ (except at most countably many points) corresponds a unique sequence ${a ₙ (x)}_{n \geq 1}$ of integers, called the digit sequence of x, such that $x = l i m_{n \to \infty} f_{a ₁ (x)} \circ \dots \circ f_{a ₙ (x)} (1)$ . We investigate the growth speed of the digits in a general infinite iterated function system. More precisely, we determine the dimension of the set $x \in Λ : a ₙ (x) \in B (\forall n \geq 1), l i m_{n \to \infty} a ₙ (x) = \infty$ for any infinite subset B ⊂ ℕ, a question posed by...

Displaying similar documents to “A first countable supercompact Hausdorff space with a closed G δ nonsupercompact subspace”

Displaying similar documents to “A first countable supercompact Hausdorff space with a closed $G_{δ}$ nonsupercompact subspace”