Proszę używać tego identyfikatora do cytowań lub wstaw link do tej pozycji:
http://hdl.handle.net/11320/3514
Pełny rekord metadanych
Pole DC | Wartość | Język |
---|---|---|
dc.contributor.author | Nakamura, Yatsuka | - |
dc.contributor.author | Korniłowicz, Artur | - |
dc.contributor.author | Oya, Nagato | - |
dc.contributor.author | Shidama, Yasunari | - |
dc.date.accessioned | 2015-11-24T19:25:09Z | - |
dc.date.available | 2015-11-24T19:25:09Z | - |
dc.date.issued | 2009 | - |
dc.identifier.citation | Formalized Mathematics, Volume 17, Issue 1, 2009, Pages 1-9 | - |
dc.identifier.issn | 1426-2630 | - |
dc.identifier.issn | 1898-9934 | - |
dc.identifier.uri | http://hdl.handle.net/11320/3514 | - |
dc.description.abstract | In this paper we show the finite dimensionality of real linear spaces with their carriers equal Rn. We also give the standard basis of such spaces. For the set Rn we introduce the concepts of linear manifold subsets and orthogonal subsets. The cardinality of orthonormal basis of discussed spaces is proved to equal n. | - |
dc.language.iso | en | - |
dc.publisher | De Gruyter Open | - |
dc.title | The Real Vector Spaces of Finite Sequences are Finite Dimensional | - |
dc.type | Article | - |
dc.identifier.doi | 10.2478/v10037-009-0001-2 | - |
dc.description.Affiliation | Yatsuka Nakamura - Shinshu University Nagano, Japan | - |
dc.description.Affiliation | Nagato Oya - Shinshu University Nagano, Japan | - |
dc.description.Affiliation | Yasunari Shidama - Shinshu University Nagano, Japan | - |
dc.description.Affiliation | Artur Korniłowicz - Institute of Computer Science, University of Białystok, Sosnowa 64, 15-887 Białystok, Poland | - |
Występuje w kolekcji(ach): | Artykuły naukowe (WInf) Formalized Mathematics, 2009, Volume 17, Issue 1 |
Pliki w tej pozycji:
Plik | Opis | Rozmiar | Format | |
---|---|---|---|---|
v10037-009-0001-2.pdf | 263,76 kB | Adobe PDF | Otwórz |
Pozycja ta dostępna jest na podstawie licencji Licencja Creative Commons CCL