دالة مستمرة {\displaystyle f(x)} في المجال المغلق {\displaystyle [a,b]} إظهار الحد الأقصى المطلق (الأحمر) والنقطة المطلقة (الأزرق).
تنص **مبرهنة القيمة المتطرفة** في حساب التفاضل والتكامل على أنه إذا كانت دالة f ذات قيمة حقيقية مستمرة في المجال {\displaystyle [a,b]} ، أي أنَّ هذه الدالة f يجب أن تبلغ النهاية العليا والحد النهاية الدنيا ، مرة واحدة على الأقل. توجد أرقام c و {\displaystyle d} في {\displaystyle [a,b]} تحقق:



f
(
c
)
≥
f
(
x
)
≥
f
(
d
)

∀
x
∈
[
a
,
b
]

{\displaystyle f(c)\geq f(x)\geq f(d)\quad \forall x\in [a,b]}

{\displaystyle f(c)\geq f(x)\geq f(d)\quad \forall x\in [a,b]}
تعتبر نظرية القيمة القصوى أكثر تحديدًا من **نظرية الحدود** ذات الصلة ، والتي تنص فقط على أن دالة مستمرة f في المجال المغلق {\displaystyle [a,b]} محدد في ذلك المجال، وهذا يعني أنه توجد أعداد حقيقية m و M تحقق:



m
≤
f
(
x
)
≤
M

∀
x
∈
[
a
,
b
]
.

{\displaystyle m\leq f(x)\leq M\quad \forall x\in [a,b].}

{\displaystyle m\leq f(x)\leq M\quad \forall x\in [a,b].}هذا لا يعني أنَّ القيمتين M و m هي بالضرورة القيم القصوى والدنيا للدالّة f في المجال المحدود {\displaystyle [a,b]} وهو ما تنص عليه نظرية القيمة القصوى يجب أن يكون هو الحال أيضًا.

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

نبذة تاريخية
------------

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

الدالات التي لا تنطبق عليها النظرية
-----------------------------------

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

1. {\displaystyle f(x)=x} تعريف أكثر {\displaystyle [0,\infty )} لا يحدها من الأعلى.
2. {\displaystyle f(x)={\frac {x}{1+x}}} تعريف أكثر {\displaystyle [0,\infty )} محدودة ولكنها لا تصل إلى أدنى حد لها {\displaystyle 1} .
3. {\displaystyle f(x)={\frac {1}{x}}} تعريف أكثر {\displaystyle (0,1]} لا يحدها من الأعلى.
4. {\displaystyle f(x)=1-x} تعريف أكثر {\displaystyle (0,1]} محدودة ولكنها لا تصل أبدًا إلى أدنى حد لها {\displaystyle 1} .

تعريف {\displaystyle f(0)=0} في المثالين الأخيرين يوضح أن كلا المبرهنتين تتطلب الاستمرارية في {\displaystyle [a,b]}.

التعميم على الفضاء المتري والطوبولوجية
--------------------------------------

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

من كل مجموعة من المجموعات المفتوحة {\displaystyle U\_{\alpha }} مثل {\textstyle \bigcup U\_{\alpha }\supset K}، حيث {\displaystyle U\_{\alpha \_{1}},\ldots ,U\_{\alpha \_{n}}} مجموعة فرعية محدودة يمكن اختياره بالشكل{\textstyle \bigcup \_{i=1}^{n}U\_{\alpha \_{i}}\supset K}. عادة ما تذكر باختصار "كل غطاء مفتوح للمجموعة {\displaystyle K} لها غطاء فرعي محدود ". تؤكد مبرهنة هاين وبوريل أن مجموعة فرعية من الخط الحقيقي تكون متراصة إذا وفقط إذا كانت مغلقة ومحدودة. في المقابل ، تحتوي المساحة المترية على مبرهنة هاين وبوريل إذا كانت كل مجموعة مغلقة ومحدودة متراصة أيضًا.

يمكن أيضًا تعميم مفهوم الدالّة المستمرة، نظرا للمساحات الطوبولوجية **خطأ رياضيات (SVG (يمكن تمكين MathML عبر البرنامج المساعد للمتصفح): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "http://localhost:6011/ar.wikipedia.org/v1/":): {\displaystyle V,\ W}**
 ، الدالة {\displaystyle f:V\to W} تكون مستمرة إذا كان لكل مجموعة مفتوحة {\displaystyle U\subset W} و {\displaystyle f^{-1}(U)\subset V} مقلوب عكسي مفتوح أيضًا. بالنظر إلى هذه التعريفات ، يمكن إظهار الدوال المستمرة للحفاظ على الترابط:

