Related papers: Countable Normality

We examine topological spaces not distinguishing ideal pointwise and ideal $\sigma$-uniform convergence of sequences of real-valued continuous functions defined on them. For instance, we introduce a purely combinatorial cardinal…

A countable group is C*-simple if its reduced C*-algebra is simple. It is well known that C*-simplicity implies that the amenable radical of the group must be trivial. We show that the converse does not hold by constructing explicit…

Magnitude is a numerical invariant of finite metric spaces, recently introduced by T. Leinster, which is analogous in precise senses to the cardinality of finite sets or the Euler characteristic of topological spaces. It has been extended…

We show (in ZFC) that the cardinality of a compact homogeneous space of countable tightness is no more than the size of the continuum.

For infinite products of compact spaces, Tychonoff's theorem asserts that their product is compact, in the product topology. Tychonoff's theorem is shown to be equivalent to the axiom of choice. In this paper, we show that any countable…

In this work we study the space complexity of computable real numbers represented by fast convergent Cauchy sequences. We show the existence of families of trascendental numbers which are logspace computable, as opposed to algebraic…

Here we present an overview of countably-normed spaces. We discuss the main topologies--weak, strong, and inductive--placed on the dual of a countably-normed space and discuss the sigma-fields generated by these topologies. In particular,…

Unlike Martin-L\"of randomness and Schnorr randomness, computable randomness has not been defined, except for a few ad hoc cases, outside of Cantor space. This paper offers such a definition (actually, several equivalent definitions), and…

A Borel equivalence relation on a Polish space is said to be countable if all of its equivalence classes are countable. Standard examples of countable Borel equivalence relations (on the space of subsets of the integers) that occur in…

All spaces are assumed to be Tychonoff. Given a realcompact space $X$, we denote by $\mathsf{Exp}(X)$ the smallest infinite cardinal $\kappa$ such that $X$ is homeomorphic to a closed subspace of $\mathbb{R}^\kappa$. Our main result shows…

In this survey, my aim has been to discuss the use of sequences and countable sets in general topology. In this way I have been led to consider five different classes of topological spaces: first countable spaces, sequential spaces, Frechet…

In this work we study three topologies defined over the same set: the hedgehog. As the name suggests, the hedgehog can be described as a set of spines identified at a single point. Among others, we give a proof of the Kowalsky hedgehog…

This article is a fundamental study in computable analysis. In the framework of Type-2 effectivity, TTE, we investigate computability aspects on finite and infinite products of effective topological spaces. For obtaining uniform results we…

We define a class of spaces on which one may generalise the notion of compactness following motivating examples from higher-dimensional number theory. We establish analogues of several well-known topological results (such as Tychonoff's…

We characterize Ascoli spaces by showing that a Tychonoff space $X$ is Ascoli iff the canonical map from the free locally convex space $L(X)$ over $X$ into $C_k\big(C_k(X)\big)$ is an embedding of locally convex spaces. We prove that an…

In this paper we recall a non-standard construction of the Borel sigma-algebra B in [0,1] and construct a family of measures (in particular, Lebesgue measure) in B by a completely non-topological method. This approach, that goes back to…

A topological space $X$ is said to be an Ascoli space if any compact subset $K$ of $C_k(X)$ is evenly continuous. This definition is motivated by the classical Ascoli theorem. We study the $k_R$-property and the Ascoli property of…

Using weaker versions of the cardinal function $\psi_c(X)$, we derive a series of new bounds for the cardinality of Hausdorff spaces and regular spaces that do not involve $\psi_c(X)$ nor its variants at all. For example, we show if $X$ is…

If it is consistent that there is a measurable cardinal, then it is consistent that all points g-delta Rothberger spaces have "small" cardinality.

We consider the compact spaces sigma_n(I) of subsets of an uncountable set I of cardinality at most n and their countable products. We give a complete classification of their Banach spaces of continuous functions and a partial topological…