Relacja równoważności, klasy abstrakcji i zbiór ilorazowy

Teoria liczb, teoria grafów, indukcja
Otrzymałeś(aś) rozwiązanie do zamieszczonego zadania? - podziękuj autorowi rozwiązania! Kliknij
__Ler
Witam na forum
Witam na forum
Posty: 5
Rejestracja: 18 gru 2022, 18:43
Podziękowania: 3 razy

Relacja równoważności, klasy abstrakcji i zbiór ilorazowy

Post autor: __Ler »

Cześć, proszę bardzo pomoc :shock:

Uzasadnij, że następująca relacja \(\approx\) jest relacją równoważności na zbiorze X i wyznacz ich klasy abstrakcji oraz zbiory ilorazowe \(X/\approx\)

\[X= \rr : x \approx y \iff ( \exists t \neq 0)(tx=y)\]
Ostatnio zmieniony 18 gru 2022, 21:17 przez Jerry, łącznie zmieniany 1 raz.
Powód: Poprawa wiadomości; uaunąłem pusty spoiler
grdv10
Fachowiec
Fachowiec
Posty: 1039
Rejestracja: 04 sty 2020, 12:47
Podziękowania: 9 razy
Otrzymane podziękowania: 388 razy
Płeć:

Re: Relacja równoważności, klasy abstrakcji i zbiór ilorazowy

Post autor: grdv10 »

\(x=1\cdot x\) - zwrotność. Jeśli \(y=tx\), to \(x=\frac{1}{t}y\) - symetria. Jeśli \(y=tx\) oraz \(z=sy\), to \(z=stx\) - przechodniość.

Klasa abstrakcji zera: \(y\approx 0\iff y=t\cdot 0\iff y=0\), więc klasą abstrakcji zera jest singleton \(\{0\}.\)

Niech \(x\ne 0\). Wtedy klasą abstrakcji tego elementu jest \(\rr\setminus\{0\}\). Istotnie, niech \(y\in\rr\setminus\{0\}\). Wtedy \(y=\frac{y}{x}\cdot x\), więc \(y\approx x\). Tak więc zbiorem ilorazowym jest \(\left\{\{0\},\rr\setminus\{0\}\right\}.\)

Oczywiście, jeśli \(y=0\), to \(y\) jest w relacji tylko z zerem, ale \(x\ne 0\).

Kryterium klasyfikacji liczb rzeczywistych jest tu zatem niezerowość. Dwie liczby uznajemy za równoważne, jeśli obie są niezerowe (albo obie zerowe).
ODPOWIEDZ