Generating Borel measurable mappings with continuous mappings

DOI10.1016/J.TOPOL.2013.05.019MaRDI QIDQ390417zbMATH OpenOpenAlexFDO

Authors Wojciech Bielas, Arnold W. Miller, Michał Morayne, Tomasz Słonka

Publication date 8 January 2014

Published in Topology and its Applications (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.topol.2013.05.019

zbMATH Keywords

Borel measurable mappingcontinuous mappingrelative ranksemigroup

Mathematics Subject Classification ID

Semigroups of transformations, relations, partitions, etc. (20M20) Transformation groups and semigroups (topological aspects) (54H15)

Review text

Let \(S\) be a semigroup and \(U\) be a subset of \(S\). The \textit{relative rank} of \(S\) with respect to \(U\) is the minimal cardinality of a subset \(V\) of \(S\) such that \(U\) together with \(V\) generate \(S\). The principal result in the theory of relative ranks of semigroups of mappings, where the composition of mappings is the semigroup operation, is due to \textit{W. Sierpiński} [Fundam. Math. 24, 209--212 (1935; Zbl 0011.10607)]. It says that the relative rank of the semigroup of all mappings \(A^A\) from an infinite set \(A\) to \(A\) with respect to any subsemigroup is either uncountable or finite and then equal to 0, 1 or 2. Note that \textit{S. Banach} in [Fundam. Math. 25, 5--6 (1935; Zbl 0011.25305)] gave a very nice short proof of this theorem.NEWLINENEWLINEIn the present paper, the authors consider a relative rank that depends only on topology, namely the relative rank of the semigroup of all Borel measurable mappings with respect to the semigroup of continuous mappings for some classical topological spaces. In their main result, they show that this rank is equal to the first uncountable cardinal \(\aleph_1\) for a wide family of Polishable topological spaces \(X\), namely those with either can be retracted to a Cantor subset of \(X\), so, in particular, all uncountable zero-dimensional spaces, or contain a topological copy of the interval \([0,1]\) (so, in particular, Euclidean spaces), or homeomorphic to their Cartesian square \(X^2\).

Recommendations

• GENERATING THE FULL TRANSFORMATION SEMIGROUP USING ORDER PRESERVING MAPPINGS
• Relative ranks of Lipschitz mappings on countable discrete metric spaces
• COUNTABLE VERSUS UNCOUNTABLE RANKS IN INFINITE SEMIGROUPS OF TRANSFORMATIONS AND RELATIONS
• Generating transformation semigroups using endomorphisms of preorders, graphs, and tolerances.
• scientific article; zbMATH DE number 3872249
• Generating continuous mappings with Lipschitz mappings
• scientific article; zbMATH DE number 4042173
• A measure theoretical version of the Aleksandrov theorem
• scientific article; zbMATH DE number 3859998
• scientific article; zbMATH DE number 4090350

Cites work

• Continua which admit only the identity mapping onto non-degenerate subcontinua
• Generating continuous mappings with Lipschitz mappings
• Generating Countable Sets of Permutations
• GENERATING THE FULL TRANSFORMATION SEMIGROUP USING ORDER PRESERVING MAPPINGS
• scientific article; zbMATH DE number 3255438 (Why is no real title available?)
• On relative ranks of full transformation semigroups
• RANK PROPERTIES OF ENDOMORPHISMS OF INFINITE PARTIALLY ORDERED SETS
• Relative ranks of Lipschitz mappings on countable discrete metric spaces
• Sierpiński’s Rank for Groups and Semigroups
• Universal Functions and Generalized Classes of Functions

Cited in

(5)

• Canonical forms of Borel-measurable mappings \(\Delta: [\omega]^{\omega}\to {\mathbb{R}}\)
• Generating continuous mappings with Lipschitz mappings
• John Macintosh Howie: work and legacy
• Making Borel functions look continuous
• Relative ranks of Lipschitz mappings on countable discrete metric spaces

This page was built for publication: Generating Borel measurable mappings with continuous mappings

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