Search results for "Countable set"

Weak regularity and consecutive topologizations and regularizations of pretopologies

2009

Abstract L. Foged proved that a weakly regular topology on a countable set is regular. In terms of convergence theory, this means that the topological reflection Tξ of a regular pretopology ξ on a countable set is regular. It is proved that this still holds if ξ is a regular σ -compact pretopology. On the other hand, it is proved that for each n ω there is a (regular) pretopology ρ (on a set of cardinality c ) such that ( RT ) k ρ > ( RT ) n ρ for each k n and ( RT ) n ρ is a Hausdorff compact topology, where R is the reflector to regular pretopologies. It is also shown that there exists a regular pretopology of Hausdorff RT -order ⩾ ω 0 . Moreover, all these pretopologies have the property…

Every Quojection is the Quotient of a Countable Product of Banach Spaces

1989

It is proved that every quojection in the sense of Bellenot and Dubinsky [1] is the quotient of a countable product of copies of l 1 (I) for a suitable index set I.

A Uniform Way to Control Chief Series in Finite p -Groups and to Construct the Countable Algebraically Closed Locally Finite p -Groups

1986

The Separable Complementation Property and Mrówka Compacta

2017

We study the separable complementation property for $C(K_{\cal A})$ spaces when $K_{\cal A}$ is the Mr\'owka compact associated to an almost disjoint family ${\cal A}$ of countable sets. In particular we prove that, if ${\cal A}$ is a  generalized ladder system,  then $C(K_{\cal A})$ has the separable complementation property ($SCP$ for short) if and only if it has the controlled version of this property. We also show that, when ${\cal A}$ is  a maximal generalized ladder system, the space $C(K_{\cal A})$ does not enjoy the $SCP$.

Countable connected spaces and bunches of arcs in R3

2006

Abstract We investigate the images (also called quotients) of countable connected bunches of arcs in R 3 , obtained by shrinking the arcs to points (see Section 2 for definitions of new terms). First, we give an intrinsic description of such images among T 1 -spaces: they are precisely countable and weakly first countable spaces. Moreover, an image is first countable if and only if it can be represented as a quotient of another bunch with its projection hereditarily quotient (Theorem 2.7). Applying this result we see, for instance, that two classical countable connected T 2 -spaces—the Bing space [R.H. Bing, A connected countable Hausdorff space, Proc. Amer. Math. Soc. 4 (1953) 474], and th…

Uncountable classical and quantum complexity classes

2018

It is known that poly-time constant-space quantum Turing machines (QTMs) and logarithmic-space probabilistic Turing machines (PTMs) recognize uncountably many languages with bounded error (A.C. Cem Say and A. Yakaryılmaz, Magic coins are useful for small-space quantum machines. Quant. Inf. Comput. 17 (2017) 1027–1043). In this paper, we investigate more restricted cases for both models to recognize uncountably many languages with bounded error. We show that double logarithmic space is enough for PTMs on unary languages in sweeping reading mode or logarithmic space for one-way head. On unary languages, for quantum models, we obtain middle logarithmic space for counter machines. For binary la…

Uncountable Realtime Probabilistic Classes

2018

We investigate the minimal cases for realtime probabilistic machines that can define uncountably many languages with bounded error. We show that logarithmic space is enough for realtime PTMs on unary languages. On non-unary case, we obtain the same result for double logarithmic space, which is also tight. When replacing the work tape with a few counters, we can still achieve similar results for unary linear-space two-counter automata, unary sublinear-space three-counter automata, and non-unary sublinear-space two-counter automata. We also show how to slightly improve the sublinear-space constructions by using more counters.

On Weakly Locally Uniformly Rotund Banach Spaces

1999

Abstract We show that every normed space E with a weakly locally uniformly rotund norm has an equivalent locally uniformly rotund norm. After obtaining a σ -discrete network of the unit sphere S E for the weak topology we deduce that the space E must have a countable cover by sets of small local diameter, which in turn implies the renorming conclusion. This solves a question posed by Deville, Godefroy, Haydon, and Zizler. For a weakly uniformly rotund norm we prove that the unit sphere is always metrizable for the weak topology despite the fact that it may not have the Kadec property. Moreover, Banach spaces having a countable cover by sets of small local diameter coincide with the descript…

Almost disjoint families of countable sets and separable complementation properties

2012

We study the separable complementation property (SCP) and its natural variations in Banach spaces of continuous functions over compacta $K_{\mathcal A}$ induced by almost disjoint families ${\mathcal A}$ of countable subsets of uncountable sets. For these spaces, we prove among others that $C(K_{\mathcal A})$ has the controlled variant of the separable complementation property if and only if $C(K_{\mathcal A})$ is Lindel\"of in the weak topology if and only if $K_{\mathcal A}$ is monolithic. We give an example of ${\mathcal A}$ for which $C(K_{\mathcal A})$ has the SCP, while $K_{\mathcal A}$ is not monolithic and an example of a space $C(K_{\mathcal A})$ with controlled and continuous SCP …

Completeness number of families of subsets of convergence spaces

2016

International audience; Compactoid and compact families generalize both convergent filters and compact sets. This concept turned out to be useful in various quests, like Scott topologies, triquotient maps and extensions of the Choquet active boundary theorem.The completeness number of a family in a convergence space is the least cardinality of collections of covers for which the family becomes complete. 0-completeness amounts to compactness, finite completeness to relative local compactness and countable completeness to Čech completeness. Countably conditional countable completeness amounts to pseudocompleteness of Oxtoby. Conversely, each completeness class of families can be represented a…