Related papers: Around the Carnot theorem
A proof of the continuous martingale convergence theorem is provided. It relies on a classical martingale inequality and the almost sure convergence of a uniformly bounded non-negative super-martingale, after a truncation argument.
These informal notes, not intended for publication, provide an approach to the Borsuk--Ulam theorem via Stokes' theorem, in a similar spirit to Lima's proof of the Brouwer fixed point theorem. They are intended to be accessible to anyone…
This paper is devoted to studying of some properties of multivalued mappings in Euclidean space. There were proved theorems on a fixed point for multivalued mappings whose restrictions to some subset in the closure of a domain satisfy "a…
Given a class of objects, a pattern theorem is a powerful result describing their structure. We show that alternating knots exhibit a pattern theorem, and use this result to prove a long-standing conjecture that alternating knots grow rare.…
Motivated by a problem in ergodic Ramsey theory, Furstenberg and Katznelson introduced the notion of strong stationarity, showing that certain recurrence properties hold for arbitrary measure preserving systems if they are valid for…
It is well-known since the time of the Greeks that two disjoint circles in the plane have four common tangent lines. Cappell et al. proved a generalization of this fact for properly separated strictly convex bodies in higher dimensions. We…
In this note we generalize the Moroianu's fixed point theorem. We propose a very elegant common proof of the Bourbaki's fixed point theorem and our result. We apply our result to give a very elegant proof of the fact that, in the…
We present a general fixed point theorem which can be seen as the quintessence of the principles of proof for Banach's Fixed Point Theorem, ultrametric and certain topological fixed point theorems. It works in a minimal setting, not…
There are several notions of duality between lines and points. In this note, it is shown that all these can be studied in a unified way. Most interesting properties are independent of specific choices. It is also shown that either dual…
Kakutani's fixed point theorem is a generalization of Brouwer's fixed point theorem to upper semicontinuous multivalued maps and is used extensively in game theory and other areas of economics. Earlier works have shown that Sperner's lemma…
We introduce and study a new type of mappings in metric spaces termed $n$-point Kannan-type mappings. A fixed-point theorem is proved for these mappings. In general case such mappings are discontinuous in the domain but necessarily…
In the theory of configuration spaces, "splitting" usually refers to the phenomenon that the configuration spaces on a manifold and those on its punctured version are closely related cohomologically. We prove a splitting theorem that is…
The Tait-Kneser theorem, first demonstrated by Peter G. Tait in 1896, states that the osculating circles along a plane curve with monotone non-vanishing curvature are pairwise disjoint and nested. This note contains a proof of this theorem…
We show that there is a query expressible in first-order logic over the reals that returns, on any given semi-algebraic set A, for every point a radius around which A is conical. We obtain this result by combining famous results from…
In this paper, we study the existence of fixed points for mappings defined on complete metric space (X, d) satisfying a general contractive inequality of integral type depended on another function. This conditions is analogous of Banach…
A local existence and uniqueness theorem for ODEs in the special algebra of generalized functions is established, as well as versions including parameters and dependence on initial values in the generalized sense. Finally, a Frobenius…
Given a finite set of points in general position in the plane or sphere, we count the number of ways to separate those points using two types of circles: circles through three of the points, and circles through none of the points (up to an…
We present generalizations of theorems on Kypert's construction and on 2nd Morley's Centre. Most of our proofs are synthetic.
Kendall's Similarity Shape Theory for constellations of N points in the carrier space $\mathbb{R}^d$ as quotiented by the similarity group was developed for use in Probability and Statistics. It was subsequently shown to reside within…
We present a survey of some aspects and new results on configurations, i.e. disjoint unions of constellations of infinitely near points, local and global theory, with some applications and results on generalized Enriques diagrams, singular…