#Countable Sets

31 messages · Page 1 of 1 (latest)

edgy crescent
#

Display a bijection between the set [-1,1]
and the set [-1,1] \ [0]

fast joltBOT
#
  1. Wait patiently for a helper to come along.
  2. Once someone helps you, say thank you and close the thread with:
+close
  1. Feel free to nominate the person for helper of the week in #helper-nominations
  2. Do not ping the mods, unless someone is breaking the rules.
  3. If you're happy with the help you got here, and the server overall, you can contribute financially as well:
edgy crescent
#

The set should be contable because is the intersection of 2 countable sets but idk how to prove it

patent trout
#

are these intervals in R?

#

in that case they are both uncountable

dapper charm
#

intersections don't conserve any form of uncountablity

#

they do conserve countablity

#

for example : $[0,1]\cap [1,2] = \qty{1}$

frank pineBOT
#

Coffey

dapper charm
#

it'll suffice to frame a bijection $(0,1] \to [0,1]$ as the other part can just be $[-1,0)\to [-1,0)$

frank pineBOT
#

Coffey

dapper charm
#

i have an idea

patent trout
#

yeah that (0,1] -> [0,1] thing is technical

#

involves picking sequences in a clever way

#

it's a standard exercise when dealing with cardinality stuff, I have it written somewhere

dapper charm
#

okay so I think we can do it in this way :

pick out a sequences from (0,1] :
1/1, 1/2, 1/3,...... 1/n,....
and map it to
0, 1/1, 1/2, 1/3,.... 1/n, ....
and everything else to itself

#

shifted the sequence that it

patent trout
#

yup, that'll do it

dapper charm
#

this sort of "removing finite elements" works for any pairs of infinite sets

patent trout
#

but it definitely has to involve some infinite process

dapper charm
#

because for them to be even considered infinite they must have a subset such that $A \subset B$ and $\abs{A} =\abs{B}$

frank pineBOT
#

Coffey

dapper charm
primal fiber
#

The variant I've heard of is a bijection between [0, 1] and (0, 1), I think.

edgy crescent
edgy crescent
dapper charm