Related papers: The distance function to a finite set is a topolog…
We prove that the homotopic distance between two maps defined on a manifold is bounded above by the sum of their subspace distances on the critical submanifol of any Morse-Bott function. This generalizes the Lusternik-Schnirelmann theorem…
Digraphs are generalizations of graphs in which each edge is assigned with a direction or two directions. In this paper, we define discrete Morse functions on digraphs, and prove that the homology of the Morse complex and the path homology…
In the 1950s Morse defined the analogue of Morse functions for topological manifolds. In many instances, when mathematicians are using techniques on topological manifolds that appear to be Morse-theoretic in nature, there is a topological…
From the topological viewpoint, Morse shellings of finite simplicial complexes are {\it pinched} handle decompositions and extend the classical shellings. We prove that every discrete Morse function on a finite simplicial complex induces…
We discuss some properties of the distance functions on Riemannian manifolds and we relate their behavior to the geometry of the manifolds. This leads to alternative proofs of some "classical" theorems connecting curvature and topology.
Classical Morse theory proceeds by considering sublevel sets $f^{-1}(-\infty, a]$ of a Morse function $f: M \to R$, where $M$ is a smooth finite-dimensional manifold. In this paper, we study the topology of the level sets $f^{-1}(a)$ and…
We define a new notion---the sub-index of a critical point of a distance function. We show how sub-index affects the homotopy type of sublevel sets of distance functions.
Morse complexes and Morse-Smale complexes are topological descriptors popular in topology-based visualization. Comparing these complexes plays an important role in their applications in feature correspondences, feature tracking, symmetry…
For separable metrizable spaces $X,Y$ and a metrizable topological group $Z$ by $S(X\times Y,Z)$ we denote the space of all separately continuous functions $f:X\times Y\to Z$ endowed with the topology of layer-wise uniform convergence,…
A distance mean function measures the average distance of points from the elements of a given set of points (focal set) in the space. The level sets of a distance mean function are called generalized conics. In case of infinite focal points…
We investigate properties of the set of discrete Morse functions on a simplicial complex as defined by Forman. It is not difficult to see that the pairings of discrete Morse functions of a finite simplicial complex again form a simplicial…
Certain notions of convergence of sequences functions such as pointwise convergence and (uniform) convergence on compact or bounded sets come from suitable topological function spaces; see [1]. Under certain conditions these topologies…
The distance on a set is a comparative function. The smaller the distance between two elements of that set, the closer, or more similar, those elements are. Fr\'echet axiomatized the distance into what is today known as a metric. In this…
This paper focuses on the problem of topological equivalence of functions with isolated critical points on the boundary of a compact surface $M$ which are also isolated critical points of their restrictions to the boundary. This class of…
Topological measures and quasi-linear functionals generalize measures and linear functionals. We define and study deficient topological measures on locally compact spaces. A deficient topological measure on a locally compact space is a set…
This paper catalogues a variety of examples concerning a type of function of a $p$-adic integer variable defined by a formal series expression we have dubbed "$\mathcal{F}$-series". These series exhibit a new, previously undocumented form…
It is shown that given a metric space $X$ and a $\sigma$-finite positive regular Borel measure $\mu$ on $X$, there exists a bounded continuous real-valued function on $X$ that is one-to-one on the complement of a set of $\mu$ measure zero.
In this paper, we give a necessary and sufficient condition that discrete Morse functions on a digraph can be extended to be Morse functions on its transitive closure, from this we can extend the Morse theory to digraphs by using…
We show that in a metric space, any continuous function with compact sublevel sets and finite metric slope is uniquely determined by the slope and its critical values.
Given a continuous function $f:[a,b]\to\mathbb{R}$ such that $f(a)=f(b)$, we investigate the set of distances $|x-y|$ where $f(x)=f(y)$. In particular, we show that the only distances this set must contain are ones which evenly divide…