Identiteettifunktio
Wikipedia
Identiteettifunktio eli identtinen kuvaus on funktio, joka kuvaa jokaisen lähtöjoukkonsa alkion itsekseen, eli funktio f(x) = x eli . Sille käytetään muun muassa merkintöjä Id tai I.
Muodollinen määritelmä: Olkoon A joukko ja B sen osajoukko. Funktio on identiteettifunktio, jos kaikilla joukkoon B kuuluvilla alkioilla x on voimassa Id(x) = x.
Identiteettifunktio on neutraalialkio yhdistetyn funktion operaattorille. Siis , kun f on mikä tahansa funktio, ja Id on identiteettifunktio, olettaen, että niiden lähtö- ja maalijoukot ovat yhteensopivat.