La Fonctionnelle g Et Queloques Problèmes Des Meilleures Approximations Dans Des Espaces Normés
P. M. Miličić (1990)
Publications de l'Institut Mathématique
Similarity:
P. M. Miličić (1990)
Publications de l'Institut Mathématique
Similarity:
Tulsi Dass Narang (1985)
Archivum Mathematicum
Similarity:
Singh, Vinai K., Kumar, Santosh (2009)
General Mathematics
Similarity:
Carlos Benítez, Manuel Fernández (1986)
Extracta Mathematicae
Similarity:
Roman Wituła (2007)
Colloquium Mathematicae
Similarity:
An approximation property of divergent sequences in normed vector spaces is discussed.
I. SINGER (1965)
Mathematische Annalen
Similarity:
Kazuhisa Nakasho, Noboru Endou (2015)
Formalized Mathematics
Similarity:
In this article, the separability of real normed spaces and its properties are mainly formalized. In the first section, it is proved that a real normed subspace is separable if it is generated by a countable subset. We used here the fact that the rational numbers form a dense subset of the real numbers. In the second section, the basic properties of the separable normed spaces are discussed. It is applied to isomorphic spaces via bounded linear operators and double dual spaces. In the...
Makeev, V.V. (2005)
Journal of Mathematical Sciences (New York)
Similarity:
Kazuhisa Nakasho, Yuichi Futa, Yasunari Shidama (2014)
Formalized Mathematics
Similarity:
In this article, we formalize topological properties of real normed spaces. In the first part, open and closed, density, separability and sequence and its convergence are discussed. Then we argue properties of real normed subspace. Then we discuss linear functions between real normed speces. Several kinds of subspaces induced by linear functions such as kernel, image and inverse image are considered here. The fact that Lipschitz continuity operators preserve convergence of sequences...