szukanie zaawansowane
 [ Posty: 9 ] 
Autor Wiadomość
Mężczyzna Offline
PostNapisane: 11 sty 2017, o 12:49 
Użytkownik

Posty: 127
Lokalizacja: Polska
Niech R będzie relacją równoważności w zbiorze \ZZ. Znaleźć moc zbioru R.

Wiemy, że zbiór liczb całkowitych jest równoliczny ze zbiorem liczb naturalnych.
Zatem wszystkich relacji w zbiorze \ZZ jest \ZZ \times \ZZ, co jest równoliczne z \NN  \times \NN, czyli continuum.
Mamy więc ograniczenie górne dla zbioru R w postaci continuum.

Ma ktoś pomysł jak wyznaczyć ograniczenie dolne?
Góra
Instytut Matematyczny, Uniwersytet Wrocławski
Mężczyzna Online
PostNapisane: 11 sty 2017, o 13:34 
Użytkownik

Posty: 12119
Lokalizacja: Bydgoszcz
Cytuj:
Zatem wszystkich relacji w zbiorze\ZZ jest \ZZ \times \ZZ, co jest równoliczne z \NN  \times \NN, czyli continuum.


Przeczytaj to zdanie na głos i po polsku i powiedz, czy to, co słyszysz ma sens
Góra
Mężczyzna Offline
PostNapisane: 11 sty 2017, o 13:52 
Użytkownik

Posty: 127
Lokalizacja: Polska
no tak, źle to troche zapisałem :)
powinno być:
Zatem wszystkich relacji w zbiorze \ZZ jest tyle co podzbiorów \ZZ \times \ZZ, co jest równoliczne z liczbą podzbiorów \NN  \times \NN, czyli continuum.
Góra
Mężczyzna Offline
PostNapisane: 11 sty 2017, o 13:53 
Użytkownik

Posty: 935
Najmniejszą relacją równoważności jest relacja pusta, zaś największą całe \ZZ \times \ZZ.

Zadałeś pytanie o moc relacji równowazności\mathcal{R} \subseteq \ZZ^2, a nie o ilość wszystkich takich relacji. No to, m.in. na mocy tego co napisałem:

0= \left| \emptyset \right| \le \left| \mathcal{R}\right| \le \left| \ZZ^2 \right| = \aleph_0.

Chyba, że pytasz o ilość relacji równoważności \mathcal{R} \subseteq \ZZ^2?
Góra
Mężczyzna Offline
PostNapisane: 11 sty 2017, o 15:00 
Moderator

Posty: 672
Lokalizacja: Zabrze
Relacja pusta jest relacją równoważności??

Co do zadania, zauważ, że \left\{ (x,x) \colon x \in\ZZ \right\} \subset R
Góra
Mężczyzna Offline
PostNapisane: 11 sty 2017, o 21:12 
Użytkownik

Posty: 127
Lokalizacja: Polska
Czyli ze zwrotności relacji wynika, że moc R wynosi co najmniej \left| \ZZ\right|
Zatem \aleph_0 \le  \left| R\right| \le \left| \ZZ \times \ZZ\right| = \aleph_0

dobrze?
Góra
Mężczyzna Offline
PostNapisane: 11 sty 2017, o 22:13 
Moderator

Posty: 672
Lokalizacja: Zabrze
Tak jest :)
Góra
Mężczyzna Offline
PostNapisane: 11 sty 2017, o 22:57 
Użytkownik

Posty: 935
Kaf napisał(a):
Relacja pusta jest relacją równoważności??

Nie jest, bo nie spełnia zwrotności?
Góra
Mężczyzna Offline
PostNapisane: 11 sty 2017, o 23:13 
Użytkownik
Avatar użytkownika

Posty: 1113
Generalnie to może być ale tylko, gdy jest relacją na zbiorze pustym, ale w zdecydowanej większości nie jest :D
Góra
Utwórz nowy temat Odpowiedz w temacie  [ Posty: 9 ] 


 Zobacz podobne tematy
 Tytuł tematu   Autor   Odpowiedzi 
 Moc zbioru relacji równoważności  Tibo  13
 Liczba wszystkich relacji dwuczłonowych w produkcie - zadanie 2  gongarek  2
 Relacja równoważności 4, relacja spójna  nne  1
 Znaleźć na płaszczyźnie obraz następującej relacji  ulenka81  2
 Elementy wyroznione zbioru potegowego  Ciddy  6
 
Atom [Regulamin Forum] [Instrukcja LaTeX-a] [Poradnik] [F.A.Q.] [Reklama] [Kontakt]
Copyright (C) ParaRent.com