Independence, basis, and dimension