Compact-bounded topological groups

J. A. Martínez-Cadena

2023-09-05

Abstract:We will study two subclasses of the class of feebly compact spaces in the class of (para)topological groups, the compact-bounded and weakly compact-bounded spaces, both introduced by J. Angoa, Y. F. Ortiz-Castillo and A. Tamariz-Mascarúa in [4]. Also, we will study the $r$-weakly compact-bounded subsets of a topological space $X$.

General Topology

What problem does this paper attempt to address?

Compactness in L-Fuzzy Topological Spaces

Joaquin Luna-Torres,Elias Salazar-Buelvas

DOI: https://doi.org/10.48550/arXiv.1010.4970

2010-10-24

Abstract:We give a definition of compactness in L-fuzzy topological spaces and provide a characterization of compact L-fuzzy topological spaces, where L is a complete quasi-monoidal lattice with some additional structures, and we present a version of Tychonoff's theorem within the category of L-fuzzy topological spaces.

General Topology
Notes on Remainders of Topological Spaces in Some Compactifications

Hanfeng Wang,Wei He

DOI: https://doi.org/10.1016/j.topol.2016.05.009

IF: 0.583

2016-01-01

Topology and its Applications

Abstract:In this paper, we investigate the compactifications of some topological spaces such that their remainders have countable tightness. We also study addition theorems for compacta. The main results are: (1) If bX is a compactification of a first-countable space X with a Gδ-diagonal (or a space X with a point-countable base) and bX∖X has countable tightness, then both bX and bX∖X have countable fan-tightness; (2) If a non-locally compact paratopological group G has a compactification bG such that the remainder bG∖G is the union of a finite family of metrizable subspaces, then G is locally separable and locally metrizable; (3) If a compact Hausdorff space Z=X∪Y, where X is a non-locally compact topological group which is a σ-space and dense in Z, and Y is a semitopological group, then Z is separable and metrizable; (4) If a compact Hausdorff space Z=X∪Y, where X is a non-locally compact paratopological group that has a countable network and is dense in Z, and Y is a semitopological group, then Z is separable and metrizable. Among them (2) and (3) improve the corresponding results given by A.V. Arhangel'skii in [7].
Group topologies on groups of bi-absolutely continuous homeomorphisms

J. de la Nuez González

2024-01-01

Abstract:The group of homeomorphisms of the closed interval that are orientation preserving, absolutely continuous and have an absolutely continuous inverse was shown by Solecki to admit a natural Polish group topology $\tau_{ac}$. We observe that, more generally, under some conditions on a compact space endowed with a finite Borel measure an analogous Polish group topology can be defined on the subgroup of the homeomorphism group which push forward the measure to another one with which it is mutually absolutely continuous. We use a probabilistic argument involving approximations by supmartingale processes to show that in many cases there is no group topology between $\tau_{ac}$ and the restriction $\tau_{co}$ of the compact-open topology. This applies, in particular, to any compact topological manifold equipped with an Oxtoby-Ulam measure and to the Cantor space endowed with some natural Borel measures. In fact, we show that in such cases any separable group topology strictly finer than $\tau_{co}$ has to be also finer than $\tau_{ac}$. For one-dimensional manifolds well-known arguments show that the compact-open topology is a minimum Hausdroff group topology on the group, which implies that $\tau_{co}$ and $\tau_{ac}$ are the only Hausdorff group topologies coarser than $\tau_{ac}$. We also show that while Solecki's example is not Roelcke precompact, the group of bi-absolutely continuous homeomorphisms of the Cantor space endowed with the measure given by the Fräissé limit of the class of measured boolean algebras with rational probability measures is Roelcke precompact.

General Topology
The Shape Of Compact Covers

ZIQIN FENG,PAUL GARTSIDE

DOI: https://doi.org/10.1017/jsl.2024.53

2024-10-30

Journal of Symbolic Logic

Abstract:For a space X let be the set of compact subsets of X ordered by inclusion. A map is a relative Tukey quotient if it carries compact covers to compact covers. When there is such a Tukey quotient write , and write if and vice versa. We investigate the initial structure of pairs under the relative Tukey order, focussing on the case of separable metrizable spaces. Connections are made to Menger spaces. Applications are given demonstrating the diversity of free topological groups, and related free objects, over separable metrizable spaces. It is shown a topological group G has the countable chain condition if it is either -pseudocompact or for some separable metrizable M, we have .

mathematics,logic
Closed subsets of compact-like topological spaces

Serhii Bardyla,Alex Ravsky

DOI: https://doi.org/10.4995/agt.2020.12258

2020-10-01

Applied General Topology

