Suppose that on in metric d, and let A={x}U { }. Prove that A is closed.

intuitively, x is a limit point of , and it's inside A, so A must be closed, but how do I write out this proof?

Printable View

- Nov 13th 2011, 11:20 AMwopashuiProve that A is closed
Suppose that on in metric d, and let A={x}U { }. Prove that A is closed.

intuitively, x is a limit point of , and it's inside A, so A must be closed, but how do I write out this proof? - Nov 13th 2011, 11:32 AMDrexel28Re: Prove that A is closed
It's actually probably easiest to prove that is compact, and to use the fact that in metric spaces (Hausdorff spaces) compactness implies closedness. To prove that is compact you must merely note that given an open cover for you can find some guy that contains , but since this guy will contain all but finitely many elements of and you can cover the finitely many rest with whatever--this gives you a finite subcover.

- Nov 13th 2011, 12:11 PMTinybossRe: Prove that A is closed
It's immediately true if you know that a convergent sequence only has one limit point, which isn't hard to show. Choose y not equal to x, and not in {x_n}. By Hausdorff-ness of the metric space, there are disjoint neighborhoods of y and x. By convergence, all but finitely many elements of the sequence lie in the chosen neighborhood of x, and so y can't be a limit point.

- Nov 14th 2011, 04:03 AMwopashuiRe: Prove that A is closed
- Nov 14th 2011, 04:11 AMPlatoRe: Prove that A is closed
- Nov 14th 2011, 04:36 AMTinybossRe: Prove that A is closed
Sorry, Hausdorff just means that for any two distinct points we can find an open set containing each one, and so that the two open sets don't intersect one another. You usually don't encounter that definition until you consider more general topological spaces, because metric spaces are automatically Hausdorff (just take epsilon-balls of radius half the distance between the points).

- Nov 14th 2011, 04:41 AMOpalgRe: Prove that A is closed
You can take Tinyboss's argument and adapt it to metric spaces.

Choose y not equal to x, and not in {x_n}. Then d(x,y)>0. The open ball of radius d(x,y)/2 centred at x contains all but finitely many elements of the sequence. So the open ball of radius d(x,y)/2 centred at y (which is disjoint from the one centred at x) contains only finitely many members of the sequence. By shrinking its radius to exclude those points, you get an open ball centred at y which does not contain any points of A. That shows that A is closed. - Nov 14th 2011, 04:35 PMwopashuiRe: Prove that A is closed
for "By shrinking its radius to exclude those points, you get an open ball centred at y which does not contain any points of A. That shows that A is closed" this part, can you explain expiciltly how do I do that, I think that's the tricky part, how to choose that radius, let's say we have r=d(x,y), for the 2 open ball we have radius of r/2, but hot can you shrink the radius to be small enough to do this?

- Nov 14th 2011, 04:45 PMTinybossRe: Prove that A is closed
Because only finitely many sequence elements are outside the ball around x, you can pick out a closest sequence element to y. Just make your radius smaller than that distance.