logowanie

matematyka » forum » forum zadaniowe - uczelnie wy縮ze » zadanie

Matematyka dyskretna, zadanie nr 4538

ostatnie wiadomo艣ci  |  regulamin  |  latex

AutorZadanie / Rozwi膮zanie

geometria
post贸w: 865
2016-05-12 21:21:49

Mam relacje S$\subset R^{2}$.
S=([$-$1,0)$\times$[$-$1,0))$\cup$((0,1]$\times$(0,1])$\cup${(x,y)$\in R^{2}: x=y$}. Wyznacz klasy abstrakcji.

Ale co ma tutaj byc ze soba w relacji? Jakie elementy z jakimi?


tumor
post贸w: 8070
2016-05-12 21:32:08

Przecie偶 jest napisane? Relacja S to PODZBI脫R zbioru $R^2$.
Je艣li para (x,y) nale偶y do S, to inaczej to samo piszemy xSy (czyli x jest w relacji z y).

Jest wyra藕nie napisane, z jakich par sk艂ada si臋 S.

Zanim zapiszesz 艣ci艣le klasy abstrakcji, we藕 kilka liczb, powiedzmy -1,0,1,2 i powiedz, jakie elementy s膮 z nimi w tej relacji. Mo偶e b臋dzie 艂atwiej.




geometria
post贸w: 865
2016-05-13 15:54:42

Jakie liczby rzeczywiste sa w relacji z zerem?
Takie, ze 0Sy, czyli para (0,y) nalezy do S lub xS0, czyli para (x,0) nalezy do S (ze wzgledu na symetrycznosc relacji rownowaznosci)
Para (0,y) bedzie nalezala do relacji S, gdy y=0, rowniez para (x,0) bedzie nalezala do relacji S, gdy x=0.
Zatem $[0]_{\sim}$={a$\in R$: aS0}={0}.

Na wykresie tej relacji na osi OX jest tylko x=0.


tumor
post贸w: 8070
2016-05-13 16:51:18

okejka.
Relacja jest symetryczna, wi臋c nie trzeba oddzielnie w obie strony.
Klasa abstrakcji $[0]$ jest w porz膮dku. A te pozosta艂e?
$[1],[-1],[2]$ i co tam jeszcze zostanie na koniec?


geometria
post贸w: 865
2016-05-13 19:16:39

[1]=(0,1]
[$-1$]=[$-1,0$)
[2]={2}
[x]={x} dla x$\in$($-\infty$;$-1)\cup${$0$}$\cup(1;+\infty)$
Mamy 3 klasy abstrakcji, czyli 3 podzialy zbioru $R$.
Zbior ilorazowy to {[$-1,0$), (0,1], {x} dla x$\in$($-\infty$;$-1)\cup${$0$}$\cup(1;+\infty)$}


tumor
post贸w: 8070
2016-05-13 19:46:34

Pierwsze cztery linijki s膮 dobrze. Natomiast klasy abstrakcji nie s膮 trzy, tylko jest ich niesko艅czenie wiele. Dwie s膮 ca艂ymi przedzia艂ami, a wszystkie pozosta艂e s膮 jednopunktowe.



geometria
post贸w: 865
2016-06-16 23:17:38

Moc klas abstrakcji to continuum dla tych przedzialow a dla tych zbiorow jednoelementowych moc to 1.

Klas abstrakcji jest nieprzeliczalnie wiele.

Moc zbioru ilorazowego to continuum, bo tych zbiorow bedzie tyle ile liczb rzeczywistych.


tumor
post贸w: 8070
2016-06-16 23:21:33

ok

strony: 1

Prawo do pisania przys艂uguje tylko zalogowanym u偶ytkownikom. Zaloguj si臋 lub zarejestruj

© 2019 Mariusz iwi駍ki      o serwisie | kontakt   drukuj