Cartesian Products of Family of Real Linear Spaces
From MaRDI portal
Publication:2865730
DOI10.2478/v10037-011-0009-2zbMath1276.46015OpenAlexW2044555352MaRDI QIDQ2865730
Yasunari Shidama, Hiroyuki Okazaki, Noboru Endou
Publication date: 3 December 2013
Published in: Formalized Mathematics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2478/v10037-011-0009-2
Related Items (13)
Construction of measure from semialgebra of sets ⋮ Product pre-measure ⋮ Reconstruction of the one-dimensional Lebesgue measure ⋮ The 3-fold product space of real normed spaces and its properties ⋮ Bilinear operators on normed linear spaces ⋮ Isometric differentiable functions on real normed space ⋮ Implicit function theorem. I ⋮ Continuity of bounded linear operators on normed linear spaces ⋮ Banach’s Continuous Inverse Theorem and Closed Graph Theorem ⋮ Isomorphisms of Direct Products of Finite Cyclic Groups ⋮ Isomorphisms from the space of multilinear operators ⋮ Invertible operators on Banach spaces ⋮ Implicit function theorem. II
Cites Work
This page was built for publication: Cartesian Products of Family of Real Linear Spaces
