Displaying similar documents to “Uniformly Continuous Set-Valued Composition Operators in the Spaces of Functions of Bounded Variation in the Sense of Riesz”

F. Riesz Theorem

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...

Exhaustivity in Topological Riesz Spaces with the Principal Projection Property

Kimberly Muller (2006)

Bulletin of the Polish Academy of Sciences. Mathematics

Similarity:

Exhaustive and uniformly exhaustive elements are studied in the setting of locally solid topological Riesz spaces with the principal projection property. We study the structure of the order interval [0,x] when x is an exhaustive element and the structure of the solid hull of a set of uniformly exhaustive elements.