Abstract:We investigate closed subsets (subsemigroups, resp.) of compact-like topological spaces (semigroups, resp.). We show that each Hausdorff topological space is a closed subspace of some Hausdorff ω-bounded pracompact topological space and describe open dense subspaces of countably pracompact topological spaces. We construct a pseudocompact topological semigroup which contains the bicyclic monoid as a closed subsemigroup. This example provides an affirmative answer to a question posed by Banakh, Dimitrova, and Gutik in [4]. Also, we show that the semigroup of ω×ω-matrix units cannot be embedded into a Hausdorff topological semigroup whose space is weakly H-closed.
Coarser Compact Topologies

Valentin Gutev

DOI: https://doi.org/10.48550/arXiv.1805.10947

2018-05-28

General Topology

Abstract:It is introduced the concept of a quasi-king space, which is a natural generalisation of a king space. In the realm of suborderable spaces, king spaces are precisely the compact spaces, so are the quasi-king spaces. In contrast, quasi-king spaces are more flexible in handling coarser selection topologies. The main purpose of this paper is to show that a weakly orderable space is quasi-king if and only if all of its coarser selection topologies are compact.
Selective sequential pseudocompactness

Alejandro Dorantes-Aldama,Dmitri Shakhmatov

DOI: https://doi.org/10.1016/j.topol.2017.02.016

IF: 0.583

2017-05-01

Topology and its Applications

Abstract:We say that a topological space X is selectively sequentially pseudocompact if for every family {Un:n∈N} of non-empty open subsets of X, one can choose a point xn∈Un for every n∈N in such a way that the sequence {xn:n∈N} has a convergent subsequence. We show that the class of selectively sequentially pseudocompact spaces is closed under arbitrary products and continuous images, contains the class of all dyadic spaces and forms a proper subclass of the class of strongly pseudocompact spaces introduced recently by García-Ferreira and Ortiz-Castillo. We investigate basic properties of this new class and its relations with known compactness properties. We prove that every ω-bounded (= the closure of each countable set is compact) group is selectively sequentially pseudocompact, while compact spaces need not be selectively sequentially pseudocompact. Finally, we construct selectively sequentially pseudocompact group topologies on both the free group and the free Abelian group with continuum-many generators.

mathematics, applied
SOME PROPERTIES OF BOUNDED SETS IN CERTAIN TOPOLOGICAL SPACES

Liang-Xue Peng,Pei Zhang

2019-01-01

Houston journal of mathematics

Abstract:In the first part of this article we give some sufficient conditions under which a bounded set in a topological space (paratopological group) X is strongly bounded in X (p-bounded in X for every p is an element of omega*). We show that if X is a first-countable topological space, then every bounded subset of X is strongly bounded in X. If G is a paratopological group and for every U is an element of N(e) there exists a continuous homomorphism PU: G -> H-U onto a first-countable Hausdorff paratopological group H-U such that p(U)(-1) ((V-U) over bar) subset of (U) over bar for some neighborhood V-U of the neutral element of H-U, then any bounded set in G is strongly bounded in G. We also give some sufficient conditions under which a semitopological group G satisfies that for any U is an element of N(e) there exists a continuous homomorphism p(U): G -> H-U onto a first-countable Hausdorff semitopological group H-U such that p(U)(-1) ((V-U) over bar) subset of (U) over bar for some neighborhood V-U of the neutral element of H-U. In the last part of this note, we give some equivalent conditions for a bounded set in a Tychonoff topological space. We finally show that every pseudocompact submetacompact space is weakly Lindelof.
Coarse structures on locally compact abelian groups

Dmitri Shakhmatov,Takamitsu Yamauchi,Nicolò Zava

2024-08-15

Abstract:Motivated by the study of the large-scale geometry of topological groups, we investigate particular families of subsets of topological groups named group ideals. We compare different group ideals in the realm of locally compact groups. In particular, we show that a subset of a locally compact abelian group is relatively compact if and only if it is coarsely bounded. Using this result, we prove that an infinite-dimensional Banach space cannot be embedded into any product of locally compact groups.

Metric Geometry,Group Theory
Generic properties of topological groups

Márton Elekes,Boglárka Gehér,Tamás Kátay,Tamás Keleti,Anett Kocsis,Máté Pálfy

DOI: https://doi.org/10.1017/prm.2024.91

2024-12-04

Proceedings of the Royal Society of Edinburgh Section A Mathematics

Abstract:We study generic properties of topological groups in the sense of Baire category. First, we investigate countably infinite groups. We extend a classical result of B. H. Neumann, H. Simmons and A. Macintyre on algebraically closed groups and the word problem. Recently, I. Goldbring, S. Kunnawalkam Elayavalli, and Y. Lodha proved that every isomorphism class is meager among countably infinite groups. In contrast, it follows from the work of W. Hodges on model-theoretic forcing that there exists a comeager isomorphism class among countably infinite abelian groups. We present a new elementary proof of this result. Then, we turn to compact metrizable abelian groups. We use Pontryagin duality to show that there is a comeager isomorphism class among compact metrizable abelian groups. We discuss its connections to the countably infinite case. Finally, we study compact metrizable groups. We prove that the generic compact metrizable group is neither connected nor totally disconnected; also it is neither torsion-free nor a torsion group.

