On norms and subsets of linear spaces
Josef Daneš (1971)
Commentationes Mathematicae Universitatis Carolinae
Similarity:
Josef Daneš (1971)
Commentationes Mathematicae Universitatis Carolinae
Similarity:
Yunbai Dong, Qingjin Cheng (2013)
Studia Mathematica
Similarity:
Let 𝓐 be a compatible collection of bounded subsets in a normed linear space. We give a characterization of the following generalized Mazur intersection property: every closed convex set A ∈ 𝓐 is an intersection of balls.
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...
Similarity: