Representations of Riesz spaces as spaces of measures. II
Wolfgang Filter (1992)
Czechoslovak Mathematical Journal
Similarity:
Wolfgang Filter (1992)
Czechoslovak Mathematical Journal
Similarity:
G. J. H. M. Buskes, A. C. M. Van Rooij (1992)
Compositio Mathematica
Similarity:
David F. Findley (1973)
Collectanea Mathematica
Similarity:
Vojislav G. Avakumović (1955)
Publications de l'Institut Mathématique
Similarity:
Robert E. Dressler, Louis Pigno (1974)
Colloquium Mathematicae
Similarity:
Zafer Ercan (2005)
Open Mathematics
Similarity:
The paper presents a simple proof of Proposition 8 of [2], based on a new and simple description of isometries between CD 0-spaces.
Tomica Divnić, Zlata Đurić (2000)
Kragujevac Journal of Mathematics
Similarity:
A. C. Zaanen (1972)
Mémoires de la Société Mathématique de France
Similarity:
C. D. Aliprantis, O. Burkinshaw (1982)
Colloquium Mathematicae
Similarity:
Keiko Narita, Kazuhisa Nakasho, Yasunari Shidama (2017)
Formalized Mathematics
Similarity:
In this article, we formalize in the Mizar system [1, 4] the F. Riesz theorem. In the first section, we defined Mizar functor ClstoCmp, compact topological spaces as closed interval subset of real numbers. Then using the former definition and referring to the article [10] and the article [5], we defined the normed spaces of continuous functions on closed interval subset of real numbers, and defined the normed spaces of bounded functions on closed interval subset of real numbers. We also...