Show no point is a limit point of M

I hope this is the right forum, I wasn't sure exactly where to post this. The course is Analysis I. I wrote a proof for this problem, but I am new at these and I'm unsure whether my logic holds. All we are allowed to use for this assignment is the definition of limit point. Here is what I have.

Problem: Show that if is the set of all positive integers, then no point is a limit point of .

Solution: Assume that a limit point of . Then all open intervals containing must contain an element of different from . Consider the interval where and and . That means a point such that . But if , then no such exists because any point between and is not an integer. Thus, not every open interval containing contains a point of different from , therefore no limit point of exists.

My question is mainly in regards to the case where I suggest because does that also mean I'm implying that which isn't necessarily true? Or is this okay?

Re: Show no point is a limit point of M

you have two cases for the p, if p is a positive integer you can take the open interval (p-1/2,p+1/2 ) which dose not contains any other element of M except p

if p is not in M, p located between two positive integers say n, n+1 now let "t" be the minimum of |p - n| , |p - (n+1)| so the interval (p-t , p+t) contains p and intersect with M at p just

if p is less than 1 the interval (- infinity , 1 ) contains p and dose not intersect with M.

Quote:

Solution: Assume that $\exists$ a limit point p of M. Then all open intervals containing p must contain an element of M different from p. Consider the interval I = (s, q) where s \in M and q \in M and s < p < q. That means \exists a point $r \in M$ such that s < r < q. But if q = s+1, then no such r exists because any point between s and s+1 is not an integer. Thus, not every open interval containing p contains a point of M different from p, therefore no limit point of M exists.

why you consider just the open intervals with positive integers as a bound ?

Re: Show no point is a limit point of M

The first thing to ask is, what is the ambient space in which you're being asked about limit points - AND what is that space's topology? That's unstated in your problem. Perhaps M is itself the encompassing space? Perhaps with the topology inherited from the reals? Or, more likely, the set M is being considered as a subset of with it's usual topology? There are limitless possibilities. When you wrote "Consider the interval where and and ", you choose an unexpected open set, making me wonder about exactly what the ambient space, and its topology, is.

But I'll assume that the problem is "Show (with its usual topology) has no limit points." I suspect you just went astray in your choice of interval. There's no need to have the endpoints of the interval be in . What you're trying to show is that there's an open set OF (!!) that contains and yet has no intersection with - well except for if . But the open set needs only to be open in the surrounding space.

Here are two examples that I think might clarify the situation:

Ex1: is not a limit point of (with its usual topology).

Proof: Let be the interval . Then and open in .

But since , it follows that cannot be a limit point of (since otherwise the intersection would contain something other than ).

