Finite-Dimensional Spaces