Logika, zadanie nr 922
ostatnie wiadomo艣ci | regulamin | latex
| Autor | Zadanie / Rozwi膮zanie |
attente post贸w: 19 |  2013-01-21 17:49:25Wykaza膰, 偶e dla dowolnych zbior贸w X,Y,Z spe艂nione s膮 warunki : a) X$\sim$X b) X$\sim$Y $\Rightarrow$ Y$\sim$X c) (X$\sim$Y $\wedge$ Y $\sim$ Z) $\Rightarrow$ X $\sim$ Z |
tumor post贸w: 8070 | 2013-01-21 17:58:47 No, wykaza膰, 偶e pewna relacja jest zwrotna, symetryczna i przechodnia. Wszystko super, tylko wypada艂oby napisa膰, jaka to relacja. Bo p贸ki co to jaki艣 w臋偶yk bez znaczenia. :) |
attente post贸w: 19 | 2013-01-21 19:24:22 Je艣li zbiory X i Y sa r贸wnoliczne to zapisujemy X $\sim$ Y |
tumor post贸w: 8070 | 2013-01-21 20:08:16 ok. Teraz wiemy o jak膮 chodzi relacj臋. R贸wnoliczno艣膰 zbior贸w A i B to tyle, co istnienie bijekcji $f:A\to B$ a) $X \sim X$, bo szukan膮 bijekcj膮 jest identyczno艣膰 b) je艣li $X \sim Y$, to istnieje bijekcja $f:X\to Y$. Funkcja odwrotna do bijekcji $g(y)=f^{-1}(y)$ jest tak偶e bijekcj膮 i $g:Y\to X$, czyli $Y\sim X$ c) je艣li $X\sim Y $ i $Y\sim Z$, to istniej膮 bijekcje $f:X\to Y$ i $g:Y\to Z$ Z艂o偶enie bijekcji jest bijekcj膮, $g\circ f:X\to Z$, zatem $X\sim Z$ |
| strony: 1 | |
Prawo do pisania przys艂uguje tylko zalogowanym u偶ytkownikom. Zaloguj si臋 lub zarejestruj