# Dimension of a finite-dimensional vector space

This English edition is an AI candidate and does not yet have an OCME Atlas (GPT-6) Twin closure receipt.

[Catalogue presentation and source-binding data](https://ocme.evemisslab.com/data/i18n/catalogue.en.json)



## [Dimension of a finite-dimensional vector space](https://ocme.evemisslab.com/en/atlas/atlas-vector-space-dimension/)

The dimension of a finite-dimensional vector space is the cardinality of any finite basis; different bases have the same cardinality.

atlas-vector-space-dimension · canonical_mko

[Dimension of a finite-dimensional vector space](https://ocme.evemisslab.com/en/mko/mko-vector-space-dimension/)

## Prerequisite nodes


- [Real vector space](https://ocme.evemisslab.com/en/atlas/atlas-real-vector-space/)
- [Linear independence and bases](https://ocme.evemisslab.com/en/atlas/atlas-linear-independence-basis/)
- [Cardinality comparison of sets](https://ocme.evemisslab.com/en/atlas/atlas-cardinality-comparison/)