مبرهنة القيمة المتطرفة

تنص مبرهنة القيمة المتطرفة في حساب التفاضل والتكامل على أنه إذا كانت دالة  ذات قيمة حقيقية مستمرة في المجال  ، أي أنَّ هذه الدالة  يجب أن تبلغ النهاية العليا والحد النهاية الدنيا ، مرة واحدة على الأقل. توجد أرقام  و  في  تحقق:

تعتبر نظرية القيمة القصوى أكثر تحديدًا من نظرية الحدود ذات الصلة ، والتي تنص فقط على أن دالة مستمرة  في المجال المغلق  محدد في ذلك المجال، وهذا يعني أنه توجد أعداد حقيقية  و  تحقق:

هذا لا يعني أنَّ القيمتين  و  هي بالضرورة القيم القصوى والدنيا للدالّة  في المجال المحدود  وهو ما تنص عليه نظرية القيمة القصوى يجب أن يكون هو الحال أيضًا.

تُستخدم نظرية القيمة القصوى لإثبات مبرهنة رول . تنص النظرية التي صاغها كارل فايرشتراسعلى أن الدالة المستمرة من فضاء متراص غير فارغ إلى مجموعة جزئية من الأعداد الحقيقية تصل إلى النهاية العليا والنهاية الدنيا.

 نبذة تاريخية 
يعود إثبات القيمة القصوى إلى برنارد بولزانو في ثلاثينيات القرن التاسع عشر في العمل نظرية المتغير، لكن العمل ظل غير منشور حتى عام 1930. يعتمد دليل بولزانو على إظهار الدالة المستمرة في نهايات مغلقة أنها محدودة، ثم يُظهر أن هذه الدالة قد حققت قيمة قصوى ودنيا. تضمن كلا الدليلين ما يُعرف اليوم بمبرهنة بولزانو-ويرستراس . اكتشف ويرستراس أيضاً نتائجها عام 1860.

 الدالات التي لا تنطبق عليها النظرية 
توضح الأمثلة التالية لماذا يجب إغلاق مجال الدالة وتحديده من أجل تطبيق المبرهنة. كل فشل في بلوغ الحد الأقصى في الفترة الزمنية المحددة.

  تعريف أكثر  لا يحدها من الأعلى.
  تعريف أكثر  محدودة ولكنها لا تصل إلى أدنى حد لها  .
  تعريف أكثر  لا يحدها من الأعلى.
  تعريف أكثر  محدودة ولكنها لا تصل أبدًا إلى أدنى حد لها  .

تعريف  في المثالين الأخيرين يوضح أن كلا المبرهنتين تتطلب الاستمرارية في .

 التعميم على الفضاء المتري والطوبولوجية 
ند الانتقال من الخط الحقيقي  بالنسبة للفضاء المتري والفضاء الطوبولوجي العام، فإن التعميم المناسب للمجال المغلق هو فضاء متراص. مجموعة  يُقال أنَّها متراصَّة إذا كانت تحوي الخاصية الآتية:

من كل مجموعة من المجموعات المفتوحة  مثل ، حيث  مجموعة فرعية محدودة يمكن اختياره بالشكل. عادة ما تذكر باختصار "كل غطاء مفتوح للمجموعة  لها غطاء فرعي محدود ". تؤكد مبرهنة هاين وبوريل أن مجموعة فرعية من الخط الحقيقي تكون متراصة إذا وفقط إذا كانت مغلقة ومحدودة. في المقابل ، تحتوي المساحة المترية على مبرهنة هاين وبوريل إذا كانت كل مجموعة مغلقة ومحدودة متراصة أيضًا.

يمكن أيضًا تعميم مفهوم الدالّة المستمرة، نظرا للمساحات الطوبولوجية  ، الدالة  تكون مستمرة إذا كان لكل مجموعة مفتوحة  و  مقلوب عكسي مفتوح أيضًا. بالنظر إلى هذه التعريفات ، يمكن إظهار الدوال المستمرة للحفاظ على الترابط:

نظرية: إذا كانت  هي مساحات طوبولوجية، والدالّة  هي دالّة مستمرة، و  متراصة، إذن  مترّاص أيضاً.

خاصّةً، إذا كانت المجموعة مساوياً لمجموعة الأعداد الحقيقية  ()، ثم هذه النظرية تشير إلى  مغلق ومحدود لأي مجموعة متراصة  ، وهذا بدوره يعني ذلك  يحقق أعلى وأدنى قيمة على أي مجموعة مدمجة (غير فارغة)  . وبالتالي، لدينا التعميم التالي لمبرهنة القيمة القصوى:

نظرية: لو  هي مجموعة متراصة، و  هي دالَّة مستمرة ، إذن  محدود ويوجد  مثل ذلك  و  .

بتعميم الحالة، ينطبق هذا أيضًا على دالَّة عليا شبه متصلة. (انظر الفضاء المتراص).

 إثبات المبرهنات 
النظر إلى مبرهنات الحد الأعلى والحد الأقصى للدالة  . من خلال تطبيق هذه النتائج على الدالة ، ووجود الحد الأدنى والنتيجة للحد الأدنى من  تابع. لاحظ أيضًا أن كل شيء في الإثبات ضمن مجموعة الأعداد الحقيقية.

نثبت أولاً نظرية الحدود، وهي خطوة في إثبات نظرية القيمة القصوى، والخطوات الأساسية المتضمنة في إثبات نظرية القيمة القصوى هي:

 إثبات نظرية الحدود.
 ابحث عن تسلسل بحيث تتقارب صورته إلى أعلى مستوى للدالة  .
 أظهر أن هناك متتالية جزئية تتقارب مع نقطة في منطلق الدالة.
 استخدم الاستمرارية لإثبات أن صورة التتابعات تتلاقى مع السيادة.

 إثبات مبرهنة الحدود 
النص: لو كانت الدالّة  مستمرة على  ّن فهي محدودة على المجال 

افترض الدالّة  غير محددة في المجال المغلق  . ويكون لكل عدد طبيعي  ، هناك متغير  مثل ذلك  . هذا يحدد المتتالية . لأن  محدودة ، تشير مبرهنة بولزانو-ويرستراس إلى وجود نتيجة متقاربة لاحقة  ل  . دلالة على حدودها من قبل  . مثل  مغلق يحتوي على  . لأن  مستمر في  ، نحن نعرف ذلك  يتقارب مع العدد الحقيقي  (مثل  مستمر بالتتابع عند  ). لكن  لكل  ، مما يعني أن  يتباعد ل  ، تناقض. لذلك،  يحد أعلاه على  .

 المراجع 

تصنيف:مبرهنات في التحليل الحقيقي
تصنيف:مبرهنات في التحليل الرياضي
تصنيف:مبرهنات في حساب التفاضل والتكامل
تصنيف:مقالات تحوي براهين