Udowodnić, że \(\equiv\) jest relacją równoważności na zbiorze X, a następnie znaleźć moce klas abstrakcji elementów zbioru X względem tej relacji oraz moc zbioru wszystkich jej klas abstrakcji.
\(X= \nn ^ \nn\)
\(f \equiv g \iff \forall {n}>101 f(n)=g(n)\)
Nie bardzo czuję jak rozwiązywać tego typu zadania, właściwie nawet nie zaczęliśmy ich omawiać na ćwiczeniach. W pierwszym kroku trzeba po kolei wykazać te 3 cechy relacji równoważności, zwrotność, symetryczność i przechodniość? Albo nie do końca to rozumiem albo jest to dość trywialne.
Relacje równoważności
Otrzymałeś(aś) rozwiązanie do zamieszczonego zadania? - podziękuj autorowi rozwiązania! Kliknij