‫أ‪.‬د‪ .

‬نوري فرحان المياحي‬ ‫سلسلة محاضرات‬

‫كلية العلوم ‪ /‬جامعة القادسية‬ ‫قسم الرياضيات‬
‫‪Topology I‬‬ ‫تبولوجيا )‪(1‬‬

‫محاضرة )‪(5‬‬ ‫دراسات أولية ‪ /‬مستوى رابع‬ ‫)‪Math(451‬‬

‫نظرية ‪ 3:‬مناقشة ‪ 1:‬عدد وحدات ‪3:‬‬

‫‪ .5‬الترابط ‪Connectedness‬‬
‫مفهوم الترابط من المفاهيم المهمة في الفضاءات التبولوجية و له دور فعال في التحليل الرياضي ‪ ،‬حيث له إسهامات فاعلة‬
‫تعرف بالتبولوجيا الجبرية ويعود الفضل إلى لينز )‪ (Lennes‬عام ‪ 1911‬وهاوزدورف )‪ (Hausdorff‬عام ‪ 1914‬في‬
‫تطوير مفهوم المجموعة المترابطة والمركبات المترابطة الى شكلها الحالي ‪ .‬أيضا ادخل هان )‪ (Hahn‬عام ‪ 1914‬مفهوم‬
‫الفضاءات المترابطة محليا ‪ .‬ولذلك سوف نقدم في هذه المحاضرة مفهوم المجموعات المنفصلة‪ ،‬المجموعات المترابطة في‬
‫الفضاءات المترية و المبرهنات المكافئة للترابط‪ ،‬اﻻستمرارية و الترابط‪.‬‬
‫‪Separated Sets‬‬ ‫‪ 1.5‬المجموعات المنفصلة‬
‫تعريف )‪(1.1.5‬‬
‫ليكن ) ‪ (X ,‬فضاء تبولوجيا َ ‪ ,‬وليكن كل من ‪ A, A1 , A2‬مجموعة جزئية من المجموعة ‪ . X‬يقال عن المجموعتين ‪A1 , A2‬‬
‫بأنها فصل أو تفريق )‪ ( Separation‬إلى المجموعة ‪ A‬إذا تحققت الشروط اﻵتية‪:‬‬
‫‪A1   , A2   .1‬‬
‫‪A  A1  A2 .2‬‬
‫‪ .3‬كل من ‪ A1 , A2‬ﻻ تحتوي على نقطة غاية )‪ ( Limit point‬لﻸخرى ‪ .‬والشرط )‪ (3‬يكافئ الشرط اﻵتي‬
‫‪A1  A 2   , A1  A 2  ‬‬
‫ويكافئ أيضا الشرط ‪. A2 , A2   A1  A2   ‬‬
‫ويسمى هذا الشرط بشرط هاوزدورف ‪ -‬لينز للفصل ) ‪.(Hausdorff-Lennes Separation Condition‬‬
‫ومثل هاتين المجموعتين ) أي أن ‪ ( A1 , A2‬يقال عنهما إنهما منفصلتان أو مفترقتان )‪(Separated‬‬
‫مثال )‪(2.1.5‬‬
‫في الفضاء التبولوجي اﻻعتيادي ) ‪(, u‬‬
‫‪ .1‬المجموعتان )‪ A1  (, 0), A 2  (0, ‬متنافيتان ﻵن ‪ A1  A2  ‬ولكنهما غير‬
‫منفصلتان ﻵن ‪A1  A2   ,0   0,    0  ‬‬
‫‪ .2‬المجموعتان )‪ B 1  (2, 3), B 2  (3, 4‬منفصلتان ﻷن ‪ B1   , B2  ‬وان‬
‫‪B 1  B 2  (2, 3)  [3, 4]   , B 1  B 2  [2,3]  (3, 4)  ‬‬
‫مبرهنة )‪(3.1.5‬‬
‫فضاء جزئيا َ من الفضاء التبولوجي ) ‪ (X ,‬ولتكن ‪ A, B  Y‬فأن المجموعتان ‪ A, B‬منفصلتان‬
‫َ‬ ‫ليكن ) ‪(Y ,Y‬‬
‫بالنسبة للتبولوجي ‪  Y‬إذا وفقط إذا كانت منفصلتان بالنسبة للتبولوجي ‪‬‬
‫البرهان ‪:‬‬
‫‪(AY  B )  (A  BY )  ‬‬ ‫‪ ((A Y )  B )  (A  ( B Y ))  ‬‬
‫‪ (A  (Y  B ))  (( A Y )  B )  ‬‬ ‫‪ ( A  B )  (A  B )  ‬‬

‫‪133‬‬
 ‫أ‪.‬د‪ .‬نوري فرحان المياحي‬ ‫سلسلة محاضرات‬
‫كلية العلوم ‪ /‬جامعة القادسية‬ ‫قسم الرياضيات‬
‫‪Topology I‬‬ ‫تبولوجيا )‪(1‬‬

‫محاضرة )‪(5‬‬ ‫دراسات أولية ‪ /‬مستوى رابع‬ ‫)‪Math(451‬‬

‫نظرية ‪ 3:‬مناقشة ‪ 1:‬عدد وحدات ‪3:‬‬

‫مبرهنة )‪(4.1.5‬‬
‫ليكن ) ‪ (X ,‬فضاء تبولوجي ولتكن ‪ A, B, C , D  X‬بحيث أن ‪ , C  A, D  B‬إذا كانت ‪ A, B‬منفصلتان‬
‫فأن ‪ C, D‬منفصلتان‬
‫البرهان‪:‬‬
‫‪C  A, D  B‬‬ ‫بما أن ‪ C  A, D  B‬‬
‫بما أن ‪ C, D  C  D   , C  D    A  B   , A  B  ‬منفصلتان‬
‫مبرهنة )‪(5.1.5‬‬
‫ليكن ) ‪ (X ,‬فضاء تبولوجي ولتكن ‪A, B  X‬‬
‫‪ .1‬إذا كانت كل من ‪ A, B‬مجموعة مغلقة في ‪ X‬فأن ‪ A, B‬منفصلتان إذا وفقط إذا كانت ‪A  B  ‬‬
‫‪ .2‬إذا كانت كل من ‪ A, B‬مجموعة مفتوحة في ‪ X‬فأن ‪ A, BA‬منفصلتان إذا وفقط إذا كانت ‪A  B  ‬‬
‫البرهان ‪:‬‬
‫‪ .1‬نفرض ‪ A, B‬منفصلتان ‪ ‬من التعريف نستنتج أن ‪A  B  ‬‬
‫‪A B ‬‬ ‫اﻻتجاه اﻵخر‪ .‬نفرض‬
‫بما أن كل من ‪ A, B‬مغلقة ‪A  A, B  B ‬‬
‫‪A  B  A  B  ,‬‬ ‫‪A B  A B ‬‬
‫‪ A, B ‬منفصلتان‬
‫‪ .2‬نفرض ‪ A, B‬منفصلتان ‪ ‬من التعريف نستنتج أن ‪A  B  ‬‬
‫اﻻتجاه اﻵخر‪ .‬نفرض ‪A  B  ‬‬
‫بما أن كل من ‪ A, B‬مجموعة مفتوحة في ‪  X‬كل من ‪ A , B‬مجموعة مغلقة في ‪X‬‬
‫‪c‬‬ ‫‪c‬‬

‫‪Ac  Ac , B c  B c ‬‬
‫بما أن ‪A  B c , B  A c  A  B  ‬‬
‫‪A  B  , B  A  ‬‬ ‫‪‬‬ ‫‪A  B c  B c , B  Ac  Ac‬‬ ‫‪‬‬
‫‪ A, B‬منفصلتان‬ ‫‪‬‬
‫مبرهنة )‪(6.1.5‬‬
‫فضاء تبولوجيا َ ولتكن ‪ A, B  X‬بحيث أن ‪ A  B  ‬فأن ‪ A, B‬منفصلتان إذا وفقط إذا كانت كل من‬
‫َ‬ ‫ليكن ) ‪(X ,‬‬
‫‪ A, B‬مفتوحة ومغلقة في الفضاء الجزئي ‪Y  A  B‬‬
‫البرهان ‪:‬‬
‫نفرض ‪ A, B‬مجموعتان منفصلتان في ‪A  B   , A  B    X‬‬
‫‪AY  A Y  A  (A  B )  (A  A )  (A  B )  A    A‬‬
‫‪ A ‬مغلقة في ‪ Y‬وبالمثل نبرهن المجموعة ‪ B‬مغلقة في ‪Y‬‬
‫بما أن ‪A  B  Y , A  B  ‬‬

‫‪134‬‬
 ‫أ‪.‬د‪ .‬نوري فرحان المياحي‬ ‫سلسلة محاضرات‬
‫كلية العلوم ‪ /‬جامعة القادسية‬ ‫قسم الرياضيات‬
‫‪Topology I‬‬ ‫تبولوجيا )‪(1‬‬

‫محاضرة )‪(5‬‬ ‫دراسات أولية ‪ /‬مستوى رابع‬ ‫)‪Math(451‬‬

‫نظرية ‪ 3:‬مناقشة ‪ 1:‬عدد وحدات ‪3:‬‬
‫‪ AY‬مجموعة مغلقة في ‪ A  Y‬مفتوحة في ‪Y‬‬
‫‪c‬‬ ‫‪c‬‬
‫‪ AY  B‬‬ ‫‪‬‬
‫وبالمثل نبرهن ‪ B‬مجموعة مفتوحة في ‪. Y‬‬
‫نفرض كل من ‪ A, B‬مجموعة مفتوحة و مغلقة في ‪Y‬‬ ‫اﻻتجاه اﻵخر‪.‬‬
‫) ‪A  AY  A Y  A  (A  B )  (A  A )  (A  B )  A  (A  B‬‬
‫بما أن ‪ A  B    A  B  ‬وبالمثل نبرهن ‪A  B  ‬‬
‫‪ ‬المجموعتان ‪ A, B‬منفصلتان ‪.‬‬
‫تمارين )‪(1.5‬‬
‫‪ .1‬في الفضاء التبولوجي اﻻعتيادي ‪ .  , u ‬إذا كانت ‪ A  0,1, B  1,2, C  1,2‬برهن على أن‬
‫‪ A, B‬مجموعتان منفصلتان‪ .‬ولكن المجموعتين ‪ A, C‬ليستا منفصلتين‬
‫فضاء تبولوجيا َ ولتكن ‪ . A, B  X‬إذا كان كل من ‪ A, B‬مجموعة مفتوحة أو كل منها مجموعة‬
‫َ‬ ‫‪ .2‬ليكن ) ‪(X ,‬‬
‫مغلقة فأن المجموعتين ‪ A | B, B | A‬منفصلتان ‪ .‬برهن ذلك‪.‬‬
‫فضاء تبولوجيا ‪ ,‬ولتكن ‪ A, B  X‬بحيث أن ‪ . A  B  X‬إذا كانت ‪ A , B‬مجموعتين نفصلتين‪.‬‬
‫‪c‬‬ ‫‪c‬‬
‫َ‬ ‫‪ .3‬ليكن ) ‪(X ,‬‬
‫برهن على أن ‪ C  C  A  A  C  B  B ‬لكل ‪. C  X‬‬

‫‪Connected Sets‬‬ ‫‪ 2.5‬المجموعات المترابطة‬

‫حدسيا الفضاء التبولوجي مترابط إذا كان "قطعة واحدة" ولكن كيف يجب تفسير" قطعة" تبولوجيا ؟ من المعقول أن‬
‫تكون المجموعة الجزئية المفتوحة أو المغلقة من "قطعة " مفتوحة او مغلقة على التوالي من كامل الفضاء ‪ . X‬من‬
‫خﻼل مبرهنات سابقة يجب أن نتوقع أن " قطعة" هي مجموعة جزئية مفتوحة ومغلقة في ‪ . X‬والتعريف التالي يبين لنا‬
‫هذا المفهوم ‪.‬‬
‫تعريف )‪(1.2.5‬‬
‫ليكن ) ‪ (X ,‬فضاء تبولوجيا َ ولتكن ‪ A  X‬يقال عن المجموعة ‪ A‬بأنها غير مرتبطة )‪ (Disconnected‬إذا‬
‫كانت ‪ A‬تساوي اتحاد مجموعتين منفصلتين‪ .‬بعبارة أخرى إذا وجدت مجموعتين ‪ A1 , A2‬بحيث أن ‪ A1   , A2  ‬وان‬
‫‪ . A  A1  A2 , A1  A2   , A1  A2  ‬ويقال عن المجموعة ‪ A‬بأنها مترابطة )‪ (Connected‬إذا لم تكن غير‬
‫مترابطة‪ .‬ويقال عن الفضاء التبولوجي ) ‪ (X ,‬بأنه غير مترابط إذا كانت المجموعة ‪ X‬غير مترابطة‪.‬‬
‫يتضح من التعريف مباشرة إن َ‬
‫كﻼ من المجموعة الخالية والمجموعة اﻷحادية هي مجموعة مترابطة‬
‫مبرهنة )‪(2.2.5‬‬
‫فضاء جزئيا َ من الفضاء التبولوجي ) ‪ (X ,‬ولتكن ‪ A  Y‬فأن المجموعة ‪ A‬تكون مترابطة بالنسبة إلى ‪ Y‬‬
‫َ‬ ‫ليكن ) ‪(Y ,Y‬‬
‫إذا وفقط إذا كانت مترابطة بالنسبة إلى ‪‬‬
‫البرهان ‪:‬‬
‫مباشرة من المبرهنة )‪(3.1.5‬‬

‫‪135‬‬
 ‫أ‪.‬د‪ .‬نوري فرحان المياحي‬ ‫سلسلة محاضرات‬
‫كلية العلوم ‪ /‬جامعة القادسية‬ ‫قسم الرياضيات‬
‫‪Topology I‬‬ ‫تبولوجيا )‪(1‬‬

‫محاضرة )‪(5‬‬ ‫دراسات أولية ‪ /‬مستوى رابع‬ ‫)‪Math(451‬‬

‫نظرية ‪ 3:‬مناقشة ‪ 1:‬عدد وحدات ‪3:‬‬

‫مبرهنة )‪(3.2.5‬‬
‫الفضاء التبولوجي ) ‪ (X ,‬يكون غير مترابط إذا وفقط إذا توجد مجموعة جزئية فعلية غير خالية ‪ A‬من ‪ X‬بحيث أن ‪A‬‬
‫مفتوحة ومغلقة في ‪X‬‬
‫البرهان ‪:‬‬
‫نفرض الفضاء التبولوجي ) ‪ (X ,‬غير مترابط‬
‫‪ ‬توجد مجموعتين غير خاليتين ‪ A, B‬في ‪ X‬بحيث أن ‪A  B  ‬‬
‫‪A B  X,‬‬ ‫‪A B ‬‬
‫بما أن ‪A  B    A  A‬‬
‫بما أن ‪ A  B c  A  B   , A  B  X‬و ‪ B‬مجموعة غير خالية‬
‫‪ A ‬مجموعة جزئية فعلية غير خالية من ‪X‬‬
‫بما أن ‪A  B  A  B  B  B‬‬
‫بما أن ‪ X  A  B  A  B  X‬ولكن ‪A  B  X  A  B  X‬‬
‫بما أن ‪ A  B   A  B  X , A  B  ‬وبالمثل نبرهن ‪B  A‬‬
‫‪c‬‬ ‫‪c‬‬

‫بما أن كل من ‪ A, B‬مجموعة مغلقة في ‪  X‬كل من ‪ A, B‬مجموعة مفتوحة في ‪X‬‬

‫بما أن ‪ A  A  B c‬مجموعة مغلقة في ‪ X‬وعليه ‪ A‬مجموعة جزئية فعلية غير خالية‬
‫مفتوحة ومغلقة في ‪X‬‬
‫اﻻتجاه اﻵخر‪ .‬لتكن ‪ A‬مجموعة جزئية فعلية غير خالية مفتوحة ومغلقة في ‪ X‬يجب أن نبرهن على أن ‪ X‬غير‬
‫مترابط‬
‫نفرض ‪ B  B  A‬مجموعة جزئية غير خالية في ‪ X‬وبسهولة يمكن إثبات‬‫‪c‬‬

‫‪A B  X,‬‬ ‫‪A  B  ,‬‬ ‫‪A B ‬‬

‫‪ ‬الفضاء ‪ X‬غير مترابط‬
‫نتيجة )‪(4.2.5‬‬
‫الفضاء التبولوجي ) ‪ (X ,‬يكون مترابط إذا وفقط إذا كانت المجموعة ‪ X‬هي فقط المجموعة الجزئية غير الخالية من ‪X‬‬
‫والتي تكون مغلقة ومفتوحة في ‪. X‬‬
‫نتيجة )‪(5.2.5‬‬
‫ليكن ) ‪ (X ,‬فضاء تبولوجي ولتكن ‪ Y  X‬فأن الفضاء الجزئي ) ‪ (Y ,Y‬يكون غير مترابط إذا وفقط إذا وجدت مجموعة‬
‫جزئية فعلية غير خالية ‪ A‬في ‪ Y‬بحيث تكون مفتوحة ومغلقة في ‪ , Y‬وبعبارة أخرى إذا وفقط إذا توجد مجموعة مفتوحة ‪G‬‬
‫في ‪ X‬ومجموعة مغلقة ‪ F‬في ‪ X‬بحيث أن ‪. A  F  Y , A  G  Y‬‬
‫مثال)‪(6.2.5‬‬
‫‪.1‬الفضاء التبولوجي المبعثر ) ‪ (X ,‬يكون غير مترابط إذا كانت ‪ X‬تحتوي على أكثر من عنصر‪ .‬ﻻن كل مجموعة‬
‫جزئية فعلية غير خالية من ‪ X‬تكون مغلقة ومفتوحة‪.‬‬
‫‪ .2‬الفضاء التبولوجي المتماسك ) ‪ (X ,‬يكون مترابط ‪ .‬ﻻن المجموعة ‪ X‬هي فقط المجموعة غير الخالية المفتوحة‬
‫‪136‬‬
 ‫أ‪.‬د‪ .‬نوري فرحان المياحي‬ ‫سلسلة محاضرات‬
‫كلية العلوم ‪ /‬جامعة القادسية‬ ‫قسم الرياضيات‬
‫‪Topology I‬‬ ‫تبولوجيا )‪(1‬‬

‫محاضرة )‪(5‬‬ ‫دراسات أولية ‪ /‬مستوى رابع‬ ‫)‪Math(451‬‬

‫نظرية ‪ 3:‬مناقشة ‪ 1:‬عدد وحدات ‪3:‬‬
‫والمغلقة ‪.‬‬
‫‪ .3‬ليكن } ‪  { ,{a},{a , b },{a , b , c }, X } ، X  {a, b , c , d‬‬
‫نﻼحظ أن المجموعات المغلقة في ‪ X‬هي ‪X ,{b , c , d },{c , d },{d }, ‬‬
‫ﻻ توجد مجموعة جزئية فعلية غير خالية من ‪ X‬تكون مفتوحة ومغلقة فان ‪ X‬مترابط ‪.‬‬
‫‪ .4‬ليكن } ‪  { ,{a},{c , d },{a , c , d },{b , c , d .e }, X } ، X  {a, b , c , d , e‬‬
‫نﻼحظ أن ‪ X‬غير مترابط ﻻن المجموعة }‪ {a‬مجموعة جزئية فعلية غير خالية مفتوحة ومغلقة في ‪X‬‬
‫وإذا كانت } ‪ A  {b , d , e‬فان ‪ A‬مجموعة مترابط في ‪ . X‬ﻻن } ‪  A  { ,{d }, A‬وعليه المجموعة ‪ A‬هي المجموعة‬
‫الوحيدة المفتوحة والمغلقة في ‪A‬‬
‫مثال)‪(7.2.5‬‬
‫ليكن كل من ) ‪ (X , 2 ) ، (X , 1‬فضاء تبولوجيا بحيث أن ‪ 1   2‬‬
‫‪ .1‬إذا كان الفضاء التبولوجي ) ‪ (X , 1‬غير مترابط فان الفضاء التبولوجي ) ‪ (X , 2‬غير مترابط أيضا‪.‬‬
‫‪ .2‬إذا كان الفضاء التبولوجي ) ‪ (X , 2‬مترابط فان الفضاء التبولوجي ) ‪ (X , 1‬مترابط أيضا‪.‬‬
‫البرهان ‪:‬‬
‫‪ .1‬بما أن ) ‪ (X , 1‬غير مترابط فانه توجد مجموعة جزئية فعلية غير خالية ‪ A‬في ‪ X‬بحيث‬
‫تكون مفتوحة ومغلقة بالنسبة للتبولوجي ‪A , A c  1   1‬‬
‫بما أن ‪ A , A c  2   1   2‬وعليه ‪ A‬مجموعة مفتوحة ومغلقة في ‪ X‬بالنسبة للتبولوجي ‪ 2‬‬
‫‪ (X , 2 ) ‬غير مترابط ‪.‬‬
‫‪ .2‬سنبرهن بطريقة التناقض ‪ :‬نفرض ) ‪ (X , 1‬غير مترابط ‪.‬‬
‫باستخدام )‪ (1‬يكون ) ‪ (X , 2‬غير مترابط وهذا تناقض ‪.‬‬
‫مبرهنة)‪(8.2.5‬‬
‫ليكن ) ‪ (X ,‬فضاء تبولوجيا ‪ .‬فان العبارات اﻵتية متكافئة‬
‫‪ X .1‬فضاء غير مترابط‬
‫‪ X .2‬يساوي اتحاد مجموعتين غير خاليتين متنافيين مفتوحتين في ‪. X‬‬
‫‪ X .3‬يساوي اتحاد مجموعتين غير خاليتين متنافيين مغلقتين في ‪. X‬‬
‫البرهان ‪:‬‬
‫)‪(2)  (1‬‬
‫بما أن ‪ X‬فضاء غير مترابط ‪ ‬توجد مجموعة جزئية فعلية غير خالية ‪ A‬من ‪ X‬بحيث أن ‪ A‬مفتوحة ومغلقة في ‪. X‬‬
‫نضع ‪ B  B  A c‬مجموعة مفتوحة في ‪ X‬وان ‪ A  B  ‬وكذلك ‪ A  B  X‬وعليه ‪ X‬يساوي اتحاد‬
‫مجموعتين غير خاليتين متنافيين مفتوحتين في ‪. X‬‬
‫)‪(3)  (2‬‬
‫نفرض ‪ A, B‬مجموعتين غير خاليتين متنافيين مفتوحتين في ‪ X‬وكذلك ‪. A  B  X‬‬
‫‪ A c , B c ‬مجموعتين مغلقتين في ‪ X‬وان‬

‫‪137‬‬
 ‫أ‪.‬د‪ .‬نوري فرحان المياحي‬ ‫سلسلة محاضرات‬
‫كلية العلوم ‪ /‬جامعة القادسية‬ ‫قسم الرياضيات‬
‫‪Topology I‬‬ ‫تبولوجيا )‪(1‬‬

‫محاضرة )‪(5‬‬ ‫دراسات أولية ‪ /‬مستوى رابع‬ ‫)‪Math(451‬‬

‫نظرية ‪ 3:‬مناقشة ‪ 1:‬عدد وحدات ‪3:‬‬
‫‪A c  B c  ( A  B) c   c  X‬‬ ‫‪ A c  B c  ( A  B) c  X c  ‬وكذلك‬
‫)‪(1)  (3‬‬
‫نفرض ‪ A, B‬مجموعتين غير خاليتين متنافيين مغلقتين في ‪ X‬وكذلك ‪. A  B  X‬‬
‫‪ A  A  B c ‬مجموعة مفتوحة في ‪X‬‬
‫‪ A ‬مجموعة مفتوحة ومغلقة في ‪. X‬‬
‫بما أن ‪ A  B  ‬مجموعة جزئية فعلية في ‪ X  X‬فضاء غير مترابط‪.‬‬
‫مبرهنة)‪(9.2.5‬‬
‫ليكن ) ‪ (X ,‬فضاء تبولوجيا ولتكن ‪ A  X‬فان المجموعة ‪ A‬تكون غير مترابطة إذا وفقط إذا توجد مجموعتين‬
‫غير خاليتين ‪ G‬و ‪ H‬مفتوحتين )مغلقتين( في ‪ X‬بحيث أن‬
‫‪A  H   ، A  G   .1‬‬
‫‪G  H  A c ، A  G  H .2‬‬
‫البرهان‪:‬‬
‫المجموعة ‪ A‬تكون غير مترابطة إذا وفقط إذا توجد مجموعتان غير خاليتين ‪ G‬و ‪ H‬مفتوحتان )مغلقتان( في‬
‫‪ X‬بحيث أن ‪G  H  X‬‬
‫‪G  A   , H  A   , (G  A)  ( H  A)   , (G  A)  ( H  A)  A ‬‬
‫اﻵن ‪:‬‬
‫‪AGH‬‬ ‫‪ (G  H )  A  A  (G  A)  ( H  A)  A‬‬
‫‪G  H  Ac‬‬ ‫‪ (G  H )  A  ‬‬ ‫‪ (G  A)  ( H  A)  ‬‬
‫مبرهنة )‪(10.2.5‬‬
‫الفضاء التبولوجي ) ‪ (X ,‬يكون مترابط إذا وفقط إذا كانت كل مجموعة جزئية فعلية ‪ A‬غير خالية من ‪ X‬فان‬
‫‪.  (A )  ‬‬
‫البرهان ‪:‬‬
‫نفرض كل مجموعة جزئية فعلية غير خالية ‪ A‬من ‪ X‬بحيث أن ‪ .  (A )  ‬يجب أن نبرهن أن ‪ X‬فضاء مترابط ‪.‬‬
‫سنبرهن بطريقة التناقض ‪ :‬نفرض الفضاء ‪ X‬غير مترابط ‪ ‬باستخدام مبرهنة )‪ (8.6.2‬توجد مجموعة جزئية‬
‫فعلية ‪ A‬غير خالية من ‪ X‬بحيث ان ‪ A‬مغلقة ومفتوحة في ‪A  int( A )  A  X‬‬
‫ولكن ) ‪  (A )     (A )  A | int( A‬وهذا تناقض ‪ X ‬فضاء مترابط ‪.‬‬
‫اﻻتجاه اﻷخر ‪ :‬نفرض ‪ X‬مترابط ‪ .‬سنبرهن بطريقة التناقض ‪ :‬نفرض وجود مجموعة جزئية فعلية غير خالية ‪A‬‬
‫من ‪ X‬بحيث أن ‪.  (A )  ‬‬
‫)‪ A  A  int( A)  A  A  int( A)   ( A)  A   ( A‬مجموعة جزئية فعلية غير خالية مفتوحة ومغلقة‬
‫في ‪ X  X‬فضاء غير مترابط وهذا تناقض‪.‬‬

‫‪138‬‬
 ‫أ‪.‬د‪ .‬نوري فرحان المياحي‬ ‫سلسلة محاضرات‬
‫كلية العلوم ‪ /‬جامعة القادسية‬ ‫قسم الرياضيات‬
‫‪Topology I‬‬ ‫تبولوجيا )‪(1‬‬

‫محاضرة )‪(5‬‬ ‫دراسات أولية ‪ /‬مستوى رابع‬ ‫)‪Math(451‬‬

‫نظرية ‪ 3:‬مناقشة ‪ 1:‬عدد وحدات ‪3:‬‬

‫مبرهنة )‪(11.2.5‬‬
‫لتكن ‪ A‬مجموعة مترابطة في الفضاء التبولوجي ) ‪ (X ,‬بحيث أن ‪ ، A  A1  A 2‬وان ‪ A 2 ، A1‬مجموعتين‬
‫منفصلتين ‪ ،‬فان ‪ A  A1‬أو ‪A  A 2‬‬
‫البرهان ‪:‬‬
‫بما أن ‪ A 2 ، A1‬منفصلتين فان ‪A1  A 2   , A1  A 2  ‬‬
‫بما أن ‪A  A  ( A1  A 2 )  ( A  A1 )  ( A  A1 )  A  A1  A 2‬‬
‫يجب أن نبرهن ‪ A  A1  ‬أو ‪A  A 2  ‬‬
‫سنبرهن بطريقة التناقض ‪ :‬نفرض ‪ A  A1  ‬و ‪A  A 2  ‬‬
‫‪(A  A1 )  (A  A 2 )  (A  A1 )  (A  A 2 )  (A  A )  (A1  A 2 )  (A  A )    ‬‬
‫وبالمثل نبرهن ‪ (A  A1 )  (A  A 2 )  ‬وعليه المجموعتين ‪ A  A 2 ، A  A1‬منفصلتين‬
‫‪ A ‬تساوي اتحاد مجموعتين منفصلتين ‪ A ‬مجموعة مترابطة وهذا تناقض ‪.‬‬
‫وعليه أما ‪ A  A1  ‬أو ‪A  A 2  ‬‬
‫إذا كانت ‪ A  A1  ‬فان ‪A  A 2  A  A  A 2‬‬
‫أو إذا كانت ‪ A  A 2  ‬فان ‪A  A1  A  A  A1‬‬
‫نتيجة )‪(12.2.5‬‬
‫لتكن ‪ A‬مجموعة مترابطة في الفضاء التبولوجي ) ‪ (X ,‬بحيث أن ‪ ، A  A1  A 2‬وان ‪ A 2 ، A1‬مجموعتين‬
‫متنافيتين مفتوحتين)مغلقتين( ‪ ،‬فان ‪ A 2 ، A1‬منفصلتين‬
‫مبرهنة)‪(13.2.5‬‬
‫ليكن ) ‪ (X ,‬فضاء تبولوجيا ولتكن ‪ A‬مجموعة مترابطة في ‪ . X‬إذا كانت ‪ B‬مجموعة جزئية في ‪ X‬بحيث أن‬
‫‪ A  B  A‬فان ‪ B‬مجموعة مترابطة في ‪X‬‬
‫البرهان ‪:‬‬
‫سنبرهن بطريقة التناقض ‪ :‬نفرض أن المجموعة ‪ B‬غير مترابطة‬
‫‪ B ‬تساوي اتحاد مجموعتين منفصلتين ‪ ،‬أي يوجد ‪ B 1 , B 2  X‬بحيث أن‬
‫‪B 1  B 2   , B1  B 2   ، B 1  B 2  B ، B 1   , B 2  ‬‬
‫بما أن ‪ . A  B 1  B 2  A  B‬باستخدام المبرهنة )‪ (11.2.5‬نحصل على ‪ A  B 1‬أو ‪A  B 2‬‬
‫نفرض أن ‪. A  B 2    A  B 2  B 1  B 2    A  B 1  A  B 1‬‬
‫وكذلك ‪B 2    A  B 2  B 2  B 2  B  A  B 1  B 2  B  A‬‬
‫وهذا تناقض ﻻن ‪ B 2  ‬وعليه ‪ B‬يجب أن تكن مترابطة‬
‫نتيجة)‪(14.2.5‬‬
‫ليكن ) ‪ (X ,‬فضاء تبولوجيا ولتكن ‪ A‬مجموعة مترابطة في ‪ X‬فان ‪ A‬تكون أيضا مجموعة مترابطة في ‪. X‬‬

‫‪139‬‬
 ‫أ‪.‬د‪ .‬نوري فرحان المياحي‬ ‫سلسلة محاضرات‬
‫كلية العلوم ‪ /‬جامعة القادسية‬ ‫قسم الرياضيات‬
‫‪Topology I‬‬ ‫تبولوجيا )‪(1‬‬

‫محاضرة )‪(5‬‬ ‫دراسات أولية ‪ /‬مستوى رابع‬ ‫)‪Math(451‬‬

‫نظرية ‪ 3:‬مناقشة ‪ 1:‬عدد وحدات ‪3:‬‬

‫مبرهنة )‪(15.2.5‬‬
‫لتكن ‪ A‬مجموعة جزئية في الفضاء التبولوجي اﻻعتيادي ) ‪ ، (, u‬فان ‪ A‬مجموعة مترابطة إذا وفقط إذا كانت ‪ A‬فترة ‪.‬‬
‫البرهان ‪:‬‬
‫لتكن ‪ A‬مجموعة مترابطة في ‪ . ‬إذا كانت ‪ A‬مجموعة خالية أو أحادية ينتهي البرهان ‪.‬‬
‫أما إذا كانت ‪ A‬تحتوي على اﻷقل عنصرين‪ .‬سنبرهن بطريقة التناقض ‪ :‬نفرض أن ‪ A‬ليست فترة‬
‫اذن يوحد ‪ p  A ، a , b  A‬بحيث ‪a  p  b‬‬
‫ليكن ‪G  A  G  ( p , )  A‬‬
‫بما أن ‪G    b G‬‬
‫بما أن ‪ G  a  A , a G‬مجموعة جزئية فعلية من ‪. A‬‬
‫بما أن )‪ ( p , ‬مجموعة مفتوحة في ‪ ‬فان ‪ G‬مجموعة مفتوحة في ‪A‬‬
‫وبالمثل إذا كانت ‪ H  ( , p )  A‬فان ‪ H‬مجموعة جزئية فعلية مفتوحة في ‪A‬‬
‫وبسهولة إثبات ‪ A  G  H  A , G  H   , G  H  ‬مجموعة غير مترابطة‬
‫وهذا تناقض ‪ A ‬فترة في ‪‬‬
‫اﻻتجاه اﻷخر ‪ :‬نفرض ‪ A‬فترة في ‪‬‬
‫سنبرهن بطريقة التناقض ‪ :‬نفرض أن المجموعة ‪ A‬غير مترابطة‬
‫اذن توجد مجموعتين متنافيتين غير خاليتين ‪ M , N‬مغلقتين في ‪ A‬بحيث ‪A  M  N‬‬
‫ليكن ‪a  M , b  N‬‬
‫بما أن ‪ M  N  ‬فان ‪ a  b‬وعليه أما ‪ a  b‬أو ‪b  a‬‬
‫دون فقدان في العمومية ‪ ،‬نفرض ‪a  b‬‬
‫بما أن ‪ A‬فترة في ‪، ‬وان ‪ ، a , b  A‬نحصل على ‪[a, b ]  A  M  N‬‬
‫ليكن } ‪p  sup{x : x  [a, b ]  M‬‬
‫بما ان ] ‪ [a, b‬مجموعة مغلقة فان ] ‪ ، p  [a, b‬أي ان ‪a  p  b‬‬
‫لكل ‪   0‬يوجد ‪ x  [a, b ]  M‬بحيث ان ‪ p    x  p‬وهذا يعني كل جوار إلى ‪ p‬يحتوي نقطة من ‪[a, b ]  M‬‬
‫وبالتالي ‪ p  M‬أو ‪ p  M ‬ولكن ‪ M‬مغلقة فان ‪. p  M‬‬
‫مرة أخرى بما أن ‪ ، b  N‬نحصل على ‪ ، p  b  b  p‬وأكثر من ذلك تعريف ‪ p‬يبين ‪ p    N‬لكل ‪  0‬‬
‫بحيث أن ‪ . p    b‬وهذا يعني كل جوار إلى ‪ p‬يحتوي نقطة من ‪ N‬تختلف عن ‪ p‬وعليه ‪ p  N ‬ولكن ‪ N‬مغلقة‬
‫فان ‪p  N‬‬
‫وبالتالي ‪ p  M  N‬وهذا تناقض ﻻن ‪. M  N  ‬يجب أن تكون ‪ A‬مترابطة‬
‫نتيجة )‪(16.2.5‬‬
‫الفضاء التبولوجي اﻻعتيادي ) ‪ (, u‬مترابط ‪.‬‬

‫‪140‬‬
 ‫أ‪.‬د‪ .‬نوري فرحان المياحي‬ ‫سلسلة محاضرات‬
‫كلية العلوم ‪ /‬جامعة القادسية‬ ‫قسم الرياضيات‬
‫‪Topology I‬‬ ‫تبولوجيا )‪(1‬‬

‫محاضرة )‪(5‬‬ ‫دراسات أولية ‪ /‬مستوى رابع‬ ‫)‪Math(451‬‬

‫نظرية ‪ 3:‬مناقشة ‪ 1:‬عدد وحدات ‪3:‬‬

‫مثال)‪(17.2.5‬‬
‫في الفضاء التبولوجي اﻻعتيادي ) ‪(, u‬‬
‫‪1‬‬ ‫‪1‬‬
‫‪ .1‬مجموعة اﻷعداد الطبيعية ‪ ‬غير مترابطة ﻷنه لو أخذنا ) ‪ G  (,‬و )‪ H  ( , ‬فان‬
‫‪2‬‬ ‫‪2‬‬
‫)ا( ‪ H   ، G  ‬و ‪G  H  ‬‬
‫)ب( كل من ‪ G‬و ‪ H‬مجموعة مفتوحة في ‪‬‬
‫)ج( ‪.   G  H‬‬
‫‪1‬‬ ‫‪1‬‬
‫‪ .2‬مجموعة اﻷعداد الصحيحة ‪ ‬غير مترابطة ﻷنه لو أخذنا ) ‪ G  (,‬و )‪ H  ( , ‬فان‬
‫‪2‬‬ ‫‪3‬‬
‫)ا( ‪ H   ، G  ‬و ‪G  H  ‬‬
‫)ب( كل من ‪ G‬و ‪ H‬مجموعة مفتوحة في ‪‬‬
‫)ج( ‪.   G  H‬‬
‫‪ .3‬مجموعة اﻷعداد النسبية ‪ ‬غير مترابطة ﻷنه لو أخذنا ) ‪ G  (, 3‬و )‪ H  ( 3 , ‬فان‬
‫)ا( ‪ H   ، G  ‬و ‪G  H  ‬‬
‫)ب( كل من ‪ G‬و ‪ H‬مجموعة مفتوحة في ‪‬‬
‫)ج( ‪.   G  H‬‬
‫اﻻستمرارية والترابط ‪Continuity and Connectedness‬‬
‫مبرهنة)‪(18.2.5‬‬
‫فضاء تبولوجيا ‪ ,‬ولتكن ‪ f : X  Y‬دالة مستمرة ‪.‬إذا كانت ‪ X‬فضاء مترابط فأن‬
‫َ‬ ‫ليكن كل من ) ‪(Y , 2 ) ، (X , 1‬‬
‫) ‪ f (X‬تكون مجموعة مترابطة في ‪ ، Y‬بعبارة أخرى الصورة المستمرة لفضاء مترابط تكون مجموعة مترابطة‪.‬‬
‫البرهان‪:‬‬
‫سنبرهن بطريقة التناقض‪ .‬نفرض ) ‪ f (X‬مجموعة غير مترابطة في ‪  Y‬توجد مجموعتان مفتوحتان ‪G1 ,G2‬‬
‫بحيث أن‬
‫‪G1  f ( X )   , G 2  f ( X )   .1‬‬
‫‪(G1  f (X ))  (G 2  f (X ))   .2‬‬
‫‪(G1  G 2 )  f (X )    (G1  f (X ))  (G 2  f (X ))   (G1  f ( X ))  (G2  f ( X ))  f ( X ) .3‬‬
‫‪f‬‬ ‫‪1‬‬
‫‪(G1 )  f‬‬ ‫‪1‬‬
‫‪(G 2 )  f (X )  ‬‬ ‫‪ f‬‬ ‫‪1‬‬
‫‪((G1  G 2 )  f (X ))  f‬‬ ‫‪1‬‬
‫‪( )  ‬‬ ‫‪‬‬
‫‪f‬‬ ‫‪1‬‬
‫‪(G1 )  f‬‬ ‫‪1‬‬
‫‪(G2 )  ‬‬ ‫‪‬‬
‫وكذلك‬
‫) ‪(G1  (G2 )  f ( X )  f ( X )  (G1  f ( X ))  (G2  f ( X ))  f ( X‬‬
‫‪1‬‬
‫‪f‬‬ ‫‪(G1  (G 2 )  f 1f ( X ))  X  f 1 ((G1  G 2 )  f (X ))  f 1 (f (X ))  X ‬‬
‫‪. f 1 (G1 )  f 1 (G 2 )  X‬‬ ‫‪ f‬‬ ‫‪1‬‬
‫‪(G1 )  f‬‬ ‫‪1‬‬
‫‪(G 2 )  X  X‬‬ ‫‪‬‬

‫‪141‬‬
 ‫أ‪.‬د‪ .‬نوري فرحان المياحي‬ ‫سلسلة محاضرات‬
‫كلية العلوم ‪ /‬جامعة القادسية‬ ‫قسم الرياضيات‬
‫‪Topology I‬‬ ‫تبولوجيا )‪(1‬‬

‫محاضرة )‪(5‬‬ ‫دراسات أولية ‪ /‬مستوى رابع‬ ‫)‪Math(451‬‬

‫نظرية ‪ 3:‬مناقشة ‪ 1:‬عدد وحدات ‪3:‬‬
‫‪ f‬مجموعات مفتوحة وغير خالية في ‪X‬‬ ‫‪1‬‬
‫‪(G1 ), f‬‬ ‫‪1‬‬
‫بما أن الدالة ‪ f‬مستمرة ‪(G 2 ) ‬‬
‫‪ X ‬غبر مترابط ‪ ،‬وهذا تناقض ‪ f (X ) ‬مجموعة مترابطة في ‪. Y‬‬
‫نتيجة)‪(19.2.5‬‬
‫فضاء تبولوجيا ‪ ,‬ولتكن ‪ f : X  Y‬دالة شاملة ومستمرة ‪.‬إذا كانت ‪ X‬مترابط‬
‫َ‬ ‫ليكن كل من ) ‪(Y , 2 ) ، (X , 1‬‬
‫فأن ‪ Y‬يكون مترابط في ‪Y‬‬
‫نتيجة)‪(20.2.5‬‬
‫فضاء تبولوجيا ‪ ,‬ولتكن ‪ f : X  Y‬دالة مستمرة ‪.‬إذا كانت ‪ A‬مجموعة مترابطة في ‪X‬‬
‫َ‬ ‫ليكن كل من ) ‪(Y , 2 ) ، (X , 1‬‬
‫فأن ) ‪ f (A‬تكون مجموعة مترابطة في ‪Y‬‬
‫مبرهنة)‪(21.2.5‬‬
‫فضاء تبولوجيا َ بحيث أن ‪ , X  Y‬فان ‪ X‬فضاء مترابط إذا وفقط إذا كان ‪ Y‬فضاء‬
‫َ‬ ‫ليكن كل من ) ‪(Y , 2 ) ، (X , 1‬‬
‫مترابط‪.‬‬
‫البرهان ‪:‬‬
‫بما إن ‪  X  Y‬يوجد تشاكل تبولوجي ‪f : X  Y‬‬
‫نفرض ‪ X‬فضاء مترابط ‪ ،‬بما أن الدالة ‪ f‬مستمرة ‪ f (X ) ‬مجموعة مترابطة في ‪Y‬‬
‫بما أن الدالة ‪ f‬شاملة ‪ Y  f (X ) Y ‬فضاء مترابط‬
‫اﻻتجاه اﻵخر ‪ :‬نفرض ‪ Y‬فضاء مترابط‬
‫بما أن الدالة ‪ f 1 : Y  X‬مستمرة ‪ f (Y )  X ‬فضاء مترابط‬
‫‪1‬‬

‫تمارين)‪(2.5‬‬
‫‪ .1‬برهن على أن كل مجموعة منتهية في فضاء تبولوجي ) ‪ (X ,‬تكون غير مترابطة‪.‬‬
‫‪ .2‬هل أن تقاطع المجموعات المترابطة في الفضاءات التبولوجية تكون مجموعة مترابطة‪.‬‬
‫‪ .3‬هل أن المجموعة }‪ A  {(x , y )   2 : x , y  ‬مترابطة في الفضاء التبولوجي اﻻعتيادي ) ‪. ( , u‬‬
‫‪2‬‬

‫‪ .4‬برهن على أن كل مجموعة مترابطة في الفضاء التبولوجي اﻻعتيادي ) ‪ (, u‬تكون فترة‪.‬‬
‫‪ .5‬لتكن كل من ‪ f , g :    ‬دالة وليكن }) ‪B  {(x , y )  2 : y  g (x )} ، A  {(x , y )  2 : y  f (x‬‬
‫برهن على أن ‪ A  B‬غير مترابطة في الفضاء التبولوجي اﻻعتيادي ) ‪. ( 2 , u‬‬
‫‪ .6‬لتكن ‪ A‬مجموعة مترابطة في الفضاء التبولوجي اﻻعتيادي ) ‪ . (, u‬برهن على لكل ‪ a , b  A‬يوجد ‪c  A‬‬
‫يقع بين ‪. a , b‬‬
‫‪ .7‬ليكن ) ‪ (X ,‬فضاء تبولوجيا ولتكن ‪ . A  X‬برهن على ان ‪ A‬مجموعة مترابطة إذا كانت كل نقطتين في ‪A‬‬
‫محتواة في مجموعة جزئية مترابطة من ‪. A‬‬
‫‪ .8‬ليكن } ‪ X  {a, b , c , d , e‬وليكن } ‪ .   { ,{a},{a, b },{a, b , c },{a, b , c , d }, X‬برهن على أن ) ‪ (X ,‬فضاء غير مترابط ‪.‬‬
‫‪ .9‬برعن على أن الفضاء التبولوجي المكل المنتهي ) ‪ (X ,‬يكون مترابط إذا كانت ‪ X‬غير منتهية ويكون غير مترابط‬

‫‪142‬‬
 ‫أ‪.‬د‪ .‬نوري فرحان المياحي‬ ‫سلسلة محاضرات‬
‫كلية العلوم ‪ /‬جامعة القادسية‬ ‫قسم الرياضيات‬
‫‪Topology I‬‬ ‫تبولوجيا )‪(1‬‬

‫محاضرة )‪(5‬‬ ‫دراسات أولية ‪ /‬مستوى رابع‬ ‫)‪Math(451‬‬

‫نظرية ‪ 3:‬مناقشة ‪ 1:‬عدد وحدات ‪3:‬‬
‫عندما ‪ X‬منتهية ‪.‬‬
‫‪ .10‬لتكن ‪ A‬مجموعة مترابطة في الفضاء التبولوجي ‪ . X‬إذا كانت ‪ B ,C‬مجموعتين منفصلتين في ‪ X‬بحيث أن‬
‫‪ . A   B  C‬برهن على أن كل من ‪ A  C ، A  B‬مجموعة مترابطة‪.‬‬
‫‪ .11‬لتكن ‪ A‬مجموعة جزئية في الفضاء التبولوجي المكل المنتهي ) ‪ . (X ,‬برهن على أن ‪ A‬مترابطة إذا وفقط إذا‬
‫كانت ‪ A‬ﻻ تساوي مجموعتين غير خاليتين ‪ B ,C‬بحيث أن ‪B  C  ‬‬
‫‪ .12‬لتكن ‪ A , B‬مجموعتين متنافيتين مترابطتين في الفضاء التبولوجي ) ‪ . (X ,‬برهن على أن ‪ A  B‬مجموعة مترابطة ‪.‬‬
‫‪ .13‬لتكن كل من ‪ A , B‬مجموعة مترابطة في الفضاء التبولوجي ) ‪ . (X ,‬بين أي من العبارات التالية‬
‫صحيحة أم ﻻ ؟ مع البرهان‬
‫‪ A c .1‬مجموعة مترابطة‬
‫‪ A  B .2‬مجموعة مترابطة‬
‫‪ A  B .3‬مجموعة مترابطة‬
‫‪ .14‬لتكن ‪ {A  }‬عائلة من المجموعات المترابطة في الفضاء التبولوجي ) ‪ (X ,‬بحيث ان ‪ A  A   ‬لكل ‪  ‬‬
‫فان ‪ A   A ‬تكون مترابطة‬
‫‪‬‬

‫‪ .15‬ليكن ) ‪ (X ,‬فضاء تبولوجيا مترابطا ‪ .‬برهن على أن إذا كانت ‪ f : X  ‬دالة مستمرة فان ) ‪ f (X‬فترة ‪.‬‬
‫‪ .16‬ليكن ) ‪ ({0,1}, D‬قضاء تبولوجي مبعثر ‪ .‬برهن على ان الفضاء التبولوجي ) ‪ (X ,‬يكون مترابط إذا وفقط إذا توجد‬
‫دالة شاملة ومستمرة }‪. f : X  {0,1‬‬
‫‪ .17‬ليكن ) ‪ ({0,1}, D‬قضاء تبولوجي مبعثر ‪ .‬برهن على ان الفضاء التبولوجي ) ‪ (X ,‬يكون مترابط إذا وفقط إذا كانت‬
‫كل دالة مستمرة }‪ f : X  {0,1‬تكون ثابتة ‪.‬‬

‫‪ 6.5‬المجموعات المركبة ‪Component Sets‬‬

‫إذا لم يكن الفضاء التبولوجي مترابطا ‪ ،‬فيمكن أن يتحلل إلى مجوعات متنافية من أعظم فضاء جزئي مترابط ‪ .‬يجب أن‬
‫نبين أن هذا ممكن دائما ‪.‬‬
‫تعريف)‪(1.3.5‬‬
‫يقال عن أعظم فضاء جزئي مترابط ‪ Y‬من الفضاء التبولوجي ‪ X‬بأنه احد مركبات )‪ (Component‬الفضاء ‪.‬‬
‫وهكذا ‪ Y‬مركبة في ‪ X‬إذا وفقط إذا كان ‪ Y‬مترابط وان ‪ Y‬ليست محتواة في فضاء جزئي مترابط اكبر منه ‪.‬‬
‫مركبة المجموعة الجزئية ‪ Y‬من ‪ X‬هي مركبة في ‪ Y‬بالنسبة للتبولوجي النسبي ‪ ،‬بعبارة أخرى المجموعة ‪A  X‬‬
‫تكون مركبة إذا كانت ‪ A‬أعظم مجموعة جزئية مترابطة ‪.‬‬
‫مﻼحظة‬
‫بما أن المجموعات اﻷحادية في ال فضاءات التبولوجية تكون مترابطة ‪ ،‬فمن الواضح أن المجموعات المركبة تكون غير‬
‫خالية ‪.‬‬
‫مثال)‪(2.3.5‬‬
‫‪ .1‬ليكن ) ‪ (X ,‬فضاء تبولوجي مترابط فان مركبات ‪ X‬هي فقط المجموعة ‪ ، X‬وعليه الفضاء‬
‫‪143‬‬
 ‫أ‪.‬د‪ .‬نوري فرحان المياحي‬ ‫سلسلة محاضرات‬
‫كلية العلوم ‪ /‬جامعة القادسية‬ ‫قسم الرياضيات‬
‫‪Topology I‬‬ ‫تبولوجيا )‪(1‬‬

‫محاضرة )‪(5‬‬ ‫دراسات أولية ‪ /‬مستوى رابع‬ ‫)‪Math(451‬‬

‫نظرية ‪ 3:‬مناقشة ‪ 1:‬عدد وحدات ‪3:‬‬
‫التبولوجي اﻻعتيادي ) ‪ (, u‬له مركبة وحيدة هي ‪. ‬‬
‫‪ .2‬ليكن ) ‪ (X ,‬فضاء تبولوجي مبعثر فان المجموعات المركبة في ‪ X‬هي فقط المجموعات المجوعات اﻷحادية ‪.‬‬
‫‪ .3‬ليكن } ‪   { ,{a},{b , c },{a, b , c },{b , c , d , e }, X } ، X  {a, b , c , d , e‬قان المجموعات المركبة في ‪ X‬هي }‪، {a‬‬
‫} ‪. {b , c , d , e‬‬
‫مبرهنة )‪(3.3.5‬‬
‫كل مجموعة مركبة في الفضاء التبولوجي ) ‪ (X ,‬تكون مغلقة‬
‫البرهان ‪:‬‬
‫لتكن ‪ A‬مجموعة مركبة في ‪X‬‬
‫اذن ‪ A‬مجموعة مترابطة ‪ A ‬مجموعة مترابطة‬
‫بما أن ‪ A‬أعظم مجموعة مترابطة ‪A  A ‬‬
‫ولكن ‪ A  A  A  A  A‬مجموعة مغلقة ‪.‬‬
‫مبرهنة )‪(4.3.5‬‬
‫في الفضاء التبولوجي ) ‪(X ,‬‬
‫‪ .1‬كل نقطة في ‪ X‬تكون محتواة في مجموعة مركبة واحدة فقط في ‪X‬‬
‫‪ .2‬المجموعات المركبة في ‪ X‬تشكل تجزئة إلى ‪X‬‬
‫‪ .3‬كل مجموعة مترابطة في ‪ X‬تكون محتواة في مجوعة مركبة في ‪X‬‬
‫‪ .4‬كل مجموعة مترابط مفتوحة ومغلقة في ‪ X‬تكون مركبة‬
‫البرهان ‪:‬‬
‫‪ .1‬لتكن ‪ ، x  X‬ولتكن } ‪ {A ‬عائلة من المجموعات المترابطة التي تحتوي ‪. x‬‬
‫بما أن } ‪ {x‬مجموعة مترابطة ‪{A  }    {x }  {A  } ‬‬
‫بما أن ‪ x  A ‬لكل ‪  A       ‬فان ‪ A x   A ‬مجموعة مترابطة )لماذا ؟(‬
‫‪‬‬ ‫‪‬‬

‫‪ A x‬مجموعة مترابطة تحوي على ‪. x‬‬

‫لتكن ‪ B‬مجموعة مترابطة بحيث أن ‪ . A x  B‬فان ‪ x  B‬وعليه } ‪B  {A ‬‬
‫‪ A x  B  B  A x ‬وعليه ‪ A x‬مجموعة مركبة تحتوي على ‪. x‬‬
‫يجب أن نبرهن على أن ‪ A x‬هي المجموعة الوحيدة المركبة في ‪ X‬والتي تحتوي على ‪. x‬‬
‫لتكن ‪ B x‬مجموعة مركبة أخرى في ‪ X‬والتي تحتوي على ‪. x‬‬
‫قان } ‪ ، B x  A x  B x  {A ‬ولكن ‪ B x‬أعظم مجموعة مركبة في ‪. B x  A x  X‬‬
‫‪ .2‬لتكن } ‪   {A x : x  X‬حيث ‪ A x‬معرفة في )‪. (1‬‬
‫يجب أن نبرهن أن ‪ ‬تحتوي على جميع المجموعات المركبة في ‪X‬‬
‫باستخدام أن كل ‪ A x  ‬مجموعة مركبة في ‪. X‬‬
‫إذا كانت ‪ A‬مجموعة مركبة في ‪ ، X‬فان ‪ A‬غير خالية تحتوي بعض النقاط ‪x 0  X‬‬

‫‪144‬‬
 ‫أ‪.‬د‪ .‬نوري فرحان المياحي‬ ‫سلسلة محاضرات‬
‫كلية العلوم ‪ /‬جامعة القادسية‬ ‫قسم الرياضيات‬
‫‪Topology I‬‬ ‫تبولوجيا )‪(1‬‬

‫محاضرة )‪(5‬‬ ‫دراسات أولية ‪ /‬مستوى رابع‬ ‫)‪Math(451‬‬

‫نظرية ‪ 3:‬مناقشة ‪ 1:‬عدد وحدات ‪3:‬‬
‫‪A ‬‬ ‫باستخدام )‪ (1‬نحصل على أن ‪ A  A x 0‬‬
‫يجب أن نبرهن على أن ‪ ‬تجزئة إلى ‪X‬‬
‫واضح أن ‪ X   A x‬بقي أن نبرهن ‪ A x  A y  ‬بحيث أن ‪A x  A y‬‬
‫‪x X‬‬

‫‪ r  Ax‬و ‪r  A y‬‬ ‫نفرض ‪  A x  A y  ‬يوجد ‪ r  A x  A y‬‬

‫بما آن ‪ A y ، A x‬مجموعات مترابطة تحتوي على ‪ r‬و ‪ A r‬مجموعة مركبة تحتوي ‪، r‬‬
‫نحصل على ‪ A x  A r‬و ‪ A y  A r‬ولكن ‪ A y ، A x‬مجموعات مركبة وعليه ‪A x  A r  A y‬‬
‫وبالتالي ‪ A x  A y  ‬اذن ‪ ‬تجزئة إلى ‪. X‬‬
‫‪ .3‬لتكن ‪ A‬مجموعة مترابطة في ‪ . X‬إذا كانت ‪ A  ‬فان ‪ A‬محتواة في كل مجموعة مركبة ‪.‬‬
‫أما إذا كانت ‪ ، A  ‬فان ‪ A‬تحتوي على اﻷقل عنصر واحد وليكن ‪ x‬وعليه ‪ A  A x‬حيث ‪A x‬‬
‫معرفة في )‪. (1‬‬
‫‪ .4‬لتكن ‪ A‬مجموعة مترابطة مفتوحة ومغلقة في ‪X‬‬
‫لتكن ‪ B‬مجوعة غير خالية مترابطة في ‪ X‬بحيث أن ‪A  B‬‬
‫يجب أن نبرهن ‪B  A‬‬
‫نفرض ‪B  A‬‬
‫بما أن المجموعة ‪ A‬مفتوحة ومغلقة في ‪ X‬فان ‪ A‬مفتوحة ومغلقة في ‪B‬‬
‫‪ A   ، B  A‬و ‪ A‬مفتوحة ومغلقة في ‪ B‬فان ‪ B‬غير مترابطة ‪ .‬وهذا تناقض فان ‪B  A‬‬
‫اذن المجموعة ‪ A‬مركبة ‪.‬‬
‫تمارين)‪(3.5‬‬
‫‪ .1‬اوجد المجموعات المركبة في الفضاء التبولوجي المكل المنتهي‬
‫‪ .2‬هل المجموعة المركبة في الفضاء التبولوجي تكون مفتوحة ‪.‬‬
‫‪ .3‬برهن على أن المجموعات المركبة غي الفضاء التبولوجي تكون متنافية ‪.‬‬
‫‪ .4‬ليكن ) ‪ (X ,‬فضاء تبولوجي بحيث أن ‪ X‬تحتوي على عدد منتهي من المجموعات المركبة ‪.‬‬
‫‪ .5‬برهن على أن كل مجموعة مركبة في ‪ X‬تكون مجموعة مفتوحة ومغلقة في ‪. X‬‬

‫‪ 4.5‬الفضاءات غير المرتبطة كليا ‪Totally Disconnected Spaces‬‬

‫تعريف)‪(1.4.5‬‬
‫يقال عن الفضاء التبولوجي ) ‪ (X ,‬بأنه غير مترابط كليا )‪ (Totally Disconnected‬إذا كان لكل ‪x  y ، x , y  X‬‬
‫يوجد مجموعة غير مترابطة ‪ A  B‬في ‪ X‬بحيث أن ‪. y  B ، x  A‬‬
‫من التعريف مباشرة نحصل على كل فضاء غير مترابط كليا يكون هاوزدورف‬
‫مﻼحظة‬
‫كل فضاء أحادي )يحتوي نقطة واحدة( يكون غير مترابط كليا ‪ .‬وهكذا يكون الفضاء اﻷحادي مترابط وغير مترابط كليا ‪.‬‬

‫‪145‬‬
‫أ‪.‬د‪ .‬نوري فرحان المياحي‬ ‫سلسلة محاضرات‬
‫كلية العلوم ‪ /‬جامعة القادسية‬ ‫قسم الرياضيات‬
‫‪Topology I‬‬ ‫تبولوجيا )‪(1‬‬

‫محاضرة )‪(5‬‬ ‫دراسات أولية ‪ /‬مستوى رابع‬ ‫)‪Math(451‬‬

‫نظرية ‪ 3:‬مناقشة ‪ 1:‬عدد وحدات ‪3:‬‬

‫مثال)‪(2.4.5‬‬
‫‪ .1‬كل فضاء تبولوجي مبعثر يكون غير مترابط كليا‬
‫‪ .2‬الفضاء التبولوجي ) ‪ (, u‬غير مترابط كليا حيث ‪  u‬التبولوجي اﻻعتيادي على ‪‬‬
‫الحل‪:‬‬
‫‪ .1‬ليكن ) ‪ (X ,‬فضاء تبولوجي مبعثر‬
‫وليكن ‪ x , y  X‬بحيث ‪ ، x  y‬فان كل من } ‪ B  A c ، A  {x‬مجموعة غير خالية مفتوحة في ‪X‬‬
‫وان ‪ y  B ، x  A‬و ‪ A  B  X‬غير مترابطة ‪.‬‬
‫‪ .2‬ليكن ‪ x , y  ‬بحيث ‪x  y‬‬
‫إذا كان ‪ ، x  y‬فان يوجد ‪ p  c‬بحيث ان ‪x  p  y‬‬
‫‪ (, p ), ( p ,  ) ‬مجموعات مفتوحة في ‪‬‬
‫نضع ‪ A , B  A  (, p )  , B  ( p , )  ‬مجموعات مفتوحة في ‪ ‬وان‬
‫‪A  B  ((, p )  )  (( p ,  )  )  , A  B  ‬‬
‫‪ A  B ‬مجموعة غير مترابطة في ‪ ‬وان ‪ y  B ، x  A‬وعليه ‪ ‬غير مترابط كليا‪.‬‬
‫مبرهنة)‪(3.4.5‬‬
‫المجموعات المركبة في الفضاء التبولوجية غير المترابطة كليا تكون مجموعات أحادية ‪.‬‬
‫البرهان ‪:‬‬
‫ليكن ) ‪ (X ,‬فضاء تبولوجي غير مترابط كليا‪.‬‬
‫يكفي أن نبرهن كل مجموعة جزئية من ‪ X‬والتي تحتوي على أكثر من عنصر غير مترابطة‬
‫لتكن ‪ S‬مجموعة جزئية من ‪ X‬تحتوي على اﻷقل عنصرين‬
‫ليكن ‪ x , y  S‬بحيث ‪x , y  X  x  y‬‬
‫بما آن ‪ X‬غير مترابط كليا ‪ ‬يوجد مجموعة غير مترابطة ‪ A  B‬في ‪ X‬بحيث أن ‪. y  B ، x  A‬‬
‫ليكن ‪ G  A  S , H  B  S‬فان ‪ G   , H  ‬ﻻن ‪. y  H ، x G‬‬
‫‪G  H  (A  S )  (B  S )  (A  B )  S    S  ‬‬
‫وكذلك‬
‫‪G  H  (A  S )  (B  S )  (A  B )  S  X  S  S‬‬
‫وعليه ‪ S‬مجموعة غير مترابطة ‪ .‬وبالتالي المجموعات اﻷحادية في ‪ X‬فقط مجموعات مترابطة‬
‫وبالنتيجة فقط المجموعات اﻷحادية تكون مركبة ‪.‬‬
‫مبرهنة)‪(4.4.5‬‬
‫ليكن ) ‪ (X ,‬فضاء تبولوجي هاوزدورف‪ .‬إذا كان ‪ X‬يمتلك قاعدة مفتوحة ‪ ‬مجموعاتها مغلقة أيضا‪.‬‬
‫فان ‪ X‬غير مترابط كليا ‪.‬‬
‫البرهان ‪:‬‬
‫ليكن ‪ x , y  X‬بحيث ‪x  y‬‬

‫‪146‬‬
 ‫أ‪.‬د‪ .‬نوري فرحان المياحي‬ ‫سلسلة محاضرات‬
‫كلية العلوم ‪ /‬جامعة القادسية‬ ‫قسم الرياضيات‬
‫‪Topology I‬‬ ‫تبولوجيا )‪(1‬‬

‫محاضرة )‪(5‬‬ ‫دراسات أولية ‪ /‬مستوى رابع‬ ‫)‪Math(451‬‬

‫نظرية ‪ 3:‬مناقشة ‪ 1:‬عدد وحدات ‪3:‬‬
‫بما أن ‪ X‬هاوزدورف ‪ ‬توجد مجموعة مفتوحة ‪ G‬بحيث أن ‪y G ، x  G‬‬
‫اذن يوجد ‪ B  ‬بحيث ‪ B  x  B  G‬مجموعة مفتوحة ومغلقة‬
‫‪ B c ‬مجموعة مفتوحة ومغلقة بحيث ‪ y  B c‬و ‪x  B‬‬
‫نضع ‪A  B  X , A  B    A  B c‬‬
‫‪ A  B ‬مجموعة غير مترابطة في ‪ X‬بحيث أن ‪y  B ، x  A‬‬
‫‪ X ‬غير مترابط كليا ‪.‬‬
‫‪ 5.5‬الفضاءات المترابطة محليا ‪Locally Connected Spaces‬‬
‫تعريف)‪(1.5.5‬‬
‫يقال عن الفضاء التبولوجي ) ‪ (X ,‬بأنه مترابط محليا )‪ (Locally Connected‬عند النقطة ‪p  X‬‬
‫إذا كان كل مجموعة مفتوحة ‪ G‬تحتوي ‪ x‬توجد مجموعة مفتوحة مترابطة ‪ G ‬بحيث أن ‪x G   G‬‬
‫بعبارة أخرى عائلة كل المجموعة المفتوحة المترابطة التي تحتوي ‪ x‬تشكل قاعدة محلية عند النقطة ‪. x‬‬
‫ويقال عن الفضاء التبولوجي بأنه مترابط محليا إذا كان مترابط محليا لكل نقطة من نقاطه‪.‬‬
‫مثال)‪(2.5.5‬‬
‫كل فضاء تبولوجي مبعثر يكون مترابط محليا‬
‫الحل ‪:‬‬
‫ليكن ) ‪ (X ,‬فضاء تبولوجي مبعثر و ليكن ‪ x  X‬ولتكن ‪ G‬مجموعة مفتوحة في ‪ X‬بحيث أن ‪x  G‬‬
‫نضع } ‪ G   G   {x‬مجموعة مفتوحة ومترابطة في ‪ X‬وكذلك ‪x G   G‬‬
‫‪ X ‬مترابط محلية ‪.‬‬
‫مﻼحظة‬
‫المثال أعﻼه بين الفضاء المترابط محليا ليس بالضرورة أن يكون مترابط ‪.‬‬
‫مبرهنة)‪(3.5.5‬‬
‫ليكن ) ‪ (X ,‬فضاء تبولوجي مترابط محليا‪ Y ،‬مجموعة جزئية مفتوحة في ‪ X‬فان الفضاء الجزئي ) ‪ (Y ,Y‬يكون‬
‫مترابط محليا ‪.‬‬
‫البرهان ‪:‬‬
‫لتكن ‪ G ، y Y‬مجموعة مفتوحة في ‪ Y‬وتحتوي على ‪y‬‬
‫اذن توجد مجموعة ‪ U‬مفتوحة في ‪ X‬بحيث أن ‪U Y  G‬‬
‫بما أن ‪ Y‬مجموعة مفتوحة في ‪ U Y  X‬مجموعة مفتوحة في ‪X‬‬
‫وعليه ‪ G‬مجموعة مفتوحة في ‪ X‬وتحتوي النقطة ‪y‬‬
‫بما أن ‪ X‬مترابط محليا فانه توجد مجموعة مفتوحة مترابطة ‪ G‬في ‪ X‬بحيث أن ‪y G  G‬‬
‫‪‬‬ ‫‪‬‬

‫وأﻻن ‪ V  G  Y  G Y  G‬حيث أن ‪ V‬مجموعة مفتوحة مترابط في ‪ Y‬تحتوي على النقطة ‪Y‬‬

‫وان ‪ ، y V  G‬فان ) ‪ (Y ,Y‬مترابط محليا ‪.‬‬

‫‪147‬‬
 ‫أ‪.‬د‪ .‬نوري فرحان المياحي‬ ‫سلسلة محاضرات‬
‫كلية العلوم ‪ /‬جامعة القادسية‬ ‫قسم الرياضيات‬
‫‪Topology I‬‬ ‫تبولوجيا )‪(1‬‬

‫محاضرة )‪(5‬‬ ‫دراسات أولية ‪ /‬مستوى رابع‬ ‫)‪Math(451‬‬

‫نظرية ‪ 3:‬مناقشة ‪ 1:‬عدد وحدات ‪3:‬‬

‫مبرهنة)‪(4.5.5‬‬
‫كل مجموعة مركبة في فضاء مترابط محليا تكون مجموعة مفتوحة ‪.‬‬
‫البرهان ‪:‬‬
‫ليكن ) ‪ (X ,‬فضاء مترابط محليا ولتكن ‪ A‬مجموعة مركبة في ‪ X‬ولتكن ‪x  A‬‬
‫بما أن ‪ X‬مترابط محليا و ‪ X‬مجموعة مفتوحة في ‪ X‬و ‪x  X‬‬
‫‪ ‬توجد مجموعة مفتوحة مترابطة ‪ G ‬بحيث أن ‪x G   X‬‬
‫بما أن ‪ A‬مجموعة مركبة ‪ ،‬فان ‪x G   A  G   A‬‬
‫‪ A ‬مجموعة مفتوحة ‪.‬‬
‫مبرهنة)‪(5.5.5‬‬
‫ليكن ) ‪ (X ,‬فضاء تبولوجي فان العبارات اﻵتية متكافئة‬
‫‪ X .1‬مترابط محليا ‪.‬‬
‫‪ .2‬مركبة أي مجموعة مفتوحة في ‪ X‬هي مجموعة مفتوحة‪.‬‬
‫‪ .3‬المركبات المترابطة تشكل قاعدة للفضاء ‪X‬‬
‫البرهان ‪:‬‬
‫)‪(2)  (1‬‬
‫نفرض أن الفضاء ‪ X‬مترابط محليا ‪.‬‬
‫ليكن ‪ Y‬مجموعة مفتوحة في ‪. X‬باستخدام المبرهنة )‪ (3.5.6‬يكون ) ‪ (Y ,Y‬فضاء مترابط محليا‬
‫وباستخدام المبرهنة )‪ (4.5.6‬تكون مركبة ‪ Y‬مجموعة مفتوحة في ‪X‬‬
‫)‪(3)  (2‬‬
‫نفرض أن ‪ G‬مجموعة مفتوحة في ‪ X‬وان مركبات ‪ G‬مفتوحة في ‪ X‬وحيث المركبات مترابطة فهي عبارة عن‬
‫اتحاد من المجموعات المفتوحة وبالتالي فهي قاعدة للفضاء ‪. X‬‬
‫)‪(1)  (3‬‬
‫ليكن ‪ V‬جوار مفتوح للنقطة ‪ ، p  X‬من )‪ (3‬نحصل على ان ‪ V‬هي عبارة عن اتحاد من المجموعات المفتوحة‬
‫المترابطة وبالتالي فان ‪ X‬مترابط محليا‪.‬‬
‫مبرهنة)‪(6.5.5‬‬
‫فضاء تبولوجيا ‪ ,‬ولتكن ‪ f : X  Y‬دالة شاملة ومستمرة ومفتوحة ‪.‬إذا كانت ‪X‬‬
‫َ‬ ‫ليكن كل من ) ‪(Y , 2 ) ، (X , 1‬‬
‫فضاء مترابط محليا فأن ‪ Y‬فضاء مترابط محليا‪.‬‬
‫البرهان‪:‬‬
‫ليكن ‪ G ، y Y‬مجموعة مفتوحة في ‪ Y‬وتحتوي على ‪. y‬‬
‫بما أن الدالة ‪ f‬شاملة ‪ ‬يوجد ‪ x  X‬بحيث أن ‪f (x )  y‬‬
‫‪1‬‬
‫‪x f‬‬ ‫‪(G )  f (x ) G‬‬ ‫‪‬‬
‫بما أن الدالة ‪ f‬مستمرة فان ) ‪ f (G‬مجموعة مفتوحة في ‪. X‬‬
‫‪1‬‬

‫بما أن الفضاء ‪ X‬مترابط محليا فان توجد مجموعة مفتوحة مترابطة ‪ G‬بحيث أن ) ‪x G  f (G‬‬
‫‪‬‬ ‫‪1‬‬ ‫‪‬‬

‫‪148‬‬
 ‫أ‪.‬د‪ .‬نوري فرحان المياحي‬ ‫سلسلة محاضرات‬
‫كلية العلوم ‪ /‬جامعة القادسية‬ ‫قسم الرياضيات‬
‫‪Topology I‬‬ ‫تبولوجيا )‪(1‬‬

‫محاضرة )‪(5‬‬ ‫دراسات أولية ‪ /‬مستوى رابع‬ ‫)‪Math(451‬‬

‫نظرية ‪ 3:‬مناقشة ‪ 1:‬عدد وحدات ‪3:‬‬
‫‪y  f (G  )  G‬‬ ‫‪ f (x )  f (G  )  f (f‬‬ ‫‪1‬‬
‫‪(G )) ‬‬
‫بما أن ‪ G ‬مجموعة مفتوحة في ‪ X‬وان الدالة ‪ f‬مفتوحة فان ) ‪ f (G‬مجموعة مفتوحة في ‪. Y‬‬
‫‪‬‬

‫بما أن ‪ G ‬مجموعة مترابطة في ‪ X‬وان الدالة ‪ f‬مستمرة فان ) ‪ f (G ‬مجموعة مترابطة في ‪. Y‬‬
‫اذن ) ‪ f (G ‬مجموعة مفتوحة ومترابطة في ‪ Y‬وان ‪. y  f (G  )  G‬‬
‫‪ Y ‬فضاء مترابط محليا ‪.‬‬

‫تمارين)‪(5.5‬‬
‫‪ .1‬ليكن ) ‪ Y  (a, b )  (c , d‬حيث ‪ a  b  c  d‬فان ‪ Y‬فضاء مترابط محليا وغير مترابط بالنسبة للتبولوجي‬
‫اﻻعتيادي على ‪. ‬‬
‫‪1‬‬
‫‪ B  {( x , y ) : x  (0,1],‬فان ‪Y‬‬ ‫‪ .2‬ليكن ‪ Y  A  B‬حيث }]‪y  sin } ، A  {(0, y ) : y  [ 1,1‬‬
‫‪x‬‬
‫فضاء مترابط وغير مترابط محليا بالنسبة للتبولوجي اﻻعتيادي على ‪.  2‬‬
‫‪ .3‬برهن على ‪ :‬إذا كان الفضاء التبولوجي ) ‪ (X ,‬مترابط محليا فان كل مجموعة مفتوحة في ‪ X‬تكون مترابطة محليا ‪.‬‬
‫‪ .4‬برهن على أن كل فضاء جزئي مترابط من فضاء مترابط محليا ‪ X‬يكون مترابط محليا إذا كان‬
‫‪X ‬‬
‫‪ .5‬ليكن ) ‪ (X ,‬فضاء مترابط محليا ولتكن ‪ A‬مجموعة مركبة في الفضاء الجزئي ‪ Y‬من ‪. X‬‬
‫برهن على أن ) ‪ (A )   (Y‬‬

‫‪149‬‬