Differentiability Properties of Lipschitzian Bilinear Operators in Real Normed Spaces
2024; De Gruyter Open; Volume: 32; Issue: 1 Linguagem: Inglês
10.2478/forma-2024-0013
ISSN1898-9934
AutoresKazuhisa Nakasho, Yasunari Shidama,
Tópico(s)Security in Wireless Sensor Networks
ResumoSummary This article is devoted to the Mizar formalization of various properties of differentiability of Lipschitzian bilinear operators in real normed spaces. Main results include the Lipschitz continuity of partial derivatives, the representation of the total derivative in terms of partial derivatives, and the continuous differentiability of Lipschitzian bilinear operators on open subsets of the product space.
Referência(s)