Charakteryzacja (matematyka)

Z Wikipedii, wolnej encyklopedii
Skocz do: nawigacja, szukaj

W matematyce stwierdzenie, że „własność P charakteryzuje obiekt X” oznacza nie tylko, że X ma własność P, ale że X jest jedynym obiektem, który ma własność P. Często spotyka się także zdania takie jak „własność Q charakteryzuje obiekt Y co do izomorfizmu”. Stwierdzenie pierwszego rodzaju mówi innymi słowy, że rozszerzeniem P jest zbiór jednoelementowy; drugie zaś, że rozszerzeniem Q jest jedna klasa abstrakcji (w tym przypadku izomorfizmu – jednak o rodzaj relacji równoważności zależy od wyrażenia znajdującego się za słowami co do).

Przykłady[edytuj | edytuj kod]