**نظرية:** إذا كانت {\displaystyle V,\ W} هي مساحات طوبولوجية، والدالّة {\displaystyle f:V\to W} هي دالّة مستمرة، و {\displaystyle K\subset V} متراصة، إذن {\displaystyle f(K)\subset W} مترّاص أيضاً.

خاصّةً، إذا كانت المجموعةV مساوياً لمجموعة الأعداد الحقيقية {\displaystyle \mathbb {R} } ({\displaystyle W=\mathbb {R} })، ثم هذه النظرية تشير إلى {\displaystyle f(K)} مغلق ومحدود لأي مجموعة متراصة {\displaystyle K} ، وهذا بدوره يعني ذلك f يحقق أعلى وأدنى قيمة على أي مجموعة مدمجة (غير فارغة) {\displaystyle K}. وبالتالي، لدينا التعميم التالي لمبرهنة القيمة القصوى:

**نظرية:** لو {\displaystyle K} هي مجموعة متراصة، و {\displaystyle f:K\to \mathbb {R} } هي دالَّة مستمرة ، إذن f محدود ويوجد {\displaystyle p,q\in K} مثل ذلك {\textstyle f(p)=\sup \_{x\in K}f(x)} و {\textstyle f(q)=\inf \_{x\in K}f(x)} .

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

إثبات المبرهنات
---------------

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

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

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

### إثبات مبرهنة الحدود

**النص:** لو كانت الدالّة {\displaystyle f(x)} مستمرة على {\displaystyle [a,b]} ّن فهي محدودة على المجال {\displaystyle [a,b]}

افترض الدالّة f غير محددة في المجال المغلق {\displaystyle [a,b]}. ويكون لكل عدد طبيعي n ، هناك متغير {\displaystyle x\_{n}\in [a,b]} مثل ذلك {\displaystyle f(x\_{n})>n}. هذا يحدد المتتالية {\displaystyle (x\_{n})\_{n\in \mathbb {N} }}. لأن {\displaystyle [a,b]} محدودة ، تشير مبرهنة بولزانو-ويرستراس إلى وجود نتيجة متقاربة لاحقة {\displaystyle (x\_{n\_{k}})\_{k\in \mathbb {N} }} ل {\displaystyle ({x\_{n}})}. دلالة على حدودها من قبل x. مثل {\displaystyle [a,b]} مغلق يحتوي على x. لأن f مستمر في x ، نحن نعرف ذلك {\displaystyle f(x\_{{n}\_{k}})} يتقارب مع العدد الحقيقي {\displaystyle f(x)} (مثل f مستمر بالتتابع عند x ). لكن {\displaystyle f(x\_{{n}\_{k}})>n\_{k}\geq k} لكل k ، مما يعني أن {\displaystyle f(x\_{{n}\_{k}})} يتباعد ل {\displaystyle +\infty } ، تناقض. لذلك، f يحد أعلاه على {\displaystyle [a,b]} .

المراجع
-------

1. ↑  Rusnock، Paul؛ Kerr-Lawson، Angus (2005). "Bolzano and Uniform Continuity". *Historia Mathematica*. ج. 32 ع. 3: 303–311. DOI:10.1016/j.hm.2004.11.003.
2. 1 2  Rudin، Walter (1976). *Principles of Mathematical Analysis*. New York: McGraw Hill. ص. 89–90. ISBN:0-07-054235-X. مؤرشف من الأصل في 2022-05-27.

| * ع
* ن
* ت
مواضيع التفاضل والتكامل |
| --- |
| ما قبل حساب التفاضل والتكامل  | 
* مبرهنة ذي الحدين
* دوال
	+ خطيَّة
	+ مُستمِرة
	+ مُقعَّرة
* العاملي
* فرق محدود
* المتغير الحر والمتغير المقيد
* تمثيل الدالة البياني
* ميل المستقيم
* راديان
* مبرهنة رول
* القاطع
* المماس

 |
| النهايات | 
* صيغة غير مُحدَّدة
* نهاية دالة
	+ وحيدة الجانب
* نهاية متتالية
* درجة التقريب

 |
