موضوع مقاله: تابع پیوسته | مخاطب: عمومی | لحن: دانشنامه‌ای | ساختار: عنوان، مقدمه، 3 بخش، جمع‌بندی | مقاله: | # تابع پیوسته | مقدمه: در ریاضیات، تابع پیوسته تابعی است که در مقادیر خروجی خود تغییرات ناگهانی (به آن ناپیوستگی هم می‌گویند) نداشته باشد. | ## بخش 1: تابع پیوسته | به طور دقیق‌تر، یک تابع پیوسته است اگر تغییرات به دلخواه کوچک در خروجی آن را بتوان با محدود کردن ورودی به مقادیری خاص تضمین کرد. تا قرن ۱۹ میلادی، ریاضیدانان به طور عمده به مفهوم شهودی پیوستگی تکیه می‌کردند، در طی قرن نوزدهم بود که تلاش‌هایی جهت ایجاد تعریف صوری پیوستگی برحسب و صورت گرفت. پیوستگی توابع یکی از مفاهیم بنیادی و مرکزی در توپولوژی است، که در ادامه به طور کامل به آن پرداخته خواهد شد. بخش مقدماتی این مقاله به حالت خاصی که ورودی و خروجی تابع اعداد حقیق اند پرداخته خواهد شد. به علاوه، این مقاله به بحث در مورد تعریف پیوستگی توابع، در حالت کلی‌تر بین فضاهای متری خواهد پرداخت. در نظریه ترتیب، به‌خصوص در نظریه دامنه، مفهوم پیوستگی را به اسم پیوستگی اسکات می‌شناسند. به عنوان مثالی از توابع پیوسته، تابع که نشان‌دهنده ارتفاع یک گل بر حسب زمان است را می توان در نظر گرفت. در مقایسه، تابع که نشانگر مقدار پول در حساب بانکی بر حسب زمان است را می‌توان تابعی ناپیوسته در نظر گرفت؛ چرا که در آن «پرش»هایی در نقاطی که مقداری پول به حساب واریز یا از آن بیرون کشیده می‌شود وجود خواهد داشت. تاریخچه تعریف اپسیلون-دلتا از پیوستگی اولین بار توسط برنارد بولزانو در ۱۸۱۷ داده شد. | ## بخش 2: تابع پیوسته | آگوستین لویی کوشی پیوستگی را به این صورت تعریف کرد: هر افزایش بی‌نهایت کوچکی چون در متغیر مستقل ، همیشه منجر به افزایش بی‌نهایت کوچک در متغیر وابسته شود (به عنوان مثال Cours d'Analyse صفحه ۳۴ را ببینید). کوشی مقادیر بی‌نهایت کوچک را بر حسب متغیرها بیان کرد، و این تعریف از پیوستگی قرابت نزدیکی با تعریف بی‌نهایت‌کوچک‌هایی که امروزه استفاده می‌شوند داشت (بحث میکرو پیوستگی را ببینید). تعریف صوری و تمایز بین پیوستگی نقطه‌ای و پیوستگی یکنواخت اولین بار توسط بولزانو در دهه ۱۸۳۰ میلادی ارائه شد، اما اثر او تا دهه ۱۹۳۰ انتشار نیافت. پیوستگی توابع و قضایای آن تابع پیوسته f در نقطه a تابعی است که در نقطه a تعریف شده و هم چنین حد تابع در آن نقطه موجود و برابر f(a) باشد. در تعریف هندسی می گوییم، تابعی پیوسته‌ است که بتوان نمودار آن را بدون برداشتن قلم از روی کاغذ رسم کرد. تعریف ریاضی پیوستگی تابع f در نقطه x=a پیوسته گوییم هرگاه سه شرط زیر برقرار باشد: (f(a موجود و متناهی باشد یعنی تابع در نقطه a تعریف شده باشد. حد تابع در a موجود باشد یعنی حد راست و چپ در این نقطه موجود و برابر باشد.(به جز نقاط ابتدا و انتها) حد تابع برابر مقدار تابع باشد. یک تابع حقیقی، که تابعی از اعداد حقیقی به اعداد حقیقی است را می توان با نموداری در صفحه کارتزین نمایش داد؛ به طور نادقیق می توان گفت که چنین تابعی پیوسته است اگر نمودار آن منحنی باشد که در آن پاره شدگی و شکاف نبوده و دامنه آن کل اعداد حقیقی باشد. تعریف دقیق پیوستگی برای توابع حقیقی اغلب در اولی درس حسابان (حساب دیفرانسیل و انتگرال) بر اساس مفهوم حد ارائه می شود. | ## بخش 3: تابع پیوسته | ابتدا، یک تابع چون بر حسب را در نقطه در اعداد حقیقی پیوسته می گویند اگر حد با نزدیک شدن به برابر باشد؛ آنگاه کل یک تابع را پیوسته گویند اگر در تمام نقاطش پیوسته باشد. تابعی را ناپیوسته گویند (یا آن را دارای ناپیوستگی گویند) گویند اگر در نقطه ای پیوسته نباشد. توابع پیوسته بین فضاهای توپولوژیکی یکی دیگر از مفاهیم مجرد، مفهوم پیوستگی توابع بین فضاهای توپولوژیکی است که در آن عموماً به طور صوری مفهوم فاصله نقاط (همچون فضاهای متری) تعریف نشده است. یک فضای توپولوژیکی، مجموعه ای چون مجهز به ساختار توپولوژی روی آن است، این ساختار مفهوم گوی های باز در فضاهای متری را مجرد کرده به گونه ای که هنوز می توان در مورد مفهوم همسایگی یک نقطه صحبت کرد. اعضای یک فضای توپولوژی را زیرمجموعه های باز گویند (نسبت به ساختار توپولوژی روی آن تعریف می شوند). تابعی چون بین دو فضای توپولوژی و پیوسته است اگر برای هر مجموعه باز ، تصویر معکوس: زیرمجموعه بازی از باشد. یعنی یک تابع بین دو مجموعه و است (نه روی عناصر )، اما پیوستگی به ساختار توپولوژی تعریف شده روی و بستگی دارد. | ## جمع‌بندی | به طور معادل می توان گفت که تصویر عکس هر مجموعه بسته (که متمم مجموعه های باز اند) از در هم بسته است.