Funkcja tożsamościowa

Szablon:Integracja Funkcja tożsamościowa (funkcja identycznościowa, tożsamość, identyczność) – funkcja danego zbioru w siebie, która każdemu argumentowi przypisuje jego samego. Intuicyjnie: funkcja, która „nic nie zmienia”.

W niektórych dyscyplinach matematycznych zamiast słowa funkcja używa się słów odwzorowanie lub przekształcenie.

Gdy funkcja jest określona na specyficznej dziedzinie czy przeciwdziedzinie, to używa się też innych nazw. Np. funkcjonał – funkcja z przestrzeni wektorowej na ciało liczbowe, operator – funkcja z przestrzeni wektorowej na przestrzeń wektorową itp.

Definicja

Funkcją tożsamościową (identycznościową) zbioru $S$ nazywa się funkcję ${\mathrm{i}}_S:S\to S$ daną dla każdego $x\in S$ wzorem

${\mathrm{i}}_S(x)=x.$

Zwykle funkcję tę oznacza się symbolem zawierającym małą lub dużą literę i lub 1, spotyka się też symbol id. Do najpopularniejszych oznaczeń należą ${\mathrm{id}}_S,$ ${\mathrm{I}}_S,$ ${\mathrm{1}}_S,$ choć dwa ostatnie symbole często oznaczają funkcję charakterystyczną zbioru $S.$

Jeżeli nie prowadzi to do nieporozumień, to opuszcza się indeks dolny wskazujący zbiór, na którym określono funkcję tożsamościową, pisząc: $\mathrm{id},$ $\mathrm{I},$ $\mathrm{1}.$

W języku teorii mnogości, gdzie funkcja definiowana jest jako szczególny rodzaj relacji dwuargumentowej, funkcja tożsamościowa dana jest jako relacja tożsamościowa lub przekątna $M.$

Własności

Wykres funkcji tożsamościowej określonej na liczbach rzeczywistych.

Jeżeli $f:M\to N$ jest dowolną funkcją, to $f\circ {\mathrm{id}}_M=f={\mathrm{id}}_N\circ f,$ gdzie $\circ$ oznacza złożenie funkcji. W szczególności ${\mathrm{id}}_M$ jest elementem neutralnym (identycznością) monoidu wszystkich funkcji $M\to M.$

Ponieważ element neutralny w monoidzie wyznaczony jest jednoznacznie, to funkcję identycznościową na $M$ można zdefiniować również jako wspomniany element neutralny. Taka definicja uogólnia się do pojęcia morfizmu identycznościowego w teorii kategorii, gdzie endomorfizmy $M$ nie muszą być funkcjami.

Funkcja identycznościowa jest wzajemnie jednoznaczna. W szczególności odwzorowanie tożsamościowe dowolnej struktury algebraicznej jest jej automorfizmem.

Przykłady

Funkcja liniowa postaci $x\mapsto x$ jest tożsamością na zbiorze liczb rzeczywistych.

Zobacz też

• włożenie
• zanurzenie

Linki zewnętrzne

• Szablon:MathWorld [dostęp 2023-05-31].
• Szablon:Otwarty dostęp Identity map Szablon:Lang, Encyclopedia of Mathematics, encyclopediaofmath.org, [dostęp 2023-05-31].