https://filesoo.com/product/6930/topological-vector-spaces-i