REPOZYTORIUM UNIWERSYTETU
W BIAŁYMSTOKU
UwB

  1. Repozytorium Uniwersytetu w Białymstoku
  2. Czasopisma naukowe / Journals
  3. Formalized Mathematics
  4. Formalized Mathematics, 2019, Volume 27, Issue 1

Szukanie zaawansowane
  • Zespoły i Kolekcje


  • Zaloguj się
  • Zarejestruj się
  • Mój RUB
  • FAQ
  • Polityka
  • Regulamin
  • DOI
  • Instrukcja
  • Aspekty prawne
  • Open Access
  • Archiwum


  • Kontakt
  • O Dspace
  • Strona Biblioteki
  • Strona Uczelni



    • Proszę używać tego identyfikatora do cytowań lub wstaw link do tej pozycji: http://hdl.handle.net/11320/7838
    Pełny rekord metadanych
    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 
    forma_2019_27_1_004.pdf242,81 kBAdobe PDFOtwórz
    Pokaż uproszczony widok rekordu Zobacz statystyki


    Pozycja ta dostępna jest na podstawie licencji Licencja Creative Commons CCL Creative Commons