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

  هذه المقالة عن مبرهنة ستون فايرستراس. لمعانٍ أخرى، طالع مبرهنة فايرستراس (توضيح).

مبرهنة ستون فايرشتراس (بالإنجليزية: Stone–Weierstrass theorem)‏ وتعرف أحيانا في بعض المراجع فقط بمبرهنة فايرشتراس هي تعميم لمبرهنة فايرستراس للمقاربة في التحليل الحقيقي. والتي تقضي بأن كل دالة متصلة معرفة على مجال محدد يمكن مقاربتها بانتظام عبر دوال حدية.

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

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

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

رسم توضيحي لمتتالية دوال حدانية تؤول إلى دالة القيمة المطلقة

مبرهنة فايرستراس للمقاربة: كل دالة متصلة $f$ معرفة في مجال $[a,b]$ هي نهاية منتظمة لدالة حدية معرفة في $[a,b]$.

أي بالنسبة لكل $ϵ>0$ توجد دالة حدية $P$ تحقق: $\mathrm{\forall }x\in [a,b],\mid f(x)-P(x)\mid <ϵ$

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

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

باعتبار $(X,d)$ فضاء قياسيا متراصا و $\mathcal{C}(X,\mathbb{R})$ فضاء الدوال المتصلة المنطلقة من $X$ والمستقرة في $\mathbb{R}$ والمزود بمعيار التقارب المنتظم. إذا كانت مجموعة $\mathcal{S}\subset \mathcal{C}(X,\mathbb{R})$ تشكل جبرا جزئيا وحدويا يفصل بين نقط $X$، فإن $\mathcal{S}$ كثيفة ضمن $\mathcal{C}(X,\mathbb{R})$.

المبرهنة صحيحة أيضا بانسبة لكل فضاء طوبولوجي متراص ومفصل $(X,\mathcal{T})$.

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

وصلات خارجية

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