Constructing balleans

DOI10.1007/S10958-019-04403-WMaRDI QIDQ2278230zbMATH OpenOpenAlexFDO

Authors Taras Banakh, Igor V. Protasov

Publication date 4 December 2019

Published in Journal of Mathematical Sciences (New York) (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1812.03935

zbMATH Keywords

balleanbornological productbouquetcoarse structurecomb

Mathematics Subject Classification ID

Metric geometry (51F99) Metric spaces, metrizability (54E35)

Abstract: A ballean is a set endowed with a coarse structure. We introduce and explore three constructions of balleans from a pregiven family of balleans: bornological products, bouquets and combs. We analyze the smallest and the largest coarse structures on a set $X$ compatible with a given bornology on $X$.

Review text

A ballean (or a coarse space) \((X,\mathcal{E})\) is a set \(X\) with a coarse structure \(\mathcal{E}\), where a coarse structure is a family of subsets of \(X \times X\) which contains the diagonal and is closed under taking subsets, inverses, products and finite unions (see [\textit{J. Roe}, Lectures on coarse geometry. Providence, RI: American Mathematical Society (2003; Zbl 1042.53027)] and [\textit{I. Protasov} and \textit{M. Zarichnyi}, General asymptology. L'viv: VNTL Publishers (2007; Zbl 1172.54002)]). In this paper, the authors introduce three constructions of balleans, which are called bornological products, bouquets and combs, from a family of balleans. Here, a bornological product is a generalization of the Cantor macrocube introduced by \textit{T. Banakh} and \textit{I. Zarichnyi} [Groups Geom. Dyn. 5, No. 4, 691--728 (2011; Zbl 1246.54023)]. The authors prove theorems on metrizability and normality of these three constructions. A bornology on a set \(X\) is a family of subsets of \(X\) containing all finite subsets of \(X\) and closed under taking finite unions and subsets. For \(E \subset X\times X\) and \(x \in X\), let \(E[x]=\{ y \in X : (x,y)\in E \}\). For a bornology \(\mathcal{B}\) on a set \(X\), a coarse structure \(\mathcal{E}\) on \(X\) is said to be compatible with \(\mathcal{B}\) if \(\{ E[x]: E \in \mathcal{E}, \,x \in X \}=\mathcal{B}\). The authors also study the smallest and the largest coarse structures compatible with a given bornology.

Recommendations

• On hyperballeans of bounded geometry
• Balleans, hyperballeans and ideals
• Balleans of bounded geometry and G-spaces
• Balleans of bounded geometry and G-spaces
• Extremal balleans

Cites work

• Balleans, hyperballeans and ideals
• Characterizing the Cantor bi-cube in asymptotic categories
• Functional boundedness of balleans: coarse versions of compactness
• scientific article; zbMATH DE number 5286349 (Why is no real title available?)
• scientific article; zbMATH DE number 5309096 (Why is no real title available?)
• scientific article; zbMATH DE number 2012373 (Why is no real title available?)
• scientific article; zbMATH DE number 2058912 (Why is no real title available?)
• Normal ball structures
• On hyperballeans of bounded geometry
• Varieties of coarse spaces

Cited in

(12)

• Closeness and linkness in balleans
• The normality of macrocubes and hyperballeans
• Minmax bornologies
• Functional boundedness of balleans: coarse versions of compactness
• Preservation and reflection of size properties of balleans
• Linearly ordered coarse spaces
• Decomposition of cellular balleans
• Balleans and filters
• Balleans, hyperballeans and ideals
• Some categorical aspects of coarse spaces and balleans
• Extremal balleans
• A characterization of proper actions on homogeneous spaces with non-compact isotropy groups from a viewpoint of coarse geometry

This page was built for publication: Constructing balleans

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2278230)