Related papers: On the Bourbaki-Witt Principle in Toposes
On the twisted Fermat cubic, an elliptic divisibility sequence arises as the sequence of denominators of the multiples of a single rational point. We prove that the number of prime terms in the sequence is uniformly bounded. When the…
We prove that if a continuous piecewise-smooth map on $\mathbb{R}^n$ is comprised of two linear functions, has a bounded orbit, and satisfies a certain non-degeneracy condition, then it has a fixed point. The result has important…
In this paper, first we have established two sets of sufficient conditions for a mapping to have unique fixed point in a intuitionistic fuzzy metric space and then we have redefined the contraction mapping in a intuitionistic fuzzy metric…
Let $(X,\le)$ be a {\em non-empty strictly inductive poset}, that is, a non-empty partially ordered set such that every non-empty chain $Y$ has a least upper bound lub$(Y)\in X$, a chain being a subset of $X$ totally ordered by $\le$. We…
We establish a fixed point theorem for mappings of square matrices of all sizes which respect the matrix sizes and direct sums of matrices. The conclusions are stronger if such a mapping also respects matrix similarities, i.e., is a…
We prove that the fixed point iteration of arbitrary positive concave mappings with nonempty fixed point set converges geometrically for any starting point. We also show that positivity is crucial for this result to hold, and the concept of…
We consider fixed-point models for topological phases of matter formulated as discrete path integrals in the language of tensor networks. Such zero-correlation length models with an exact notion of topological invariance are known in the…
In this paper, first we have established two sets of sufficient conditions for a TS-IF contractive mapping to have unique fixed point in a intuitionistic fuzzy metric space. Then we have defined \,$(\,\epsilon \,,\, \lambda\,)$\,…
We consider a new type of mappings in metric spaces which can be characterized as mappings contracting perimeters of triangles. It is shown that such mappings are continuous. The fixed-point theorem for such mappings is proved and the…
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…
A parametric version of Brouwer's Fixed Point Theorem, which is proven using the fixed-point index, states that for every continuous mapping $f : (X \times Y) \to Y$, where $X$ is nonempty, compact, and connected subset of a Hausdorff…
In this paper we study the existence and uniqueness of fixed points of a class of mappings defined on complete, (sequentially compact) cone metric spaces, without continuity conditions and depending on another function.
We introduce a very natural topology on the set of total orderings of monomials of any algebra having a countable basis over a field. This topological space and some notable subspaces are compact. This topological framework allows us to…
We propose a fixed-point property for group actions on cones in topological vector spaces. In the special case of equicontinuous actions, we prove that this property always holds; this statement extends the classical Ryll-Nardzewski theorem…
In this paper, we are concerned with the study of the existence of fixed points for single and multi-valued three-points contractions. Namely, we first introduce a new class of single-valued mappings defined on a metric space equipped with…
We introduce a large scale analogue of the classical fixed-point property for continuous maps, which shall apply to coarse maps. We also develop a coarse version of degree for coarse maps on Euclidean spaces. Then, applying a coarse…
We prove completeness of preferential conditional logic with respect to convexity over finite sets of points in the Euclidean plane. A conditional is defined to be true in a finite set of points if all extreme points of the set interpreting…
We provide a type theoretic treatment of the paper "On Tarski's fixed point theorem" by Giovanni Curi. There are benefits to having a type theoretic formulation apart from routine implementation in a proof assistant. By taking advantage of…
The main purpose of this paper is to find the fixed point in such cases where existing literature remain silent. In this paper we introduce partial completeness, a new type of contraction and many other definitions. Using this approach the…
In this paper we investigate iteration of maps on lattices and the corresponding polynomial-like iterative equation. Since a lattice need not have a metric space structure, neither the Schauder fixed point theorem nor the Banach fixed point…