Ask your own question, for FREE!
Mathematics 12 Online
OpenStudy (anonymous):

could someone help me understand Topology of the Reals?!

OpenStudy (anonymous):

attached is the solutions for some question relating to it. the first 5 pages deal with it

OpenStudy (anonymous):

i keep getting int and bd wrong

OpenStudy (anonymous):

I wish I could help, dunno enough about topology yet

OpenStudy (anonymous):

ok thank you though :)

OpenStudy (anonymous):

I can help reason it out if you tell me definitions

OpenStudy (anonymous):

Seems like interior is just stripping away the boundery.

OpenStudy (anonymous):

Defn of int and bd: Let S be a subset of R. a point x in R is an interior point of S if there exists a neighborhood N of x such that N is a subset of S. if for every neighborhood N of x, N (junction) S does not = empty set. and N junction of (R\S) does not equal empty set.

OpenStudy (anonymous):

then x is called a boundary point of S.

OpenStudy (anonymous):

You understand what neighborhood is?

OpenStudy (anonymous):

well for first problem a) why is the interior empty set while for b) it is the whole set with open parentheses

OpenStudy (anonymous):

and yes i understand what neighborhood is

OpenStudy (anonymous):

what made 1/n interior pt be special to be empty while the union of two sets interior pt is the complete whole thing

OpenStudy (anonymous):

i would have guessed the ans for b) to be 3 or something

OpenStudy (anonymous):

Well, the problem is that you have: \[ 1/1,1/2,1/3,1/4 \]Which is just rational a subset of rational numbers. The rational numbers are no continuous, so neither would be this subset. You can find an irrational number between any two elements, for example. Thus they are all boundary points.

OpenStudy (anonymous):

Despite not understanding neighborhood rigorously, that is my reasoning for b)

OpenStudy (anonymous):

I mean for a)

OpenStudy (anonymous):

And it applies to c) and d) apparently

OpenStudy (anonymous):

@manjuthottam make sense?

OpenStudy (anonymous):

so the answer is focusing on rational numbers?

OpenStudy (anonymous):

Okay, @manjuthottam do you know what continuity is?

OpenStudy (anonymous):

is it just that the limit exists?

OpenStudy (anonymous):

yeah the limit exists at the function

OpenStudy (anonymous):

But actually, let's talk about neighborhoods a bit ok?

OpenStudy (anonymous):

ok so neighborhood is x in R. while there is an epsilon greater than zero where |x-y|< epsilon?

OpenStudy (anonymous):

Yeah, notice how that looks kinda like a limit.... Anyway...

OpenStudy (anonymous):

Consider 1/2, 1/3, and 1/4 Do they have a neighborhood?

OpenStudy (anonymous):

i'm guessing no?

OpenStudy (anonymous):

at least its not that specific of a number

OpenStudy (anonymous):

If you think about it, they're equal to 12/24, 8/24, and 6/24 Since you don't have 10/24 or 4/24 in there, you can't really say they make up a neighborhood.

OpenStudy (anonymous):

So can you understand how these three points would be boundary points?

OpenStudy (anonymous):

so since there are values in between like 10/24 = (5/12) that are not part of the set,, there is no neighborhoood? ... because it is not a continuous set?

OpenStudy (anonymous):

Well, consider if we were to make a function: \[ f:\mathbb{R}\mapsto\{0,1\} \]We let it be \(0\) if \(x\in S\) and \(1\) if \(x\notin S\) In this case, a neighborhood is just an interval for which \(f\) is continuous.

OpenStudy (anonymous):

In this way, neighborhoods are analogous to continuity.

OpenStudy (anonymous):

hmm ok

OpenStudy (anonymous):

Does my analogy sound consistent to you understanding of what a neighborhood is?

OpenStudy (anonymous):

yes it does

OpenStudy (anonymous):

Okay so suppose we did have two points that were directly next to each other... they'd have to be \[ \frac{1}{n}, \frac{1}{n+1} \]

OpenStudy (anonymous):

yes i see

OpenStudy (anonymous):

Notice how they are equal to: \[ \frac{2}{2n}, \frac{2}{2n+2} \]And the thing is: \[ \frac{2}{2n+1} \]is between these two points.

OpenStudy (anonymous):

And since the numerator is even and denominator is odd, we can't reduce this fraction anymore, so it can't be expressed as \[ \frac{1}{k},k\in\mathbb{N} \]

OpenStudy (anonymous):

thus it is not in our set

OpenStudy (anonymous):

So no matter how big you make \(n, n+1\), we can still find a number between them... you'll never have any continuity for our function \(f\) so you'll never find a neighborhood.

OpenStudy (anonymous):

hmm ok that makes sense!

OpenStudy (anonymous):

This is sort of a proof by contradiction as to why there can't be any neighborhoods.

OpenStudy (anonymous):

ok, so then based on the defn of int and bd, we have to first see about continuity and neighborhood

OpenStudy (anonymous):

if it is continuous then we can see that int and bd are not an empty set

OpenStudy (anonymous):

The continuity thing was more to help me understand neighborhoods than it was to help you. =)

OpenStudy (anonymous):

=D kk but it helped me learn too! lol!

OpenStudy (anonymous):

I think what you need to understand is that rational numbers do NOT make any neighborhoods.

OpenStudy (anonymous):

you'll always be able to find some irrational number between two rational numbers.

OpenStudy (anonymous):

ok

OpenStudy (anonymous):

Thus when they give you a set involving rational numbers or natural numbers, etc. Remember that it must all be boundaries, no neighborhoods and no interior sets.

OpenStudy (anonymous):

If you get something in interval notation, just remember that changing [ ] to ( ) should give you interior set.

OpenStudy (anonymous):

ok so even union of sets

OpenStudy (anonymous):

There is a trick question in there where they use \(\cap\) which is the set intersection... in those cases it has to be points in BOTH sets.

OpenStudy (anonymous):

Yeah, it should work for unions of sets well too Just not for intersections of sets.

OpenStudy (anonymous):

so like e)

OpenStudy (anonymous):

automatically the int is empty set

OpenStudy (anonymous):

For example: \[ [1,4]\cap [2,6] \]This gives us: \[ [2,4] \]this you can change them... \[ int([2,4]) = (2,4)\quad bd([2,4]) = \{2,4\} \]

OpenStudy (anonymous):

So for intersections... just compute the intersection. It shouldn't be too bad.

OpenStudy (anonymous):

oh ok, so in sets that have a intersection we apply that method you mentioned but if the intersection is just one point like in e) then int is empty set because there is no neighborhood

OpenStudy (anonymous):

yeah

OpenStudy (anonymous):

You'd have to give me some \(\epsilon>0\) but clearly \(2+\epsilon\) is NOT in the set \(\{2\}\)

OpenStudy (anonymous):

kk thank you so much for helping me !!!!

Can't find your answer? Make a FREE account and ask your own questions, OR help others and earn volunteer hours!

Join our real-time social learning platform and learn together with your friends!
Can't find your answer? Make a FREE account and ask your own questions, OR help others and earn volunteer hours!

Join our real-time social learning platform and learn together with your friends!