تابع یکنوا

در ریاضیات تابع یکنوا تابعی است بین مجموعه های مرتب که یا ترتیب را حفظ می کند یا تربیت را برعکس می کند. این مفهوم برای اولین بار در در حساب دیفرانسیل و انتگرال مطرح شد و بعدها به نظریه انتزاعی تر نظریه ترتیب تعمیم یافت.
f {\displaystyle f}   دارای حد راست و چپ است.
f {\displaystyle f}  در مثبت بینهایت و منفی بینهایت (  ± ∞ {\displaystyle \pm \infty }   ) دارای حد است که این حد یا یک عدد حقیقی است یا ∞ {\displaystyle \infty }   یا ( − ∞ ) {\displaystyle \left(-\infty \right)}
f {\displaystyle f}   تنها می تواند پرش ناپیوستگی داشته باشد.
f {\displaystyle f}   تنها می تواند تعداد شمارایی ناپیوستگی در دامنه اش داشته باشد.
در حساب دیفرانسیل و انتگرال، تابع f {\displaystyle f}   روی زیرمجموعه ای از اعداد حقیقی یکنوا گفته می شود اگر و تنها اگر کاملاً غیر صعودی یا کاملاً غیرنزولی باشد.
یک تابع یکنوای صعودی است (یا صعودی یا غیر نزولی)، اگر برای همه x {\displaystyle x}   و y {\displaystyle y}   که x ≤ y {\displaystyle x\leq y}   آنگاه f ( x ) ≤ f ( y ) {\displaystyle f\!\left(x\right)\leq f\!\left(y\right)}   و بنابراین f {\displaystyle f}   ترتیب را حفظ می کند (نگاه کنید به شکل ۱). به همین ترتیب یک تابع یکنوای نزولی (یا نزولی یا غیرصعودی) است اگر برای x ≤ y {\displaystyle x\leq y}   داشته باشیم f ( x ) ≥ f ( y ) {\displaystyle f\!\left(x\right)\geq f\!\left(y\right)}   که در این صورت تابع ترتیب را معکوس می کند (نگاه کنید به شکل ۲)اگر ≤ {\displaystyle \leq }   در تعریف یکنوایی با < {\displaystyle <}   جایگزین شود، آنگاه شرط قوی تری حاصل می شود. تابعی با این خاصیت صعودی اکیداً صعودی خوانده می شود. همچنین مفهوم اکیداً نزولی نیز وجود دارد. توابع اکیداً صعودی یا اکیداً نزولی یک به یک نیز هستند.
خواص زیر برای تابع یکنوا f : R → R {\displaystyle f\colon \mathbb {R} \to \mathbb {R} }   برقرار هستند: