REPOZYTORIUM UNIWERSYTETU
W BIAŁYMSTOKU

Proszę używać tego identyfikatora do cytowań lub wstaw link do tej pozycji: `http://hdl.handle.net/11320/7838`
Pole DCWartośćJęzyk
dc.contributor.authorNakasho, Kazuhisa-
dc.date.accessioned2019-05-21T07:18:01Z-
dc.date.available2019-05-21T07:18:01Z-
dc.date.issued2019-
dc.identifier.citationFormalized Mathematics, Volume 27, Issue 1, Pages 35-45-
dc.identifier.issn1426-2630-
dc.identifier.urihttp://hdl.handle.net/11320/7838-
dc.description.abstractIn the first chapter, the notion of multilinear operator on real linear spaces is discussed. The algebraic structure [2] of multilinear operators is introduced here. In the second chapter, the results of the first chapter are extended to the case of the normed spaces. This chapter shows that bounded multilinear operators on normed linear spaces constitute the algebraic structure. We referred to [3], [7], [5], [6] in this formalization.-
dc.language.isoen-
dc.publisherDeGruyter Open-
dc.subjectLipschitz continuity-
dc.subjectbounded linear operators-
dc.subjectbilinear operators-
dc.subjectalgebraic structure-
dc.subjectBanach space-
dc.titleMultilinear Operator and Its Basic Properties-
dc.typeArticle-
dc.identifier.doi10.2478/forma-2019-0004-
dc.description.AffiliationYamaguchi University, Yamaguchi, Japan-
dc.description.referencesCzesław Byliński. The sum and product of finite sequences of real numbers. Formalized Mathematics, 1(4):661–668, 1990.-
dc.description.referencesAdam Grabowski, Artur Korniłowicz, and Christoph Schwarzweller. On algebraic hierarchies in mathematical repository of Mizar. In M. Ganzha, L. Maciaszek, and M. Paprzycki, editors, Proceedings of the 2016 Federated Conference on Computer Science and Information Systems (FedCSIS), volume 8 of Annals of Computer Science and Information Systems, pages 363–371, 2016. doi:10.15439/2016F520.-
dc.description.referencesMiyadera Isao. Functional Analysis. Riko-Gaku-Sya, 1972.-
dc.description.referencesMarco Riccardi. Pocklington’s theorem and Bertrand’s postulate. Formalized Mathematics, 14(2):47–52, 2006. doi:10.2478/v10037-006-0007-y.-
dc.description.referencesLaurent Schwartz. Théorie des ensembles et topologie, tome 1. Analyse. Hermann, 1997.-
dc.description.referencesLaurent Schwartz. Calcul différentiel, tome 2. Analyse. Hermann, 1997.-
dc.description.referencesKosaku Yoshida. Functional Analysis. Springer, 1980.-
dc.identifier.eissn1898-9934-
dc.description.volume27-
dc.description.issue1-
dc.description.firstpage35-
dc.description.lastpage45-
dc.identifier.citation2Formalized Mathematics-
dc.identifier.orcid0000-0003-1110-4342-
Występuje w kolekcji(ach):Formalized Mathematics, 2019, Volume 27, Issue 1

Pliki w tej pozycji:
Plik Opis RozmiarFormat