Suppose that a ∈ Sˉ, then every ball B(a, 1/n) contains a point of S, so we may picka sequence (xn)n=1∞ with xn∈B(a,1/n)∩S. Clearly limn→∞xn=a.Conversely, suppose limn→∞xn=a, where xn∈S. If a∈/Sˉ then there must besome ball B(a, ε) not meeting S. But if n is large enough then d(xn,a)<ε, and soxn∈S∩B(a,ε), by contradiction. Therefore A is closed
Comments