<abstract xml:lang="en" xmlns="http://www.w3.org/1999/xhtml"><p>In this article we introduced the isomorphism mapping between cartesian products of family of linear spaces [4]. Those products had been formalized by two different ways, i.e., the way using the functor [:X, Y:] and ones using the functor "product". By the same way, the isomorphism mapping was defined between Cartesian products of family of linear normed spaces also.</p></abstract>

In this article we introduced the isomorphism mapping between cartesian products of family of linear spaces [4]. Those products had been formalized by two different ways, i.e., the way using the functor [:X, Y:] and ones using the functor "product". By the same way, the isomorphism mapping was defined between Cartesian products of family of linear normed spaces also.

Cartesian Products of Family of Real Linear Spaces

Nagano National College of Technology, Japan

Formalized Mathematics

{"article-title":"Cartesian Products of Family of Real Linear Spaces"}

In this article we introduced the isomorphism mapping between cartesian products of family of linear spaces [4]. Those products had been formalized by two...

Cartesian Products of Family of Real Linear Spaces

Online veröffentlicht: 18. Juli 2011

Seitenbereich: 51 - 59

DOI: https://doi.org/10.2478/v10037-011-0009-2

This content is open access.