We assume that $X$ is a topological vector space with a topology $\tau$. I want to show that if $F$ is a closed subset of $X$, then its translate $a+F$ is also closed in $X$. Am I right to say that $$ (a+F)^c=a+F^c?$$ If this is so, then how can we prove it? If that is true, then the result follows because $\tau$ is translation invariant. Alternately, the result can be proved from the fact that if $a\in X$ then the translation map $$ T_a: X \to X$$ defined by $T_a(x)=a+x$ for every $x\in X$ is a homeomorphism and hence a closed map. This means that if $F$ is closed, then $T_a(F)=a+F$ is closed.