Related papers: Elements for a metric tangential calculus
Let $X$ and $Y$ be topological spaces, let $Z$ be a metric space, and let $f: X\times Y\to Z$ be a mapping. It is shown that when $Y$ has a countable base $\mathcal B$, then under a rather general condition on the set-valued mappings $X\ni…
A generalization of metric space is presented which is shown to admit a theory strongly related to that of ordinary metric spaces. To avoid the topological effects related to dropping any of the axioms of metric space, first a new, and…
There is an abstract notion of connection in any tangent category. In this paper, we show that when applied to the tangent category of affine schemes, this recreates the classical notion of a connection on a module (and similarly, in the…
In this paper, using a more generalized inequality instead of triangle inequality, the notion of \theta-metric space is introduced. Some important properties of induced topology by such spaces are presented. Also, Banach and Caristi type…
We continue the program of structural differential geometry that begins with the notion of a tangent category, an axiomatization of structural aspects of the tangent functor on the category of smooth manifolds. In classical geometry, having…
We develop a version of Herbrand's theorem for continuous logic and use it to prove that definable functions in infinite-dimensional Hilbert spaces are piecewise approximable by affine functions. We obtain similar results for definable…
In 1931 Elie Cartan constructed a geometry which was rarely considered. Cartan proposed a way to define an infinitesimal metric $ds$ starting from a variational problem on hypersurfaces in an $n$-dimensional manifold $\mathcal{M}$. This…
A notable feature of the TTE approach to computability is the representation of the argument values and the corresponding function values by means of infinitistic names. Two ways to eliminate the using of such names in certain cases are…
A piecewise flat Finsler metric on a triangulated surface $M$ is a metric whose restriction to any triangle is a flat triangle in some Minkowski space with straight edges. One of the main purposes of this work is to study the properties of…
Cuspidal edges and swallowtails are typical non-degenerate singular points on wave fronts in the Euclidean $3$-space. Their first fundamental forms belong to a class of positive semi-definite metrics called "Kossowski metrics". A point…
We prove that a compact metric space (or more generally an analytic subset of a complete separable metric space) of Hausdorff dimension bigger than $k$ can be always mapped onto a $k$-dimensional cube by a Lipschitz map. We also show that…
We interpret the Hilbert entropy of a convex projective structure on a closed higher-genus surface as the Hausdorff dimension of the non-differentiability points of the limit set in the full flag space $\mathcal F(\mathbb R^3)$.…
We study the set of tangent limits at a given point to a set definable in any o-minimal structure by characterizing the set of exceptional rays in the tangent cone to the set at that point and investigating the set of tangent limits along…
For $m\in \IN, m\geq 1,$ we determine the irreducible components of the $m-th$ jet scheme of a toric surface $S.$ For $m$ big enough, we connect the number of a class of these irreducible components to the number of exceptional divisors on…
We introduce persistent Betti numbers to characterize topological structure of jets. These topological invariants measure multiplicity and connectivity of jet branches at a given scale threshold, while their persistence records evolution of…
In the present paper, we extend the Zamfirescu results ([9]) to A-metric spaces. Firstly, we define the notion of Zamfirescu mapping in A-metric spaces. After, we also obtain a fixed point theorem for such mappings. The established results…
Let $f \colon X \rightarrow Y$ be a resolvable-measurable mapping of a metrizable space $X$ to a regular space $Y$. Then $f$ is piecewise continuous. Additionally, for a metrizable completely Baire space $X$, it is proved that $f$ is…
Based on optical, IR and X-ray studies of Cas A, we propose a geometry for the remnant based on a "jet-induced" scenario with significant systematic departures from axial symmetry. In this model, the main jet axis is oriented in the…
It follows from recent results of V. Bakhtin, R. Oleinik, and the second named author that, given a metric space $\mathcal{X}$, a continuous map $\gamma\colon [a,b] \to \mathcal{X}$ is a map of bounded variation if and only if $f \circ…
A mapping $f:X\to Y$ between metric spaces is called \emph{little Lipschitz} if the quantity $$ \operatorname{lip}(f(x)=\liminf_{r\to0}\frac{\operatorname{diam} f(B(x,r))}{r} $$ is finite for every $x\in X$. We prove that if a compact (or,…