Strona 1 z 1

Zdanie Udwodnić jeśli zbiór X jest nieskończony...

: 11 cze 2024, o 19:23
autor: Wosiunew
Udowodnić, że jeśli zbiór \(\displaystyle{ X}\) jest nieskończony, a jego podzbiór \(\displaystyle{ Y}\) jest skończony, to istnieje bijektywne odwzorowanie \(\displaystyle{ X \setminus Y}\) na \(\displaystyle{ X}\).

Re: Zdanie Udwodnić jeśli zbiór X jest nieskończony...

: 11 cze 2024, o 19:53
autor: Janusz Tracz
Zobacz komentarz do podobnego zadania kilk:
Janusz Tracz pisze: 28 lis 2022, o 19:11 Patrz rysunek. Ogólny pomysł jest taki, że zbiory \(\displaystyle{ \NN}\) oraz \(\displaystyle{ \NN \setminus \left\{ \text{kilka elementów}\right\} }\) są bardzo podobne. Więc "zwykle" \(\displaystyle{ \text{id}}\) będzie dobra jako bijekcja. Ale mamy kilka niechcianych elementów w przeciwdziedzinie (czerwone \(\displaystyle{ x}\)-sy). Więc wybrałem zbiór nieskończony którego najmniejszy element jest większy od największego niechcianego \(\displaystyle{ x}\)-sa (zielony zbiór). Więc idę sobie identycznością, aż napotkam pierwszego niechcianego gościa w przeciwdziedzinie. Wtedy zapisać przypisać mu właśnie tę niechcianą wartość przypisuję pierwszą wartość z zielonego zbioru. I kontynuuję, aż znów nie spotkam niechcianej wartości. Po pewnym skończonym czasie przypiszę ostatniej niechcianej wartości coś z zielonego zbioru unikając tym samym kłopotu, iż wartość ta miała by się znaleźć w obrazie. Jednak po pewnym czasie w dziedzinie zacznę napotykać zielone wartości którym nie będę mógł przypisać tego samego by nie popsuć injektywności. To jednak nie problem bo zbiór zielony był nieskończony więc mogę przypisać wartość najmniejszą z zielonego zbioru która nie została jeszcze wykorzystana.
Mimo, że odpowiedź została uznana za zbytecznie skomplikowaną to pokazuje ona jak taką bijekcję konstruować w ogólności. Ponadto nie ma znaczenia, czy \(\displaystyle{ |X|=\aleph_0}\), czy też \(\displaystyle{ |X|}\) jest większym kardynałem.

Re: Zdanie Udwodnić jeśli zbiór X jest nieskończony...

: 11 cze 2024, o 20:16
autor: Wosiunew
Podpowiedź 2.2 jest taka.