@MISC{PRVECT_3.MIZ,
  AUTHOR = {Okazaki, Hiroyuki and Endou, Noboru and Shidama, Yasunari},
  TITLE = {Cartesian Products of Family of Real Linear Spaces},
  SECTION1 = {Preliminaries},
  SECTION2 = {Cartesian Products of Real Linear Spaces},
  SECTION3 = {Cartesian Products of Real Normed Linear Spaces},
  DAY = {17},
  MONTH = {August},
  YEAR = {2010},
  ADDRESS1 = {Shinshu University, Nagano, Japan},
  ADDRESS2 = {Shinshu University, Nagano, Japan},
  ADDRESS3 = {Shinshu University, Nagano, Japan},
  SUMMARY = {In this article we introduced the
    isomorphism mapping between cartesian products of family
    of linear spaces \cite{BOURBAKI:1-5}.
    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.},
  ACKNOWLEDGEMENT = {This work was supported by JSPS KAKENHI 22300285.}}

@ARTICLE{BOURBAKI:1-5,
      AUTHOR  = {Nicolas Bourbaki},
      TITLE   = {Topological Vector Spaces: Chapters 1-5},
      JOURNAL = {Springer},
      YEAR    = 1981}
