Open Access. Powered by Scholars. Published by Universities.®

Physical Sciences and Mathematics Commons

Open Access. Powered by Scholars. Published by Universities.®

Articles 1 - 4 of 4

Full-Text Articles in Physical Sciences and Mathematics

A Natural Pseudometric On Homotopy Groups Of Metric Spaces, Jeremy Brazas, Paul Fabel Nov 2023

A Natural Pseudometric On Homotopy Groups Of Metric Spaces, Jeremy Brazas, Paul Fabel

Mathematics Faculty Publications

For a path-connected metric space (X, d), the n-th homotopy group π n ( X) inherits a natural pseudometric from the n-th iterated loop space with the uniform metric. This pseudometric gives π n ( X) the structure of a topological group and when X is compact, the induced pseudometric topology is independent of the metric d. In this paper, we study the properties of this pseudometric and how it relates to previously studied structures on π n ( X). Our main result is that the pseudometric topology agrees with the shape topology on π n ( X) if X …


On Maps With Continuous Path Lifting, Jeremy Brazas, Atish Mitra Mar 2023

On Maps With Continuous Path Lifting, Jeremy Brazas, Atish Mitra

Mathematics Faculty Publications

We study a natural generalization of covering projections defined in terms of unique lifting properties. A map p : E -+ X has the continuous path-covering property if all paths in X lift uniquely and continuously (rel. basepoint) with respect to the compactopen topology. We show that maps with this property are closely related to fibrations with totally path-disconnected fibers and to the natural quotient topology on the homotopy groups. In particular, the class of maps with the continuous path-covering property lies properly between Hurewicz fibrations and Serre fibrations with totally path-disconnected fibers. We extend the usual classification of covering …


Free Quasitopological Groups, Jeremy Brazas, Sarah Emery Mar 2023

Free Quasitopological Groups, Jeremy Brazas, Sarah Emery

Mathematics Faculty Publications

In this paper, we study the topological structure of a universal construction related to quasitopological groups: the free quasitopological group F-q(X) on a space X. We show that free quasitopological groups may be constructed directly as quotient spaces of free semitopological monoids, which are themselves constructed by iterating product spaces equipped with the "cross topology." Using this explicit description of F-q(X), we show that for any T-1 space X, F-q(X) is the direct limit of closed subspaces F-q(X)(n) of words of length at most n. We also prove that the natural map i(n): (sic)(n)(i=0)(X boolean OR X-1)(circle times i) - …


Elements Of Higher Homotopy Groups Undetectable By Polyhedral Approximation, John K. Aceti, Jeremy Brazas Feb 2023

Elements Of Higher Homotopy Groups Undetectable By Polyhedral Approximation, John K. Aceti, Jeremy Brazas

Mathematics Faculty Publications

When nontrivial local structures are present in a topological space X, a common approach to characterizing the isomorphism type of the n-th homotopy group πn(X, x0) is to consider the image of πn(X, x0) in the nth Cˇ ech homotopy group πˇ n(X, x0) under the canonical homomorphism 9n : πn(X, x0) → πˇ n(X, x0). The subgroup ker(9n) is the obstruction to this tactic as it consists of precisely those elements of πn(X, x0), which cannot be detected by polyhedral approximations to X. In this paper, we use higher dimensional analogues of Spanier groups to characterize ker(9n). In particular, …