Related papers: Fixed point theorems for precomplete numberings

We prove a fixed point theorem that combines the contraction mapping principle and some Knaster-Tarski-like theorem. As a consequence we obtain an existence theorem to initial value problem for ordinary differential equation with…

The Razumov-Stroganov conjecture relates the ground-state coefficients in the even-length dense O(1) loop model to the enumeration of fully-packed loop configuration on the square, with alternating boundary conditions, refined according to…

According to a classical result of Szemer\'{e}di, every dense subset of $1,2,...,N$ contains an arbitrary long arithmetic progression, if $N$ is large enough. Its analogue in higher dimensions due to F\"urstenberg and Katznelson says that…

A convenient technique for proving kernel theorems for (LF)-spaces (countable inductive limits of Frechet spaces)is developed. The proposed approach is based on introducing a suitable modification of the functor of the completed inductive…

\"{O}zavsar and Cevikel(Fixed point of multiplicative contraction mappings on multiplicative metric space.arXiv:1205.5131v1 [math.GN] 23 may 2012)initiated the concept of the multiplicative metric space in such a way that the usual…

In this paper, we prove the Evans-Krylov theorem for nonlocal parabolic fully nonlinear equations.

In this work we prove the undecidability (and $\Sigma^0_1$-completeness) of several theories of semirings with fixed points. The generality of our results stems from recursion theoretic methods, namely the technique of effective…

Let g be an integer greater than 1. A uniform version of the Parshin-Arakelov theorem on the finiteness of the set of non-isotrivial curves of genus g over a function field, with fixed degeneracy locus, is proved. This is applied to obtain…

In this paper, we establish a general semilocal convergence theorem (with computationally verifiable initial conditions and error estimates) for iterative methods for simultaneous approximation of polynomial zeros. As application of this…

In the present paper, we prove generalizations of Banach, Kannan, Chatterjea, \'Ciri\'c-Reich-Rus fixed point theorems, as well as of the fixed point theorem for mappings contracting perimeters of triangles. We consider corresponding…

In this paper we shall introduced the class of $d-CS$ spaces and so we shall obtained topological approach to large Kasahara spaces. This class include complete symmetric spaces, complete quasi $b$-metric spaces and complete $b$-spaces, but…

Is there any theoretical guarantee for the approximation ability of neural networks? The answer to this question is the "Universal Approximation Theorem for Neural Networks". This theorem states that a neural network is dense in a certain…

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…

We established a fixed-point theorem for mapping satisfying a general contractive inequality of integral type depended an another function. This theorem substantially extend the theorem due to Branciari (2003) and Rhoades (2003)

In this paper we discuss the sufficient and necessary conditions for multiple Alexandrov spaces being glued to an Alexandrov space. We propose a Gluing Conjecture, which says that the finite gluing of Alexandrov spaces is an Alexandrov…

Rakhmanov's theorem for orthogonal polynomials on the unit circle gives a sufficient condition on the orthogonality measure for orthogonal polynomials on the unit circle, in order that the reflection coefficients (the recurrence…

Even though Zaremba's conjecture remains open, Bourgain and Kontorovich solved the problem for a full density subset. Nevertheless, there are only a handful of explicit sequences known to satisfy the strong version of the conjecture, all of…

In this paper we present a complete proof of a conjecture due to V. V. Prelov in 2010 about an information inequality for the binary entropy function.

In recent years residual neural networks (ResNets) as introduced by [He, K., Zhang, X., Ren, S., and Sun, J., Proceedings of the IEEE conference on computer vision and pattern recognition (2016), 770-778] have become very popular in a large…

Given a sequence $(X_n)$ of real or complex random variables and a sequence of numbers $(a_n)$, an interesting problem is to determine the conditions under which the series $\sum_{n=1}^\infty a_n X_n$ is almost surely convergent. This paper…