metric: characterize open sets in subspaces
add some basic facts about metric spaces
define vector spaces, subspaces, sums, direct sums, and spans