REPOZYTORIUM UNIWERSYTETU
W BIAŁYMSTOKU
UwB

  1. Repozytorium Uniwersytetu w Białymstoku
  2. Czasopisma naukowe / Journals
  3. Formalized Mathematics
  4. Formalized Mathematics, 2003, Volume 11, 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/21460
    Pełny rekord metadanych
    Pole DCWartośćJęzyk
    dc.contributor.authorEndou, Noboru-
    dc.contributor.authorMitsuishi, Takashi-
    dc.contributor.authorShidama, Yasunari-
    dc.date.accessioned2026-11-09T06:32:48Z-
    dc.date.available2026-11-09T06:32:48Z-
    dc.date.issued2003-
    dc.identifier.citationFormalized Mathematics, Volume 11, Issue 1, Pages 23-28pl
    dc.identifier.issn1426-2630-
    dc.identifier.urihttp://hdl.handle.net/11320/21460-
    dc.description.abstractIn this article we describe the dimension of real unitary space. Most of theorems are restricted from real linear space. In the last section, we introduce affine subset of real unitary space.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.titleDimension of Real Unitary Spacepl
    dc.typeArticlepl
    dc.rights.holder© 2003 University of Białystokpl
    dc.rights.holderThis work is licensed under the Creative Commons License.pl
    dc.description.AffiliationNoboru Endou - Gifu National College of Technologypl
    dc.description.AffiliationTakashi Mitsuishi - Miyagi Universitypl
    dc.description.AffiliationYasunari Shidama - Shinshu University Naganopl
    dc.description.referencesGrzegorz Bancerek. Cardinal numbers. Formalized Mathematics, 1(2):377–382, 1990.pl
    dc.description.referencesGrzegorz Bancerek. The fundamental properties of natural numbers. Formalized Mathematics, 1(1):41–46, 1990.pl
    dc.description.referencesGrzegorz Bancerek and Krzysztof Hryniewiecki. Segments of natural numbers and finite sequences. Formalized Mathematics, 1(1):107–114, 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.referencesAgata Darmochwał. Finite sets. Formalized Mathematics, 1(1):165–167, 1990.pl
    dc.description.referencesNoboru Endou, Takashi Mitsuishi, and Yasunari Shidama. Linear combinations in real unitary space. Formalized Mathematics, 11(1):17–22, 2003.pl
    dc.description.referencesNoboru Endou, Takashi Mitsuishi, and Yasunari Shidama. Operations on subspaces in real unitary space. Formalized Mathematics, 11(1):9–16, 2003.pl
    dc.description.referencesNoboru Endou, Takashi Mitsuishi, and Yasunari Shidama. Subspaces and cosets of sub-space of real unitary space. Formalized Mathematics, 11(1):1–7, 2003.pl
    dc.description.referencesKrzysztof Hryniewiecki. Basic properties of real numbers. Formalized Mathematics, 1(1):35–40, 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. Introduction to Banach and Hilbert spaces - part I. Formalized Mathematics, 2(4):511–516, 1991.pl
    dc.description.referencesAndrzej Trybulec. Enumerated sets. Formalized Mathematics, 1(1):25–34, 1990.pl
    dc.description.referencesAndrzej Trybulec. Tarski Grothendieck set theory. Formalized Mathematics, 1(1):9–11, 1990.pl
    dc.description.referencesWojciech A. Trybulec. Basis of real linear space. Formalized Mathematics, 1(5):847–850, 1990.pl
    dc.description.referencesWojciech A. Trybulec. Linear combinations in real linear space. Formalized Mathematics, 1(3):581–588, 1990.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.identifier.eissn1898-9934-
    dc.description.volume11pl
    dc.description.issue1pl
    dc.description.firstpage23pl
    dc.description.lastpage28pl
    dc.identifier.citation2Formalized Mathematicspl
    Występuje w kolekcji(ach):Formalized Mathematics, 2003, Volume 11, Issue 1

    Pliki w tej pozycji:
    Plik Opis RozmiarFormat 
    Dimension_of_Real_Unitary_Space.pdf65,49 kBAdobe PDFOtwórz
    Pokaż uproszczony widok rekordu Zobacz statystyki


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