Relacje WhiskeyTaster: Czy ktoś mógłby wytłumaczyć mi pewną rzecz dotyczącą relacji równoważności i klas abstrakcji na konkretnym zadaniu? Na N definiujemy relację równoważności wzorem m ~ n ⇔ 2|(n − m). Znajdź [3]~ oraz wyznacz, ile elementów ma N/~. Wprost z definicji: [x]R = {y ∊ X: yRx}, X/R = {[x]R: x ∊ X}. Rozpatrując [3]~, to będą te elementy z N, że 2|(3 − y). Wobec tego [3]~ = {1, 3, 5, 7, ...}. A co do wskazania ile elementów ma ten zbiór, to nie mam pojęcia. Przecież każdy zbiór [x]~ ma co najmniej jeden element, jakim jest on sam. Np. 5 ~ 5, bo 2|(5 − 5).
17 gru 21:41
ite: Klasę abstrakcji [3]~ wyznaczyłeś dobrze. Ile elementów ma N/~ ? Zbiór ilorazowy ma dwa elementy, ponieważ relacja ma dwie klasy abstrakcji.
17 gru 21:59
WhiskeyTaster: I tego właśnie nie rozumiem. Klasa abstrakcji to pewien obiekt. który na podstawie jakichś informacji grupuje przedmioty. Ale definicja zbioru ilorazowego całkowicie tego nie oddaje, a na pewno ja tego nie widzę. Zapewne chodzi o to, że liczby można podzielić na te podzielne przez 2 i na te niepodzielne przez 2. Tylko według definicji, elementem tego zbioru ilorazowego jest {1, −1, −3, −5,...}, {2, −2, −4, −6, ...}, a to już dwa elementy. Czegoś tu po prostu nie rozumiem w samej definicji.
17 gru 22:08
ite: Ta relacja jest zdefiniowana na N, a nie na Z. Różnica liczby parzystej i nieparzystej nie spełnia podanego warunku, takie pary nie należą do relacji. Różnica dwóch liczb parzystych jest parzysta, więc wszystkie naturalne parzyste należą należą do relacji i do tej samej klasy abstrakcji. Różnica liczb nieparzystych jest parzysta, więc wszystkie naturalne nieparzyste też należą należą do relacji i do tej samej klasy abstrakcji. Mamy dwie klasy abstrakcji, możemy je oznaczyć [2] i [3] i tyle elementów ma zbiór ilorazowy.
17 gru 22:22
ite: Wszystkie pary liczb naturalnych nieparzystych należą do relacji i tworzą jedną klasę abstrakcji. Wszystkie pary liczb naturalnych parzystych należą do relacji i tworzą drugą klasę abstrakcji.
17 gru 22:27
WhiskeyTaster: Fakt, mój błąd z tym 22:08. Muszę przyznać, że teraz to widzę, po Twoim wypisaniu, iteracjo. Dziękuję za rozjaśnienie tego, jakoś tak topornie mi ta definicja wchodziła.
17 gru 22:44
ite: Tłumaczenie też toporne, ale dobrze jeśli dało się zrozumieć.
17 gru 22:47
Adamm: n ~ m ⇔ 2|(n−m) ⇔ f(n) = f(m) gdzie f:N→{0, 1} oznacza resztę z dzielenia przez 2 Def. Relacja ~ na X jest zdefiniowana przez funkcję f:X→Y, jeśli x ~ y ⇔ f(x) = f(y) Twierdzenie. ~ jest relacją równoważności ⇔ ~ jest zdefiniowana przez pewną funkcję Twierdzenie. Jeśli ~ jest zdefiniowana przez f:X→Y, oraz f jest 'na' (co sobie można zawsze założyć), to klasy abstrakcji relacji ~ to dokładnie f−1(y), y∊Y Tu, klasami abstrakcji są f−1(0) oraz f−1(1).
18 gru 09:58