A new version of homotopical Hausdorff

MaRDI QIDQ2850657zbMATH OpenFDO

Authors B. Labuz

Publication date 27 September 2013

Published in Topology Proceedings (Search for Journal in Brave)

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

zbMATH Keywords

homotopically Hausdorffshape injective

Mathematics Subject Classification ID

Shape groups (55Q07) Homotopy groups of special spaces (55Q52)

Abstract: It is known that shape injectivity implies homotopical Hausdorff and that the converse does not hold, even if the space is required to be a Peano continuum. This paper gives an alternative definition of homotopical Hausdorff inspired by a new topology on the set of fixed endpoint homotopy classes of paths. This version is equivalent to shape injectivity for Peano spaces.

Review text

A space \(X\) is homotopically Hausdorff if for every \(x\in X\) and for every essential loop \(\alpha\) based at \(x\), there is a neighborhood \(U\) of \(x\) such that \(\alpha\) is not homotopic to any loop in \(U\). A space \(X\) is shape injective if the naturally induced homomorphism \(\pi_1(X)\to \check \pi_1 (X)\) into the first shape group is an injection. Both separation properties of homotopy classes of loops have a role in the study of locally complicated spaces. They are closely related to the properties of path spaces and generalized covering spaces. It is well known that shape injectivity implies the property of being homotopically Hausdorff. The converse does not hold, which is demonstrated by examples in [\textit{G. Conner} et al., Topology Appl. 155, No. 10, 1089--1097 (2008; Zbl 1148.57030)].NEWLINENEWLINEIn this paper the author modifies the first definition in the following way: a space \(X\) is lasso homotopically Hausdorff if for each \(x \in X\) and each essential loop \(\gamma\) based at \(x\), there is a normal open cover \(\mathcal U\) of \(X\) such that \([\gamma ] \notin \pi_1(\mathcal U, x)\). He then proves that this condition is equivalent to shape injectivity for path connected, locally path connected spaces. The proof uses treatment of loops in terms of chains. The author also proves and uses the fact that the first shape group can be obtained using chains reflecting the structure of covers, rather that ordinary loops.

Recommendations

• On fundamental groups with the quotient topology
• On small homotopies of loops
• Test map characterizations of local properties of fundamental groups
• The comparison of topologies related to various concepts of generalized covering spaces
• Homotopical smallness and closeness
• Homotopy properties of subsets of Euclidean spaces
• Multiplication is discontinuous in the Hawaiian earring group (with the quotient topology)
• scientific article; zbMATH DE number 1182649
• On the loop space of a geometric realization
• On quasitopological homotopy groups of inverse limit spaces

Cited in

(3)

• On the homotopy groups of separable metric spaces
• A new approach to homotopy theory via best proximity point
• On small homotopies of loops

This page was built for publication: A new version of homotopical Hausdorff

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