[رزیتا]

تابع همانی

تابع همانی:
می دانیم یک رابطه همانی روی مجموعه A رابطه ای است که برای هر عضو از مجموعه A چون a تنها شامل زوج مرتب

باشد و هیچ زوج مرتبی با مولفه های متمایز نداشته باشد. این رابطه را به این صورت تعریف می کنیم:

این رابطه روی مجموعه A یک تابع است که به آن تابع همانی می گوییم. این تابع هر عضو از دامنه خود را به خودش متناظر می کند. اگر f تابعی همانی از مجموعه A در A باشد، آن را به این صورت تعریف می کنیم:

پس ضابطه تابع همانی

به این صورت است:

اثبات تابع بودن رابطه همانی:
اگر f رابطه همانی روی مجموعه A به صورت مقابل باشد:

برای اثبات تابع بودن این رابطه کافی است نشان دهیم:

واضح است که:

پس این رابطه تابع است.

• از آنجا که معمولا در حساب دیفرانسیل و انتگرال با اعداد حقیقی و توابع حقیقی کار می کنیم معمولا تعریف زیر را برای تابع همانی استفاده می کنیم:

تابع

را با ضابطه

تابع همانی می گوییم.
نمودار این تابع بسته به دامنه تابع می تواند نیمساز ربع اول و سوم یا قسمتی از آن باشد.
اگر دامنه این تابع مجموعه اعداد حقیقی باشد نمودار این تابع نیمساز ربع اول و سوم خواهد بود که در زیر نمودار آن را مشاهده می کنید:

• بررسی ویژگی های تابع همانی:

• تابع همانی تابعی است که معکوس آن با خودش برابر است.

برهان: کافی است نشان دهیم اگر

آنگاه

برای اثبات از روش یافتن وارون(معکوس) تابع استفاده می کنیم:

مشاهدی می شود معکوس این تابع با خودش برابر است.
این مطلب از نظر هندسی هم واضح است چرا که می دانیم برای یافتن نمودار معکوس تابع می توان نمودار آن تابع را نسبت به نیمساز ربع اول و سوم قرینه نمود، حال آنکه قرینه تابع همانی نسبت به نیمساز ربع اول و سوم همان نیمساز ربع اول و سوم(خود تابع) است که نشان می دهد معکوس این تابع با خودش برابر است.

• تابع همانی تابعی فرد است.

برهان: باید نشان دهیم

داریم:

همچنین نمودار این تابع نسبت به مبدا مختصات متقارن است که دلیل بر فرد بودن این تابع است.

• تابع همانی تابعی یک به یک و پوشا است پس می توان گفت این تابع یک تابع دو سویی(تناظر یک به یک) است.

برهان: ابتدا نشان می دهیم این تابع، تابع یک به یک است:
به این منظور باید نشان دهیم:

اگر

باشد طبق تعریف داریم:

و از این عبارت نتیجه می شود که:

. پس رابطه همانی یک تابع یک به یک است.
حال نشان می دهیم این تابع پوشا است یعنی برای هر عضو در برد تابع عضوی متناظر در دامنه وجود دارد که آن عضو در دامنه به آن عضو در برد نظیر می شود. با توجه به اینکه برد و دامنه این تابع مجموعه اعداد حقیقی است باید نشان دهیم:

و چون دامنه و برد این تابع برابر است می توان گفت x یافت شده (برای هر y) در دامنه وجود دارد. پس تابع

پوشا است.
حال چون تابع همانی هم یک به یک و هم پوشا است می توان گفت این تابع دو سویی است.

• یادآودی: تابع f را دوسویی با تناظر یک به یک می گوییم هرگاه یک به یک و پوشا باشد.