BZPEERPapers, people, evidence and research pathsDiscover
Research tools
Network
Opportunities
Account
Source author record
Laurence Boxer appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
S.E. Hans paper, Remarks on Pseudocovering Spaces in a Digital Topological Setting: A Corrigendum, is meant to address errors in previous papers. However, this paper is also marked by errors in its mathematics, as well as improprieties in its citations. We address these flaws in the current work.
Cold sets and freezing sets belong to the theory of (approximate) fixed points for continuous self-maps on digital images. We study some properties of cold sets for digital images in the digital plane, and we examine some relationships between cold sets and freezing sets.
We show how to obtain freezing sets for digital images in $\mathbb{Z}^n$ for arbitrary $n$, using the $c_1$ and $c_n$ adjacencies.
We discuss published assertions concerning fixed points in digital metric spaces that are incorrect or incorrectly proven, or reduce to triviality.
We study the consequences of some restrictions on digitally continuous functions. One of our results modifies easily to yield an analogous result for topological spaces.
We study the approximate fixed point property (AFPP) for continuous single-valued functions and for continuous multivalued functions in digital topology. We extend what is known about these notions and discuss errors that have appeared in the literature.
We add to our knowledge of the approximate fixed point property (AFPP) in digital topology. We show that a digital image that is a tree has the AFPP. Given two digital images (X, κ) and (Y, λ) that have the approximate fixed point property, does their Cartesian product have the AFPP? We explore conditions that yield an affirmative answer. A general answer to this question is not known at the current writing.
We continue the study of freezing sets in digital topology, introduced in [2]. We show how to find a minimal freezing set for a "thick" convex disk X in the digital plane Z^2. We give examples showing the significance of the assumption that X is convex.
We continue the work of [10], studying properties of digital images determined by fixed point invariants. We introduce pointed versions of invariants that were introduced in [10]. We introduce freezing sets and cold sets to show how the existence of a fixed point set for a continuous self-map restricts the map on the complement of the fixed point set.
We continue the work of [4, 2, 3], in which we discuss published assertions that are incorrect or incorrectly proven; that are severely limited or reduce to triviality; or that we improve upon.
We study properties of shy maps in digital topology.
The current paper focuses on fundamental groups and Euler characteristics of various digital models of the 2-dimensional sphere. For all models that we consider, we show that the fundamental groups are trivial, and compute the Euler characteristics (which are not always equal). We consider the connected sum of digital surfaces and investigate how this operation relates to the fundamental group and Euler characteristic. We also consider two related but different notions of a digital image having "no holes," and relate this to the triviality of the fundamental group. Many of our results have origins in a paper by S.-E. Han, which contains many errors. We correct these errors when possible, and leave some open questions. We also present some original results.
We introduce three generalizations of homotopy equivalence in digital images, to allow us to express whether a finite and an infinite digital image are similar with respect to homotopy. We show that these three generalizations are not equivalent to ordinary homotopy equivalence, and give several examples. We show that, like homotopy equivalence, our three generalizations imply isomorphism of fundamental groups, and are preserved under wedges and Cartesian products.
A. Rosenfeld introduced the notion of a digitally continuous function between digital images, and showed that although digital images need not have fixed point properties analogous to those of the Euclidean spaces modeled by the images, there often are approximate fixed point properties of such images. In the current paper, we obtain additional results concerning fixed points and approximate fixed points of digitally continuous functions. Among these are several results concerning the relationship between universal functions and the approximate fixed point property (AFPP).
We present and explore in detail a pair of digital images with $c_u$-adjacencies that are homotopic but not pointed homotopic. For two digital loops $f,g: [0,m]_Z \rightarrow X$ with the same basepoint, we introduce the notion of {\em tight at the basepoint (TAB)} pointed homotopy, which is more restrictive than ordinary pointed homotopy and yields some different results. We present a variant form of the digital fundamental group. Based on what we call {\em eventually constant} loops, this version of the fundamental group is equivalent to that of Boxer (1999), but offers the advantage that eventually constant maps are often easier to work with than the trivial extensions that are key to the development of the fundamental group in Boxer (1999) and many subsequent papers. We show that homotopy equivalent digital images have isomorphic fundamental groups, even when the homotopy equivalence does not preserve the basepoint. This assertion appeared in Boxer (2005), but there was an error in the proof; here, we correct the error.