توابع یک به یک و پوشا (Bijective Function)، در ریاضیات (Mathematics)
انواع توابع (Function) را در آموزش زیر شرح دادیم :
توابع یک به یک و پوشا (Bijective Function) :
این توابع هم زمان یک به یک (Injective) و پوشا (Surjective) هستند.
به چنین توابعی "تبادل یک به یک" (One-to-One Correspondence) نیز می گویند.
وجود تابع دوسویی بین دو مجموعه نشان دهنده هم توانی (Cardinality) یکسان آنهاست.
برای این توابع حتما تابع معکوس (Inverse) وجود دارد که آن نیز دوسویی است.
مثال : تابع
\[ f: \mathbb{R} \to \mathbb{R} \]با ضابطه
\[ f(x) = 2x + 3 \]دوسویی است.
کاربردهای گسترده ای در رمزنگاری، نظریه مجموعه ها و تعریف تناظرهای دقیق دارند.
در حسابان (Calculus)، تغییر متغیر در انتگرال گیری اغلب نیازمند توابع دوسویی است.
این توابع اساس تعریف هم ریختی (Isomorphism) در جبر مجرد هستند.