Related papers: Around the Carnot theorem
The primary objects of study in the ``knot theory of complex plane curves'' are C-links: links (or knots) cut out of a 3-sphere in the complex plane by complex plane transverse and totally tangential. Transverse C-links are naturally…
We study first-order concatenation theory with bounded quantifiers. We give axiomatizations with interesting properties, and we prove some normal-form results. Finally, we prove a number of decidability and undecidability results.
In this paper, we establish coincidence fixed point and common fixed point theorems for two mapping in complete $C^*$-algebra-valued metric spaces which satisfy new contractive conditions. Some applications of our obtained results are…
We prove explicit bounds on the number of lattice points on or near a convex curve in terms of geometric invariants such as length, curvature, and affine arclength. In several of our results we obtain the best possible constants. Our…
The goal of this paper is to give a purely geometric proof of a theorem by Branko Gr\"unbaum concerning configuration of triangles coming from the classical Napoleon's theorem in planar Euclidean geometry.
We study the meaning of "adding a constant to a language" for any doctrine, and "adding an axiom to a theory" for a primary doctrine, by showing how these are actually two instances of the same construction. We prove their universal…
A set $L$ of straight lines and a set $P$ of points in the Euclidean plane define an arrangement $\mathcal{A}$ = ($L$, $P$) of construction lines and registration marks, if and only if: (1) any point in $P$ is a point of intersection of at…
This paper studies the infinitesimal structure of Carnot manifolds. By a Carnot manifold we mean a manifold together with a subbundle filtration of its tangent bundle which is compatible with the Lie bracket of vector fields. We introduce a…
By using Christol and Mebkhout's algebrization and finiteness theorem, we prove that in the case of smooth curves, Berthelot's strongest conjecture on the stability of holonomicity is still valid without Frobenius structure but under some…
Let $G$ be a graph and $f: G\rightarrow G$ be a continuous map. We establish a structure theorem which describes the structures of the set $R(f)-\overline{P(f)}$, where $R(f)$ and $P(f)$ are the recurrent point set and the periodic point…
In this paper, we study the fixed point theory for multi-valued mappings on partial cone metric spaces. We prove an analogous to the well-known Kannan$'s$ fixed point theorem and Chatterjea$'s$ fixed point theorem for multi-valued mappings…
Consider a set represented by an inequality. An interesting phenomenon which occurs in various settings in mathematics is that the interior of this set is the subset where strict inequality holds, the boundary is the subset where equality…
The class of O-metric spaces generalize several existing metric-types in literature including metric spaces, b-metric spaces, and ultra metric spaces. In this paper, we discuss the properties of the topology induced by an O-metric and…
In this paper we are going to prove a very general fixed point theorem for mappings acting in partial metric spaces. In that theorem we impose some conditions on behavior of considered mappings on orbits and a condition relating orbits of…
We consider bounded 2-metric spaces satisfying an additional axiom, and show that a contractive mapping has either a fixed point or a fixed line.
In this work, using a new geometrical approach we study to the existence of the fixed-point of mappings that independence of the smoothness, and also of their single-values or multi-values. This work proved the theorems that generalize in…
Billey and Braden defined a geometric pattern map on flag manifolds which extends the generalized pattern map of Billey and Postnikov on Weyl groups. The interaction of this torus equivariant map with the Bruhat order and its action on line…
We introduce two new classes of single-valued contractions of polynomial type defined on a metric space. For the first one, called the class of polynomial contractions, we establish two fixed point theorems. Namely, we first consider the…
In this paper, we introduce the notion of partially ordered {\epsilon}-chainable metric spaces and we derive new coupled fixed point theorems for uniformly locally contractive mappings on such spaces.
We examine pairs of closed plane curves that have the same closing property as two conic sections in Poncelet's porism. We show how the vertex curve can be computed for a given envelope and vice versa. Our formulas are universal in the…