Some Standard Examples of Vector Spaces
Abstract
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.
Language: English
Page range: 223 - 233
Accepted on: Dec 24, 2024
Published on: Dec 31, 2024
Published by: University of Białystok
In partnership with: Paradigm Publishing Services
Publication frequency: 1 issue per year
Related subjects:
© 2024 Christoph Schwarzweller, Agnieszka Rowińska-Schwarzweller, published by University of Białystok
This work is licensed under the Creative Commons Attribution-ShareAlike 3.0 License.