mathematics, applied
T 0 -spaces and the lower topology

Jimmie Lawson,Xiaoquan Xu

DOI: https://doi.org/10.1017/s0960129524000240

2024-09-20

Mathematical Structures in Computer Science

Abstract:The authors' primary goal in this paper is to enhance the study of topological spaces by using the order of specialization of a -space to introduce the lower topology (with a subbasis of closed sets ) and studying the interaction of the original topology and the lower topology. Using the lower topology, one can define and study new properties of the original space that provide deeper insight into its structure. One focus of study is the property R, which asserts that if the intersection of a family of finitely generated sets , finite, is contained in an open set , then the same is true for finitely many of the family. We first show that property R is equivalent to several other interesting properties, for example, the property that all closed subsets of the original space are compact in the lower topology. We then find conditions under which these spaces are compact, well-filtered, and coherent, a weaker variant of stably compact spaces. We also investigate what have been called strong -spaces, develop some of their basic properties, and make connections with the earlier considerations involving spaces satisfying property R. Two key results we obtain are that if a dcpo with the Scott topology is a strong -space, then it is well-filtered, and if additionally the Scott topology of the product is the product of the Scott topologies of the factors, then the Scott space of is sober. We also exhibit connections of this work with de Groot duality.

computer science, theory & methods
A universal space for finite topological spaces

Diego Mondéjar

2024-11-28

Abstract:We find universal spaces for Alexandroff and finite spaces and explore some of its topological properties as well as their description as inverse limits of finite spaces and Alexandroff extensions. They can be used as a natural environment to describe shape properties of compact metric spaces.

General Topology,Algebraic Topology,Geometric Topology
Compact subspaces of the space of separately continuous functions with the cross-uniform topology

Oleksandr Maslyuchenko,Vadym Myronyk,Roman Ivasiuk

2024-06-09

Abstract:We consider two natural topologies on the space $S(X\times Y,Z)$ of all separately continuous functions defined on the product of two topological spaces $X$ and $Y$ and ranged into a topological or metric space $X$. These topologies are the cross-open topology and the cross-uniform topology. We show that these topologies coincides if $X$ and $Y$ are pseudocompacts and $Z$ is a metric space. We prove that a compact space $K$ embeds into $S(X\times Y,Z)$ for infinite compacts $X$, $Y$ and a metrizable space $Z\supseteq\mathbb{R}$ if and only if the weight of $K$ is less than the sharp cellularity of both spaces $X$ and $Y$.

General Topology
Generic Compacta from Relations between Finite Graphs: Theory Building and Examples

Adam Bartoš,Tristan Bice,Alessandro Vignati

2024-08-28

Abstract:In recent work, the authors developed a simple method of constructing topological spaces from certain well-behaved partially ordered sets -- those coming from sequences of relations between finite sets. This method associates a given poset with its spectrum, which is a compact T_1 topological space. In this paper, we focus on the case where such finite sets have a graph structure and the relations belong to a given graph category. We relate topological properties of the spectrum to combinatorial properties of the graph categories involved. We then utilise this to exhibit elementary combinatorial constructions of well-known continua as Fraïssé limits of finite graphs in categories with relational morphisms.

General Topology
Categorically Proper Homomorphisms of Topological Groups.

Wei He,Walter Tholen

DOI: https://doi.org/10.1007/s10485-016-9453-z

2016-01-01

Applied Categorical Structures

Abstract:We extend the Dikranjan-Uspenskij notions of c-compact and h-complete topological group to the morphism level, study the stability properties of the newly defined types of maps, such as closure under direct products, and compare them with their counterparts in topology. We assume Hausdorffness only when our proofs require us to do so, which leads to new results and the affirmation of some facts that were known in a Hausdorff context.
On Topological Spaces with Algebraic Structures

WANG Hanfeng,HE Wei

DOI: https://doi.org/10.11845/sxjz.2015187b

2017-01-01

Abstract:In this paper,we show that if a rectifiable space G is a locally Lindel(o)f ∑-space,then G is strongly paracompact,which improves a result given by Lin-Zhang-Zhang [Topology Appl.,2015,193:182-191].We prove that if a rectifiable space G has a compactification bG such that bG \ G is a locally σ-space,then G is either locally compact or separable and metrizable,which generalizes a result obtained by Arhangel'skii-Choban [Topology Appl.,2010,157(4):789-799].We also show that if a non-locally compact k-gentle paratopological group G has a compactification bG such that bG \ G has locally a Gδ-diagonal,then either G is a σcompact cosmic space,or bG is separable and metrizable,which generalizes two results given by Arhangel'skii [Topology Appl.,2007,154(6):1084-1088] and Liu [Topology Appl.,2009,156(5):849-854].
The topological structure of the space of fuzzy compacta

