[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Open Access

The 3-Fold Product Space of Real Normed Spaces and its Properties


Cite

In this article, we formalize in Mizar [1], [2] the 3-fold product space of real normed spaces for usefulness in application fields such as engineering, although the formalization of the 2-fold product space of real normed spaces has been stored in the Mizar Mathematical Library [3].

First, we prove some theorems about the 3-variable function and 3-fold Cartesian product for preparation. Then we formalize the definition of 3-fold product space of real linear spaces. Finally, we formulate the definition of 3-fold product space of real normed spaces. We referred to [7] and [6] in the formalization.

eISSN:
1898-9934
Language:
English
Publication timeframe:
Volume Open
Journal Subjects:
Computer Sciences, Computer Sciences, other, Mathematics, General Mathematics