A constructive approach to basic linear algebra concepts