SPM Bulletin 2
This is the second issue of the SPM Bulletin (SPM stands for "Selection Principles in Mathematics"). The first issue is math.GN/0301011 and contains some background and details.
math.GN↗
SEARCH · arXiv Science
Results for “math.GN”
Search indexed arXiv papers on artificial intelligence, large language models, computer vision and robotics. Read source abstracts and follow links to arXiv.
Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.
Additivity properties of topological diagonalizations
We answer a question of Just, Miller, Scheepers and Szeptycki whether certain diagonalization properties for sequences of open covers are provably closed under taking finite or countable unions. This is a very concise paper. For a self-contained, complete, and extended treatment of the topic see math.GN/0604451
math.LO↗
Some Unique Fixed Point Theorems in Multiplicative Metric Spaces
Özavsar and Cevikel(Fixed point of multiplicative contraction mappings on multiplicative metric space.arXiv:1205.5131v1 [math.GN] 23 may 2012)initiated the concept of the multiplicative metric space in such a way that the usual triangular inequality is replaced by "multiplicative triangle inequality $d(x,y)\leq d(x,z).d(z,y)$ for all $x,y,z\in X$". In this manuscript, we discussed some unique fixed point theorems in the context of multiplicative metric spaces. The established results carry some well known results from the literature to multiplicative metric space. We note that some fixed point theorems can be deduced in multiplicative metric space by using the established results. Appropriate examples are also given.
math.GM↗
On cardinal invariants related to Rosenthal families and large-scale topology
Given a function $f \in ω^ω$, a set $A \in [ω]^ω$ is free for $f$ if $f[A] \cap A$ is finite. For a class of functions $Γ\subseteq ω^ω$, we define $\mathfrak{ros}_Γ$ as the smallest size of a family $\mathcal{A}\subseteq [ω]^ω$ such that for every $f\inΓ$ there is a set $A \in \mathcal{A}$ which is free for $f$, and $Δ_Γ$ as the smallest size of a family $\mathcal{F}\subseteqΓ$ such that for every $A\in[ω]^ω$ there is $f\in\mathcal{F}$ such that $A$ is not free for $f$. We compare several versions of these cardinal invariants with some of the classical cardinal characteristics of the continuum. Using these notions, we partially answer some questions from arXiv:1911.01336 [math.LO] and arXiv:2004.01979 [math.GN].
math.LO↗
A note on the metrizability of spaces
With the blessing of hind sight we consider the problem of metrizability and show that the classical Bing-Nagata-Smirnov Theorem and a more recent result of Flagg give complementary answers to the metrization problem, that are in a sense dual to each other.
math.GN↗
A metrizable semitopological semilattice with non-closed partial order
We construct a metrizable semitopological semilattice $X$ whose partial order $P=\{(x,y)\in X\times X:xy=x\}$ is a non-closed dense subset of $X\times X$. As a by-product we find necessary and sufficient conditions for the existence of a (metrizable) Hausdorff topology on a set, act, semigroup or semilattice, having a prescribed countable family of convergent sequences.
math.GN↗
Uniform measures and countably additive measures
Uniform measures are defined as the functionals on the space of bounded uniformly continuous functions that are continuous on bounded uniformly equicontinuous sets. If every cardinal has measure zero then every countably additive measure is a uniform measure. The functionals sequentially continuous on bounded uniformly equicontinuous sets are exactly uniform measures on the separable modification of the underlying uniform space.
math.FA↗
Characterizing group $C^\ast$-algebras through their unitary groups: the Abelian case
We study to what extent group $C^\ast$-algebras are characterized by their unitary groups. A complete characterization of which Abelian group $C^\ast$-algebras have isomorphic unitary groups is obtained. We compare these results with other unitary-related invariants of $C^\ast(Γ)$, such as the $K$-theoretic $K_1(C^\ast(Γ))$ and find that $C^\ast$-algebras of nonisomorphic torsion-free Abelian groups may have isomorphic $K_1$-groups, in sharp contrast with the well-known fact that $C^\ast(Γ)$ (even $Γ$) is characterized by the topological group structure of its unitary group when $Γ$ is torsion-free and Abelian.
math.OA↗
C_{0}-Hilbert Modules
We provide the definition and fundamental properties of algebraic elements with respect to an operator satisfying hypothesis (h). Furthermore, we analyze Hilbert modules using C_0-operators relative to a bounded finitely connected region Omega in the complex plane.
math.OA↗
Lawvere completeness in Topology
It is known since 1973 that Lawvere's notion of (Cauchy-)complete enriched category is meaningful for metric spaces: it captures exactly Cauchy-complete metric spaces. In this paper we introduce the corresponding notion of Lawvere completeness for $(\mathbb{T},\mathsf{V})$-categories and show that it has an interesting meaning for topological spaces and quasi-uniform spaces: for the former ones means weak sobriety while for the latter means Cauchy completeness. Further, we show that $\mathsf{V}$ has a canonical $(\mathbb{T},\mathsf{V})$-category structure which plays a key role: it is Lawvere-complete under reasonable conditions on the setting; permits us to define a Yoneda embedding in the realm of $(\mathbb{T},\mathsf{V})$-categories.
math.CT↗
Measure of the Julia Set of the Feigenbaum map with infinite criticality
We consider fixed points of the Feigenbaum (periodic-doubling) operator whose orders tend to infinity. It is known that the hyperbolic dimension of their Julia sets go to 2. We prove that the Lebesgue measure of these Julia sets tend to zero. An important part of the proof consists in applying martingale theory to a stochastic process with non-integrable increments.
math.GN↗
On the closure of the diagonal of a $T_1$-space
Let X be a topological space. The closure of Δ= {(x, x) : x \in X} in X \times X is a symmetric relation on X. We characterise those equivalence relations on an infinite set that arise as the closure of the diagonal with respect to a T_1-topology.
math.GN↗
Splitting families and the Noetherian type of $βω-ω$
Extending some results of Malykhin, we prove several independence results about base properties of $βω-ω$ and its powers, especially the Noetherian type $Nt(βω-ω)$, the least $κ$ for which $βω-ω$ has a base that is $κ$-like with respect to containment. For example, $Nt(βω-ω)$ is never less than the splitting number, but can consistently be that $ω_1$, $2^ω$, $(2^ω)^+$, or strictly between $ω_1$ and $2^ω$. $Nt(βω-ω)$ is also consistently less than the additivity of the meager ideal. $Nt(βω-ω)$ is closely related to the existence of special kinds of splitting families.
math.LO↗
A classification of CO spaces which are continuous images of compact ordered spaces
A compact Hausdorff space X is called a CO space, if every closed subset of X is homeomorphic to an open subset of X. Every successor ordinal with its order topology is a CO space. We find an explicit characterization of the class K of CO spaces which are a continuous image of a Dedkind complete totally ordered set. (The topology of a totally ordered set is taken to be its order topology). We show that every member of K can be described as a finite disjoint sum of very simple spaces. Every summand has either form: (1) mu + 1 + nu^*, where mu and nu are cardinals, and nu^* is the reverse order of nu; or (2) the summand is the 1-point-compactification of a discrete space with cardinality aleph_1.
math.GN↗
SPM Bulletin 21
Contents: 1. Editor's note; 2. Personal impressions from the SPM07 meeting; 3. Research announcements; 3.1. Coloring ordinals by reals; 3.2. Long Borel Hierarchies; 3.3. Rothberger's property in finite powers; 3.4. Special subsets of the reals and tree forcing notions; 3.5. All automorphisms of the Calkin algebra are inner; 3.6. Continuous selections and sigma-spaces; 3.7. On the closure of the diagonal of a T1-space; 3.8. Splitting families and Noetherian type; 3.9. Even more simple cardinal invariants; 3.10. A classification of CO spaces which are continuous images of compact ordered spaces; 4. Problem of the Issue
math.GN↗
Minimality in topological groups and Heisenberg type groups
We study relatively minimal subgroups in topological groups. We find, in particular, some natural relatively minimal subgroups in unipotent groups which are defined over "good" rings. By "good" rings we mean archimedean absolute valued (not necessarily associative) division rings. Some of the classical rings which we consider besides the field of reals are the ring of quaternions and the ring of octonions. This way we generalize in part a previous result which was obtained by Dikranjan and Megrelishvili and involved the Heisenberg group.
math.GN↗
Near-homeomorphisms of Nobeling manifolds
We characterize maps between $n$-dimensional Nöbeling manifolds that can be approximated by homeomorphisms.
math.GT↗
Reparametrizations of Continuous Paths
A reparametrization (of a continuous path) is given by a surjective weakly increasing self-map of the unit interval. We show that the monoid of reparametrizations (with respect to compositions) can be understood via ``stop-maps'' that allow to investigate compositions and factorizations, and we compare it to the distributive lattice of countable subsets of the unit interval. The results obtained are used to analyse the space of traces in a topological space, i.e., the space of continuous paths up to reparametrization equivalence. This space is shown to be homeomorphic to the space of regular paths (without stops) up to increasing reparametrizations. Directed versions of the results are important in directed homotopy theory.
math.GN↗