Logika, zadanie nr 1361
ostatnie wiadomo艣ci | regulamin | latex
| Autor | Zadanie / Rozwi膮zanie |
jehns post贸w: 10 |  2013-05-29 10:48:02Udowodni膰, 偶e je艣li A jest zbiorem niesko艅czonym, a B sko艅czonym lub przeliczalnym, to A$\cup$B$\sim$A |
tumor post贸w: 8070 | 2013-05-29 11:31:21 I tu podobne pytanie, na czym mog臋 si臋 oprze膰. Bo zn贸w u偶ywaj膮c tw. Hessenberga mamy, 偶e dla zbior贸w niesko艅czonych jest $A\sim A\times A$ Niech symbol $\le$ oznacza w $X \le Y$, 偶e $X$ jest r贸wnoliczny z podzbiorem $Y$. Wtedy skoro $B \le A$, to $A \le A\cup B \le A\times \{0,1\}\le A\times A \le A$ Co z tw. Cantora-Bernsteina daje r贸wnoliczno艣膰. Wiadomo艣膰 by艂a modyfikowana 2013-05-29 11:32:33 przez tumor |
| strony: 1 | |
Prawo do pisania przys艂uguje tylko zalogowanym u偶ytkownikom. Zaloguj si臋 lub zarejestruj