| حساب التفاضل | 
* مُشتَق
* تفاضلي
* معادلة تفاضلية
* مؤثر تفاضلي
* مبرهنة القيمة المتوسطة
* تدوين التفاضل 
	+ لايبنز
	+ نيوتن
* قواعد التفاضل
	+ الخطيَّة
	+ الرفع إلى أُس
	+ السلسلة
	+ لوبيتال
	+ الضرب
		- قاعدة لايبنيز العامة
	+ ناتج القسمة
* تقنيات أخرى
	+ الدوال العكسية
	+ اللوغاريتم
	+ المعدلات المرتبطة
* نقاط الثبات
	+ اختبار المشتق
	+ مبرهنة القيمة المُتَّطرفة
	+ النقاط الحرجة
* تطبيقات أُخرى
	+ طريقة نيوتن لإيجاد الجذور
	+ سلسلة تايلور

 |
| حساب التكامل | 
* المبرهنة الأساسية
	+ مُشتَق التكامل
* ثابت التكامل
* بالتجزئة
* بالتعويض
	+ مُثلثي
	+ أويلر
	+ فايرشتراس
	+ تربيعي
* شبه المنحرف
* مُشتَق عكسي
* طول القوس
* الحجوم
	+ بالأقراص
	+ بالطبقات الأسطوانية

 |
| حساب المتجهات | 
* مشتق اتجاهي
* المؤثرات
	+ دوران
	+ تباعد
	+ تدرج
	+ لابلاس
* مبرهنات رئيسة
	+ التدرُّج
	+ التباعد
	+ غرين
	+ كلفن وستوكس

 |
| حساب التفاضل والتكامل متعدد المتغيرات | 
* مبرهنة التباعد
* حساب المصفوفات
* حساب هندسي
	+ ياكوبية
	+ هيسية
* معامل لاغرانج
* تكاملات
	+ خط
	+ سطح
	+ حجم
	+ متعدد
* مشتق جزئي
* مواضيع مُتقدِّمة
	+ أشكال تفاضلية
	+ مشتق خارجي
	+ مبرهنة ستوكس المُعمَّمة
	+ حساب المُوتِّر

 |
| المتتاليات والسلاسل | 
* متتالية حسابية هندسية
* أنواع السلاسل
	+ متناوبة
	+ ذات حدين
	+ فورييه
	+ هندسية
	+ متناسقة
	+ قوى
		- تايلور
	+ متداخلة
* اختبارات التقارب
	+ أبيل
	+ السلاسل المتناوبة
	+ كوشي للتكثيف
	+ المقارنة المباشرة
	+ دركليه
	+ التكامل
* مقارنة النهايات 
	+ النسبة
	+ الأصل
	+ الحد النوني

 |
| دوال وأرقام مُميَّزة | 
* أعداد برنولي
* ثابت أويلر
* دالة أسية
* لوغاريتم طبيعي
* تقريب ستيرلينغ

 |
| تاريخ التفاضل والتكامل | 
* شخصيات
	+ تايلور
	+ ماكلورين
	+ لايبنتس
	+ نيوتن
	+ أويلر
* مفاهيم
	+ تسوية
	+ المتناهيات في الصغر
	+ التدفق
	+ قانون الاستمرارية
	+ عمومية الجبر
* كتب
	+ طريقة المبرهنات الميكانيكية
	+ طرق التدفق

 |
| قوائم | 
* قواعد التفاضل
* تكاملات الدوال
	+ اللوغاريتمية
		- الأسية
	+ المثلثية
		- العكسية
		- القواطع 
			* المُكعَّبة
	+ الزائدية
		- العكسية
	+ الكسرية
		- غير الكسرية
* النهايات

 |
| مواضيع متنوعة | 
* الانحناء
* هندسة تفاضلية
	+ للمنحنيات
	+ للسطوح
* صيغة أويلر وماكلورين
* بوق جبريل
* إثبات أن 22/7 أكبر من π
* مسألة ريغيومونتانوس للزاوية العظمى
* مجسم شتاينميتز

 |
| صفحة تصنيف تصنيف  **•**  صفحة في ويكي كومنز كومنز  شعار بوابة بوابة رياضيات  **•**  شعار بوابة بوابة تحليل رياضي  **•**  شعار بوابة بوابة هندسة رياضية |

* أيقونة بوابةبوابة تحليل رياضي
* أيقونة بوابةبوابة رياضيات