[Math] Is every point of every open set $E \subset R^2 $ a limit point of E?(Proof-verification)

general-topologyproof-verificationreal-analysis

NOTE: There are some other similar questions, but I got a negative answer to this question from my proof. Please find out the errors in my reasoning.

$\mathbf {Claim:}$ Is every point of every open set $E \subset R^2$ a limit point of E? Answer the same question for closed sets in $E \subset R^2$

From "Baby Rudin"

$\mathbf {Proof:}$ $\emptyset$ is both open and closed in every topological space. $R^2$ is a metric space, which is a kind of topological space, so $\emptyset$ is both open and closed in it. $\emptyset$ has no limit point because its neighborhood has no other point to include, so we can get a negative answer to both questions.

If possible, please have a look at the two questions that I got while reading the answer to this similiar question:
Proof that every point of every open set EāŠ‚ā„^2 is a limit point of E?āŠ‚ā„2-is-a-limit-point-of-e

  1. "$q_s=(x_1+s,x_2)$" should be $q_s=(x_1+s,y_1)$, right?
  2. I still don't understand why there should be $\epsilon$. Why can't r complete the proof?

I don't have the right to comment on the original post led by the above link, so I ask the two questions here.
Finally, I find this forum very active, responsive and helpful, but not quite friendly to newcomers.

Best Answer

Every k is A $\iff $ there is no k that is not A.

So every point of the empty set is a pink alligator that eats square circles... because the empty set does not have any points that are not pink alligators that eat square circles... because the empty has no points at all so none of them can avoid being a pink alligator that eat square circles.

To the statement is true for the empty set. Every point in $\emptyset$ has property $X$ because there are no points in $\emptyset$ that don't have property $X$.

Every point is a limit point. And every point is not a limit point. And every point is green. And every point is not green. This is because there are zero points all "all of zero" is .... zero. And zero of the points are limit points. So all points are limit points because zero is all the points there are and zero are limit points.

So that is not a counter example.

1) Yes, that was a typo.

2)Because $r$ defines one neighborhood. We must prove this is true for all neighborhoods.

Related Question