Classification of spaces of continuous functions on ordinals

Leonid V. Genze; Sergei P. Gul'ko; Tat'ana E. Khmyleva

Displaying similar documents to “Classification of spaces of continuous functions on ordinals”

Decidability and definability results related to the elementary theory of ordinal multiplication

Alexis Bès (2002)

Fundamenta Mathematicae

Similarity:

The elementary theory of ⟨α;×⟩, where α is an ordinal and × denotes ordinal multiplication, is decidable if and only if $α < ω^{ω}$ . Moreover if $|_{r}$ and $|_{l}$ respectively denote the right- and left-hand divisibility relation, we show that Th $⟨ ω^{ω^{ξ}} {; |}_{r} ⟩$ and Th $⟨ ω^{ξ} {; |}_{l} ⟩$ are decidable for every ordinal ξ. Further related definability results are also presented.

Some remarks on universality properties of $ℓ_{\infty} / c ₀$

Mikołaj Krupski, Witold Marciszewski (2012)

Colloquium Mathematicae

Similarity:

We prove that if is not a Kunen cardinal, then there is a uniform Eberlein compact space K such that the Banach space C(K) does not embed isometrically into $ℓ_{\infty} / c ₀$ . We prove a similar result for isomorphic embeddings. Our arguments are minor modifications of the proofs of analogous results for Corson compacta obtained by S. Todorčević. We also construct a consistent example of a uniform Eberlein compactum whose space of continuous functions embeds isomorphically into $ℓ_{\infty} / c ₀$ , but fails to embed...

A solution to Comfort's question on the countable compactness of powers of a topological group

Artur Hideyuki Tomita (2005)

Fundamenta Mathematicae

Similarity:

In 1990, Comfort asked Question 477 in the survey book “Open Problems in Topology”: Is there, for every (not necessarily infinite) cardinal number $α \leq 2^{}$ , a topological group G such that $G^{γ}$ is countably compact for all cardinals γ < α, but $G^{α}$ is not countably compact? Hart and van Mill showed in 1991 that α = 2 answers this question affirmatively under $M A_{c o u n t a b l e}$ . Recently, Tomita showed that every finite cardinal answers Comfort’s question in the affirmative, also from $M A_{c o u n t a b l e}$ . However, the question has...

Reflecting character and pseudocharacter

Lucia R. Junqueira, Alberto M. E. Levi (2015)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

We say that a cardinal function $φ$ reflects an infinite cardinal $κ$ , if given a topological space $X$ with $φ (X) \geq κ$ , there exists $Y \in {[X]}^{\leq κ}$ with $φ (Y) \geq κ$ . We investigate some problems, discussed by Hodel and Vaughan in Reflection theorems for cardinal functions, Topology Appl. 100 (2000), 47–66, and Juhász in Cardinal functions and reflection, Topology Atlas Preprint no. 445, 2000, related to the reflection for the cardinal functions character and pseudocharacter. Among other results, we present some new equivalences...

A note on $R_{0}$ -topological spaces

K. K. Dube (1974)

Matematički Vesnik

Similarity:

Nonnormality of remainders of some topological groups

Aleksander V. Arhangel&#039;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 ordinals accessible by infinitary languages

Saharon Shelah, Pauli Väisänen, Jouko Väänänen (2005)

Fundamenta Mathematicae

Similarity:

Let λ be an infinite cardinal number. The ordinal number δ(λ) is the least ordinal γ such that if ϕ is any sentence of $L_{λ ⁺ ω}$ , with a unary predicate D and a binary predicate ≺, and ϕ has a model ℳ with $⟨ D^{ℳ}, ≺^{ℳ} ⟩$ a well-ordering of type ≥ γ, then ϕ has a model ℳ ’ where $⟨ D^{ℳ^{'}}, ≺^{ℳ^{'}} ⟩$ is non-well-ordered. One of the interesting properties of this number is that the Hanf number of $L_{λ ⁺ ω}$ is exactly $ℶ_{δ (λ)}$ . It was proved in [BK71] that if ℵ₀ < λ < κ $a r e r e g u l a r c a r d i n a l n u m b e r s, t h e n t h e r e i s a f o r c i n g e x t e n s i o n, p r e s e r v i n g c o f i n a l i t i e s, s u c h t h a t i n t h e e x t e n s i o n$ 2λ = κ $a n d δ (λ) < λ ⁺ ⁺ . W e i m p r o v e t h i s r e s u l t b y p r o v i n g t h e f o l l o w i n g : S u p p o s e ℵ ₀ < λ < θ \leq κ a r e c a r d i n a l n u m b e r s s u c h t h a t$ ∙ $λ^{< λ} = λ$ ; ∙ cf(θ) ≥ λ⁺ and $μ^{λ} < θ$ whenever μ < θ; ∙ $κ^{λ} = κ$ . Then there...

