Metric betweenness in normed linear spaces
F. A. Toranzos (1971)
Colloquium Mathematicae
Similarity:
F. A. Toranzos (1971)
Colloquium Mathematicae
Similarity:
Ioan Goleţ (2007)
Mathematica Slovaca
Similarity:
Noboru Endou, Yasunari Shidama, Katsumasa Okamura (2006)
Formalized Mathematics
Similarity:
As application of complete metric space, we proved a Baire's category theorem. Then we defined some spaces generated from real normed space and discussed each of them. In the second section, we showed the equivalence of convergence and the continuity of a function. In other sections, we showed some topological properties of two spaces, which are topological space and linear topological space generated from real normed space.
Makeev, V.V. (2005)
Journal of Mathematical Sciences (New York)
Similarity:
Jebril, Iqbal Hamzh, Noorani, Mohd.Salmi Md., Saari, Ahamad Shabir (2003)
Bulletin of the Malaysian Mathematical Sciences Society. Second Series
Similarity:
M. Golomb, R.A. Tapia (1972/73)
Numerische Mathematik
Similarity:
Braß, Peter (1999)
Beiträge zur Algebra und Geometrie
Similarity:
C.-S. Lin (2005)
Colloquium Mathematicae
Similarity:
We first introduce a notion of (a,b,c,d)-orthogonality in a normed linear space, which is a natural generalization of the classical isosceles and Pythagorean orthogonalities, and well known α- and (α,β)-orthogonalities. Then we characterize inner product spaces in several ways, among others, in terms of one orthogonality implying another orthogonality.
Carlos Benítez Rodríguez (1989)
Revista Matemática de la Universidad Complutense de Madrid
Similarity:
Orthogonality in inner products is a binary relation that can be expressed in many ways without explicit mention to the inner product of the space. Great part of such definitions have also sense in normed linear spaces. This simple observation is at the base of many concepts of orthogonality in these more general structures. Various authors introduced such concepts over the last fifty years, although the origins of some of the most interesting results that can be obtained for these generalized...
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...