قضیه تابع ضمنی
در ریاضیات، بهخصوص در حساب چندمتغیره، قضیه تابع ضمنی (Implicit Function Theorem)الگو:رچالگو:Efn ابزاری است که امکان تبدیل روابط به توابع چند متغیره حقیقی را بهوجود میآورد. این قضیه، چنین تبدیلی را با نمایش رابطه به صورت نمودار تابع انجام میدهد. ممکن است نتوان کل تابع را با نمودار یک تابع نمایش داد، اما ممکن است بتوان چنین تابعی را در تحدیدی از دامنهی رابطه یافت. قضیه تابع ضمنی شرایط کافی برای وجود چنین تابعی را ارائه مینماید.
به طور دقیقتر، اگر دستگاهی از معادلهی (که ) داده شده باشد (اغلب این دستگاه را به صورت نمایش میدهند)، صورت قضیه بدین صورت در خواهد آمد: تحت شرایط ملایمی روی مشتقات جزئی (نسبت به ها) در همسایگیای از یک نقطه، متغیر ، توابع دیفرانسیلپذیری از ها خواهند بود. از آنجا که این توابع را نمیتوان در حالت کلی به فرم بسته بیان نمود، به صورت ضمنی توسط این معادلات تعریف شده و همین نکته انگیزهای برای عنوان قضیه شده است.[۱]
به بیان دیگر، تحت شرایط ملایم روی مشتقات جزئی، مجموعه صفرهای دستگاهی از معادلات به طور موضعی نموداری از یک تابع است.