The Real Vector Spaces of Finite Sequences are Finite Dimensional

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