مبرهنة ستون-فايرشتراس

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

تكمن أهمية المبرهنة في تمكينها من الحصول على حلول تقريبية حين يكون الحل التحليلي مستعصيا.

سميت هذه المبرهنة هكذا نسبة إلى كل من كارل فايرشتراس ومارشال هارفي ستون.

 مبرهنة فايرستراس للمقاربة 
تصغير|رسم توضيحي لمتتالية دوال حدانية تؤول إلى دالة القيمة المطلقة

مبرهنة فايرستراس للمقاربة: كل دالة متصلة  معرفة في مجال  هي نهاية منتظمة لدالة حدية معرفة في .

أي بالنسبة لكل  توجد دالة حدية  تحقق:

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

المبرهنة صحيحة أيضا بانسبة لكل فضاء طوبولوجي متراص ومفصل .

مبرهنة فايرستراس للمقاربة تصبح على ضوء هذه المبرهنة لازمة لمبرهنة ستون فايرستراس.

 وصلات خارجية 

 برهنة كاملة لمبرهنة ستون فايرستراس في حالتها العامة.

 مراجع 

تصنيف:الرياضيات في 1885
تصنيف:الرياضيات في 1937
تصنيف:الرياضيات في القرن 19
تصنيف:الرياضيات في القرن 20
تصنيف:العلم في 1885
تصنيف:العلم في 1937
تصنيف:مبرهنات في التحليل الرياضي
تصنيف:نظرية الدوال المستمرة