Proving {x} is a closed set in a metric space

[gajohnson]

Hi everyone, I posted this a couple days ago and didn't get a response, so I thought I'd try again. Let me know if something about this is confusing. Thanks!

Homework Statement

Let X be a metric space and let x\in{X} be any point. Prove that the set \left\{x\right\} is closed in X

Homework Equations

I am defining \left\{x\right\}' as the set of all limit points of \left\{x\right\}.

The Attempt at a Solution

Ok, so I realize I can prove this by showing that the complement is open (simple). However, I have a question about the validity of an alternative approach:

It is clear that \left\{x\right\} has no limit points, thus \left\{x\right\}' =empty set. Now, the empty set is a subset of every set, thus \left\{x\right\}'\subset{\left\{x\right\}} and so \left\{x\right\} contains all of its limit points. Then \left\{x\right\} is closed.

Thoughts? Does this work? If not, what am I missing? Thanks!

 

[jbunniii]

Ok, so I realize I can prove this by showing that the complement is open (simple). However, I have a question about the validity of an alternative approach:

It is clear that \left\{x\right\} has no limit points, thus \left\{x\right\}' =empty set. Now, the empty set is a subset of every set, thus \left\{x\right\}'\subset{\left\{x\right\}} and so \left\{x\right\} contains all of its limit points. Then \left\{x\right\} is closed.

Thoughts? Does this work? If not, what am I missing? Thanks!

Yes, this proof is fine.

 

[gajohnson]

Yes, this proof is fine.

Ok, thanks for validation. I had used this proof on an exam and it was marked almost entirely wrong, which was confusing to me. I'll question the professor about it. Thanks again!

 

[jbunniii]

Ok, thanks for validation. I had used this proof on an exam and it was marked almost entirely wrong, which was confusing to me. I'll question the professor about it. Thanks again!

The proof is correct, but perhaps he wanted more detail. Definitely check with him - only he can tell you what the problem is.

Maybe he didn't like the key statement: "it is clear that {x} has no limit points" - it's clear to me, but perhaps he wanted more detail to be sure why it was clear to you.

Also, if a closed set is defined as the complement of an open set, then it's a theorem (perhaps requiring proof on an exam) that this is equivalent in a metric space to "the set contains all of its limit points."

 

[gajohnson]

The proof is correct, but perhaps he wanted more detail. Definitely check with him - only he can tell you what the problem is.

Maybe he didn't like the key statement: "it is clear that {x} has no limit points" - it's clear to me, but perhaps he wanted more detail to be sure why it was clear to you.

Also, if a closed set is defined as the complement of an open set, then it's a theorem (perhaps requiring proof on an exam) that this is equivalent in a metric space to "the set contains all of its limit points."

Ah yes, actually on the proof on the exam I showed clearly that {x} had no limit points--I just glossed over it here since it seemed like it would not be a possible point of contention in the proof. We were also able to freely use theorems covered in Rudin, so the rest should be fine.

Thanks again!