#Proving two sets have the same cardinality

17 messages · Page 1 of 1 (latest)

quick bridge
#

| (0,1) | = | [0,1] |
Proving these are equal using Schroder-Bernstein Theorem

safe charmBOT
#
  1. Do not ping the Moderators, unless someone is breaking the rules.
  2. Do not ping the Helper Moderators, unless there is a conflict between helpers.
  3. Do not ping other members randomly for help.
  4. Ask your question and show the work you've done so far. If you've posted a screenshot of a question, specify which part you need help with.
  5. Wait patiently for a helper to come along.
  6. If the Helper has answered your question, remember to thank them with the Mathematics Ranks bot and close the thread with:

+close
Feel free to nominate the person for helper of the week in #helper-nominations
If you're happy with the help you got here, and the server overall, you can contribute financially as well:

quick bridge
#

f: (0,1) -> [0,1] be given by f(x)=x
g: [0,1] -> (0,1) be given by g(x) = 2^(x-2)
f((0,1)) = (0,1) ⊆ [0,1]
g([0,1]) = [1/4,1/2] ⊆ (0,1)
so are both these functions fine

untold skiff
#

Schroder-Bernstein says that if you have an injective function A->B and B->A then they have the same cardinality. So, you're on the right track.

#

Your f looks right

#

As does your g, though maybe you should spend a couple sentences explaining why g([0,1]) is what it is (exponentials are increasing thus injective, then compute g(0) and g(1))

#

Basically - you're very much on the right track! Just give a bit more of an explanation as to what's going on!

keen torrent
sharp warrenBOT
#

Invariance

keen torrent
#

that is, we map every x in (0, 1) to itself, except the powers of 1/2, a sequence which we we "shift over" by 2

   x: 1/2  1/4  1/8  1/16 1/32 1/64 ...
f(x): 1/8  1/16 1/32 1/64 ...
#

which frees up two spots (1/2 and 1/4) to map 0 and 1 into

keen torrent
quick bridge
quick bridge
#

+close

primal girderBOT
# quick bridge +close
Please thank your Helpers before closing!

Please thank the helpers who assisted you by clicking the buttons below. You can thank each helper only once. Once you're done, click "Close Post" to close this thread.

primal girderBOT
# primal girder

Thank you for your feedback! Invariance has been awarded 1 helper_points. They now have 14 helper_points. They have 3 helper_points daily left for today.