Wyniki wyszukiwania - Biblioteka Nauki

Nowa wersja platformy, zawierająca wyłącznie zasoby pełnotekstowe, jest już dostępna.
Przejdź na https://bibliotekanauki.pl

Szukaj
Przeglądaj
Pomoc
O nas

Ograniczanie wyników

1 Formalized Mathematics

1 2009

1 Korniłowicz A.
1 Nakamura Y.
1 Oya N.
1 Shidama Y.

Znaleziono wyników: 1

Liczba wyników na stronie

Wyniki wyszukiwania

Sortuj według:

Ogranicz wyniki do:

The Real Vector Spaces of Finite Sequences are Finite Dimensional

100%

Nakamura Y. , Korniłowicz A. , Oya N. , Shidama Y.

nr 1

1-9

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.MML identifier: EUCLID 7, version: 7.11.01 4.117.1046