مقدمه
یادآوری میکنیم که اگر تابع در دامنه اش اکیدا یکنوا باشد آنگاه یک به یک و معکوس پذیر میباشد.
اما عکس این مطلب همواره صحیح نمیباشد یعنی ممکن است تابع در یک فاصله یا در دامنه اش یک به یک باشد یعنی معکوس پذیر باشد اما اکیدا یکنوا نباشد.
تمرین
تابع زیر، چنین تابع ناپیوسته ای است:
اما در قضیه ای که مطرح میشود، خواهیم دید که با اضافه کردن شرط پیوستگی به تابع یک به یک در یک بازه، آن تابع اکیدا یکنوا خواهد شد.
قضیه
فرض کنیم تابعی پیوسته و یک به یک باشد در این صورت روی اکیدا یکنواست.
اثبات
فرض کنیم و پس ثابت میکنیم اکیدا صعودی است.(اثبات حالت اکیدا نزولی شبیه آن است.)
حالت اول:
بنابر قضیه مقدار میانی ای هست بهطوریکه که متناقض با یک به یک بودن است.
حالت دوم:
بنابر قضیه مقدار میانی ای هست بهطوریکه که متناقض با یک به یک بودن است.
بنابراین و چون یک به یک است لذا .
اکنون فرض میکنیم:
با به کار بردن بحث فوق برای و و داریم:
با به کار بردن بحث فوق برای و و داریم:
بنابراین روی اکیدا صعودی است.
قضیه پیوستگی تابع معکوس
فرض کنیم تابع از مجموعه بهروی یک به یک و پیوسته باشد.
سؤالی که طبیعی به نظر میرسد آن است که آیا تابع از مجموعه بهروی همواره پیوسته است؟ جواب مسلما منفی است.
تمرین
تابع با ضابطه را در نظر میگیریم.
یک به یکی و پیوستگی تابع را در دامنه اش بررسی میکنیم:
این تابع یک به یک و در دامنه اش پیوسته است.
آیا معکوس تابع با ضابطه زیر در دامنه اش پیوسته است؟
در دامنه اش ناپیوسته است.
نکته
شرایطی وجود دارد که تحت آن شرایط معکوس یک تابع پیوسته و یک به یک میتواند تابعی پیوسته باشد.
دو حالت مهم زیر وجود دارد:
دامنه مجموعه ای بسته و کراندار است.
دامنه یک بازه باز باشد، این بازه میتواند باز یا بسته و یا حتی بیکران باشد.
قضیه
فرض کنیم تابعی پیوسته و اکیدا صعودی روی باشد.
تابع معکوس روی پیوسته و اکیدا صعودی است.
تابع معکوس روی پیوسته و اکیدا نزولی است.
اثبات
ثابت میکنیم تابع معکوس روی پیوسته و اکیدا صعودی است.
مرحله اول: ثابت میکنیم اکیدا صعودی است.
فرض کنیم و دو نقطه از باشند، بهطوریکه :
تعریف میکنیم . واضح است که زیرا در غیر این صورت و همچنین واضح است که نمیتوان زیرا در این صورت از اکیدا صعودی بودن نتیجه میشود که خلاف فرض است پس در نتیجه اکیدا صعودی است.
یعنی تابعی پوششی روی است و چون اکیدا صعودی است یک تناظر یک به یک است.
مرحله دوم:
ثابت میکنیم پیوسته است، اثبات این قسمت را در مبحث دنباله مشاهده کنید.
تذکر
اگر تابع در نقطه از دامنه اش پیوسته نباشد، گوئیم یک نقطه ناپیوسته است.
اگر تابع در نقطه ای تعریف نشده باشد آن نقطه را نقطه ناپیوستگی به حساب نمیآوریم، زیرا برای بررسی پیوستگی توابع فقط خودمان را به دامنه تابع محدود میکنیم ، یعنی نقاطی که تابع در آن تعریف شده باشد.
به طور کلی بررسی پیوستگی در نقاطی که تابع تعریف نشده است بی معنی است، پس اگر تابعی در یک نقطه تعریف نشده باشد، بحث از پیوستگی یا ناپیوستگی در این نقطه بیهوده است.
تمرین
تابع با ضابطه را در نظر میگیریم.
پیوستگی تابع فوق را در دامنه اش بررسی کنید:
دامنه تابع است و تابع در دامنه اش پیوسته است.
نباید نقطه را یک نقطه ناپیوستگی برای به حساب آوریم، زیرا تابع در تعریف نشده است، یعنی تابع در نامعین است نه ناپیوسته.
زمانی میتوانیم از پیوسته بودن و یا ناپیوسته بودن تابع فوق در بحث کنیم که مثلا تابع به صورت زیر تعریف شده باشد:
تمرین
پيوستگی معكوس توابع زیر را بررسی كنيد.
تابع در فاصله فوق اكيدا صعودی و پيوسته است.
یادآوری میکنیم که در توابع اكيدا صعودی داریم:
هم در فاصله اكيدا صعودی و پيوسته است.
تابع در فاصله فوق اكيدا نزولی و پيوسته است.
یادآوری میکنیم که در توابع اكيدا نزولی داریم:
هم در فاصله اكيدا نزولی و پيوسته است.
تمرین
تابع با ضابطه زیر مفروض است. تابع در چند نقطه از دامنهاش ناپيوسته است؟
در ناپيوسته است.
تمرین
تابع با ضابطه زیر مفروض است. تابع با ضابطه در چند نقطه ناپيوسته است.
یادآوری میکنیم که:
تركيب با معكوس خودش همواره یک تابع همانی است:
بنابراين تابع فوق همواره پيوسته است و نقطه ناپيوسته ندارد.
تمرین
معکوس تابع با ضابطه زیر و با شرط در چند نقطه از دامنهاش ناپيوسته است؟
در دامنهاش پيوسته است.