(Note that IF I had chosen , then , then, since , I couldn't use that interval to conclude that isn't a limit point of . We know isn't a limit point - in fact I just proved it - but IF I had poorly chosen the interval, that interval wouldn't have served to prove that it isn't.)

Ex2: is not a limit point of (with its usual topology).

Proof: Let be the interval . Then and open in .

But since , it follows that cannot be a limit point of (since otherwise the intersection would contain something other than ).

Now - try to prove this for any generic .

Re: Show no point is a limit point of M

Thank you for the help, the examples make sense. So I have thought this through a little more and I get what you are saying, now I am just trying to word it properly. Tell me how this sounds:

Solution: Assume that a limit point of . Then all open intervals containing must contain an element of different from . Consider an interval that contains . If , then any such bounded by does not contain any other points of different from because no other integers lie in this range. If , then any containing that is bounded by where will not contain any elements of because no integers lie in this range. Thus, not every open interval containing contains a point of different from , therefore no limit point of exists.

Re: Show no point is a limit point of M

Quote:

Originally Posted by

**Chaobunny** Thank you for the help, the examples make sense. So I have thought this through a little more and I get what you are saying, now I am just trying to word it properly. Tell me how this sounds:

Solution: Assume that

a limit point

of

. Then all open intervals containing

must contain an element of

different from

. Consider an interval

that contains

. If

, then any such

bounded by

does not contain any other points of

different from

because no other integers lie in this range. If

, then any

containing

that is bounded by

where

will not contain any elements of

because no integers lie in this range. Thus, not every open interval containing

contains a point of

different from

, therefore no limit point of

exists.

To show that is not a limit point of all that is necessary is to show one open set containing and no other point of .

Re: Show no point is a limit point of M

Quote:

Originally Posted by

**Plato** To show that

is not a limit point of

all that is necessary is to show one open set containing

and no other point of

.

It was not necessary for me to show an example for both cases of , where and ? I thought that was what the above users were trying to tell me. Is there a more general way to say this without splitting it into two cases?

Re: Show no point is a limit point of M

Quote:

Originally Posted by

**Chaobunny** It was not necessary for me to show an example for both cases of

, where

and

? I thought that was what the above users were trying to tell me. Is there a more general way to say this without splitting it into two cases?

That might be the easiest way. But my point was that all one has to do is find **one open set** containing and** no other point** of . Again, using two cases may be easiest for you.

Re: Show no point is a limit point of M

Re: Show no point is a limit point of M

Your 1st post (the one where you begain this thread) was a bit confusing to read. Your 2nd post was much easy to follow, and was correct.

However, I might criticize one part if it:

"If http://latex.codecogs.com/png.latex?p \notin M, then any http://latex.codecogs.com/png.latex?I containing http://latex.codecogs.com/png.latex?p that is bounded by http://latex.codecogs.com/png.latex?(a, a+1) where http://latex.codecogs.com/png.latex?a \in M will not contain any elements of http://latex.codecogs.com/png.latex?M because no integers lie in this range."

You should ideally produce the I, not merely describe the I in a way that seems to work. In your mind, you understand what you're saying, and that such an I exists is completely obvious to you. BUT, it might not be so to the reader of your proof. You should err on the side of being as explicit and transparent as possible (especially if writing proofs for a class), and leave as little as possible for the readers to "fill in the blanks in their our minds." There's a judgement call here - given the level of math that you're doing, what level of math is it reasonable to expect your reader to "just know" and "just see"? You don't need to include every monstrous detail of arithmetic when giving a topology/analysis proof. But try to err on the side of leaving as little mental work to your reader as possible. For instance, I'll do the problem below. I'd maybe stop at "U intersect M is obviously empty" when speaking to a "mathematically mature" reader, since such a person understands instantly about the meaning & consequences of averages and midpoints, and so should just see it. (Actually, to a "mathematically mature" reader, my "proof" might be: "around any p you can find a small enough neighborhood so that it doesn't intersect the integers - unless p was itself an integer, but in that case small enough to not intersect any other integers. Thus p isn't a limit point. QED") However, if writing this up for a class, I might produce the algebra to prove what's "obvious".

Here's how I might do it:

Choose any p in R.

If p in M, let U = (p-0.5, p+0.5) be an open set of R containing p. Then U intersect M = {p}. Thus p isn't a limit point of M.

If p not in M, then there's an integer n s.t. n<p<n+1. Let U = ((n+p)/2, ((n+1)+p)/2).

Note that the left endpoint of U is the midpoint between n & p, and the right endpoint of U is midpoint between (n+1) & p.

Note that p in U. (Proof: n<p implies that n+p<2p, implies that (n+p)/2 <p. Also p<n+1 implies 2p < n+1+p implies p < (n+1+p)/2.)

Then p cannot be a limit point of M, because U intersect M is obviously empty.

(But just to prove that: Assume U intersect M is not empty. Let m be in the intersection. Then m in M (i.e. m an integer), and m in U.

Since m in U, have that (n+p)/2 < m < ((n+1)+p)/2.

Also, n<p implies that 2n<n+p, which implies that n<(n+p)/2.

Likewise, p<n+1 implies n+1+p<2(n+1) implies (n+1+p)/2 < n+1.

Since (n+p)/2 < m < ((n+1)+p)/2, it follows that n < (n+p)/2 < m < ((n+1)+p)/2 <n+1, so n<m<n+1. But that's impossible for integers n and m.

Thus the assumption that U intersect M is not empty was false. Therefore U intersect M is empty.)