W BIAŁYMSTOKU
Proszę używać tego identyfikatora do cytowań lub wstaw link do tej pozycji:
http://hdl.handle.net/11320/21427Pełny rekord metadanych
| Pole DC | Wartość | Język |
|---|---|---|
| dc.contributor.author | Naumowicz, Adam | - |
| dc.date.accessioned | 2026-11-04T13:14:20Z | - |
| dc.date.available | 2026-11-04T13:14:20Z | - |
| dc.date.issued | 2005 | - |
| dc.identifier.citation | Formalized Mathematics, Volume 13, Issue 1, Pages 133-138 | pl |
| dc.identifier.issn | 1426-2630 | - |
| dc.identifier.uri | http://hdl.handle.net/11320/21427 | - |
| dc.description.abstract | In this paper we construct several examples of partial linear spaces. First, we define two algebraic structures, namely the spaces of k-pencils and Grassmann spaces for vector spaces over an arbitrary field. Then we introduce the notion of generalized Veronese spaces following the definition presented in the paper [8] by Naumowicz and Prażmowski. For all spaces defined, we state the conditions under which they are not degenerated to a single line. | pl |
| dc.language.iso | en | pl |
| dc.publisher | University of Białystok | pl |
| dc.rights | CC BY-SA 4.0 | - |
| dc.rights.uri | https://creativecommons.org/licenses/by-sa/4.0/ | - |
| dc.title | Spaces of Pencils, Grassmann Spaces, and Generalized Veronese Spaces | pl |
| dc.type | Article | pl |
| dc.rights.holder | © 2005 University of Białystok | pl |
| dc.rights.holder | This work is licensed under the Creative Commons License. | pl |
| dc.description.Affiliation | University of Białystok | pl |
| dc.description.references | Grzegorz Bancerek. Cardinal numbers. Formalized Mathematics, 1(2):377–382, 1990. | pl |
| dc.description.references | Grzegorz Bancerek. The fundamental properties of natural numbers. Formalized Mathematics, 1(1):41–46, 1990. | pl |
| dc.description.references | Józef Białas. Group and field definitions. Formalized Mathematics, 1(3):433–439, 1990. | pl |
| dc.description.references | Czesław Byliński. Some basic properties of sets. Formalized Mathematics, 1(1):47–53, 1990. | pl |
| dc.description.references | Agata Darmochwał. Finite sets. Formalized Mathematics, 1(1):165–167, 1990. | pl |
| dc.description.references | Eugeniusz Kusak, Wojciech Leończuk, and Micha l Muzalewski. Abelian groups, fields and vector spaces. Formalized Mathematics, 1(2):335–342, 1990. | pl |
| dc.description.references | Adam Naumowicz. On Segre’s product of partial line spaces. Formalized Mathematics, 9(2):383–390, 2001. | pl |
| dc.description.references | Adam Naumowicz and Krzysztof Prażmowski. The geometry of generalized Veronese spaces. Results in Mathematics, 45:115–136, 2004. | pl |
| dc.description.references | Beata Padlewska. Families of sets. Formalized Mathematics, 1(1):147–152, 1990. | pl |
| dc.description.references | Beata Padlewska and Agata Darmochwa l. Topological spaces and continuous functions. Formalized Mathematics, 1(1):223–230, 1990. | pl |
| dc.description.references | Andrzej Trybulec. Tarski Grothendieck set theory. Formalized Mathematics, 1(1):9–11, 1990. | pl |
| dc.description.references | Wojciech A. Trybulec. Basis of vector space. Formalized Mathematics, 1(5):883–885, 1990. | pl |
| dc.description.references | Wojciech A. Trybulec. Operations on subspaces in vector space. Formalized Mathematics, 1(5):871–876, 1990. | pl |
| dc.description.references | Wojciech A. Trybulec. Subspaces and cosets of subspaces in vector space. Formalized Mathematics, 1(5):865–870, 1990. | pl |
| dc.description.references | Wojciech A. Trybulec. Vectors in real linear space. Formalized Mathematics, 1(2):291-296, 1990. | pl |
| dc.description.references | Zinaida Trybulec. Properties of subsets. Formalized Mathematics, 1(1):67–71, 1990. | pl |
| dc.description.references | Mariusz Żynel. The Steinitz theorem and the dimension of a vector space. Formalized Mathematics, 5(3):423–428, 1996. | pl |
| dc.identifier.eissn | 1898-9934 | - |
| dc.description.volume | 13 | pl |
| dc.description.issue | 1 | pl |
| dc.description.firstpage | 133 | pl |
| dc.description.lastpage | 138 | pl |
| dc.identifier.citation2 | Formalized Mathematics | pl |
| Występuje w kolekcji(ach): | Formalized Mathematics, 2005, Volume 13, Issue 1 | |
Pliki w tej pozycji:
| Plik | Opis | Rozmiar | Format | |
|---|---|---|---|---|
| Spaces_of_Pencils_Grassmann_Spaces.pdf | 93,14 kB | Adobe PDF | Otwórz |
Pozycja ta dostępna jest na podstawie licencji Licencja Creative Commons CCL
