32 - The Schröder–Bernstein Theorem

!Screenshot 2023-11-29 at 12.42.15 PM.png

!Screenshot 2023-11-29 at 12.42.27 PM.png



HW 32

Ben Finch

E 32.1
Proof.
Let X,Y,Z be sets. Assume that XYZ and |X|=|Z|. We know that every element of X is in Y and every element of Y is in Z. Assume by way of contradiction that |X||Y|. Since XY, |Y|>|X|. However YZ, so every element in Y is in Z. Since |X|=|Z| it follows that |Y|>|Z|. However, since YZ, |Y||Z|. Herein lies the contradiction. Therefore, |X|=|Y|.

E 32.2

Proof.
Let A:=[5,16) and B:=(0,)
We proved in a homework problem that h:(0,)(0,1) given by h(x)=xx+1 is a bijection. Note that h2:(0,1)[5,16) given by the rule h2(x)=x is an injection. Thus g:h1h2 is an injection from BA.

Deinfe f:AB by f(x)=x+6. Note that this is a function because the rule takes elements of [5,16)(0,). Further f is injective because if a1,a2A and f(a1)=f(a2) then a1+6=a2+6 which implies a1=a2. Thus by the Schröder-Bernstein Theorem, |A|=|B|.

E 32.3

We define the function f:AB as follows:

f(x)={f1(x)=x+17if x[2,1]Qf2(x)=4+xx+1if xQf3(x)=3if x=2 4+b1b1+1=4+b2b2+1b1b1+1=b2b2+1b2b1+b1=b2b1+b2b1=b2

So f2 is injective. The image of f2 will be (4,5], which is in B and separate from the image of f1 and f3.

Thus by the pasting together theorem, f is injective.

Now we define the function g:BA as follows:

g(x)={g1(x)=16x2.5if x[3,6)g2(x)=14x5.25if x(15,17) 16a12.5=16a22.516a1=16a2a1=a2

So g1 is injective. The image of g1 will be [2,1.5) which is in A but separate from the image of g2.

14b15.25=14b25.2514b1=14b2b1=b2

So g2 is injective. The image of g2 will be (1.5,2) which is in A but separate from the image of g1.

Thus by the pasting together theorem, g is injective.

Since f and g are injective, by the Schröder-Bernstein theorem, |A|=|B|.

E 32.4
Let A and B be sets. Prove that if there is an injection f:AB and a surjection g:AB then |A|=|B|.

Proof.
Let A and B be sets. Assume that there is an injection f:AB and a surjection g:AB.

By a proof in exercise 31.7, since there is a surjection g:AB, there exists an injection h:BA. Since there is an injection AB and an injection BA, by the Schröder-Bernstein Theorem |A|=|B|.

E 32.5
Define j:B2A2 by the rule j(y)=g(y). To show that j is a bijection, we need to establish three facts:

  1. We first show that j really is a function taking elements of B2 to A2. For any y in B2, the genealogy of y is of type 2. The parent of y is g(y), which must be in A since g is a function from B to A. Moreover, the genealogy of g(y) is also of type 2, thus g(y) is in A2. Hence, j(y)=g(y) is in A2.

  2. Next, we show that j is injective. Let y1,y2B2 and assume j(y1)=j(y2). This gives us g(y1)=g(y2). Since g is injective (by its given properties), it must be the case that y1=y2. Therefore, j is injective because it maps distinct elements in B2 to distinct elements in A2.

  3. Now, we show that j is surjective. For some xA2, its genealogy is of type 2, meaning it has a child in B2, say y, such that g(y)=x because g is a function whose domain is all of B and so all elements of A2 are images under g. Since g(y)=x and g(y)=j(y) by the definition of j, we have j(y)=x. This shows that every element of A2 is an image of some element in B2, hence j is surjective.

Since j is both injective and surjective, we have shown that j is indeed a bijection.

E 32.6
Proof.

Let x,y(0,1), with decimal expansions x=0.x1x2x3 and y=0.y1y2y3, where neither decimal expansion ends in repeating 9's.

Assume that f(x)=f(y). Then the sets {x1,10x2,100x3,}{0} and {y1,10y2,100y3,}{0} are equal.

Since the sets are equal, the corresponding elements must be equal. In other words, xn=yn for all n. If this were not the case, there would be some least n for which xnyn. Without loss of generality, suppose xn<yn. Then the set derived from x would have a smaller n-th element than the set derived from y, which contradicts our assumption that f(x)=f(y).

Thus, because all corresponding digits in the decimal expansions of x and y are equal and since neither x nor y has a decimal expansion ending in repeating 9's, it must be the case that x=y.

Therefore f is injective.