Differentiable functions on normed linear spaces

DOI10.2478/V10037-012-0005-1MaRDI QIDQ2865759zbMATH OpenOpenAlexFDO

Authors Yasunari Shidama

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-012-0005-1

Mathematics Subject Classification ID

Continuity and differentiation questions (26B05)

Recommendations

• Differentiation in normed spaces
• On the differentiability of set-valued functions defined on a Banach space and mean value theorem
• Higher-order partial differentiation
• On the Mean Value Theorem, Inequality, and Inclusion
• scientific article; zbMATH DE number 1367589

Cites work

• Differentiable functions into real normed spaces
• Semantics of MML query -- ordering

Cited in

(10)

• Isomorphism theorem on vector spaces over a ring
• Finite dimensional real normed spaces are proper metric spaces
• Higher-order partial differentiation
• Partial differentiation, differentiation and continuity on n-dimensional real normed linear spaces
• Differentiation in normed spaces
• Isometric differentiable functions on real normed space
• Differential equations on functions from \(\mathbb R\) into real Banach space
• Isomorphism between spaces of multilinear maps and nested compositions over real normed vector spaces
• Higher order partial differentiable functions
• Normed algebras of differentiable functions on compact plane sets

This page was built for publication: Differentiable functions on normed linear spaces

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