W BIAŁYMSTOKU
Proszę używać tego identyfikatora do cytowań lub wstaw link do tej pozycji:
http://hdl.handle.net/11320/17797| Tytuł: | Some Standard Examples of Vector Spaces |
| Autorzy: | Schwarzweller, Christoph Rowińska-Schwarzweller, Agnieszka |
| Słowa kluczowe: | vector space linear transformation dimension of a vector space |
| Data wydania: | 2024 |
| Data dodania: | 10-sty-2025 |
| Wydawca: | DeGruyter Open |
| Źródło: | Formalized Mathematics, Volume 32, Issue 1, Pages 223–233 |
| Abstrakt: | In this article, using the Mizar system, we introduce some standard examples of vector spaces, e.g., the vector space of linear transformations between vector spaces. We formulate some conditions for the isomorphism of finite-dimensional vector spaces and prove that linear transformations are uniquely determined by their values with respect to the basis. |
| Afiliacja: | Christoph Schwarzweller - Institute of Informatics, University of Gdańsk, Poland Agnieszka Rowińska-Schwarzweller - Institute of Informatics, University of Gdańsk, Poland |
| URI: | http://hdl.handle.net/11320/17797 |
| DOI: | 10.2478/forma-2024-0019 |
| ISSN: | 1426-2630 |
| e-ISSN: | 1898-9934 |
| metadata.dc.identifier.orcid: | 0000-0001-9587-8737 |
| Typ Dokumentu: | Article |
| metadata.dc.rights.uri: | https://creativecommons.org/licenses/by-sa/3.0/ |
| Właściciel praw: | © 2024 The Author(s) CC BY-SA 3.0 license |
| Występuje w kolekcji(ach): | Formalized Mathematics, 2024, Volume 32, Issue 1 |
Pliki w tej pozycji:
| Plik | Opis | Rozmiar | Format | |
|---|---|---|---|---|
| Some-Standard-Examples-of-Vector-Spaces.pdf | 268,79 kB | Adobe PDF | Otwórz |
Pozycja ta dostępna jest na podstawie licencji Licencja Creative Commons CCL
