تابع همانی: تفاوت میان نسخه‌ها

 

:<math>I=\{(x,x):x\in X\}</math>

به سادگی می‌توان دید رابطه همانی روی مجموعه X یک تابع از X به روی خودش است که به آن تابع همانی می‌گوییم. به گزاره دیگر I:X→X با ضابطه برای هر I(x)=x،x∈X تابع همانی است. اگر مجموعه X را مجموعه [[اعداد حقیقی]] '''R''' در نظر بگیریم، تابع همانی از مجموعه R به روی مجموعه R تابع f(x)=x است که همان نیمساز ربع اول و سوم دستگاه مختصات دکارتی است. به سادگی می‌توان تحقیق کرد این تابع در مجموعه اعداد حقیقی دوسویی است.