Shy maps in topology

DOI10.1016/J.TOPOL.2018.04.017MaRDI QIDQ1637109zbMATH OpenOpenAlexWikidataFDO

Authors Laurence Boxer

Publication date 7 June 2018

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

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

zbMATH Keywords

digital topologyfundamental groupshy mapwedge

Mathematics Subject Classification ID

Special maps on topological spaces (open, closed, perfect, etc.) (54C10) Connected and locally connected spaces (general aspects) (54D05) Covering spaces and low-dimensional topology (57M10)

Abstract: There is a concept in digital topology of a shy map. We define an analogous concept for topological spaces: We say a function is shy if it is continuous and the inverse image of every path-connected subset of its image is path-connected. Some basic properties of such maps are presented. For example, every shy map onto a semilocally simply connected space induces a surjection of fundamental groups (but a shy map onto a space that is not semilocally simply connected need not do so).

Review text

In [J. Math. Imaging Vis. 22, No. 1, 19--26 (2005; Zbl 1383.68090)], the author of the paper under review introduced the concept of a shy map in digital topology. In this paper the author defines an analogous concept for topological spaces: a continuous map is shy if the preimage of each path-connected subset is path-connected. This paper presents basic properties of such maps. It is proved that continuous shy surjections between semilocally simply connected spaces induce surjections on fundamental groups. There are several results describing how shy maps are preserved by wedges and products. At the end there are several results concerning shy maps into \(\mathbb{R}\): a map from an interval to \(\mathbb{R}\) is shy iff it is monotone non-decreasing or monotone non-increasing; the only shy functions \(S^1 \to \mathbb{R}\) are constant functions; and a result concerning shy maps \(X \to \mathbb{R}\), where \(X\) has a cut-point.

Recommendations

• Shape dimension of maps
• scientific article; zbMATH DE number 4211038
• A topology for the sets of shape morphisms
• On coshapes of topological spaces and continuous maps
• scientific article; zbMATH DE number 5689236

Cites work

• A classical construction for the digital fundamental group
• Alternate product adjacencies in digital topology
• Computer graphics and connected topologies on finite ordered sets
• Connectivity preserving multivalued functions in digital topology
• Digital shy maps
• Generalized normal product adjacency in digital topology
• Geometry of digital spaces
• scientific article; zbMATH DE number 2039372 (Why is no real title available?)
• Properties of digital homotopy
• The Khalimsky topologies are precisely those simply connected topologies on \(\mathbb Z^n\) whose connected sets include all 2\(n\)-connected sets but no (3\(^{n}-1\))-disconnected sets.
• ‘Continuous’ functions on digital pictures

Cited in

(1)

• scientific article; zbMATH DE number 7725445 (Why is no real title available?)

This page was built for publication: Shy maps in topology

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