Topological vector spaces lecture notes