Кіріспе

Математикада, әрқашан аргумент ретінде берілген мәнді өзгеріссіз қайтаратын функция, сәйкестік функция деп аталады. Сәйкестік функциясы, сонымен қатар сәйкестік қатынасы, сәйкестік бейнелеуі немесе сәйкестік түрлендіруі деп те аталады. Яғни, егер f – сәйкестік функциясы болса, онда f қолданыла алатын x-тің барлық мәндері үшін f(x) = x теңдігі орындалады.

Алгебралық қасиеттер

Егер f: X → Y кез келген функция болса, онда 1=f ∘ idX = f = idY ∘ f, мұнда "∘" функция құрамын білдіреді. Атап айтқанда, idX – X-тен X-ке дейінгі барлық функциялардың моноидтың сәйкестік элементі болып табылады (функция құрамы бойынша). Моноидтың сәйкестік элементі бірегей болғандықтан, M жиынындағы сәйкестік функцияны осы сәйкестік элементі ретінде анықтауға болады. Мұндай анықтама категориялық теориядағы сәйкестік морфизм түсінігіне жалпыланады, онда M-нің эндоморфизмдері міндетті түрде функциялар болуы керек емес.

Қасиеттері

Тұлға функциясы векторлық кеңістікке қолданылғанда сызықтық оператор болып табылады. n өлшемді векторлық кеңістікте тұлға функциясы, кеңістікте таңдалған негізге қарамастан, In сәйкестік матрицасымен бейнеленеді. Оң бүтін сандардағы тұлға функциясы сандар теориясында толық көбейту функциясы болып қарастырылады (негізінен 1-ге көбейту). Метрикалық кеңістікте тұлға функциясы тривиальды түрде изометрия болып табылады. Симметриясы жоқ объектінің симметрия тобы – тек осы изометриядан тұратын тривиальды топ (С1 симметрия түрі). Топологиялық кеңістікте тұлға функциясы әрқашан үздіксіз болады. Тұлға функциясы идемпотентті.