On page 239, the actual proof of the Schroder-Bernstein Theorem is tough to follow. It seems like the function g1 doesn't really mean anything, but rather it's just some random function set to equal the function g. This serves to give us a bijective function and an inverse, but how is it relevant? Where does the function come from?
The idea behind the theorem is really neat and it makes sense. It reminds me of calculus and that theorem dealing with limits. I forgot the name, but it could be called the squeeze theorem. We're almost forcing the value of the cardinality due to the limits on either side, which is super common when applied to real numbers and the like, but this is applied to sets and so it's doubly cool.
No comments:
Post a Comment