REPOZYTORIUM UNIWERSYTETU
W BIAŁYMSTOKU
UwB

  1. Repozytorium Uniwersytetu w Białymstoku
  2. Czasopisma naukowe / Journals
  3. Formalized Mathematics
  4. Formalized Mathematics, 2004, Volume 12, 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/21462
    Pełny rekord metadanych
    Pole DCWartośćJęzyk
    dc.contributor.authorShidama, Yasunari-
    dc.date.accessioned2026-11-09T07:27:08Z-
    dc.date.available2026-11-09T07:27:08Z-
    dc.date.issued2004-
    dc.identifier.citationFormalized Mathematics, Volume 12, Issue 1, Pages 39-48pl
    dc.identifier.issn1426-2630-
    dc.identifier.urihttp://hdl.handle.net/11320/21462-
    dc.description.abstractIn this article, the basic properties of linear spaces which are defined as the set of all linear operators from one linear space to another, are described. Especially, the Banach space is introduced. This is defined by the set of all bounded linear operators.pl
    dc.language.isoenpl
    dc.publisherUniversity of Białystokpl
    dc.rightsCC BY-SA 4.0-
    dc.rights.urihttps://creativecommons.org/licenses/by-sa/4.0/-
    dc.titleBanach Space of Bounded Linear Operatorspl
    dc.typeArticlepl
    dc.rights.holder© 2005 University of Białystokpl
    dc.rights.holderThis work is licensed under the Creative Commons License.pl
    dc.description.AffiliationShinshu University, Naganopl
    dc.description.referencesGrzegorz Bancerek. The ordinal numbers. Formalized Mathematics, 1(1):91–96, 1990.pl
    dc.description.referencesGrzegorz Bancerek. Sequences of ordinal numbers. Formalized Mathematics, 1(2):281–290, 1990.pl
    dc.description.referencesCzesław Byliński. Binary operations. Formalized Mathematics, 1(1):175–180, 1990.pl
    dc.description.referencesCzesław Byliński. Functions and their basic properties. Formalized Mathematics, 1(1):55–65, 1990.pl
    dc.description.referencesCzesław Byliński. Functions from a set to a set. Formalized Mathematics, 1(1):153–164, 1990.pl
    dc.description.referencesCzesław Byliński. Some basic properties of sets. Formalized Mathematics, 1(1):47–53, 1990.pl
    dc.description.referencesCzesław Byliński and Piotr Rudnicki. Bounding boxes for compact sets in E2. Formalized Mathematics, 6(3):427–440, 1997.pl
    dc.description.referencesNoboru Endou, Yasumasa Suzuki, and Yasunari Shidama. Real linear space of real sequences. Formalized Mathematics, 11(3):249–253, 2003.pl
    dc.description.referencesKrzysztof Hryniewiecki. Basic properties of real numbers. Formalized Mathematics, 1(1):35–40, 1990.pl
    dc.description.referencesJarosław Kotowicz. Convergent real sequences. Upper and lower bound of sets of real numbers. Formalized Mathematics, 1(3):477–481, 1990.pl
    dc.description.referencesJarosław Kotowicz. Convergent sequences and the limit of sequences. Formalized Mathematics, 1(2):273–275, 1990.pl
    dc.description.referencesJarosław Kotowicz. Monotone real sequences. Subsequences. Formalized Mathematics, 1(3):471–475, 1990.pl
    dc.description.referencesJarosław Kotowicz. Real sequences and basic operations on them. Formalized Mathematics, 1(2):269–272, 1990.pl
    dc.description.referencesEugeniusz Kusak, Wojciech Leończuk, and Michał Muzalewski. Abelian groups, fields and vector spaces. Formalized Mathematics, 1(2):335–342, 1990.pl
    dc.description.referencesHenryk Oryszczyszyn and Krzysztof Prażmowski. Real functions spaces. Formalized Mathematics, 1(3):555–561, 1990.pl
    dc.description.referencesBeata Padlewska and Agata Darmochwał. Topological spaces and continuous functions. Formalized Mathematics, 1(1):223–230, 1990.pl
    dc.description.referencesJan Popiołek. Some properties of functions modul and signum. Formalized Mathematics, 1(2):263–264, 1990.pl
    dc.description.referencesJan Popiołek. Introduction to Banach and Hilbert spaces - part I. Formalized Mathematics, 2(4):511–516, 1991.pl
    dc.description.referencesJan Popiołek. Real normed space. Formalized Mathematics, 2(1):111–115, 1991.pl
    dc.description.referencesYasumasa Suzuki, Noboru Endou, and Yasunari Shidama. Banach space of absolute summable real sequences. Formalized Mathematics, 11(4):377–380, 2003.pl
    dc.description.referencesAndrzej Trybulec. Subsets of complex numbers. To appear in Formalized Mathematics.pl
    dc.description.referencesAndrzej Trybulec. Binary operations applied to functions. Formalized Mathematics, 1(2):329–334, 1990.pl
    dc.description.referencesAndrzej Trybulec. Domains and their Cartesian products. Formalized Mathematics, 1(1):115–122, 1990.pl
    dc.description.referencesAndrzej Trybulec. Enumerated sets. Formalized Mathematics, 1(1):25–34, 1990.pl
    dc.description.referencesAndrzej Trybulec. Function domains and Frænkel operator. Formalized Mathematics, 1(3):495–500, 1990.pl
    dc.description.referencesAndrzej Trybulec. Tarski Grothendieck set theory. Formalized Mathematics, 1(1):9–11, 1990.pl
    dc.description.referencesAndrzej Trybulec. Tuples, projections and Cartesian products. Formalized Mathematics, 1(1):97–105, 1990.pl
    dc.description.referencesAndrzej Trybulec. On the sets inhabited by numbers. Formalized Mathematics, 11(4):341–347, 2003.pl
    dc.description.referencesWojciech A. Trybulec. Subspaces and cosets of subspaces in real linear space. Formalized Mathematics, 1(2):297–301, 1990.pl
    dc.description.referencesWojciech A. Trybulec. Vectors in real linear space. Formalized Mathematics, 1(2):291–296, 1990.pl
    dc.description.referencesZinaida Trybulec. Properties of subsets. Formalized Mathematics, 1(1):67–71, 1990.pl
    dc.description.referencesEdmund Woronowicz. Relations and their basic properties. Formalized Mathematics, 1(1):73–83, 1990.pl
    dc.description.referencesEdmund Woronowicz. Relations defined on sets. Formalized Mathematics, 1(1):181–186, 1990.pl
    dc.description.volume12pl
    dc.description.issue1pl
    dc.description.firstpage39pl
    dc.description.lastpage48pl
    dc.identifier.citation2Formalized Mathematicspl
    Występuje w kolekcji(ach):Formalized Mathematics, 2004, Volume 12, Issue 1

    Pliki w tej pozycji:
    Plik Opis RozmiarFormat 
    Banach_Space_of_Bounded_Linear_Operators.pdf105,41 kBAdobe PDFOtwórz
    Pokaż uproszczony widok rekordu Zobacz statystyki


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