The aim of this paper is to prove a Calabi theorem for metrized line bundles over non-archimedean analytic spaces, and apply it to endomorphisms with the same polarization and the same set of preperiodic points over a complex projective variety. The proof uses Arakelov theory on Berkovich’s non-archimedean analytic spaces even though the results on dynamical systems can be purely stated over co...

In this article, we formalize topological properties of real normed spaces. In the first few parts, open and closed, density, separability and sequence and its convergence are discussed. Then we argue properties of real normed subspace. In the middle of the article, we discuss linear functions between real normed speces. Several kinds of subspaces induced by linear functions such as kernel, ima...

in this paper, we consider a generalization of the real normed spaces and give some examples.

In this work, our purpose is to introduce I−convergence of sequences of functions in intuitionistic fuzzy normed space by combining the I−convergence, the sequences of functions and the intuitionistic fuzzy normed spaces, and to investigate relations among concepts such as I−convergence, statistical convergence and the usual convergence of sequences of functions in intuitionistic fuzzy normed s...

In this article, the orthogonal projection and the Riesz representation theorem are mainly formalized. In the first section, we defined the norm of elements on real Hilbert spaces, and defined Mizar functor RUSp2RNSp, real normed spaces as real Hilbert spaces. By this definition, we regarded sequences of real Hilbert spaces as sequences of real normed spaces, and proved some properties of real ...

In this paper, we introduce some new classes of proximal contraction mappings and establish  best proximity point theorems for such kinds of mappings in a non-Archimedean fuzzy metric space. As consequences of these results, we deduce certain new best proximity and fixed point theorems in partially ordered non-Archimedean fuzzy metric spaces. Moreover, we present an example to illustrate the us...

In this paper, we introduce the concept of best proximal contraction theorems in non-Archimedean fuzzy metric space for two mappings and prove some proximal theorems. As a consequence, it provides the existence of an optimal approximate solution to some equations which contains no solution. The obtained results extend further the recently development proximal contractions in non-Archimedean fuz...