Zbiory wTSK: Pokazać, że zbiory A i B są równoliczone, gdzie A = (0, 1) ∪ [2,3] B =[1,2] Proszę o pomoc ...

Gray: Może tak? Widać, że [2,3] ⊂ A ⊂ [0,3]. Wystarczy pokazać, że: a) [2,3] i [0,3] są równoliczne (bardzo proste: funkcja x→3x−6 przekształca bijektywnie [2,3] w [0,3]) b) [0,3] i B są równoliczne (równie proste). Z twierdzenia Cantora−Bernsteina wynika, że z punktu a) A jest równoliczne z [0,3]. Z kolei z punktu b) i z przechodniości relacji równoliczności wynika, że A jest równoliczne z B. Koniec.