Some Standard Examples of Vector Spaces
Christoph Schwarzweller
Institute of Informatics, University of GdańskPoland
Profil OrcidWyszukaj tego autora
oraz 31 gru 2024
O artykule
Data publikacji: 31 gru 2024
Zakres stron: 223 - 233
Przyjęty: 24 gru 2024
DOI: https://doi.org/10.2478/forma-2024-0019
Słowa kluczowe
© 2024 Christoph Schwarzweller et al., published by Sciendo
This work is licensed under the Creative Commons Attribution-ShareAlike 3.0 Public License.
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.