rodzaj funkcji odwracalnej Z Wikipedii, wolnej encyklopedii
Inwolucja – funkcja, która ma funkcję odwrotną równą jej samej. Równoważnie jest to taka funkcja, która złożona sama ze sobą jest tożsamością[1].
Z powyższych definicji wynika, że inwolucja musi być funkcją zbioru w ten sam zbiór: Definicja przez warunek uogólnia się w teorii kategorii na morfizmy[potrzebny przypis].
Każda inwolucja, jako funkcja odwracalna, jest bijekcją (w przypadku morfizmów – izomorfizmem). Ponadto dla dowolnego jest
Jeśli oznacza zbiór wszystkich funkcji zaś jest inwolucją, to funkcja dana wzorem
jest inwolucją. Podobnie jeżeli funkcja zdefiniowana jest wzorem
to jest ona inwolucją (własności te zachodzą dla morfizmów w dowolnej kategorii).
Seamless Wikipedia browsing. On steroids.