Displaying similar documents to “Homeomorphism groups of Sierpiński carpets and Erdős space”

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 irrational problem

Franklin D. Tall (2002)

Fundamenta Mathematicae

Similarity:

Given a topological space ⟨X,⟩ ∈ M, an elementary submodel of set theory, we define X M to be X ∩ M with topology generated by U M : U M . Suppose X M is homeomorphic to the irrationals; must X = X M ? We have partial results. We also answer a question of Gruenhage by showing that if X M is homeomorphic to the “Long Cantor Set”, then X = X M .

On n -thin dense sets in powers of topological spaces

Adam Bartoš (2016)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

A subset of a product of topological spaces is called n -thin if every its two distinct points differ in at least n coordinates. We generalize a construction of Gruenhage, Natkaniec, and Piotrowski, and obtain, under CH, a countable T 3 space X without isolated points such that X n contains an n -thin dense subset, but X n + 1 does not contain any n -thin dense subset. We also observe that part of the construction can be carried out under MA.

Algebraic and topological properties of some sets in ℓ₁

Taras Banakh, Artur Bartoszewicz, Szymon Głąb, Emilia Szymonik (2012)

Colloquium Mathematicae

Similarity:

For a sequence x ∈ ℓ₁∖c₀₀, one can consider the set E(x) of all subsums of the series n = 1 x ( n ) . Guthrie and Nymann proved that E(x) is one of the following types of sets: () a finite union of closed intervals; () homeomorphic to the Cantor set; homeomorphic to the set T of subsums of n = 1 b ( n ) where b(2n-1) = 3/4ⁿ and b(2n) = 2/4ⁿ. Denote by ℐ, and the sets of all sequences x ∈ ℓ₁∖c₀₀ such that E(x) has the property (ℐ), () and ( ), respectively. We show that ℐ and are strongly -algebrable and is -lineable....

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 | γ | 2 ω . We also show that if a homogeneous compact space Y is...

Nonnormality of remainders of some topological groups

Aleksander V. Arhangel'skii, J. van Mill (2016)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

It is known that every remainder of a topological group is Lindelöf or pseudocompact. Motivated by this result, we study in this paper when a topological group G has a normal remainder. In a previous paper we showed that under mild conditions on G , the Continuum Hypothesis implies that if the Čech-Stone remainder G * of G is normal, then it is Lindelöf. Here we continue this line of investigation, mainly for the case of precompact groups. We show that no pseudocompact group, whose weight...

On affinity of Peano type functions

Tomasz Słonka (2012)

Colloquium Mathematicae

Similarity:

We show that if n is a positive integer and 2 , then for every positive integer m and for every real constant c > 0 there are functions f , . . . , f n + m : such that ( f , . . . , f n + m ) ( ) = n + m and for every x ∈ ℝⁿ there exists a strictly increasing sequence (i₁,...,iₙ) of numbers from 1,...,n+m and a w ∈ ℤⁿ such that ( f i , . . . , f i ) ( y ) = y + w for y x + ( - c , c ) × n - 1 .

Locally functionally countable subalgebra of ( L )

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

Archivum Mathematicum

Similarity:

Let L c ( X ) = { f C ( X ) : C f ¯ = X } , where C f is the union of all open subsets U X such that | f ( U ) | 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.

Finite-dimensional maps and dendrites with dense sets of end points

Hisao Kato, Eiichi Matsuhashi (2006)

Colloquium Mathematicae

Similarity:

The first author has recently proved that if f: X → Y is a k-dimensional map between compacta and Y is p-dimensional (0 ≤ k, p < ∞), then for each 0 ≤ i ≤ p + k, the set of maps g in the space C ( X , I p + 2 k + 1 - i ) such that the diagonal product f × g : X Y × I p + 2 k + 1 - i is an (i+1)-to-1 map is a dense G δ -subset of C ( X , I p + 2 k + 1 - i ) . In this paper, we prove that if f: X → Y is as above and D j (j = 1,..., k) are superdendrites, then the set of maps h in C ( X , j = 1 k D j × I p + 1 - i ) such that f × h : X Y × ( j = 1 k D j × I p + 1 - i ) is (i+1)-to-1 is a dense G δ -subset of C ( X , j = 1 k D j × I p + 1 - i ) for each 0 ≤ i ≤ p.

Coloring Cantor sets and resolvability of pseudocompact spaces

István Juhász, Lajos Soukup, Zoltán Szentmiklóssy (2018)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

Let us denote by Φ ( λ , μ ) the statement that 𝔹 ( λ ) = D ( λ ) ω , i.e. the Baire space of weight λ , has a coloring with μ colors such that every homeomorphic copy of the Cantor set in 𝔹 ( λ ) picks up all the μ colors. We call a space X π -regular if it is Hausdorff and for every nonempty open set U in X there is a nonempty open set V such that V ¯ U . We recall that a space X is called feebly compact if every locally finite collection of open sets in X is finite. A Tychonov space is pseudocompact if and...

The "Full Clarkson-Erdős-Schwartz Theorem" on the closure of non-dense Müntz spaces

Tamás Erdélyi (2003)

Studia Mathematica

Similarity:

Denote by spanf₁,f₂,... the collection of all finite linear combinations of the functions f₁,f₂,... over ℝ. The principal result of the paper is the following. Theorem (Full Clarkson-Erdős-Schwartz Theorem). Suppose ( λ j ) j = 1 is a sequence of distinct positive numbers. Then s p a n 1 , x λ , x λ , . . . is dense in C[0,1] if and only if j = 1 ( λ j ) / ( λ j ² + 1 ) = . Moreover, if j = 1 ( λ j ) / ( λ j ² + 1 ) < , then every function from the C[0,1] closure of s p a n 1 , x λ , x λ , . . . can be represented as an analytic function on z ∈ ℂ ∖ (-∞, 0]: |z| < 1 restricted to (0,1). This result improves an...

Σ s -products revisited

Reynaldo Rojas-Hernández (2015)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

We show that any Σ s -product of at most 𝔠 -many L Σ ( ω ) -spaces has the L Σ ( ω ) -property. This result generalizes some known results about L Σ ( ω ) -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...

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 𝔠 .