Zasada abstrakcji – twierdzenie matematyczne mówiące, że dowolnemu rozbiciu zbioru odpowiada pewna relacja równoważności, a każda relacja równoważności ustanawia pewne rozbicie zbioru[1].
Twierdzenie
Jeśli jest zbiorem niepustym i jest relacją równoważnościową na tym zbiorze, to rodzina podzbiorów określona następująco:
jest rozbiciem zbioru [2].
Twierdzenie to nazywane jest zasadą abstrakcji, a zbiory rodziny klasami abstrakcji relacji [2].
Dowód
Ponieważ więc każdy element zbioru należy do pewnego zbioru rodziny i żaden z tych zbiorów nie jest pusty. Jeśli to istnieje skąd Zatem czyli [3].
Twierdzenie odwrotne
Jeśli jest zbiorem niepustym i jest jego rozbiciem, to relacja określona w zbiorze wzorem:
jest równoważnościowa[4].
Dowód
Jeśli to ponieważ to dla pewnego a stąd wynika, że
Jeśli to Wynika to z oczywistej implikacji:
Niech Istnieją dla których Jednak w tym wypadku ponieważ skąd a więc [5].
Przypisy
Wikiwand in your browser!
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.