Displaying similar documents to “Normed barrelled spaces”

Contracting Mapping on Normed Linear Space

Keiichi Miyajima, Artur Korniłowicz, Yasunari Shidama (2012)

Formalized Mathematics

Similarity:

In this article, we described the contracting mapping on normed linear space. Furthermore, we applied that mapping to ordinary differential equations on real normed space. Our method is based on the one presented by Schwarz [29].

P-adic Spaces of Continuous Functions II

Athanasios Katsaras (2008)

Annales mathématiques Blaise Pascal

Similarity:

Necessary and sufficient conditions are given so that the space C ( X , E ) of all continuous functions from a zero-dimensional topological space X to a non-Archimedean locally convex space E , equipped with the topology of uniform convergence on the compact subsets of X , to be polarly absolutely quasi-barrelled, polarly o -barrelled, polarly -barrelled or polarly c o -barrelled. Also, tensor products of spaces of continuous functions as well as tensor products of certain E -valued measures are investigated. ...

Differentiation in Normed Spaces

Noboru Endou, Yasunari Shidama (2013)

Formalized Mathematics

Similarity:

In this article we formalized the Fréchet differentiation. It is defined as a generalization of the differentiation of a real-valued function of a single real variable to more general functions whose domain and range are subsets of normed spaces [14].