Wenjuan Liu,Hanbiao Yang,Zhongqiang Yang

DOI: https://doi.org/10.1016/j.fss.2020.09.008

IF: 4.462

2021-11-01

Fuzzy Sets and Systems

Abstract:A fuzzy compactum in a space X is an upper semi-continuous map <math>f:A→[0,1]</math> from a nonempty compact subspace <math>A⊂X</math> to the unit closed interval <math>[0,1]</math> such that <math>{x∈A:f(x)>0}</math> is dense in A. In this paper, we investigate the topological structure of the space <math>Ke(X)</math> of fuzzy compacta of a separable metric space X with the Hausdorff metric. In particular, we prove that <math>Ke(X)≈ℓ2</math> if X is an infinite, locally compact, locally connected, connected and separable metric space.

mathematics, applied,statistics & probability,computer science, theory & methods
Topological spaces related with topological quasigroups

S.V. Ludkowski

DOI: https://doi.org/10.48550/arXiv.2312.16716

2023-12-27

Group Theory

Abstract:The article is devoted to a structure of topological spaces related with topological quasigroups. Regular and complete spaces over topological quasigroups are studied. Separations and embeddings are also investigated for them. Their homeomorphisms and isomorphisms, relations between compactifications and completeness are scrutinized over topological quasigroups. There are investigated applications to families of maps over topological quasigroups, restrictions of mappings, their openness, continuous bijections. Necessary theorems about topological quasigroups are proved.
Groups with few finite dimensional unitary representations

María V. Ferrer,S. Hernández

2024-05-04

Abstract:The \emph{Bohr compactification} of an arbitrary topological group $G$ is defined as the group compactification $(bG,b)$ with the following universal property: for every continuous homomorphism $h$ from $G$ into a compact group $K$ there is a continuous homomorphism $h^{b}$ from $bG$ into $K$ extending $h$ in the sense that $h=h^b \circ b$. The Bohr compactification $(bG,b)$ is the unique (up to equivalence) largest compactification of $G$. Although, for locally compact Abelian groups, the Bohr compactification is a big monster, for non-Abelian groups the situation is much more interesting and it can be said that all options are possible. Here we are interested in locally compact groups whose Bohr compactification is \emph{small}. Among other results, we characterize when the Bohr the Bohr compactification of a locally compact group is topologically isomorphic to its Chu or unitary quasi-dual. Our results fixe some incorrect statements appeared in the literature.

Group Theory,General Topology,Representation Theory
On Locally P⁎⁎-Spaces and Remainders of Semitopological Groups

Hanfeng Wang,Wei He,Jing Zhang

DOI: https://doi.org/10.1016/j.topol.2019.03.019

IF: 0.583

2019-01-01

Topology and its Applications

Abstract:We study the compactification of semitopological groups with remainders being locally p⁎⁎-spaces, and establish: (1) if a semitopological group X has a remainder that is locally a p⁎⁎-space, then either X is a paracompact p-topological group, or X is meager; (2) if a non-locally compact paratopological group X has a remainder that is locally a p-space, then either X is a Lindelöf p-space, or X is σ-compact; (3) if a compact space Z is the union of two non-locally compact semitopological groups X and Y such that Z∖X is locally developable, then Z is separable and metrizable; (4) if a non-locally compact Baire semitopological group G has a remainder Y that is the union of a finite family of metrizable subspaces, then G is metrizable. Some results of A.V. Arhangel'skii et al. are improved.

Compact-bounded topological groups

Compactness in L-Fuzzy Topological Spaces

Notes on Remainders of Topological Spaces in Some Compactifications

Group topologies on groups of bi-absolutely continuous homeomorphisms

The Shape Of Compact Covers

Closed subsets of compact-like topological spaces

Coarser Compact Topologies

Selective sequential pseudocompactness

SOME PROPERTIES OF BOUNDED SETS IN CERTAIN TOPOLOGICAL SPACES

Coarse structures on locally compact abelian groups

Generic properties of topological groups

T 0 -spaces and the lower topology

A universal space for finite topological spaces

Compact subspaces of the space of separately continuous functions with the cross-uniform topology

Generic Compacta from Relations between Finite Graphs: Theory Building and Examples

Categorically Proper Homomorphisms of Topological Groups.

On Topological Spaces with Algebraic Structures

The topological structure of the space of fuzzy compacta

Topological spaces related with topological quasigroups

Groups with few finite dimensional unitary representations

On Locally P⁎⁎-Spaces and Remainders of Semitopological Groups