Infinite Union!

Algebra Level 4

[ 1 2 , 1 ] [ 1 4 , 1 2 ] [ 1 8 , 1 4 ] = X \left[\dfrac 12,1\right]\cup \left[\dfrac 14,\dfrac 12 \right]\cup \left[\dfrac 18,\dfrac 14\right]\cup \cdots=X
Then which of the options describe the set X X ?

Clarification : All sets on the left are of the form [ 1 2 n + 1 , 1 2 n ] \left[\dfrac 1{2^{n+1}},\dfrac 1{2^n}\right] for some integer n n .


Inspiration

Half Open, Half Close Open Close

This section requires Javascript.
You are seeing this because something didn't load right. We suggest you, (a) try refreshing the page, (b) enabling javascript if it is disabled on your browser and, finally, (c) loading the non-javascript version of this page . We're sorry about the hassle.

3 solutions

展豪 張
May 9, 2016

X = ( 0 , 1 ] X=(0,1] , which is half open, half close.

Beautiful question +1 !!

Rishabh Tiwari - 5 years ago

Log in to reply

Thank you! =D

展豪 張 - 5 years ago

Nice Question. :-)

akash patalwanshi - 5 years, 1 month ago

Log in to reply

Thank you! =D

展豪 張 - 5 years, 1 month ago
Patience Patience
May 10, 2016

start : from 1/infinite thats open , limit 1/infinite >> 0 and end in 1 thats close

Here X = ( 0 , 1 ] \large X = (0, 1] which is neigther open and nor closed in R R . Hence this shows that, arbitrary i.e infinite, union of closed sets "need not" be closed.

Yes! This question is a 'dual' to your Infinite Intersection!

展豪 張 - 5 years, 1 month ago

Log in to reply

Yes. :-)

akash patalwanshi - 5 years, 1 month ago

Log in to reply

And we can construct an open set too!
[ 1 , 1 ] [ 3 2 , 3 2 ] [ 7 4 , 7 4 ] = ( 2 , 2 ) [-1,1]\cup [-\dfrac 32,\dfrac 32]\cup [-\dfrac 74,\dfrac 74]\cdots=(-2,2)
:-)

展豪 張 - 5 years, 1 month ago

Log in to reply

@展豪 張 Yes. but we must mention the space. Because a set may be closed or open with respect to metric space containing it and never on its own. For example, In R R the set ( 0 , 1 ) (0,1) is o p e n open set while in space X = ( 0 , 1 ) U ( 2 , 5 ) X = (0,1) {U} (2, 5) the set ( 0 , 1 ) (0,1) is "closed as well as open"!

akash patalwanshi - 5 years, 1 month ago

Log in to reply

@Akash Patalwanshi Oh thanks for reminding me this detail. If I don't remember it wrong, S S is always both close and open on the topology on S S .
To specify, I was talking on the whole real number set in my last comment. :)

展豪 張 - 5 years, 1 month ago

Log in to reply

@展豪 張 Which set S S ? Whole space? Yes the whole space Which is generally denotes by X X is both open as well as closed in topology on X X . But N o t Not every set is closed as well as open on topology on X X . If you prefer Discrete topology on any set X X then yes! i.e In discrete space every set is both open as well as closed. :-)

akash patalwanshi - 5 years, 1 month ago

Log in to reply

@Akash Patalwanshi Yes I am referring to the whole space. By definition it is open. And since the empty set is also open, the whole space is closed. I am wondering is there an intuitive way to understand open and closed on a discrete topology? It's just a bit weird for me.

展豪 張 - 5 years, 1 month ago

Log in to reply

@展豪 張 The discrete metric just says that d ( x , x ) = 0 d(x, x) = 0

and

d ( x , y ) = 1 , x y d(x,y) = 1, x≠y

So say open ball B B has radius r r . If r < 1 r<1 then the only point it contains is the point it's centred on. So any single point has a ball of some radius around it containing only that point. This is the same thing as , B ( x ) = { x } B(x) = \{x\} so we know that every singleton is open. And now we're actually done! Since now we know that any point x x in a set A A has a ball containing it, because we can always construct a ball that only contains x x . Since all sets are open, their complements are open as well. This implies that all sets are also closed. I hope this helps you!

akash patalwanshi - 5 years, 1 month ago

Log in to reply

@Akash Patalwanshi Thank you so much! Your explanation is very clear. By the way, is there a geometric way to understand this metric?

展豪 張 - 5 years, 1 month ago

Log in to reply

@展豪 張 I think no :-(

akash patalwanshi - 5 years, 1 month ago

Log in to reply

@Akash Patalwanshi So sad.
Seems like geometric meaning of most metric (except the Euclidean metric) can destroy my brain.
I remember that p p -adic metric has some interesting property: all triangles are isosceles, all points in a ball is a centre......
This discrete metric is more crazy: all triangles are equilateral (except those with repeated vertex), all points in a ball is a centre, ball is either a singleton or the whole space......

展豪 張 - 5 years, 1 month ago

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...