Homeomorphism groups of Sierpiński carpets and Erdős space

Jan J. Dijkstra, Dave Visser (2010)

Fundamenta Mathematicae

Similarity:

Erdős space is the “rational” Hilbert space, that is, the set of vectors in ℓ² with all coordinates rational. Erdős proved that is one-dimensional and homeomorphic to its own square × , which makes it an important example in dimension theory. Dijkstra and van Mill found topological characterizations of . Let $M ₙ^{n + 1}$ , n ∈ ℕ, be the n-dimensional Menger continuum in $ℝ^{n + 1}$ , also known as the n-dimensional Sierpiński carpet, and let D be a countable dense subset of $M ₙ^{n + 1}$ . We consider the topological group...

An Isomorphic Classification of $C (2^{} \times [0, α])$ Spaces

Elói Medina Galego (2009)

Bulletin of the Polish Academy of Sciences. Mathematics

Similarity:

We present an extension of the classical isomorphic classification of the Banach spaces C([0,α]) of all real continuous functions defined on the nondenumerable intervals of ordinals [0,α]. As an application, we establish the isomorphic classification of the Banach spaces $C (2^{} \times [0, α])$ of all real continuous functions defined on the compact spaces $2^{} \times [0, α]$ , the topological product of the Cantor cubes $2^{}$ with smaller than the first sequential cardinal, and intervals of ordinal numbers [0,α]. Consequently,...

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.

A condition equivalent to uniform ergodicity

Maria Elena Becker (2005)

Studia Mathematica

Similarity:

Let T be a linear operator on a Banach space X with $s u p ₙ | | T ⁿ / n^{w} | | < \infty$ for some 0 ≤ w < 1. We show that the following conditions are equivalent: (i) $n^{- 1} \sum_{k = 0}^{n - 1} T^{k}$ converges uniformly; (ii) $c l (I - T) X = z \in X : l i m_{n} \sum_{k = 1}^{n} T^{k} z / k e x i s t s$ .

On topological groups with a small base and metrizability

Saak Gabriyelyan, Jerzy Kąkol, Arkady Leiderman (2015)

Fundamenta Mathematicae

Similarity:

A (Hausdorff) topological group is said to have a -base if it admits a base of neighbourhoods of the unit, $U_{α} : α \in ℕ^{ℕ}$ , such that $U_{α} \subset U_{β}$ whenever β ≤ α for all $α, β \in ℕ^{ℕ}$ . The class of all metrizable topological groups is a proper subclass of the class $T G_{}$ of all topological groups having a -base. We prove that a topological group is metrizable iff it is Fréchet-Urysohn and has a -base. We also show that any precompact set in a topological group $G \in T G_{}$ is metrizable, and hence G is strictly angelic. We deduce from...

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 \cap M : U \in \cap 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 $R_{0}$ and $R_{1}$ topological spaces

D. Janković (1981)

Matematički Vesnik

Similarity:

$R_{0}$ and $R_{1}$ topological spaces

C. Dorsett (1978)

Matematički Vesnik

Similarity:

A note on $R_{0}$ and $R_{1}$ topological spaces

M. R. Žižović (1986)

Matematički Vesnik

Similarity:

On isomorphism classes of $C (2^{} \oplus [0, α])$ spaces

Elói Medina Galego (2009)

Fundamenta Mathematicae

Similarity:

We provide a complete isomorphic classification of the Banach spaces of continuous functions on the compact spaces $2^{} \oplus [0, α]$ , the topological sums of Cantor cubes $2^{}$ , with smaller than the first sequential cardinal, and intervals of ordinal numbers [0,α]. In particular, we prove that it is relatively consistent with ZFC that the only isomorphism classes of $C (2^{} \oplus [0, α])$ spaces with ≥ ℵ₀ and α ≥ ω₁ are the trivial ones. This result leads to some elementary questions on large cardinals.

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