Independence, Basis, and Dimension