مجموعة كثيفة

المجموعة الكثيفة (بالإنجليزية: Dense set)‏، هي خاصية طوبولوجية تكون فيها مجموعة $A$ كثيفة داخل مجموعة $X$ إذا كانت $A$ ضمن $X$ وإذا كان كل عنصر من $A$ إما منتميا ل $X$ أو يمثل نقطة حد (Limit point) ل $A$. بمعنى أن $A$ تمكن من حصر (بالمعنى الجبري الطوبولوجي) جميع عناصر $X$.

تعريف

تعريف عام - طوبولوجي

باعتبار $X$ فضاء طوبولوجيا و $A\subset X$ جزءا منه، يكون $A$ كثيفا داخل $X$ ويقال أيضا $A$ كثيف في كل مكان، إذا تحققت إحدى الخصائص المتكافئة التالية:

• كل مجموعة مفتوحة غير فارغة في $X$ تضم عناصر من $A$.
• $X$ هي غالق $A$ .
• كل نقطة في $X$ هي ملاصقة ل $A$
• مكملة $A$ داخلها فارغ

تعريف تحليلي

باعتبار $E$ فضاء متجهيا معياريا و $D\subset E$ جزءا منه، يكون $D$ كثيفا داخل $E$ إذا تحققت إحدى الخصائص المتكافئة التالية:

• لكل نقطة $x\in E$ توجد متتالية $(y_{n})$ معرفة في $D$ تؤول في مالانهاية إلى $x$
• لكل نقطة $x\in E$ و كل $\epsilon >0$ يوجد $y\in D$ يحقق $\|y-x\|\leq \epsilon$
• غالق $D$ (${\overline {D}}$) يساوي $E$

يمكن تعميم التعريف للفضاءات القياسية بتعويض المعيار بالمسافة.

أمثلة

• مجموعة الأعداد الجذرية $\mathbb {Q}$ كثيفة داخل مجموعة الأعداد الحقيقية $\mathbb {R}$.
• الزمرة العامة الخطية، مجموعة المصفوفات القابلة للعكس، $GL_{n}(\mathbb {R} )$ كثيفة داخل مجموعة المصفوفات ${\mathcal {M}}_{n}(\mathbb {R} )$. وأيضا $GL_{n}(\mathbb {C} )$ داخل ${\mathcal {M}}_{n}(\mathbb {C} )$.

خاصيات

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

• حسب مبرهنة ستون-فايرستراس، فإن فضاء الحدانيات كثيف داخل فضاء الدوال المتصلة المعرفة في المجال $[0,1]$ والتي مستقرها في $\mathbb {C}$.