Displaying similar documents to “Direct limit of matrix order unit spaces”

Direct limit of matricially Riesz normed spaces

J. V. Ramani, Anil Kumar Karn, Sunil Yadav (2006)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

In this paper, the ℱ -Riesz norm for ordered ℱ -bimodules is introduced and characterized in terms of order theoretic and geometric concepts. Using this notion, ℱ -Riesz normed bimodules are introduced and characterized as the inductive limits of matricially Riesz normed spaces.

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