Isomorphism between spaces of multilinear maps and nested compositions over real normed vector spaces

DOI10.2478/FORMA-2022-0006MaRDI QIDQ6489402FDOQ6489402

Authors: Kazuhisa Nakasho, Yuichi Futa 

Publication date: 22 April 2024

Published in: Formalized Mathematics (Search for Journal in Brave)

Recommendations

• Isomorphisms from the space of multilinear operators
• Continuity of multilinear operator on normed linear spaces
• Isomorphisms between spaces of multilinear mappings or homogeneous polynomials
• Differentiable functions on normed linear spaces

zbMATH Keywords

Banach spacecomposition functionmultilinear function

Mathematics Subject Classification ID

Multilinear algebra, tensor calculus (15A69) Forms (bilinear, sesquilinear, multilinear) (47A07) Formalization of mathematics in connection with theorem provers (68V20)

Cites Work

• Mizar: state-of-the-art and beyond
• Title not available (Why is that?)
• Title not available (Why is that?)
• Continuity of barycentric coordinates in Euclidean topological spaces
• Isometric differentiable functions on real normed space
• The role of the Mizar mathematical library for interactive proof development in Mizar
• Multilinear operator and its basic properties

Cited In (1)

• Formalized functional analysis with semilinear maps

This page was built for publication: Isomorphism between spaces of multilinear maps and nested compositions over real normed vector spaces

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6489402)