Riesz spaces and the ultrafilter theorem, I
G. J. H. M. Buskes, A. C. M. Van Rooij (1992)
Compositio Mathematica
Similarity:
G. J. H. M. Buskes, A. C. M. Van Rooij (1992)
Compositio Mathematica
Similarity:
Ş. Alpay, B. Altin, C. Tonyali (2006)
Czechoslovak Mathematical Journal
Similarity:
We study an order boundedness property in Riesz spaces and investigate Riesz spaces and Banach lattices enjoying this property.
Vojislav G. Avakumović (1955)
Publications de l'Institut Mathématique
Similarity:
Wolfgang Filter (1992)
Czechoslovak Mathematical Journal
Similarity:
Robert E. Dressler, Louis Pigno (1974)
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...
Valerio Capraro, Stefano Rossi (2011)
Colloquium Mathematicae
Similarity:
We use Birkhoff-James' orthogonality in Banach spaces to provide new conditions for the converse of the classical Riesz representation theorem.