مجموعات منفصلة
التعريفات

هناك العديد من الطرق المختلفة، حيث تكون هناك مجموعتان فرعيتان من الفضاء الطوبوغرافي X يمكن اعتبارهما منفصلتين.
A وB تكونان مجموعتان غير مترابطتين إذا كانت منطقة التقاطع بينهما هي المجموعة الخالية. هذه الخاصية ليس لها علاقة بعلم الطوبولوجيا (علم المكان أو الطوبوغرافيا) في حد ذاته، ولكن لها علاقة فقط بنظرية المجموعات؛ ونحن ندرجها هنا لأنها الأضعف في سلسلة من المفاهيم المختلفة. ولمزيد من المعلومات عن المجموعات غير المترابطة بصفة عامة، يمكنك مراجعة: المجموعات غير المترابطة.
A وB تكونان منفصلتين في الفضاء X إذا كان غالق كل منهما غير مترابط مع غالقالأخرى. إذ إنه ليس بالضرورة أن تكون الغالقات نفسها غير مترابطة مع بعضها البعض؛ على سبيل المثال، الفترتان[0,1) و (1,2] هما فترتان منفصلتان على مستقيم الأعداد الحقيقية R، على الرغم من أن النقطة 1 تنتمي إلى غالق كل فترة منهما. بشكل أعم، فإنه في أي فضاء متري، تكون الكرات المفتوحة Br(x1) = {y:d(x1,y)<r} and Bs(x2) = {y:d(x2,y)<s} منفصلة عندما تكون d(x1,x2) ≥ r+s. لاحظ أن أي مجموعتين منفصلتين يجب أن تكونا تلقائيًا غير مترابطتين.
A وB هما مجموعتان منفصلتان من خلال نقاط الجوار إذا كانت نقاط الجوار U للمجموعة A وV للمجموعة B بحيث تكون U وV غير مترابطتين. (سوف ترى أنه في بعض الأحيان يوجد شرط أن تكون U وV متجاورتين مفتوحتين، ولكن هذا لا يشكل فارقًا في نهاية الأمر.) على سبيل المثال، إذا كانت A = [0,1) وB = (1,2]، فيمكنك أن تعتبر أنّ U = (-1,1) وV = (1,3). لاحظ أنه في حالة كون أي مجموعتين منفصلتين من خلال نقاط الجوار، فحينها ستكون نقاط الجوار منفصلة بالتأكيد. إذا كانت A وB مجموعتين مفتوحتين وغير مترابطتين، فحينها يجب أن تكونا منفصلتين بواسطة نقاط الجوار، ويمكن ببساطة اتخاذ U := A وV := B. ولهذا السبب، يُستخدم الانفصال عادة مع المجموعات المغلقة (كما هو الحال في مُسلَّمات الفصل العادية).
A وB هما مجموعتان منفصلتان بواسطة نقاط الجوار المغلقة إذا كانت هناك نقطة جوار مغلقة تُسمى U للمجموعة A ونقطة جوار مغلقة تُسمى V للمجموعة B بحيث تكون U وV غير مترابطتين. الأمثلة التي عرضناها، [0,1) و(1,2]، ليست منفصلة بواسطة نقاط الجوار المغلقة. إذ يمكنك أن تجعل إما U أو V نقاط جوار مغلقة عن طريق تضمين النقطة 1 في إحداهما، ولكن لا يمكنك أن تجعل كلًا منهما نقطة جوار مغلقة في آن واحد، مع الإبقاء عليهما غير مترابطتين في نفس الوقت لاحظ أنه في حالة إذا كانت أي مجموعتين منفصلتين بواسطة نقاط الجوار المغلقة، فحينها تكونان بالتأكيد منفصلتين بواسطة نقاط الجوار.
A وB هما مجموعتان منفصلتان بواسطة دالة إذا كانت هناك دالة متصلة f من الفضاء X على مستقيم الأعداد الحقيقية R بحيث تكون f(A) = {0} وf(B) = {1}. (في بعض الأحيان ستجد أن فترة الوحدة [0,1] مستخدمة مكان R في هذا التعريف، ولكن ذلك لا يشكل فارقًا في نهاية الأمر.) في مثالنا المذكور، نجد [0,1) و(1,2] ليستا منفصلتين من خلال دالة، لأنه لا توجد طريقة يمكن من خلالها تعريف f بشكل مستمر عند النقطة 1. لاحظ أنه في حالة وجود أي مجموعتين منفصلتين من خلال الدالة، فحينها يكونان منفصلتين أيضًا من خلال مجموعات الجوار المغلقة؛ ويمكن أن تُعطى مجموعات الجوار في شكل الصورة الأصلية لـ f بينما U := f−1[-e,e] وV := f−1[1-e,1+e]، طالما e هي عدد موجب حقيقي أقل من 1/2.
A وB تكونان منفصلتين على وجه التحديد بواسطة الدالة إذا وجدت الدالة المتصلة f من X إلى R، بحيث تكون f -1(0) = A وf -1(1) = B. (ومرة أخرى، يمكن أن تجد فترة الوحدة في مكان R، وهنا أيضًا لا يشكل هذا الأمر فارقًا.) لاحظ أنه إذا كانت أي مجموعتين منفصلتين على وجه التحديد بواسطة دالة، فإنهما ستكونان بالتأكيد منفصلتين بواسطة الدالة. وبما أن {0} و{1} مغلقتان على R، فإن المجموعات المغلقة فقط هي التي تكون قادرة على أن تنفصل بواسطة الدالة؛ ولكن مجرد كون المجموعتين مغلقتين ومنفصلتين بواسطة دالة، لا يعني بالضرورة أنهما تلقائيًا تكونان منفصلتين بواسطة الدالة (حتى إذا كانت دالة مختلفة).