---
tag: 03GSZ8RTZJ
kind: concept
name: Dimension
msc: [15A03]
sources:
  - url: https://en.wikipedia.org/wiki/Dimension_(vector_space)
    locator: lead section
same_as:
  wikidata: Q929302
  wikipedia: Dimension (vector space)
---

## Summary

The dimension of a vector space is the number of vectors in a basis of the space.
It does not depend on the basis.