I have read the post in the link: A and B disjoint, A compact, and B closed implies there is positive distance between both sets
I wonder that the property in the link above is still correct in topological vector space or not? It means: If $A$ is closed, B is compact and $A\cap B = \varnothing$ then exist $V$ is neighborhood of $\theta$ that $$(A+V)\cap(B+V)=\varnothing$$