‫المملكة العربية السعودية‬ ‫‪Saudi Arabia‬‬

‫وزارة التعليم‬ ‫‪Ministry of Education‬‬

‫جامعة الملك خالد‬ ‫‪King Khalid University‬‬
‫كلية العلوم‬ ‫‪College of Science‬‬
‫قسم الرياضيات‬ ‫‪Mathematics Department‬‬

‫عنوان مشروع البحث‬

‫دراســـةـ تحـليلية فـي الفضـاءات المتريـة وبـعض تـطـبيقاتـها‬
‫‪An Analytical Study on Metric Spaces and‬‬
‫‪Some of Their Applications‬‬
‫إعــداد الطالـبـات‬
‫‪1 -‬شــهـــد إبــراهــيـم عـلــي ال مـنيــع ) ‪) 437808143‬‬
‫‪2 -‬الجـوهـرة عـبد هللا عبدالرحمـن العباسـي ( ‪) 436802367‬‬
‫‪ 3 -‬أروى أحـمد محـمد الشهرانــــــــــــــي ( ‪) 436807818‬‬
‫‪ - 4‬شريفـة عايـض محـمد العمـاري القرنــي ( ‪) 435805007‬‬

‫إشراف الدكتور‬
‫محمد زكريا نصر إبراهيم‬
‫مشروع بحث تخرج مقدم إلى قسم الرياضيات‬
‫كلية العلوم ‪ -‬جامعة الملك خالد‬
‫كمتطلب أساسي للحصول على درجة البكالوريوس في تخصص الرياضيات‬

‫الفصل الصيفي ‪ 1441‬هـ ‪ 2020 /‬م‬

‫‪1‬‬
 ‫سيَ َرى هَّللا ُ‬‫‪َ ‬وقُ ِل ا ْع َملُوا فَ َ‬
‫سولُهُ َوا ْل ُم ْؤ ِمنُ َ‬
‫ون‬ ‫َع َملَ ُك ْم َو َر ُ‬
‫‪…‬‬
‫‪2.‬‬
 ‫االهداء‬
‫إلهي ال يطيب الليل إال بشكرك وال يطيب النهار إلى بطاعتك ‪ ..‬وال تطيب‬
‫اللحظات' إال بذكرك ‪ ..‬وال تطيب اآلخرة إال بعفوك ‪ ..‬وال تطيب الجنة إال‬
‫برؤيتك‬
‫"اهلل جل جالله"‬
‫إلى من بلغ الرسالة وأدى األمانة ‪ ..‬ونصح األمة ‪ ..‬إلى نبي الرحمة' ونور‬
‫العالمين'‬
‫"سيدنا محمد صلى اهلل عليه وسلم"‬
‫إلى من كلله اهلل بالهيبة والوقار ‪ ..‬إلى من علمني العطاء بدون انتظار ‪ ..‬إلى‬
‫من أحمل أسمه بكل افتخار ‪ ..‬أرجو من اهلل أن يمد في عمرك لترى ثماراً قد‬
‫حان قطافها بعد طول انتظار وستبقى كلماتك نجوم أهتدي بها اليوم وفي‬
‫الغد وإلى األبد‪..‬‬
‫والدي العزيز‬

‫‪3‬‬ ‫‪.‬‬
‫إلى مالكي في الحياة' ‪ ..‬إلى معنى الحب وإلى معنى الحنان و التفاني ‪ ..‬إلى‬
‫بسمة الحياة وسر الوجود إلى من كان دعائها سر نجاحي وحنانها بلسم‬
‫جراحي إلى أغلى الحبايب ‪.‬‬
‫أمي الحبيبة‬
‫ولك معلمي' من تعبت في ايصال' المعلومة لتري ثمرة ما قدمت‪.‬‬

‫شكر وعرفان‬
‫قال رسول اهلل صلى اهلل عليه وسلم‪:‬‬
‫"من لم يشكر الناس لم يشكر اهلل"‬
‫ص' ' ''دق رس' ' ''ول اهلل ص' ' ''لى اهلل علي' ' ''ه‬
‫وسلم‬

‫الحمد هلل على إحسانه والشكر له على توفيقه وإمتنانه ونش''هد أن ال إل'ه' إال اهلل‬
‫وحده ال ش'ريك ل'ه تعظيم'اً لش'أنه ونش'هد أن س'يدنا ونبين''ا محم'د' عب''ده ورس'وله‬
‫الداعي' إلى رضوانه صلى اهلل عليه وعلى أله وأصحابه' وأتباعه وسلم‪.‬‬

‫بع' ''د ش' ''كر اهلل س ''بحانه وتع ''الى على توفيق' ''ه لن' ''ا إلتم ''ام ه' ''ذا البحث المتواض' 'ع'‬
‫أتق''دم بجزي''ل الش''كر إلى الوال''دين' العزي''زين ال''ذين' أع''انوني وش''جعوني على‬
‫االس ''تمرار في مس ''يرة العلم والنج ''اح وإكم ''ال الدراس' 'ة' الجامعي ''ة والبحث‪ ،‬كم ''ا‬
‫‪4‬‬ ‫‪.‬‬
‫أتوج ''ه بالش ''كر الجزي ''ل إلى من ش ''رفني بإش ''رافه على بحثن ''ا ال ''دكتور "محم' 'د'‬
‫زكري''ا" ال''ذي لن تكفي ح''روف ه''ذا البحث بإيفائ'ه' حق''ه بص''بره الكب''ير علين''ا‬
‫ولتوجيهات''ه العلمي''ة ال''تي ال تق''در بثمن‪ ،‬وال''تي س''اهمت بش''كل كب''ير في إتم''ام'‬
‫وإستكمال هذا العمل' ‪ ،‬والشكر موصول لجامعة' الملك' خالد ‪،‬ولكل أس''اتذة قس''م‬
‫الرياض' ''يات ‪ ،‬كم' ''ا نتوج' ''ه بخ' ''الص الش' ''كر والتق' ''دير إلى ك' ''ل من س' ''اعدنا من‬
‫قريب وبعيد على إنجاز وإتمام هذا العمل‪.‬‬

‫‪5‬‬ ‫‪.‬‬
 ‫الفهرس‬
‫رقم الصفحة‬ ‫البيان‬ ‫مسلسل‬
‫‪1‬‬ ‫الغالف‬ ‫‪1‬‬
‫‪2‬‬ ‫آية قرآنية‬ ‫‪2‬‬
‫‪3‬‬ ‫اإلهداء‬ ‫‪3‬‬
‫‪4‬‬ ‫شكر وعرفان‬ ‫‪4‬‬
‫‪5‬‬ ‫الفهرس‬ ‫‪5‬‬
‫‪6‬‬ ‫المقدمة‬ ‫‪6‬‬
‫خطة البحث‬ ‫‪7‬‬
‫عنوان البحث‬ ‫‪8‬‬
‫‪8‬‬ ‫مشكلة البحث‬ ‫‪9‬‬
‫أهمية البحث‬ ‫‪10‬‬
‫أهداف البحث‬ ‫‪11‬‬
‫الفصل االول ‪ :‬مقدمة الفضاء المتري‬ ‫‪12‬‬
‫‪9‬‬ ‫تمهيد‬ ‫‪13‬‬
‫تعريف مقدمة عن الفضاء المتري‬ ‫‪14‬‬
‫‪11‬‬ ‫مثال تطبيقى على الفضاء المتري ( ‪R) ,d 0‬‬ ‫‪15‬‬
‫‪12‬‬ ‫متباينة كوشي – شوارتز‬ ‫‪16‬‬
‫‪12‬‬ ‫نتيجة(‪)1-1‬‬ ‫‪17‬‬
‫‪13‬‬ ‫مثال تطبيقى على الفضاء المتري ¿ ‪R) ,d‬‬
‫‪n‬‬
‫‪18‬‬
‫‪15‬‬ ‫مثال تطبيقى على الفضاء المتري( ¿‬ ‫‪19‬‬
‫‪18‬‬ ‫تعريف ‪l p‬‬ ‫‪20‬‬
‫‪23‬‬ ‫الفصل الثاني – توبولوجيا الفضاءات المترية‬ ‫‪21‬‬
‫‪24‬‬ ‫المجموعات المفتوحة والمغلقة‬ ‫‪22‬‬
‫‪31‬‬ ‫تكافؤ دالتي المسافة معرفة على فضاء متري‬ ‫‪23‬‬
‫‪34‬‬ ‫الجوار‬ ‫‪24‬‬
‫‪34‬‬ ‫النقاط الحدودية والنقاط الداخلية‬ ‫‪25‬‬
‫‪37‬‬ ‫نقاط التراكم‬ ‫‪26‬‬
‫‪39‬‬ ‫االنغالق للمجموعات‬ ‫‪27‬‬
‫‪41‬‬ ‫نقاط النهاية‬ ‫‪28‬‬
‫‪43‬‬ ‫الفصل الثالث ‪ -‬تقارب المتتابعات والمتتابعات الكوشية في الفضاءات المترية‬ ‫‪29‬‬
‫‪51‬‬ ‫الفضاءات المتري الكاملة‬ ‫‪30‬‬
‫‪56‬‬ ‫نظرية الكرات المتداخلة‬ ‫‪31‬‬
‫‪57‬‬ ‫نظرية بير‬ ‫‪32‬‬
‫‪59‬‬ ‫الدوال المتصلة من فضاء متري إلى فضاء متري آخر والدوال االنكماشية‬ ‫‪61‬‬
‫‪61‬‬ ‫الفضاءات المترية الهوميومورفك‬ ‫‪63‬‬
‫‪63‬‬ ‫الخاتمة‬ ‫‪64‬‬
‫‪64‬‬ ‫المراجع‬ ‫‪33‬‬

‫‪6‬‬ ‫‪.‬‬
 ‫المقدمة‬
‫الشك في أن ال شيء يضاهي الرياضيات في دقتها وترابطها ومنطقها فالمبرهنة الرياضية ال يكون عليها‬
‫نقاش أو جدل في مدى صحتها‪.‬‬

‫ففي ه ذا البحث س وف نتط رق لف رع مهم من أهم ف روع الرياض يات وال تي تتم يز ب دقتها اال وه و "مفه وم‬
‫الفضاءات المترية وبعض تطبيقاتها "واهم خواصها التوبولوجية والتي تعتبر اهم فروع علم التوبولوجية‬

‫وفي هذا البحث سوف نتطرق في الفصل االول لدراسة الفضاء المتري تعريفه وبعض الخصائص المهمة‬
‫المتعلق ة ب ه وك ذلك بعض المتباين ات و النظري ات المهم ة في ه ذا الموض وع مث ل "متباين ة كوش ي –‬
‫بونياكوفس كي – ش وارتز" ومتباين ة "مينوكوس كي" وبعض النت ائج والمالحظ ات المهم ة والعدي د من االمثل ة‬
‫التوض يحية ال تي تش رح ه ذه النظري ات والنت ائج‪ ،‬بحيث نتمكن من فهم واس تيعاب مف اهيم الفض اء الم تري‬
‫بطريقة سهلة وواضحة وهذا ما سوف نتطرق له من خالل دراسة هذا البحث‪.‬‬

‫ففي الرياضيات يعرف الفضاء المتري بانه مجموعة تعرف فيها مفهوم المسافة بين عناصر المجموعة‪.‬‬

‫الفضاء المتري هو المصطلح الذي يطلق على الفضاء الثالثي األبعاد أو الفضاء اإلقليدي‪ .‬حيث أن المترية‬
‫اإلقليدية تعرف المسافة بين نقطتين على أنها خط مستقيم يصل بينهما‪.‬‬

‫يلعب مفه وم ال دوال المتص لة ‪ continuous functions‬دورا ب ارزا في ف روع الرياض يات المختلف ة ‪.‬‬
‫‪ f :A‬حيث ان‬
‫بداي ة دراس تنا للتحلي ل الحقيقي تعرض نا لمفه وم الدال ة المتص لة حيث عرفن ا ان الدال ة ‪⟶ R‬‬

‫∈ ‪x‬اذا كان لكل ‪ε> 0‬يوجد ‪δ> 0‬بحيث انه ‪∀ x∈ A‬فان ‪:‬‬
‫‪0 A‬‬ ‫‪ A⊂ R‬تكون متصلة عند النقطة‬

‫⟹<|‪|x− x 0‬‬
‫‪δ‬‬ ‫)‪| f (x−‬‬ ‫‪f (x 0)|< ε‬‬

‫‪ x∈ A‬ففي هذه الحالة فان‬ ‫ويقال ان هذه الدالة تكون متصلة على ‪A‬اذا كانت متصلة عند جميع النقاط‬
‫القيمة المطلقة |‪|x− x 0‬ما هي اال مسافة بين عددين حقيقيين او مركبين ومن ثم فان االتصال يتحقق‬

‫‪7‬‬ ‫‪.‬‬
‫متى نقلت نقاط متقاربة في مجال الدالة الى نقاط متقاربة اخرى في المجال المقابل للدالة ولتعميم مفهوم "‬
‫‪ ε−‬الش هير التص ال ال دوال الى تعري ف اخ ر يص ف س لوك الدال ة بالنس بة الى مجموع ات جزئي ة تس مى‬
‫‪" δ‬‬
‫جوارات للنقاط او بالنسبة الى مجموعات مفتوحة (‪ )open set‬سوف نقوم بإدخال مفهوم دالة المسافة ومن‬
‫ثم الفضاء المتري‪.‬‬

‫ال بد من االشارة هنا الى ان الفضل في تعريف الفضاء المتري يعود لعالم الرياضيات الفرنسي فرشيه عام‬
‫‪ 1906‬م ونظرا ألهمية الفضاء المتري فقد حظي العديد من العلماء والباحثين منذ ان تم تعريفه حتى‬
‫يومنا هذا ومن خالل بحوث العلماء على الفضاء المتري وتطبيقاته المختلفة ظهرت صور عديدة ومختلفة‬
‫من الفضاءات المترية الجديدة مثل الفضاء شبه المتري ‪ ))quasi-metric space‬الفضاء المتري الجزئي‬
‫(‪ )partial metric space‬ال ذي تم تعريف ه من قب ل ب احثي عل وم الحاس ب النظري ة ‪ ،‬الفض اء الم تري‬
‫المخ روطي ( ‪ )cone metric space‬وم ع ظه ور نظري ة المجموع ات المشوش ة (الض بابية) تم تعري ف‬
‫الفض اء الم تري المش وش (‪ )fuzzy metric space‬وهن اك العدي د من ان واع الفض اءات المتري ة االخ رى‬
‫التي تذخر بها الدوريات والمراجع العلمية الحديثة والتي ال يتسع المقام لذكرها ‪.‬‬

‫في هذا الفصل سوف نتعرض لتعريف ودراسة الفضاء المتري مع تعريف كل من المجموعات المفتوحة‬
‫والمجموعات المغلقة والدوال المتصلة حتى يتمكن الدارس من فهم واستيعاب مفاهيم قد تكون جديدة عليه‬
‫مث ل مفه وم الك رة المفتوح ة والمجموع ة المغلق ة وج وار النقط ة و ال دوال المتص لة ‪ .‬ه ذه المف اهيم س وف‬
‫ندرسها ضمن الفضاء المتري في ظل وجود دالة المسافة التي تلعب دورا مهما في تعريف هذه المفاهيم‬
‫ومن ثم تصبح هذه المفاهيم معروفة لنا عندما نتعرض لها في الفصول التالية‪.‬‬

‫‪8‬‬ ‫‪.‬‬
 ‫خطة البحث‬
‫عنوان البحث‪:‬‬
‫دراســـة تحـليلية فـي الفضـاءات المتريـة وبـعض تـطـبيقاتـها‬
‫(‪)An Analytical Study on Metric Spaces and Some of Their Applications‬‬

‫خطة البحث‬

‫أهداف البحث‬ ‫أهمية البحث‬

‫‪ - 1‬التعرف على مفهوم الفضاء المتري ‪.‬‬

‫‪ - 1‬الفضاء المتري ه و عل م مه م م ن علوم‬
‫‪ -2‬التعرف عل‪CCCCCCCCC‬ى بع‪CCCCCCCCC‬ض النظريات‬
‫الرياضيات الت ي يمك ن تطبيقه ا ف ي كاف ة‬
‫والمبرهنات في هذا الموضوع‪.‬‬
‫المجاالت العلمية والعملية‪.‬‬
‫‪ -3‬التعرف عل‪C‬ى أه‪C‬م التط‪C‬بيقات عل‪C‬ى الفضاء‬
‫المتري‪.‬‬ ‫‪ - 2‬دراسة دالة المسافة‪ ,‬أي من خالله نستطيع‬
‫‪ --4‬التعرف عل‪CCCCC‬ى توبولوجي‪CCCCC‬ا الفضاءات‬ ‫تحديد مسافة بين نقطتين‪.‬‬
‫المترية‬
‫‪ -5‬التعرف عل‪CCCCCCCCCCCCCCCC‬ى تقارب المتتابعات‬
‫والمتتابعات الكوشية في الفضاءات المترية‬

‫مشكلة البحث‪:‬‬
‫من اهم المشاكل التي كان يواجهها االنسان حساب المسافة بين نقطتين متواجدتين على خط األعداد وليس‬
‫هذا فحسب بل كان بداية المشكلة كحساب المسافة بين الشيفرات الجينية في علم الوراثة والمسافات بين‬
‫الكلمات في علم الحاسوب وغيرها من العلوم ‪.‬‬
‫فب دأ ظه ور م ا يس مى بالفض اء الم تري ال ذي توص ل الي ه الع الم الفرنس ي "فريش يه" من خالل بحث ه في عام‬
‫‪1906‬م الذي تم من خالله حل هذه المشكلة وتحديد هذه المسافات بدقة متناهية في كافة المجاالت وليس‬
‫في الرياضيات فقط‪.‬‬
‫‪9‬‬ ‫‪.‬‬
 ‫الفصل االول‬
‫مقدمة عن الفضاء المتري‬
‫‪Introduction on Metric Space‬‬

‫‪10‬‬ ‫‪.‬‬
 ‫الفصل االول‬
‫مقدمة الفضاء المتري‬

‫تمهيد‪:‬‬

‫لقد توصل الرياضي الفرنسي فريشیه ‪ Frechets‬من خالل أطروحته للحصول على درجة الدكتوراه عام‬
‫‪1906‬م إلى ما يسمى اليوم بالفضاء المتري‪ .‬فالفضاء المتري هو مجموعة يمكن أن تكون عناصرها نقاطا‬
‫أو منحني ات أو دوال أو مص فوفات أو متوالي ات الخ ‪ ...‬وه ذه المجموع ة م زودة بمفه وم المس افة بين‬
‫عناصرها‪.‬‬

‫تعريف ( ‪-:)1 -1‬‬

‫يعرف الفضاء المتري بالزوج ( ‪ ،) X , d‬حيث ‪ X‬مجموعة ما غير خالية و ‪ d‬دالة حقيقة معرفة على‬
‫‪ X × X‬بحيث تتحقق الشروط التالية ‪:‬‬

‫لكل ‪ z, y, x :‬في ‪X‬‬

‫)‪(M1‬‬ ‫‪d (x , y ) ≥ 0 .‬‬
‫)‪(M2‬‬ ‫‪d (x , y ) =0 ⇔ x = y .‬‬
‫)‪)M3‬‬ ‫‪d (x , y ) = d (y , x).‬‬
‫(‪)M4‬‬ ‫‪d (x , y ) ≤ d (x , z ) + d (z , y).‬‬
‫الخاصية ( ‪ )M4‬تسمى بالمتباينة المثلية و الخاصية ( ‪ )M3‬تمثل التماثل‪.‬‬

‫الدالة ‪ d‬تسمى دالة مسافة ( ‪ )Distance Function‬والمقدار)‪ d(x, y‬يسمى المسافة بين النقطتين ‪ x‬و ‪.y‬‬

‫نعطي فيما يلي أمثلة على فضاءات مترية‪.‬‬

‫مثال ( ‪: )1 -1‬‬

‫اعتبر الدالة ¿ →‪d :R × R‬المعرفة كما يلي‪:‬‬

‫) ‪¿ x− y∨ ¿d (x ,y‬‬

‫‪11‬‬ ‫‪.‬‬
 ‫الحل‪:‬‬
‫لكل ‪ z, y, x‬في ‪R‬لدينا‪:‬‬
‫‪M( 1 |) x− y |≥ 0⇒ d (x ,y ≥) 0 ,‬‬
‫=‪M( 2 d) (x ,y=) |x− y‬‬ ‫⟺|‬ ‫‪0‬‬ ‫‪x= y ,‬‬
‫=‪M( 3 d) (x ,y=) |x− y‬‬ ‫=‪| |y− x‬‬‫‪| d (y ,x ),‬‬
‫=‪M( 4 d) (x ,z=) |x− z‬‬
‫=‪| |x− y+ y− z|≤ |x− y |+ | y− z‬‬‫‪| d (x ,y +) d (y ,z ) .‬‬
‫ومن ثم نستطيع القول بأن الدالة ‪ d‬هي داله مسافة على ‪R‬والفضاء ) ‪(R ,d‬فضاء متري‪.‬‬

‫مثال ( ‪( : )2 -1‬مثال على الفضاء المتري المتقطع)‬

‫لتكن ‪ X‬مجموعة ليست فارغة ولتكن ¿ →‪d 0 :X × X‬حيث ‪:‬‬

‫‪d 0 (x ,y=) 0 ,x= y‬‬
‫{‬ ‫‪1 ,x≠ y‬‬
‫برهن أن ‪ d0‬تمثل دالة مسافة وان ( ‪ )d0,x‬تمثل فضاء مترياً ويسمى فضاءاً مترية متقطع او منفصل‪.‬‬
‫الحل‪:‬‬
‫نالحظ أن الشروط ( ‪ )M3 ( ،)M2 ( ،)M1‬متحققة كالتالي‬
‫)‪(M1‬‬ ‫‪d (x , y ) ≥ 0 .‬‬
‫)‪(M2‬‬ ‫‪d (x , y ) = 0 ⇔ x = y .‬‬
‫)‪)M3‬‬ ‫‪d (x , y ) = d (y , x).‬‬
‫(‪)M4‬‬ ‫)‪d (x , y ) ≤ d (x , z ) + d (z , y‬‬
‫إلثبات الشرط ( ‪ )M4‬نفرض أن ‪ z, y, x‬عناصر في ‪.X‬تعتبر الحاالت اآلتية‪:‬‬
‫‪a) x = y =z‬‬
‫من الواضح أن المتباينة ( ‪ )M4‬تتحقق في هذه الحالة‪.‬‬
‫‪b) x = y ≠ z‬‬
‫لدينا‬
‫‪,0, d 0(x,z)=1, d 0(z,y)=1 =)x,yd( 0‬‬
‫وبالتالي فان‬
‫‪)z, y (d 0 +)x,zd( 0 ≤)x, y (d 0‬‬
‫وبالمثل نستطيع ان نبرهن صحة المتباينة( ¿اذ كانت ‪ y ≠ x= z‬او ‪y=z ≠ x‬‬
‫‪c)x ≠ y ≠ z‬‬
‫‪1=)z,yd( 0 =)x,zd( 0 =)x,yd( 0‬‬ ‫ومن الواضح ان‬
‫الفضاء ‪ ))d 0 ,X‬يسمى الفضاء المتري المتقطع ( ‪)Discrete Metric‬‬
‫لتعريف دالة مسافة ‪R n‬نحتاج الى متباينة كوشي‪ -‬بونياكوفسكي‪ -‬شوارتز والنتيجة التي تليها ‪.‬‬

‫‪12‬‬ ‫‪.‬‬
 ‫نظرية( ‪ :)1 -1‬متباينة كوشي ‪ – Cauchy‬شوارتز ‪Schwarz :‬‬

‫…… ‪ y 1 ,y 2…, …… … ,y n , x, 1 ,x 2‬اعداد حقيقية فان ‪:‬‬

‫‪,‬‬ ‫اذا كان ‪,x n‬‬

‫‪n‬‬ ‫‪n‬‬ ‫‪1‬‬ ‫‪n‬‬ ‫‪1‬‬

‫∑‬
‫‪i 1‬‬
‫=‬
‫‪x iy ≤i ∑ x‬‬
‫) (∑) (‬
‫‪i 1‬‬
‫=‬
‫‪2 2‬‬
‫‪i‬‬
‫‪i 1‬‬
‫=‬
‫‪y‬‬ ‫‪2 2‬‬
‫‪i‬‬

‫البرهان‪:‬‬

‫نعتبر الدالة ‪ f :R→ R‬حيث ‪ f (t=) A t 2+tB +C‬و‬

‫‪n‬‬ ‫‪n‬‬ ‫‪n‬‬
‫‪2‬‬
‫‪A=∑ x ,B=∑ 2 x iy iC‬‬
‫∑= ‪,‬‬
‫‪i‬‬ ‫‪y 2i‬‬
‫‪i 1‬‬
‫=‬ ‫‪i 1‬‬
‫=‬ ‫‪i 0‬‬
‫=‬

‫نالحظ ان ‪:‬‬
‫‪n‬‬ ‫‪n‬‬
‫‪2‬‬
‫= ¿‪f (t=)∑ (x 2i t 2+ 2 x iy it+ y 2i‬‬
‫∑)‬ ‫¿ ‪(x it+ y i )≥ 0‬‬
‫‪i 1‬‬
‫=‬ ‫‪i 1‬‬
‫=‬

‫هذا يعني ان الدالة ) ‪ f (t‬ال يكون لها جذريين حقيقين مختلفين‪ .‬وبالتالي فان مميز المعادلة‬
‫‪A t 2+tB +C= 0‬اليمكن ان يكون موجب‬
‫اذن‬
‫‪n‬‬ ‫‪2‬‬ ‫‪n‬‬ ‫‪n‬‬

‫[‬
‫∑‪4∑ x iy i − 4∑ x 2i‬‬
‫‪i 1‬‬
‫=‬
‫] [] [ ]‬ ‫‪i 1‬‬
‫=‬ ‫‪i 1‬‬
‫=‬
‫‪y 2i ≤ 0‬‬

‫من هذه العالقة نستنتج مباشرة متباينة كوشي‪ -‬بونياكوفسكي –شوارتز‪.‬‬

‫نتيجة( ‪-:)1 -1‬‬

‫اذا كانت ‪a 1 a, 2…, …… .,a n b, 1 b, 2…, … .. ,b n‬اعداد حقيقية فان‬

‫‪n‬‬ ‫‪n‬‬ ‫‪n‬‬

‫√‬
‫∑ ≤‪∑ a( +i b i )2‬‬
‫‪i 1‬‬
‫=‬
‫√ √‬ ‫‪i 1‬‬
‫=‬
‫‪a 2+‬‬ ‫‪2‬‬
‫‪i ∑ b i‬‬
‫‪i 1‬‬
‫=‬

‫البرهان‪:‬‬
‫‪n‬‬ ‫‪n‬‬
‫‪2‬‬
‫=‪∑ (a +i b i‬‬
‫∑)‬ ‫¿) ¿‪(a 2+i 2 a bi +i b 2i‬‬
‫‪i 1‬‬
‫=‬ ‫‪i 1‬‬
‫=‬
‫‪n‬‬ ‫‪n‬‬ ‫‪n‬‬
‫∑ ‪¿ a 2+i‬‬
‫∑‬ ‫¿‪¿ b 2i‬‬
‫∑ ‪2 a bi +i‬‬
‫‪i 1‬‬
‫=‬ ‫‪i 1‬‬
‫=‬ ‫‪i 1‬‬
‫=‬

‫من متباينة كوشي –بونياكوفسكي‪-‬شوارتز لدينا‬

‫‪n‬‬ ‫‪n‬‬ ‫‪n‬‬ ‫‪n‬‬
‫≤‬
‫‪i 1‬‬
‫=‬
‫√‬
‫‪∑ a 2+i 2∑ a∑2i b 2+i∑ b 2i‬‬
‫‪i 1‬‬
‫=‬ ‫‪i 1‬‬
‫=‬ ‫‪i 1‬‬
‫=‬

‫‪13‬‬ ‫‪.‬‬
 ‫‪n‬‬ ‫‪n‬‬ ‫‪2‬‬

‫¿‬ ‫) √∑ √∑(‬
‫‪i 1‬‬
‫=‬
‫‪a+‬‬ ‫‪2‬‬
‫‪i‬‬
‫‪i 1‬‬
‫=‬
‫‪b‬‬ ‫‪2‬‬
‫‪i‬‬

‫مثال ( ‪: )3 -1‬‬
‫→ ‪d :R n× R‬المعرفة كما يلي‪:‬‬
‫‪n‬‬
‫الدالة ‪R‬‬
‫‪n‬‬

‫√‬
‫…‪d (x ,y=) ∑ (y−i x i)2 ,x= (x 1 ,x 2‬‬
‫‪i 1‬‬
‫=‬
‫…‪, ,x n ) ,y= (y 1 ,y 2‬‬
‫)‪, ,y n‬‬

‫تحقق شروط دالة المسافة‪.‬‬

‫الحل‪:‬‬
‫من الواضح أن الشروط ( ‪ )M3 ( ,)M2 (,)M1‬تتحقق كالتالي‪.‬‬
‫واآلن نبرهن ( ‪.)M4‬‬
‫‪( M 1 ) d (x , y) √ 0≥ 0 .‬‬
‫)‪(M2‬‬ ‫‪d (x , y ) = 0 ⇔ x = y .‬‬
‫)‪)M3‬‬ ‫‪d (x , y ) = d (y , x).‬‬
‫(‪)M4‬‬ ‫)‪d (x , y ) ≤ d (x , z ) + d (z , y‬‬

‫ع‬ ‫ل ‪ i=1,2,…,n‬نض‬ ‫…‪ z= (z 1 ,z 2‬لك‬

‫…‪, ,z n ) ,y= (y 1 ,y 2‬‬ ‫رض أن ) ‪, ,x n‬‬
‫…‪, ,y n ) ,x= (x 1 ,x 2‬‬ ‫لنف‬
‫)‪a=i (y−i x i‬‬ ‫)‪،b=i (z−i y i‬‬

‫من نتيجة( ‪ )1 -1‬نستنتج أن‬

‫‪n‬‬ ‫‪n‬‬ ‫‪n‬‬

‫√‬
‫∑‬
‫‪i 1‬‬
‫=‬
‫√‬
‫∑ ≤‪(z−i x i)2‬‬
‫‪i 1‬‬
‫=‬
‫‪2‬‬
‫√‬
‫)‪(y−i x i )+ ∑ (z−i y i‬‬
‫‪i 1‬‬
‫=‬
‫‪2‬‬

‫هذا يعني أن‬

‫) ‪d (x ,z ≤) d (x ,y +) d (y ,z‬‬

‫إذن ) ‪(R n ,d‬فضاء متري‪.‬‬

‫مالحظة ‪:‬‬

‫دالة المسافة المعرفة في المثال ( ‪ )3 -1‬تسمى بالدالة اإلقليدية والفضاء ) ‪(R n ,d‬يسمى بالفضاء اإلقليدي ذو‬
‫البعد ‪. n‬‬

‫إذا وضعنا ‪ n=2‬في المثال السباق نستنتج المثال التالي ‪:‬‬

‫‪14‬‬ ‫‪.‬‬
 ‫مثال ( ‪: )4 -1‬‬

‫→‪d :R 2× R‬والمعرفة كما يلي ‪:‬‬

‫‪2‬‬
‫‪R‬‬ ‫الدالة‬
‫‪2‬‬ ‫‪2‬‬
‫= ‪d ( (x 1 ,x 2 ) , (y 1 ,y 2‬‬
‫))‬ ‫‪√ (x− y‬‬
‫‪1‬‬ ‫‪1‬‬ ‫‪)+ (x−‬‬
‫)‪2 y2‬‬

‫برهن أن ‪ d‬دالة المسافة على ‪R 2‬وأن ) ‪(R 2 ,d‬فضاء متري‪.‬‬

‫الحل‬

‫)‪a=i (y−i x i‬‬ ‫لنفرض أن ) ‪ z= (z 1 ,z 2 ) ,y= (y 1 ,y 2 ) ,x= (x 1 ,x 2‬لكل ‪ i=1,2‬نضع )‪،b=i (z−i y i‬‬
‫من الواضح أن الشروط ( ‪ )M3 ( ,)M2 (,)M1‬تتحقق كالتالي‪.‬‬
‫)‪(M1‬‬ ‫‪d (x , y ) ≥ 0 .‬‬
‫)‪(M2‬‬ ‫‪d (x , y ) = 0 ⇔ x = y .‬‬
‫)‪)M3‬‬ ‫‪d (x , y ) = d (y , x).‬‬
‫(‪)M4‬‬ ‫)‪d (x , y ) ≤ d (x , z ) + d (z , y‬‬
‫من نتيجة(‪ )1-1‬نستنتج أن‬
‫‪2‬‬ ‫‪2‬‬ ‫‪2‬‬

‫√‬
‫∑‬
‫‪i 1‬‬
‫=‬
‫‪2‬‬
‫∑ ≤ )‪(z−i x i‬‬ ‫√‬ ‫‪i 1‬‬
‫=‬
‫‪2‬‬
‫√‬
‫)‪(y−i x i )+ ∑ (z−i y i‬‬
‫‪i 1‬‬
‫=‬
‫‪2‬‬

‫هذا يعني أن‬

‫) ‪d (x ,z ≤) d (x ,y +) d (y ,z‬‬
‫إذن( ¿ ‪R 2 ,d‬فضاء متري‪.‬‬

‫مثال ( ‪: )5 -1‬‬
‫→ ‪d :R n× R‬المعرفة ما يلي ‪:‬‬
‫‪n‬‬
‫برهن أن ‪ n‬عدد طبيعي‪ .‬الدالة ‪R‬‬

‫‪15‬‬ ‫‪.‬‬
 ‫}‪d ((x1,x2,…,xn ),(y1,y2,…,yn ))=max{|xk-yk |,k=1,2,…,n‬‬
‫دالة مسافة‪.‬‬
‫الحل‪:‬‬
‫من السهل إثبات الخواص ( ‪ )M1‬و ( ‪ )M2‬و ( ‪ )M3‬كالتالي‪.‬‬
‫)‪(M1‬‬ ‫‪d (x , y ) ≥ 0 .‬‬
‫)‪(M2‬‬ ‫‪d (x , y ) = 0 ⇔ x = y .‬‬
‫)‪)M3‬‬ ‫‪d (x , y ) = d (y , x).‬‬
‫(‪)M4‬‬ ‫)‪d (x , y ) ≤ d (x , z ) + d (z , y‬‬
‫المسافة بين هذين العنصرين اكبر من او تساوي ‪.0‬‬
‫}‪d (x , z ) = max{| xk - zk |, k = 1,2,..., n‬‬
‫} ‪= max{| xk - yk + y k - zk |, k = 1, 2,.., n‬‬
‫}‪≤ max{|| xk - yk |, k = 1, 2,.., n } + max{| yk - zk |, k = 1, 2,.., n‬‬
‫‪= d(x , y ) + d (y , z ).‬‬
‫إذن ¿) ‪(R ¿¿n ,d‬فضاء متري‪.‬‬

‫مثال ( ‪: )6 -1‬‬

‫→ ‪d :R n× R‬المعرفة كما يلي‬

‫‪n‬‬
‫افرض ان ‪ n‬عدد طبيعي الدالة ¿‬
‫‪k=n‬‬
‫¿ ¿∨ ‪d (( x 1 , x 2 , … , x n) ,( y 1 , y 2 , … , y n))=∑ ¿ x k − y k‬‬
‫‪k=1‬‬

‫الحل‪:‬‬

‫دالة مسافة من السهل إثبات الخاصية ( ‪ )M1‬و ( ‪ )M2‬و ( ‪)M3‬‬

‫)‪(M1‬‬ ‫‪d (x , y ) ≥ 0 .‬‬
‫)‪(M2‬‬ ‫‪d (x , y ) = 0 ⇔ x = y .‬‬
‫)‪)M3‬‬ ‫‪d (x , y ) = d (y , x).‬‬
‫(‪)M4‬‬ ‫)‪d (x , y ) ≤ d (x , z ) + d (z , y‬‬
‫ونبرهن اآلن الخاصية ( ‪ .)M4‬لتوضيح ذلك نفرض أن‬

‫) ‪ z=(z1,z2,…,zn ),y=(y1,y2,…,yn ), x=(x1,x2,…,xn‬في ‪.R n‬‬

‫نالحظ أن‪:‬‬
‫‪16‬‬ ‫‪.‬‬
 ‫‪k= n‬‬ ‫‪k= n‬‬ ‫‪k= n‬‬
‫‪d (x ,z=)∑ ¿ x−‬‬
‫∨‪k z‬‬ ‫∑‪∑ ¿ x−k y∨k +‬‬
‫≤¿ ‪k‬‬ ‫‪¿ ¿ y−‬‬
‫∨‪k z‬‬
‫¿¿¿¿ ‪k‬‬
‫‪k= 1‬‬ ‫‪k= 1‬‬ ‫‪k= 1‬‬

‫) ‪¿d (x ,y +) d (y ,z‬‬

‫مثال ( ‪: )7 -1‬‬

‫لتكن ]‪ C[a,b‬مجموعة جميع الدوال المتصلة من الفترة المغلقة[ ‪ ]a,b‬الى ‪R‬يستطيع ان نثبت ان الدالة‬
‫} ]‪d (f, g) = max{|f(x) - g(x)|: x∍[a,b‬‬
‫دالة المسافة على ]‪C[a,b‬‬

‫مثال( ‪: )8 -1‬‬

‫نستطيع ان نعرف دالة مسافة اخرى على ]‪ C[a,b‬كالتالي‬

‫‪b‬‬
‫‪d (f ,g=) ∫ ¿ f x( −) g (x∨xd‬‬
‫)‬
‫‪a‬‬

‫في االمثلة االتية سنعتبر فضاءات تحتوي على متتابعات‬

‫مثال( ‪: )9 -1‬‬

‫لتكن‬
‫∞‬
‫…‪R = {x= (x 1 ,x 2‬‬ ‫∈ ‪, . ) :x‬‬
‫…‪, ,x n‬‬ ‫‪n R‬‬ ‫}‬
‫→ ‪d :R ∞× R‬دالة معرفة كاالتي‪:‬‬
‫∞‬
‫∞ [‪0‬‬
‫¿ ‪,‬‬ ‫و‬
‫‪1 |x−j y |j‬‬
‫∞‬
‫∑)=‪d (x ,y‬‬ ‫‪j‬‬
‫‪j 1 2 1+ |x−‬‬
‫=‬ ‫‪j y |j‬‬

‫…‪. y= (y 1 ,y 2…, ,y n‬‬

‫…‪x= (x 1 ,x 2‬و ) ‪, .‬‬ ‫حيث ) ‪, .‬‬
‫…‪, ,x n‬‬

‫الحل‪:‬‬

‫من الواضح ان الدالة ‪ d‬حسنة التعريف وان الشروط ( ‪ )M1‬و ( ‪ )M2‬و ( ‪ )M3‬متحققة‪.‬‬
‫)‪(M1‬‬ ‫‪d (x , y ) ≥ 0 .‬‬
‫‪17‬‬ ‫‪.‬‬
‫)‪(M2‬‬ ‫‪d (x , y ) = 0 ⇔ x = y .‬‬
‫)‪)M3‬‬ ‫‪d (x , y ) = d (y , x).‬‬
‫(‪)M4‬‬ ‫)‪d (x , y ) ≤ d (x , z ) + d (z , y‬‬

‫‪ R + ¿= 0( ∞,‬كما يلي‪:‬‬ ‫¿)‬

‫إلثبات المتباينة المثلثية نعتبر الدالة ‪ f‬المعرفة على‬

‫‪t‬‬
‫)=‪f (t‬‬
‫‪1+ t‬‬
‫‪1‬‬
‫)=‪f ' (t‬‬ ‫‪2‬‬
‫∈ ∀‪> 0 ,‬‬
‫¿¿ ‪t R +‬‬
‫) ‪1( + t‬‬

‫أي أن الدال ة ‪ f‬متزاي دة‪ .‬اآلن نف رض أن ) ‪ z=(z1,z2,…,zn ),y=(y1,y2,…,yn ), x=(x1,x2,…,xn‬ثالث ة‬

‫‪R.‬‬ ‫‪n‬‬
‫متتابعات منتمية الى‬

‫لكل ‪ ..…… ,j=1, 2‬نضع ‪ aj  yj  xj,bj  zj  yj‬وحيث أن ‪ f‬متزايدة فنجد أن‬

‫‪|a +j b |j‬‬
‫) ‪= f |(a +j b |j‬‬
‫‪1+ |a +j b |j‬‬

‫) ‪≤ f (|a |j )+ f (|b |j‬‬

‫) ‪(|a |j‬‬ ‫) ‪(|b |j‬‬

‫¿‬ ‫‪+‬‬
‫‪1+ |a |j 1+ |b‬‬ ‫‪|j‬‬

‫هذا يؤدي إلى‬

‫‪|x−j y |j‬‬ ‫‪|x−j z |j‬‬ ‫‪|z +j y |j‬‬

‫≤‬ ‫‪+‬‬ ‫∀‪,‬‬ ‫… ‪j2,1‬‬
‫=‬ ‫‪, .‬‬
‫‪1+ |x−j y |j 1+ |x−j zy |j 1+ |z +j y |j‬‬

‫‪1‬‬
‫نستنتج أن ‪:‬‬ ‫بضرب طرفي هذه المتباينة في العدد‬
‫‪2j‬‬

‫)‪d (x, y)  d (x, z)+ d (z, y‬‬

‫تعريف ( ‪:)l p‬‬

‫اآلن لكل عدد حقيقي ‪ p ≥1‬تعتبر المجموعة ‪ l p‬التي تحتوي جميع المتتابعات الحقيقية ‪xn), n , n≥1‬‬

‫‪18‬‬ ‫‪.‬‬
 ‫∞‬
‫لتعريف دالة مسافة على ‪ l‬تحتاج إلى متباينة مينوكوسكي ‪ Minkowski‬االتية‪.‬‬
‫‪p‬‬
‫بحيث ان‪∑ ¿ x∨i ¿ p¿ .‬‬
‫‪i 1‬‬
‫=‬

‫نظرية ‪ ))2 -1‬متباينة مينوكوسكي‪-:‬‬

‫نفرض أن ‪ )∞,p∈[1‬وأن ‪ a1, a2, …,an ، b1, b2, …, bn‬أعداد حقيقية أذن‬
‫¿¿‬

‫البرهان‪:‬‬

‫من الواضح أن العالقة متحققة عند‪ . p = 1‬لذلك تفرض أن‪ p < 1‬ليكن ‪ q‬عددا حقيقيا بحيث أن‬
‫‪1 1‬‬
‫‪ + = 1‬من متباينة هولدر لدينا‪:‬‬
‫‪p q‬‬
‫‪n‬‬

‫∑‬ ‫∨‪¿a kb‬‬

‫¿ ¿ ¿ ≤¿ ‪k‬‬
‫‪k= 1‬‬

‫بتطبيق هذه المتباينة ينتج إن‪:‬‬

‫‪n‬‬

‫∑‬ ‫¿ ¿ ¿¿‬
‫‪k= 1‬‬

‫¿¿ ≤‬
‫¿¿¿‬
‫الحظ ان ‪ .q(p-1)=p‬بقسمة الطرفين على‬
‫¿¿‬
‫‪1 1‬‬
‫ومالحظة أن ‪ q(p-1)=p‬وأن ‪1− q= p‬نحصل على‬
‫¿¿‬
‫نتيجة (‪-:)2-1‬‬

‫إذا كانت ‪ a1, a2, …,an ، b1, b2, …, bn‬أعداد حقيقية و ‪ )∞,p∈[1‬بحيث تكون المتسلسلتين‬
‫‪n‬‬ ‫‪n‬‬
‫تقاربيتين فإن ‪:‬‬
‫∑‪∑ ¿a∨k ¿ p‬‬
‫∨ ‪ ¿b‬و‬ ‫‪p‬‬
‫¿¿ ¿ ‪k‬‬
‫‪k= 1‬‬ ‫‪k= 1‬‬

‫¿¿‬

‫البرهان‪:‬‬

‫من نظرية( ‪ )2 -1‬نعلم انه لكل عدد طبيعي ‪n‬‬

‫‪19‬‬ ‫‪.‬‬
‫¿¿‬

‫∞ ‪i‬‬
‫=‬ ‫∞ ‪i‬‬
‫=‬
‫∑‪∑ ¿a∨i ¿ p‬تقاربيتين‪ .‬إذن لكل عدد طبيعي ‪n‬‬
‫و‬ ‫حيث المتسلسلتين ¿ ¿‪¿b∨i ¿ p‬‬
‫‪i 1‬‬
‫=‬ ‫‪i 1‬‬
‫=‬

‫¿¿‬

‫لنجعل ‪ n‬تؤول الى∞ فنجد أن‪:‬‬

‫¿¿‬

‫مثال ( ‪: )10 -1‬‬

‫نعتبر الدالة ¿ ¿ )=‪d (x ,y‬‬

‫من نتيجة (‪ )2-1‬نجد أن ‪:‬‬

‫¿¿‬
‫هذا يعني ان الدالة ‪ d‬حسنة التعريق‪.‬‬

‫الحل‪:‬‬

‫من الواضح أن هذه الدالة تحقق الشروط ( ‪ )M1‬و ( ‪ )M2‬و ( ‪.)M3‬‬

‫)‪(M1‬‬ ‫‪d (x , y ) ≥ 0 .‬‬
‫)‪(M2‬‬ ‫‪d (x , y ) =0 ⇔ x = y .‬‬
‫)‪)M3‬‬ ‫‪d (x , y ) = d (y , x).‬‬
‫إلثبات ( ‪ )M4‬نفرض ان ‪ z= (z n∈) l p ,n≥ 1‬لدينا من نتيجة (‪)1-2‬‬
‫¿ ¿ )=‪d (x ,z‬‬
‫¿¿ ≤‬
‫) ‪≤ d (x ,y +) d (y ,z‬‬

‫مالحظة( ‪-: )1 -2‬‬

‫نفرض أن ( ‪ ) X , d‬فضاء متري‪ ،‬و ‪ A‬مجموعة جزئية غير خالية من ‪ . X‬إذا كان ‪x ,y∈ A‬فإن‬
‫)‪ d(x,y‬هي المسافة بين ‪ x,y‬في الفضاء المتري ( ‪ )X , d‬وبالتالي ( ‪ )A,d‬يكون فضاء متري أيضاً‬
‫ويسهى فضاء متري جزئي من ( ‪.)X,d‬‬

‫تعريف ( ‪-:)1 -2‬‬

‫‪20‬‬ ‫‪.‬‬
 ‫نفرض أن ( ‪ ) X , d‬فضاء متري‪ p∈ X ،‬و ‪A⊆ X‬مجموعة جزئية غير خالية‪.‬‬

‫‪d (x ,y ≤) M ,∀ x ,y∈ A‬‬ ‫نقول أن ‪ A‬محدودة إذا أمكن ايجاد عدد حقيقي موجب بحيث أن‬ ‫‪‬‬
‫إذا كانت غير محدودة‪ ،‬فيعرف قطرها بأنه‬ ‫‪‬‬
‫‪maid‬‬ ‫} ‪) {d (x ,y ) :x ,y∈ A‬‬
‫= ‪) d (A‬‬
‫= ‪(A‬‬

‫المسافة بين النقطة ‪ P‬والمجموعة الجزئية ‪ A‬تعرف بالصيغة‬ ‫‪‬‬

‫= ‪d (P ,A‬‬
‫} ‪) fni {d (P ,a ) :a∈ A‬‬

‫إذا كانت ‪B⊆ X‬مجموعة جزئية غير فارغة فإن المسافة بين ‪ A‬وتعرف بالصيغة‬ ‫‪‬‬
‫‪d A( ,B =)fni‬‬ ‫‪d{ (x ,y ):x∈ A ,y∈ B‬‬ ‫}‬

‫مثال (‪: )11-1‬‬

‫‪ - 1‬في الفضاء المتري ) ‪ (R ,d R‬المسافة بين النقطة ‪ 4‬والمجموعة الجزئية ]‪ A=[1,2‬تساوي‬

‫‪d A( 2,1‬‬
‫[‪,‬‬ ‫‪] )fni‬‬
‫=‬ ‫‪d{ 4( ,a ) :a∈2,1‬‬
‫[‬ ‫‪]=} 2‬‬

‫‪ - 2‬جميع المجموعات في الفضاء المتري )‪(R ,d 0‬محدودة وقطرها ال يزيد عن الواحد‪.‬‬

‫‪ - 3‬في الفضاء المتري ‪ l2‬اعتبر المجموعة }……‪ A={e1,e2,….,en,‬حيث ‪ en‬هي المتتابعة التي‬
‫جميع حدودها أصفار ما عدا الحد رقم ‪ n‬فيساوي الواحد‪ .‬من التعريف نجد أن ‪d A( =) √ 2‬‬

‫‪21‬‬ ‫‪.‬‬
 ‫الفصل الثاني‬
‫توبولوجيا الفضاءات المترية‬
‫‪Topology of Metric Spaces‬‬

‫‪22‬‬ ‫‪.‬‬
 ‫توبولوجيا الفضاءات المترية‬

‫‪Topology of Metric Spaces‬‬

‫المجموعات المفتوحة والمغلقة‬

‫‪Open and Slose Sets‬‬

‫ن برهن في ه ذا الفص ل ان ك ل فض اء م تري ‪ X ,d‬يك ون فض اء توبول وجي وبالت الي نتمكن من تعري ف‬
‫تق ارب المتتابع ات في الفض اء الم تري وك ذلك دراس ة ال دوال المعرف ة من فض اء م تري الى فض اء م تري‬
‫اخر لذلك نبدأ بتعريف الكرات المفتوحة والمغلقة في الفضاءات المترية نبدأ بتقديم مفهوم الكرة المفتوحة‬
‫والكرة المغلقة‬

‫تعريف (‪)1-2‬‬

‫نف رض ان ‪ X ,d‬فضاء متري و‪ r‬عدد حقيقي موجب تع رف الكرة المفتوحة في ‪ X‬والتي مركزها‬
‫‪ a‬ونصف قطرها ‪ r‬بانها المجموعة‬
‫} ‪B r a( =) {x∈ X :d a( ,x <) r‬‬

‫وتعرف الكرة المغلقة التي مركزها ‪a‬ونصف قطرها ‪r‬بانها المجموعة‬

‫‪S (x ,r )xX :d a ,x≤ r‬‬

‫للداللة على الكرة المفتوحة التي مركزها ‪a‬ونصف قطرها ‪r.‬‬

‫نستطيع استخدام الرمز ) (‪B r a‬او ) ‪B a( ,r‬‬

‫مثال (‪:)1-2‬‬

‫‪ )1‬في الفضاء المتري ‪ ))d R R,‬حيث = |‪d R (x ,y ) |x− y‬يكون‬

‫} ‪B r a( =) {x∈ R :d a( ,x <) r‬‬

‫} ‪¿ {x∈ R :|x− a |< r‬‬

‫‪¿ {x∈ R −‬‬
‫} ‪: r< x− a< r‬‬
‫} ‪¿ {x∈ R :a− r< x< a+ r‬‬

‫( ¿ ‪=a− r ,a+ r‬‬

‫‪23‬‬ ‫‪.‬‬
 ‫‪R‬‬ ‫‪2‬‬
‫‪ ))d R R,‬حيث لكل ) ‪x = (x 1 ,x 2‬و ) ‪ y = (y 1 ,y 2‬في‬ ‫‪2‬‬ ‫‪ )2‬في الفضاء المتري‬
‫‪2‬‬ ‫‪2‬‬
‫)=‪d R (x ,y‬‬
‫‪2‬‬
‫‪√ (x− x‬‬
‫‪1‬‬ ‫‪2‬‬ ‫‪)+ (y−‬‬
‫)‪1 y2‬‬

‫تكون‬

‫} ‪B r (x=) {y∈ R 2 :d R (x ,y <) r‬‬

‫‪2‬‬

‫‪= {y∈ R 2 :√ (x−‬‬ ‫‪2‬‬ ‫‪2‬‬

‫} ‪1 y 2 )< r‬‬
‫‪1 x 2 )+ (y −‬‬

‫‪¿ {y∈ R 2 : (x−‬‬ ‫‪2‬‬ ‫‪2‬‬ ‫‪2‬‬

‫} ‪1 y 2 )< r‬‬
‫‪1 x 2 )+ (y −‬‬

‫الحظ ان الكرة المفتوحة تكون ‪3‬‬

‫‪B0,0‬‬
‫((‬ ‫‪) ,1=) {y∈ R 2 :y 12+ y 22< 1‬‬ ‫}‬
‫‪ )3‬في الفضاء المتري ‪ ))d 1 R, 2‬حيث‬

‫=‪d‬‬
‫‪1‬‬ ‫‪(x 1 ,x 2 ) , (y 1 ,y 2=) |x−‬‬
‫‪1 y 1|+ |x −‬‬
‫‪2 y 2| ,‬‬

‫نالح ظ ان الك رة المفتوح ة ) ‪B r (x 1 ,x 2‬عب ارة عن مجموع ة من النق اط الواقع ة داخ ل المعين ال ذي مرك زه‬
‫النقطة ) ‪ (x 1 ,x 2‬ونصف قطرها ‪r‬‬

‫‪ )4‬في الفضاء المتري ‪ ))d ∞ R, 2‬حيث‬

‫=‪d ∞ ( (x 1 ,x 2 ) , (y 1 ,y 2x‬‬
‫‪) )am‬‬ ‫‪|( x−‬‬
‫‪1 y 1|+ |x−‬‬
‫‪2‬‬ ‫) |‪y 2‬‬

‫نالح ظ ان الك رة المفتوح ة ) ‪B r (x 1 ,x 2‬عب ارة عن مجموع ة من النق اط الواقع ة داخ ل المرب ع ال ذي مرك زه‬
‫النقطة ) ‪ (x 1 ,x 2‬ونصف قطرها ‪r‬‬

‫تعريف (‪)2-2‬‬

‫‪24‬‬ ‫‪.‬‬
‫‪A‬والجزئية من الفضاء المتري ‪ X ,d‬انها مفتوحة اذا كان لكل ‪ a‬في ‪ A‬يمكن ايجاد‬ ‫يقال للمجموعة‬
‫كرة مفتوحة ) (‪B r a‬بحيث ‪B r a( ⊆) A‬ويقال انها مغلقة اذا كان مكملتها مفتوحة‪.‬‬

‫مثال (‪)2-2‬‬

‫‪ )1‬اعتبر الفضاء المتري ‪ ))d 0 ,X‬حيث لكل ‪ y,x‬في ‪X‬‬

‫‪d 0 (x ,y=) 0 ,x= y‬‬

‫{‬‫‪1 ,x≠ y‬‬
‫‪1‬‬
‫لتكن ‪ A‬مجموعة جزئية من ‪ X‬و ‪x‬في ‪ A‬خذ ‪2 =r‬لدينا‬

‫}⊆‪AB r (x=) {x‬‬

‫اذن جميع المجموعات الجزئية من ‪ X‬تكون مفتوحة بالنسبة للفضاء المتقطع ‪ X ,d 0 ‬ومن ذلك نستنتج‬
‫ان كل مجموعة جزئية من ‪ X ,d 0 ‬تكون مفتوحة ومغلقة في نفس الوقت ‪.‬‬

‫‪ )2‬في الفضاء المتري ‪ ))d R R,‬تكون المجموعة الجزئية ‪ A‬من ‪R‬مفتوحة إذا كان لكل ‪ x‬في ‪ A‬يمكن‬
‫إيجاد فترة مفتوحة مركزها ‪ ) )x x – r , x + r‬محتواه في ‪. A‬‬

‫‪ )3‬في الفض اء المتري ‪ ))d R R, 2‬تكون المجموع ة الجزئي ة ‪ A‬من ‪ R2‬مفتوح ة إذا ك ان لك ل ‪ x‬في ‪A‬‬
‫‪2‬‬

‫يمكن إيجاد عدد حقيقي موجب ‪ r‬بحيث تكون الدائرة التي مركزها ‪ x‬ونصف قطرها ‪ r‬محتواه في ‪. A‬‬

‫في النظرية التالية تعطي بعض خواص المجموعات المفتوحة وذلك بهدف إثبات أن كل فضاء متري يكون‬
‫فضاء توبولوجي‪.‬‬

‫نظرية (‪)1-2‬‬

‫نفرض أن ( ‪ )X , d‬فضاء متري‪.‬‬

‫المجموعتان ‪ , X‬مفتوحتان‪.‬‬ ‫‪‬‬

‫إذا كانت ‪ .G1,G2, G3,… Gn‬مجموعات مفتوحة فإن التقاطع ‪Gn ⋂..... ⋂ G1⋂G2 ⋂ G3‬‬ ‫‪‬‬
‫مجموعة مفتوحة‪.‬‬
‫اتحاد مجموعات المفتوحة يكون مجموعة مفتوحة ‪.‬‬ ‫‪‬‬
‫‪25‬‬ ‫‪.‬‬
 ‫البرهان‪:‬‬

‫اوال ‪ :‬من الواض ح أن ‪ X‬مجموع ة مفتوح ة‪ .‬إذا ك انت ‪ ‬ليس ت مفتوح ة فيوج د عنصر ‪ x‬في ‪ ‬بحيث ال‬
‫يمكن إيج اد ك رة مفتوح ة مركزه ا ‪ x‬ومحت واه في ‪ ‬وه ذا يتن اقض م ع ك ون ‪ ‬فارغ ة‪ .‬إذن ‪ ‬مجموع ة‬
‫مفتوحة‪.‬‬

‫ثانيا‪ :‬نفرض أن ‪ G1,G2, G3,… Gn‬مجموعات مفتوحة وان‪:‬‬

‫‪p ∈A = G1⋂ G2 ⋂ G3⋂.....⋂ Gn‬‬

‫حيث أن كل من المجموعات ‪ G1,G2, G3,… Gn‬مجموعات مفتوحة‪ ،‬إذن توجد ‪ r1,r2,… rn‬بحيث أن‬
‫و‬ ‫=‪η‬نالحظ ‪η > 0‬‬
‫‪nim‬‬ ‫… ‪B p( ,r⊆) G ,∀ k=2,1‬نضع } ‪, ,r n‬‬
‫…‪⁡ 1 ,r 2‬‬
‫‪{r‬‬ ‫‪, ,n‬‬

‫) ‪B p( ,η ⊆) B (p ,r 1 )⋂ B (p ,r 2 )⋂… .⋂B (p ,r n‬‬

‫وذلك يؤدي إلى أن ‪:‬‬

‫‪p∈ B p( ,η ⊆) A‬‬

‫وهذا معناه أن المجموعة ‪ A‬مجموعة مفتوحة‪.‬‬

‫ثالثا ‪ :‬تفرض أن ‪ ‬هي عائلة من المجموعات المفتوحة وأن ‪ H‬اتحاد هذه العائلة والمطلوب إثبات أن ‪H‬‬
‫مجموع ة مفتوح ة‪ .‬إلثب ات ذل ك نف رض أن ‪. p ∈ H‬إذن توج د مجموع ة من مجموع ات العائل ة ولتكن ‪G‬‬
‫بحيث أن ‪ p ∈ G ∈ H‬بما أن المجموعة ‪ G‬مفتوحة‪ ،‬فإنه توجد كرة مفتوحة مركزها ‪ p‬بحيث أن‬

‫‪p∈ B p( ,η ⊆) H‬‬ ‫‪p∈ B p( ,η ⊆) G‬ذلك يؤدي إلى أن‬

‫‪26‬‬ ‫‪.‬‬
 ‫وهذا يبرهن أن ‪ H‬مجموعة مفتوحة‪.‬‬

‫نتيجة (‪)1-2‬‬

‫كل فضاء متري فضاء توبولووجي‬

‫لقد تعرفنا سابقا على خصائص المجموعات المفتوحة ونحن نعلم أن المجموعة المفتوحة ما هي إال مكملة‬
‫لمجموع ة مغلق ة‪ .‬فه ل هن اك خ واص تحققه ا المجموع ات المغلق ة مث ل تل ك ال تي تحققه ا المجموع ات‬
‫المفتوحة ؟ لإلجابة على هذا السؤال عن تطرق بالدراسة للمجموعات المغلقة باستخدام خواص المجموعات‬
‫المفتوحة‪.‬‬

‫نظرية (‪.)2-2‬‬

‫لتكن ‪ .x∈X‬المجموعة {‪ }x‬مغلقة بالنسبة للقضاء المتري (‪. )d, X‬‬

‫البرهان‬

‫‪1‬‬
‫‪ ،r= 2 d‬حيث أن ‪ z ≠ x‬فإن ‪ . B ( z, r ) ⊆ K , r > 0‬إذن‬ ‫ضع {‪ K = X - }x‬ولتكن ‪ z∈K‬خذ‪.‬‬
‫‪ K‬مجموعة مفتوحة وبالتالي فإن {‪ }x‬مجموعة مغلقة‪.‬‬

‫نتيجة (‪)2-2‬‬

‫إذا كانت‪ A‬مجموعة منتهية من فضاء متري فإنها تكون مغلقة ‪.‬‬

‫البرهان‬

‫‪27‬‬ ‫‪.‬‬
‫المجموعة المنتهية يمكن كتابتها على صورة اتحاد عدد منتهي من المجموعات التي تتكون كل منها من‬
‫عنصر واحد من النظرية السبقة نستنتج أنها تكون مغلقة‪.‬‬

‫نظرية (‪)3-2‬‬

‫نفرض أن ( ‪ )X , d‬فضاء متري‪.‬‬

‫‪ X,  )1‬مجموعتان مغلقتان‪.‬‬

‫‪ )2‬تقاطع أي عائلة من المجموعات المغلقة هو مجموعة مغلقة‪.‬‬

‫‪ )3‬إذا ك انت تم ‪ F1,F2, F3,… Fn‬مجموع ات مغلق ة ف إن االتح اد ‪.H= F1⋃F2⋃ F3⋃…⋃ Fn‬‬
‫يكون أيضا مجموعة مغلقة ‪.‬‬

‫البرهان‬

‫أوال ‪ :‬المجموعتان ‪ , X‬مغلقتان ألن‬

‫❑=‪¿X c ,X‬‬ ‫‪c‬‬

‫والمجموعتان ( ‪ ) X , d‬مفتوحتان كما رأينا في النظرية السابقة‪.‬‬

‫ثانيا ‪ :‬نفرض أن ‪ W‬هي تجمع من المجموعات المغلقة وأن ‪:‬‬

‫‪S= ⋂ F{ :F∈W } ,‬‬

‫وبما أن‪:‬‬
‫‪c‬‬ ‫‪c‬‬
‫=‪S‬‬ ‫=) ‪(⋂ X‬‬ ‫‪⋃ {F c :F∈W‬‬

‫وأن ‪ Fc‬مفتوح ة واتح اد المجموع ات المفتوح ة ه و مجموع ة مفتوح ة كم ا ورد في النظري ة الس ابقة ومن ثم‬
‫فإن ‪ Sc‬مجموعة مفتوحة وهذا يؤكد ‪ S‬أن ك مجموعة مغلقة‪.‬‬

‫ثالثا ‪ :‬نفرض أن ‪ F1,F2, F3,… Fn‬مجموعات مغلقة وأن‬

‫‪H (F FU‬‬
‫‪1‬‬ ‫= ‪2U F 3U… U F n ) c‬‬

‫لدينا‬
‫‪c‬‬ ‫‪c‬‬ ‫‪c‬‬ ‫‪c‬‬ ‫‪c‬‬
‫=‪H‬‬ ‫‪(FFU‬‬
‫‪1‬‬ ‫=) ‪2U F 3U… U F n‬‬ ‫∩‪F 1‬‬ ‫∩‪F2‬‬ ‫…∩ ‪F 3‬‬ ‫‪∩Fnc‬‬
‫‪28‬‬ ‫‪.‬‬
‫حيث أن تقاطع عدد منتهي من المجموعات المفتوحة يكون مجموعة مفتوحة إذن ‪H c‬مفتوحة ومن ثم فإن‬
‫‪ H‬مجموعة مغلقة ‪.‬‬

‫تعريف (‪)3-2‬‬

‫نقول أن الفضاء التوبولوجي ( ‪ )X τ,‬يكافئ الفضاء التوبولوجي (‪),T X‬‬

‫إذا وفقط تحقق الشرط اآلتي‪:‬‬

‫‪∈ T⇔ U ∈ τ U‬‬

‫بالتالي نقول أن الفضاء المتري ( ‪ )X , d‬يكافئ توبولوجيا الفضاء المتري ام( ‪ )X ρ,‬إذا كان لكل مجموعة‬
‫‪ U ⊆ X‬تكون ‪ U‬مفتوحة في (‪ )d, X‬إذا وفقط كانت مفتوحة في ( ‪.)X ρ,‬‬

‫مثال (‪)3-2‬‬

‫حيث أن ك ل دائ رة يمكن أن نرس م ب داخلها معين ومرب ع له ا نفس المرك ز وك ل معين يمكن رس م دائ رة‬
‫ومربع داخله ولهما نفس المركز وكل مربع يمكن رسم دائرة ومعين داخله ولهما نفس المركز‪ ،‬فنستطيع‬
‫ان نستنتج ان العبارات التالية متكافئة ‪:‬‬

‫‪ A )1‬مفتوح بالنسبة للفضاء المتري ( ¿ ¿‬

‫‪ A )2‬مفتوح بالنسبة للقضاء المتري ( ¿ ¿‪3‬‬

‫‪ A )3‬مفتوح بالنسبة للقضاء المتري ( ¿ ¿‬

‫لذلك فإن الفضاءات( ¿و ( ¿ ¿و( ¿ ¿متكافئة توبولوجيا‬

‫مالحظة (‪)2-2‬‬

‫إذا ك ان الفض اء التوبول وجي ( ‪ )X τ,‬يك افئ الفض اء التونول وجي (‪ )T, X‬ف إن لهم ا نفس المجموع ات‬
‫المفتوحة والمجموعات المغلقة و المجموعات المدرسية وكذلك المجموعات المتربطة ‪.‬‬

‫‪29‬‬ ‫‪.‬‬
 ‫تكافؤ دالتي مسافة‬
‫‪Equivalent of two Distance Functions.‬‬
‫تعريف (‪)4-2‬‬

‫إف رض أن ‪ d‬و ‪ρ‬دال تی مس افة على ‪ . X‬نق ول أن ‪ d‬و ‪ρ‬متك افتين إذا أمكن ايج اد ع ددين موج بين ‪α‬و ‪β‬‬

‫بحيث لكل ‪∈ X y‬و ‪x‬‬

‫لدينا‬
‫) ‪dd (x ,y ≤) ∝ ρ (x ,y ≤)dβ (x ,y‬‬

‫مثال (‪)4-2‬‬

‫…‪y =(y 1 ,y 2‬‬

‫…‪x = (,x 1 ,x 2‬و )‪, ,y n‬‬
‫دوال المس افة ‪ d‬و ∞ ‪ d‬و ‪d 1‬ق وة و متكافئ ة أف رض أن )‪, . ,x n ,‬‬

‫عنصرين من ‪R n‬لدينا‬
‫‪i n‬‬
‫=‬ ‫‪1‬‬
‫‪xam‬‬
‫‪1≤ i≤ n‬‬
‫∑≤‪|x−i y |i‬‬ ‫(‬ ‫‪i 1‬‬
‫=‬
‫‪2‬‬
‫)‬
‫‪|x−i y |i 2≤ √xam‬‬
‫‪n‬‬
‫‪1≤ i≤ n‬‬
‫‪|x−i y |i‬‬

‫هذا يعني أن ‪ d‬و ∞ ‪d‬متكافئين ايضا ‪.‬‬

‫‪i n‬‬
‫=‬ ‫‪1‬‬ ‫‪i n‬‬
‫=‬ ‫‪i n‬‬
‫=‬ ‫‪1‬‬

‫∑‬ ‫(‬ ‫‪i 1‬‬

‫=‬
‫‪2‬‬
‫)‬
‫∑≤‪|x−i y |i 2‬‬
‫‪i 1‬‬
‫=‬
‫∑‪|x−i y |i≤ √ n‬‬ ‫(‬ ‫‪i 1‬‬
‫=‬
‫‪|x−i y |i‬‬ ‫)‬
‫‪2 2‬‬

‫هذا يعني أن ‪d‬و ∞ ‪d‬متكافئين بالمثل نستطيع أن نبرهن أن‬

‫‪i n‬‬
‫=‬
‫‪xam‬‬ ‫‪|x−i y |i≤∑ |x−i y |i≤xam‬‬
‫‪n‬‬ ‫‪|x−i y |i‬‬
‫‪1≤ i≤ n‬‬ ‫‪i 1‬‬
‫=‬ ‫‪1≤ i≤ n‬‬

‫هذا يعني أن ‪d 1‬و ∞ ‪d‬متكافئين‪.‬‬

‫مثال (‪)5-2‬‬

‫دلت ا المس افة ‪ d‬و ‪d 0‬على ‪ R n‬غ ير متكافئت ان‪ .‬اف رض أن ه يوج د ع دد م وجب ‪a‬بحيث لك ل ‪" n‬ل‪ R‬دينا‬
‫= ‪d ∞ (x ,y‬و‬
‫‪ .y= (α+‬من الواض ح أن ‪) α+ 1‬‬ ‫‪x=0,0‬و ) ‪, ,0‬‬
‫… ‪0,1‬‬ ‫… (‬‫) ‪d ∞ (x ,y )≤ a d 0 (x ,y‬نض ع ) ‪, ,0‬‬

‫=‪ .d 0(x ,y‬هذا يتناقض مع الفرض‪ .‬إذن دالتي المسافة ‪ d‬و ‪ d0‬غير متكافئين‪.‬‬
‫‪) 1‬‬

‫اآلن إذا ك ان الفض اء الم تري ( ‪ ) X , d‬يك افئ توبولوجي ا الفض اء الم تري ( ‪ ) X, ‬فه ل تك ون ‪ d‬و ‪‬‬
‫متكافئتان ؟ ماذا عن العالقة العكسية؟ في النظرية التالية نجد االجابة على هذين السؤالين‪.‬‬
‫‪30‬‬ ‫‪.‬‬
 ‫نظرية (‪)4-2‬‬

‫افرض أن كل من ( ‪ ) X, d‬و ( ‪ .)X, ‬إذا كانت ‪ d‬و ‪ ‬متكافئتان فإن ( ‪ ) X, d‬و ( ‪ )X, ‬متكافئين‬
‫توبولوجيا‪ .‬عكس المقولة السابقة غير صحيح بالضرورة ‪.‬‬

‫البرهان‬

‫ألن ‪ d‬و ‪ ‬متكافئتين فيوجد عددين موجبين ‪α‬و ‪β‬بحيث لكل ‪x ,y ϵX‬لدينا‬

‫) ‪d (x ,y )≤ρα (x ,y )≤dβ (x ,y‬‬

‫‪) X‬‬ ‫‪n‬‬ ‫‪ ) X‬متتابع ة تتق ارب الى عنص ر ‪ x‬في( ‪ )X, d‬من العالق ة الس ابقة نس تنتج أن (‬ ‫‪n‬‬ ‫اف رض أن (‬
‫تتقارب الى ‪ x‬في ( ‪ . )X, ‬بنفس األسلوب نستطيع أن نثبت أنه إذا كانت ( ‪ ) X n‬متتابعة تتقارب الى‬
‫عنص ر ‪ x‬في ( ‪ )X, ‬ف إن ( ‪ )X, ‬تتق ارب الى ‪ x‬في ( ‪ ) X , d‬بالت الي ف إن ( ‪ ) X , d‬و ( ‪)X, ‬‬
‫متكافئين توبولوجيا‪.‬‬

‫اآلن اعتبر على ‪R‬دالتي المسافة ‪:‬‬

‫‪ ) X‬تتق ارب الى‬ ‫‪n‬‬ ‫=‪ ρ. (x ,y‬من الواض ح أن المتتابع ة (‬

‫‪)nim‬‬ ‫}) ‪⁡ ,d (x ,y‬‬
‫‪{1‬‬ ‫| ‪ d(x,y)=| x-y‬و‬
‫عنص ر ‪ x‬في ( ‪ ) d ,R‬إذا وفق ط ك انت تتق ارب الى ‪ x‬في ) ‪ . (R ,ρ‬ه ذا يثبت أن ( ‪ ) d ,R‬و ) ‪(R ,ρ‬‬

‫‪x ,y∈ R‬لدينا ) ‪d. (x ,y )≤ρα (x ,y‬‬ ‫متكافئين توبولوجيا‪ .‬اآلن افرض أن يوجد عدد موجب ‪ α‬بحيث لكل‬
‫نضع ‪.x= α + 5 ,y= 1‬إذن ‪ d، (x ,y=) α+ 4 ,ρ (x ,y=) 1‬هذا تناقض ‪.‬‬

‫نظرية (‪)5-2‬‬

‫ألي عنص رين مختلفين ‪ a ≠ b‬في ه في القض اء الم تري(‪ )X,d‬توج د مجموعت ان مفتوحت ان ‪ G,H‬بحيث‬
‫أن‪:‬‬
‫∩‪a∈ H ,b∈G G‬‬
‫∅ =‪, H‬‬

‫البرهان‬

‫‪31‬‬ ‫‪.‬‬
 ‫‪1‬‬
‫ع ) ‪. H= B d (b ,3 ε‬‬ ‫د ‪ε> 0‬بحيث أن ‪ .d a( ,b=) ε‬نض‬ ‫رض أن ‪ . a( ≠ b a) ,b∈ X‬إذن يوج‬ ‫نف‬
‫‪1‬‬
‫) ‪ .G= B d (a , ε‬ن برهن ان ∅ =‪ ،G ∩ H‬نفرض أن ه توج د نقط ة ‪ p‬بحيث أن ∅ ≠ ‪.p∈G ∩ H‬ه ذا يؤدي‬
‫‪3‬‬
‫إلى أن‬
‫‪1‬‬ ‫‪1‬‬
‫)< ‪d p( ,b‬‬ ‫‪ε ,d p( ,a <) ε .‬‬
‫‪3‬‬ ‫‪3‬‬

‫باستخدام الشرط ‪ M 4‬من شروط الفضاء المتري (‪ )X,d‬نحصل على‬

‫) ‪ε= d a( ,b ≤) d a( ,p +) d p( ,b‬‬
‫‪ε ε 2ε‬‬
‫= ‪¿ +‬‬
‫‪3 3 3‬‬

‫إذن‬
‫∅ ≠ ‪G∩H‬‬

‫‪32‬‬ ‫‪.‬‬
 ‫الجوار‬

‫‪Neighborhood‬‬

‫سوف نقوم اآلن بتعريف مفهوم الجوار لنقطة ما في الفضاء المتري‬

‫تعريف (‪)5-2‬‬

‫نف رض أن ( ‪ )X , d‬فض اء م تري ‪G⊆ X ،‬و ‪ . p∈G‬نقول أن المجموع ة ‪ G‬جوار للنقط ة ‪ p‬أذا أمكن‬
‫⊆ ‪B (p ,η‬‬
‫‪) G‬‬ ‫إيجاد عدد حقيقي موجب ‪η‬بحيث ان‬

‫نظرية (‪)6-2‬‬

‫نفرض أن ( ‪ )X , d‬فضاء متري ‪G⊆ X‬و‪ . p ∈ G‬نقول أن المجموعة ‪ G‬مفتوح ة اذا وفقط إذا كانت‬
‫جوار لكل نقطة من نقاطها‪.‬‬

‫البرهان‬

‫⊆ ‪B (b ,η‬‬
‫‪) G‬‬ ‫نفرض أن‪ G‬مجموعة مفتوحة و‪ .b ∈ G‬من التعريف يوجد عدد حقيقي موجب ‪ η‬بحيث ان‬
‫اذن ‪ G‬جوار للنقطة ‪ .b‬االن اذا كانت ‪ G‬جوار لكل نقطة من نقاطها فيكون لكل ‪ ∈ b‬توجد كرة مفتوحة‬
‫⊆ ‪B (b ,η‬هذا يعني أن ‪ G‬مجموعة مفتوحة‪.‬‬
‫) ‪B (b ,η‬بحيث ان ‪) G‬‬

‫النقاط الحدودية والنقاط الداخلية‬

‫‪Boundary and Interior Points‬‬

‫تعريف (‪)6-2‬‬

‫نفرض أن (‪ )X , d‬فضاء متري و هر مجموعة جزئية غير خالية من ‪ .X‬تسمى النقطة ‪ p‬في‪ X‬نقطة‬
‫حدودية ( حدية ) للمجموعة ‪ A‬إذا تحقق الشرطان‪:‬‬

‫‪.d(p, A)=0‬‬ ‫‪‬‬

‫‪.d(p, Ac)=0‬‬ ‫‪‬‬
‫‪33‬‬ ‫‪.‬‬
‫نس تنتج من ذل ك أن أي ج وار للنقط ة الحدودي ة للمجموع ة ‪ A‬س يحتوي على عنص ر من ‪ A‬وك ذلك عنص ر‬
‫من مكملته ا‪ .‬مجموع ة النق اط الحدي ة للمجموع ة ‪ A‬س وف نرم ز له ا ب الرمز )‪ .b(A‬الح ظ أن = )‪b(A‬‬
‫)‪b(Ac‬‬

‫مثال (‪)6-2‬‬

‫إذا ك انت } ‪A= {(x ,y )∈ R 2 :x 2+ y 2< 1‬مجموع ة جزئي ة من ) ‪(R 2 ,d‬ف إن مجموع ة النق اط الحدودي ة له ا‬
‫هي‪:‬‬

‫‪) { (x ,y ∈) R 2 :x 2+ y 2< 1‬‬

‫= ‪b (A‬‬ ‫}‬
‫نظرية (‪)7-2‬‬

‫نفرض أن ( ‪ )X , d‬فضاء متري و ‪ ، A ⊆ X‬المجموعة ‪ A‬مفتوحة إذا وفقط إذا كانت ‪ A‬ال تحتوي‬
‫أي من نقاطها الحدودية (أي أن ( ‪b(A) ⊆Ac‬‬

‫البرهان‬

‫∈‪ x‬إذا ك انت ‪x∈ A‬فان ه يوج د ع دد حقيقي م وجب ‪ ‬بحيث أن‬
‫نف رض ان ‪ A‬مجموع ة مفتوح ة وان ) ‪, (A‬‬
‫‪ B(x,  ) ⊆A‬وبالتالي فان ‪ d  x, A)>0‬وهذا يتناقض مع كون ) ‪ .x∈ b (A‬اذن ‪x ∈ Ac‬‬

‫‪x∉ A‬وبالتالي فان ) ‪x∉ b (A‬هذا يعني أنه توجد ‪  0‬‬ ‫‪c‬‬
‫االن نفرض ان ‪ b(A ) ⊆ Ac‬وان ‪ .x∈ A‬اذن‬
‫بحيث ‪ B(x,  ) ⊆A‬هذا يثبت أن ‪ A‬مجموعة مفتوحة‪.‬‬

‫تعريف (‪:)7-2‬‬

‫نفرض أن (‪ )X , d‬فضاء متري و ‪ A⊆X.‬النقطة ‪ P‬من ‪ A‬تسهي نقطة داخلية للمجموعة ‪ A‬إذا كانت‬
‫‪ A‬جوار لها‪ .‬مجموعة النقاط الداخلية للمجموعة ‪ A‬يرمز لها بالرمز ‪ Ao‬و نقول أن النقطة ‪ q ∈ X‬نقطة‬
‫خارجية للمجموعة ‪A‬إذا كانت داخلية لمكملتها‪.‬‬

‫‪34‬‬ ‫‪.‬‬
 ‫مالحظة (‪)3-2‬‬

‫‪- 1‬من نظرية (‪ )2-4‬تستنتج أن جميع نقاط المجموعة المفتوحة تكون داخلية‬

‫‪- 2‬ألن كل فترة من ) ‪(R ,d‬تحتوي على أعداد نسبية وأعداد غير نسبية إذن مجموعة األعداد النسبية‬
‫ليس له ا نق اط داخلي ة وك ل ع دد حقيقي يك ون نقط ة حدودي ة له ا‪ .‬أيض ا ال يوج د مجموع ة األع داد‬
‫الصحيحة نقاط داخلية في هذا الفضاء وكل نقاطها حدودية‪.‬‬

‫‪ - 3‬كل مجموعة جزئية من الفضاء المتري ( ‪ )M , d0‬ليس لها نقاط حدودية‪.‬‬

‫‪35‬‬ ‫‪.‬‬
 ‫نقاط التراكم‬

‫‪Accumulation Points.‬‬

‫تعريف (‪)7-2‬‬

‫نفرض أن ( ‪ )X , d‬فضاء متري و ‪ A‬مجموعة جزئية غير خالية من ‪ X‬و ‪( x ∈ X‬إما ‪ x‬في ‪ A‬أو ‪x‬‬
‫ليس ت في ‪ .)A‬تس مى ‪ x‬نقط ة ت راكم للمجموع ة ‪ A‬إذا وفق ط إذا لك ل مجموع ة مفتوح ة ‪ V‬تحت وي على ‪x‬‬
‫لدينا‬
‫‪V ∩ A x≠ .‬‬

‫من تعريف المجموعة المفتوحة ‪ .‬الشرط السابق يكافئ القول بأن ‪ x‬نقطة تراكم للمجموعة ‪ ,A‬إذا وفقط إذا‬
‫وفقط إذا لكل عدد حقيقي موجب ‪ r‬لدينا‬
‫‪B (x ,r )∩ (A x )≠ .‬‬

‫يرمز لمجموعة نقاط التراكم للمجموعة ‪ A‬بالرمز‪ 'A‬و تسهي هذه المجموعة بمشتقة ‪.A‬‬

‫مثال (‪)8-2‬‬

‫في الفضاء المتري ) ‪(R ,d R‬النقطة ‪ x=0‬نقطة تراكم للمجموعة‬

‫‪1 1‬‬
‫{‬
‫… ‪A= 1 , ,‬‬
‫‪2 3‬‬
‫‪,‬‬ ‫}‬
‫الحل‪:‬‬

‫ن برهن أن ك ل ك رة مفتوح ة مركزه ا ‪ x = 0‬يجب أن تحت وي على أح د عناص ر ‪ A‬ومختلف ة عن ‪x =0‬‬

‫حيث أن الكرات المفتوحة في الفضاء ) ‪(R ,d‬هي فترت مفتوحة لذلك نالحظ أنه إذا أخذنا ‪ n‬عدد طبيعي‬
‫‪1‬‬
‫بحيث ‪n < r‬فنجد أن‬

‫‪1‬‬
‫≠)} {‪∈ −( r ,r ),(− r ,r )∩ (A− 0‬‬
‫‪n‬‬

‫وعليه ) ‪ x=0‬نقطة تراكم للمجموعة ‪.A‬‬

‫‪36‬‬ ‫‪.‬‬
 ‫مثال (‪)9-2‬‬

‫مشتقة أي مجموعة جزئية ومنتهية ‪ A‬من فضاء المتري ( ‪ ) X , d‬تكون فارغة‪.‬‬

‫الحل‪:‬‬

‫‪x∈ X‬‬ ‫لتكن } ‪ A = {x 1 ,x 2…, . ,x n‬مجموع ة جزئي ة ومنتهي ة من الفض اء الم تري ( ‪ ) X , d‬ولنف رض أن‬
‫=‪r‬من الواضح أنه‬
‫‪nim‬‬ ‫… ‪d{ (x ,x k ) :k=2,1‬‬
‫‪, .. ,n‬‬ ‫نضع }‬
‫= (∅ ¿ ∩) ‪B (x ,r‬‬

‫‪.‬من ذلك نستنتج أن ‪ A‬ليس لها نقاط تراكم‬

‫مثال (‪)10-2‬‬

‫مشتقة أي مجموعة جزئية ‪ A‬من ال فضاء المتري( ‪ )d 0 , X‬فارغة‪.‬‬

‫الحي‪:‬‬

‫‪1‬‬
‫ألي ‪x∈ R‬الخذ المجموعة المفتوحة } ‪.B x ,2 = {x‬نالحظ أن‬
‫) (‬
‫‪1‬‬
‫= ‪B x ,2 ∩ A( − {x‬إذن مشتقة ‪ A‬فارغة‪.‬‬
‫) (‬ ‫∅ )}‬

‫مثال (‪)11-2‬‬

‫ألن كل فترة مفتوح ة في الفضاء المتري ) ‪(R ,d R‬تحتوي على عدد نسبي وعدد غير نسبي فإن أي عدد‬
‫حقيقي يكون نقطة تراكم ألي من المجموعتين ‪ .Q-Q , R‬أيضا لكل عدد حقيقي ‪x‬ال توجد فترة مفتوحة‪.‬‬

‫تحتوي ‪x‬وتحتوي على عدد صحيح واحد على األكثر‪ ،‬لذلك فإن مجموعة األعداد الصحيحة ليس لها نقاط‬
‫تراكم‪.‬‬

‫‪37‬‬ ‫‪.‬‬
 ‫االنغالق للمجموعات‬

‫‪Closure for Sets‬‬

‫تعريف (‪)9-2‬‬

‫لتكن ‪ A‬مجموعة جزئية من الفضاء المتري ( ‪ ) X , d‬يعرف انغالق ‪ A‬ويرمز له بالرمز‪ ، ̅ A‬بأنه‬
‫´‪´ A∪ A‬‬
‫=‪A‬‬

‫نظرية (‪)8-2‬‬

‫نفرض أن (‪ )X , d‬فضاء متري و ‪A⊆ X‬‬

‫´‪A‬مجموعة مغلقة‪.‬‬ ‫‪)1‬‬

‫‪ A‬مغلقة إذا كان وفقط إذا كان ‪A´ ⊆ A‬‬ ‫‪)2‬‬
‫⟹ ⊆‪A‬‬
‫‪B‬‬ ‫´‪´ B‬‬
‫⊆‪A‬‬ ‫‪)3‬‬
‫´‬
‫∩=‪A‬‬ ‫⊆‪B‬‬
‫‪{ X :A⊆ B desolc‬‬
‫‪,B si‬‬ ‫}‬ ‫‪)4‬‬

‫البرهان‬

‫(‪ 1‬إفرض أن ´‪ x∈ X− A‬إذن ‪ .x∉ A‬و ´‪x∉ A‬بالتالي يوجد عدد حقيقي موجب ‪ r‬بحيث‬

‫‪B x( ,r⊆) X− A‬األن نبرهن أن ´‪B x( ,r⊆) X− A‬‬ ‫∅ =‪B x( ,r∩) A‬هذا يعني أن‬

‫نفرض أن ) ‪.y∈ B x( ,r‬من الواضح أننا نستطيع إيجاد عدد حقيقي موجب ‪δ‬بحيث‬

‫‪B (y ,δ ∩) A‬‬ ‫) ‪ B, (y ,δ⊆) B (x ,r‬إذن ∅ ) }‬

‫= ‪( − {x‬‬

‫وهذا يعني أن ‪ y∉ 'A‬ال نستنتج من ذلك أن ´‪ .B x( ,r⊆) X− A‬مما سبق نجد أن‬

‫´‪ B) x( ,r⊆) X− A‬وبالتالي فإن ´‪A‬مجموعة مغلقة‪.‬‬

‫‪38‬‬ ‫‪.‬‬
 ‫‪B x( ,δ ⊆) A‬‬ ‫‪c‬‬
‫‪A‬مفتوحة فيوجد عدد حقيقي موجب ‪δ‬بحيث‬ ‫‪c‬‬
‫(‪2‬افرض أن ‪A‬مغلقة و ‪ .x∉ A‬بما أن‬

‫⊆‪, A‬األن إذا كان‬

‫إذن ´‪x∉ A‬و بالتالى ‪´ A‬‬
‫‪B x( ,δ ∩) A‬‬
‫= ‪( − {x‬‬
‫∅ )}‬ ‫أي أن‬

‫⊆‪A‬فإن ‪A= A‬ومن (‪ )1‬نستنتج أن ‪A‬مغلقة‪.‬‬

‫‪´ A‬‬

‫(‪ )3‬البرهان واضح من التعريف‪.‬‬

‫(‪ )4‬نالحظ من (‪ )1‬لدينا ‪ ،A‬مجموعة مغلقة وتحتوي على ‪ A,‬وبالتالي‬

‫مغلقةمن‪{ ⊆ X ,X‬‬
‫‪A∩ B‬‬ ‫مجموعة‬ ‫} ‪⊆ A´ B‬‬

‫=‪A⊆ B‬ومنها ينتج أن‬

‫افرض أن ‪ B‬مجموعة مغلقة وتحتوي ‪A‬من(‪ )۳‬نستنتج أن ‪´ B‬‬

‫مغلقةمن‪{ ⊆ X :A⊆ B ,X‬‬

‫‪A⊆ ∩ B‬‬ ‫مجموعة‬ ‫}‬

‫تمرين محلول (‪)-2 1‬‬

‫ألي مجموعة جزئية في الفضاء المتري (‪ )d, X‬لدينا‬

‫الحل‪:‬‬

‫اوال‪ :‬نفرض أن ‪x∈ A‬أي ان ´‪x∈ A∪ A‬إذا كانت ‪x∈ A‬فان ‪ d(x,A)=0‬اذا كانت‬

‫´‪x∉ A ,x∈ A‬‬

‫فانه لكل عدد حقيقي موجب ‪ r‬يوجد ‪ y∈ A‬بحيث أن ‪.d (x ,y )< r‬هذا يبرهن أن ‪d(x,A)=0‬‬

‫‪x∉ A‬إذن لكل عدد حقيقي موجب ‪ r‬يوجد } ‪y∈ A− {x‬‬ ‫ثانيا‪ :‬نفرض أن ‪ d(x,A)=0‬وان‬

‫بحيث أن ‪d (x ,y )< r‬هذا يعني أن ´‪x∈ A‬‬

‫نقاط النهاية‬

‫‪Limit points‬‬
‫‪39‬‬ ‫‪.‬‬
 ‫تعريف (‪)10-2‬‬

‫نقول أن النقطة ‪ x‬نقطة نهاية للمجموعة ‪A‬والجزئية من الفضاء المتري (‪ )d, X‬إذا أمكن إيجاد متتابعة‬
‫من ‪A‬ومختلفة العناصر من حد معين وتتقارب إلى ‪.x‬‬

‫‪ n. m‬لدينا‬
‫نقصد بأن المتتابعة مختلفة العناصر من حد معين أنه يوجد عدد طبيعي‪ N‬بحيث لكل ‪, >N‬‬

‫⟹‬
‫‪n≠m‬‬ ‫‪x n≠ x m‬‬

‫مثال (‪)12-2‬‬
‫‪1‬‬
‫‪A‬‬ ‫النقطة ‪ x = 0‬نقطة نهاية للمجموعة ] ‪ A =0( ,1‬ألن المتابعة ‪n= x n‬تتقارب للصفر وعناصرها من‬
‫بينها النقطة ‪ x = 2‬ال يمكن أن تكون نقطة نهاية للمجموعة ] ‪.A =0( ,1‬‬

‫النظرية التالية توضح انه في الفضاءات المترية تكون نقطة النهاية هي نفسها نقطة التراكم‪ .‬الحظ أن هذا‬
‫األمر غير متحقق بالضرورة في جميع الفضاءات التوبولوجية‪.‬‬

‫نظرية (‪)9-2‬‬

‫لتكن ‪ A‬مجموعة جزئية غير منتهية من الفضاء المتري (‪ )d, X‬النقطة ‪ x‬تكون نقطة تراكم للمجموعة‬
‫‪ A‬إذا كان وفقط نقطة نهاية لها‪.‬‬

‫البرهان‬

‫نفرض أن ‪ x‬نقطة تراكم للمجموعة ‪ A‬إذن يوجد عنصر ‪x 1‬من ‪ A‬ومختلف عن ‪ x‬بحيث أن ‪d (x 1 ,x )< 1‬‬
‫‪1‬‬
‫<) ‪d (x 2 ,x‬‬
‫‪2‬‬
‫‪.‬بالمثل نستطيع إيجاد عنصر ¿) ‪(x ¿¿2‬من ‪ A‬ومختلف عن ‪ x‬بحيث ان‬

‫‪1‬‬
‫وهكذا تتكون متتابعة في ) ‪d (x n ,x‬من عناصر ‪ A‬و ‪d (x n ,x )< n‬من الواضح أن ( ‪ )x n‬تتقارب إلى‪ x‬وهذا‬
‫يعني ان ‪ x‬نقطة نهاية للمجموعة ‪ A‬اآلن تقرص أن ‪ x‬نقطة نهاية للمجموعة ‪ . A‬إذن توجد متتابعة ( ‪)x n‬‬
‫من ‪ A‬وتتق ارب إلى ‪x‬ومختلف ة العناص ر من ح د معين ‪ .‬بالت الي لك ل مجموع ة مفتوح ة ال تحت وي على ‪x‬‬
‫س تحتوي على جمي ع عناص ر المتتابع ة من ح د معين ‪ .‬ومن ذل ك يك ون ل دينا ∅ ≠)} ‪.V ⋂ (a− {x‬أي أن ‪x‬‬
‫نقطة تراكم للمجموعة ‪A‬‬

‫‪40‬‬ ‫‪.‬‬
 ‫نتيجة (‪)3-2‬‬

‫لتكن ‪ A‬مجموعة جزئية غير منتهية من الفضاء المتري (‪ . )d ,X‬إذا كانت ‪ x‬نقطة تراكم للمجموعة ‪A‬‬
‫فكل مجموعة مفتوحة ال تحتوي على ‪ x‬ستحتوي على عدد غير منتهي من عناصر‪. A‬‬

‫نظرية (‪)10-2‬‬

‫افرمت أن ( ‪ ) X , d‬فضاء المتري‪ .‬التقارير التالية متكافئة ‪:‬‬

‫(‪ )1‬كل مجموعة غير منتهية لها نقطة نهاية واحدة على األقل‬
‫(‪ )2‬كل مجموعة غير منتهية لها نقطة تراكم واحدة على األقل‬
‫(‪ )3‬كل متتابعة عناصرها مختلفة لها متتابعة جزئية تقاربية‪.‬‬

‫البرهان‬

‫من نظرية (‪ )7-2‬التقريران (‪ )1‬و(‪ )2‬متكافئان‪ .‬افرض أن (‪ )2‬متحققة ولتكن (‪ ) X n‬متتابعة عناصرها‬
‫مختلفة‪.‬‬

‫…‪A= {x 1 ,x n…, ,x n‬تكون غير منتهية وبالتالي يكون لها نقطة تراكم ‪ .x‬لذلك نستطيع‬
‫إذن المجموعة ‪, .‬‬
‫‪1‬‬
‫<) ‪d. (x n ,x‬‬ ‫‪d (x n ,x )< 1‬أيض ا نس تطيع اختي ار ع دد ط بيعي ‪ n, 2‬بحيث‬ ‫اختي ار ع دد ط بيعي ‪ n، 1‬بحيث‬
‫‪2‬‬
‫‪2‬‬ ‫‪1‬‬

‫بهذه الطريقة نكون متتابعة ( ‪ x) n‬جزئية من ( ‪ )x n‬وتتقارب إلى ‪.x‬هذا يعني أن (‪ )3‬متحققة‪ .‬األن أفرض‬
‫‪2‬‬

‫أن (‪ )3‬متحققة ولتكن ‪ A‬مجموعة جزئية غير منتهي ة من الفض اء المتري (‪ . )X, d‬إذن نستطيع اختيار‬
‫متتابع ة ( ‪ )x n‬عنص رها مختلف ة من‪ .A‬من الف رض(‪ )3‬توج د متتابع ة ( ‪ x) n‬جزئي ة من ( ‪ )x n‬وتتق ارب إلى‬
‫‪2‬‬

‫عنصر‪ x‬هذا يعني أن ‪ x‬نقطة نهاية للمجموعة ‪ A‬و بالتالي تكون (‪ )1‬متحققة‪.‬‬

‫‪41‬‬ ‫‪.‬‬
 ‫الفصل الثالث‬
‫تقارب المتتابعات والمتتابعات الكوشية في الفضاءات المترية‬
‫‪Convergent and Cauchy Sequences in‬‬
‫‪Metric Spaces‬‬

‫‪42‬‬ ‫‪.‬‬
 ‫تقارب المتتابعات والمتتابعات الكوشية في الفضاءات المترية‬

‫‪. Convergent and Cauchy Sequences in Metric Spaces‬‬

‫تعـريف ( ‪:)1 -3‬‬

‫نقول أن المتتابعة ( ‪ )x n‬من فضاء متري ( ‪ ) X,d‬تتقارب الى ‪ x ∈X‬اذا كان كل كره مفتوحة مركزها ‪x‬‬
‫تحتوي على جميع عناصر المتتابعة بداية من حد معين‪ .‬هذا يعني‬
‫∈ ‪∀ ε> 0 ,∃N ,∀ n≥N ,x‬‬
‫) ‪n B (x ,ε‬‬

‫أي‬
‫⟹‪∀ ε> 0 ,∃N ,n≥N‬‬‫‪,‬‬ ‫) ‪d (x n ,x‬‬

‫اذا كانت المتتابعة ( ‪ )x n‬تتقارب الى ‪ x‬فإننا نكتب‬

‫‪mil‬‬ ‫=‪x‬‬
‫‪n x‬‬
‫→‬
‫∞ ‪x‬‬

‫من الواضح‬

‫‪mil‬‬ ‫‪ mil‬كان وفقط كان ‪d (x n ,x=) 0‬‬

‫=‪ →x ∞ x‬اذا‬
‫‪n x‬‬
‫∞ →‪n‬‬

‫مثال ( ‪: )1 -3‬‬

‫‪ )1‬في الفضاء المتري ( ‪ d) R , R‬المتتابعة ( ‪ )x n‬تتقارب الى العنصر ‪ x‬إذا كانت كل فترة مفتوحة مركزها‬
‫‪ x‬ونص ف قطره ا ‪ r‬تحت وي على جمي ع عناص ر المتتابع ة بداي ة من ح د معين‪ ،‬أي أن لك ل ع دد حقيقي‬
‫موجب ‪ r‬يوجد عدد طبيعي ‪ N‬بحيث أن‬

‫‪|x−n x|< r‬‬

‫‪ )2‬في الفضاء المتري (‪ ) R2 , d 1‬المتتابعة ( ‪ )x n‬تتقارب إلى العنصر ‪. x‬‬

‫‪n≥N‬إن ( ‪ )x n‬واقع ة داخ ل‬

‫ف‬ ‫إذا ك ان لك ل معين مرك ز‪ x = )x 1 ,x 2 , ( ،‬ال يوج د ع دد ط بيعي ‪ N‬بحيث لك ل‬
‫هذا المعين‪.‬‬

‫‪43‬‬ ‫‪.‬‬
 ‫نظرية ( ‪: )1 -3‬‬

‫لتكن ( ‪ )x n‬و ( ‪ )y n‬متتابعتين متقاربتين من فضاء متري ( ‪ )X,d‬فإن ‪:‬‬

‫( ‪ x) n‬نهايتها وحيدة‪.‬‬ ‫‪‬‬

‫) ‪(x ,y )d= d (x n ,y n‬‬ ‫‪‬‬

‫البرهان‪:‬‬

‫‪ )1‬نفرض أن ‪ x‬و ́‪ x‬نهايتين ( ‪ )x n‬للمتتابعة فإن‪:‬‬

‫‪d (x ,x́ ≤) d (x ,x n +) d (x n ,x́=) 0 ,∀ 3,2,1‬‬
‫=‪n‬‬ ‫…‬
‫‪, .‬‬

‫اذن‬
‫‪d (x ,x́ m‬‬
‫‪≤) il‬‬ ‫‪d (x ,x nm‬‬
‫‪+) il‬‬ ‫‪d (x n ,x́=) 0 ,‬‬
‫∞ →‪n‬‬ ‫∞ →‪n‬‬

‫هذا يعني أن ́‪. x =x‬‬

‫‪ )2‬ليكن ‪ n‬عددا طبيعيا باستخدام الخاصية المثلثية نعلم ان‬

‫≤ ‪d (x n ,y n‬‬
‫‪) d (x n ,x +) d (x ,y +) d (y ,y n ) ,‬‬
‫) ‪d (x ,y ≤) d (x ,x n +) d (x n ,y n +) d (y n ,y‬‬

‫عليه بنقل ) ‪ d (x ,y‬في المتباينة األولى إلى الطرف اآلخر ونقل ) ‪d (x n ,y n‬في المتباينة الثانية إلى الطرف‬
‫اآلخر ينتج أن‪:‬‬
‫) ‪d (x n ,y n−) d x( ,y ≤) d (x ,x n +) d (y n ,y‬‬

‫) ‪d (x ,y−) d (x n ,y n ≤) d (x n ,x +) d (y n ,y‬‬

‫إذن‬
‫)) ‪d (x n ,y n +) d (x ,y ≥) − (d (x n ,x +) d (y n ,y‬‬

‫وعليه‬

‫‪|d (x n ,y n−) d‬‬ ‫‪(x ,y |)≤ d (x n ,x +) d (y n ,y ) ,∀ 3,2,1‬‬

‫=‪n‬‬ ‫…‬
‫‪,‬‬

‫∞ →‪n‬‬ ‫→ ‪d (x n ,y‬عندما‬
‫)‪n‬‬ ‫فنستنتج ) ‪d (x ,y‬‬
‫∞ →‪n‬‬ ‫بجعل‬

‫‪44‬‬ ‫‪.‬‬
 ‫تمرين محلول ( ‪: )3 -3‬‬

‫في الفضاء المتري ( ‪ ) X , d0‬تكون المتتابعة تقاربيه إذا وفقط كانت ثابتة ابتداء من حد معين‪.‬‬

‫الحل‪:‬‬

‫‪1‬‬
‫‪ ،{x=} B x ,2‬من التعريف يوجد‬
‫) (‬ ‫في الفضاء ( ‪ .)X , do‬اعتبر الكره المفتوحة‬
‫=‪mil x‬‬
‫→‬
‫∞ ‪x‬‬
‫افرض أن ‪n x‬‬

‫‪1‬‬
‫⟹‬
‫‪n>N‬‬ ‫عدد طبيعي ‪ N‬بحيث أن } ‪n B x , = {x‬‬
‫∈‪x‬‬ ‫) (‬
‫‪2‬‬

‫إذن ‪x n‬ثابتة ابتداء من حد معين االتجاه اآلخر واضح‪.‬‬

‫مثال ( ‪)2 -3‬‬

‫∞‬
‫‪1‬‬
‫و تتقارب إلى الصفر في ( ‪)R,d‬‬ ‫}{‬ ‫برهن على أن المتتابعة‬
‫‪n‬‬ ‫‪n= 1‬‬

‫الحل‪:‬‬
‫‪1‬‬
‫ليكن ‪ ε> 0‬خذ ‪ M‬عدد طبيعي اكبر من ‪ ε‬لدينا‬

‫‪1‬‬
‫⟹‬
‫‪n≥N‬‬ ‫>‪n‬‬
‫‪ε‬‬
‫‪1‬‬
‫⟹‬ ‫‪<ε‬‬
‫‪n‬‬

‫⟹‬ ‫‪|1n |< ε‬‬

‫⟹‬ ‫‪|1n− 0|< ε‬‬
‫هذا يعني أن‬

‫⟹‬
‫‪n≥N‬‬ ‫‪|1n− 0|< ε‬‬
‫∞‬
‫‪1‬‬
‫تتقارب الى الصفر في ( ‪)R,d‬‬ ‫}{‬ ‫وبالتالي‬
‫‪n‬‬ ‫‪n= 1‬‬

‫‪45‬‬ ‫‪.‬‬
 ‫مالحظات عامة ( ‪: )3 -3‬‬

‫المتتابعة المتقاربة لها نهاية وحيدة ‪.‬‬ ‫‪‬‬

‫جم وع (ح اص ط رح) متت ابعتين متق اربتين في ‪R n‬يك ون متتابع ة متقارب ة إلى مجم وع (حاص ل‬ ‫‪‬‬
‫طرح) نهايتي المتتابعتين‪.‬‬
‫مقل وب متتابع ة متقارب ة في {‪ R - }0‬تتق ارب إلى مقلوب نقط ة التق ارب بش رط ان نقط ة التق ارب‬ ‫‪‬‬
‫تختلف عن الصفر‪.‬‬
‫حاصل ضرب متتابعة متقاربة في ‪ R‬مع متتابعة متقاربة في ‪R n‬يكون متتابعة من ‪R n‬متقاربة من‬ ‫‪‬‬
‫حاصل ضرب نقطتي التقارب‪.‬‬
‫كل متتابعة جزئية من متتابعة متقاربة من فضاء متري تكون متقاربة الى نفس نقطة التقارب‪.‬‬ ‫‪‬‬

‫االن نتحدث عن مفهوم المتتابعات الكوشيه ( ‪.)Cauchy sequences‬‬

‫تعريف ( ‪: )2 -3‬‬

‫تسمى المتتابعة ( ‪ )x n‬في الفضاء المتري كوشيه اذا كان لكل ‪ε> 0‬يوجد ( )‪ N = N ε‬بحيث‬
‫‪d (x m ,x n <) ε ,∀m ,n>N‬‬

‫‪ .‬نظرية ( ‪: )2 -3‬‬

‫كل متتابعة متقاربة في فضاء متري ( ‪ )X, d‬تكون متتابعة كوشيه‪.‬‬

‫البرهان‪:‬‬

‫افرض أن ( ‪ )x n‬متتابعة متقاربة للعدد ‪ x‬ولتكن ‪ .ε> 0‬إذن يوجد عدد طبيعي ( )‪N= N ε‬بحيث‬
‫‪ε‬‬
‫)< ‪d (x n ,x‬‬ ‫‪∀ n>N‬و‬
‫‪2‬‬

‫وعليه نجد أن لكل ‪m ,n>N‬‬

‫‪ε ε‬‬
‫‪d (x m ,x n ≤) d (x m ,x +) d (x ,x n<) + = ε‬‬
‫‪2 2‬‬

‫هذا يعني أن المتتابعة ( ‪ )x n‬تكون كوشيه‪.‬‬

‫‪46‬‬ ‫‪.‬‬
 ‫عكس النظرية السابقة غير صحيح‪ ،‬لتوضيح ذلك سنذكر مثال المتتابعة كوشية ولكنها ليست تقاربية‪:‬‬

‫الفضاء (‪ M‬فض اء م تري‪ .‬لكن المتتابع ة ال تي ح دها الع ام‬

‫) ‪,d‬‬ ‫‪M‬‬
‫‪ y ,x‬في ‪,‬‬
‫‪ d (x ,y=) |x− y |M‬لكل‬
‫∞ ‪, = (0‬‬
‫) ‪,‬‬
‫‪1‬‬
‫=‪x‬كوشيه و ليست تقاربيه في ( ‪ ) M , d‬ألن الصفر غير موجود في ‪. M‬‬
‫‪n‬‬
‫‪n‬‬

‫نظرية ( ‪)3 -3‬‬

‫كل متتابعة كوشيه في ( ‪ )R,dR‬تكون تقاربية حيث‬

‫| ‪d R x( ,y=) |x− y‬‬

‫البرهان‪:‬‬

‫لتكن ( ‪ )x n‬متتابعة كوشيه في ‪ .R‬نبرهن أنها محدودة من تعريف المتتابعة الكوشية يوجد عدد طبيعي ‪K‬‬
‫بحيث‬
‫⟹‬
‫‪m ,n>K‬‬ ‫‪d (x m ,x n)< 1‬‬

‫ومنها لكل ‪n> 1‬‬ ‫⟹‬

‫‪n>K‬‬ ‫‪|x n|< |x K|+ 1‬‬ ‫من ذلك نحصل على‬

‫‪|x xam‬‬
‫≤|‪n‬‬ ‫‪|{ x 1| ,|x 2|…, ,|x k|+} |x k+ 1|+ 1‬‬
‫هذا يبرهن أن ( ‪ )x n‬محدودة‪ ،‬بالتالي من نظرية بولوزانو فيراشتير نستنتج أن المجموعة } ‪A= {x n :n≥ 1‬لها‬
‫>‪ ε‬ألن ( ‪ )x n‬كوشية فيوجد عدد طبيعي ‪K‬‬
‫نقطة تراكم ولتكن ‪ .x‬نبرهن أن ( ‪ )x n‬تتقارب للعنصر ‪ x‬ليكن ‪. 0‬‬
‫بحيث‬
‫‪ε‬‬
‫⟹‬
‫‪m ,n>K‬‬ ‫<)‪d (x m ,x n‬‬
‫‪2‬‬
‫‪ε‬‬
‫ألن ‪ x‬نقطة تراكم للمجموعة ‪ A‬فتستطيع إيجاد عنصر ‪x r‬بحيث ‪r> ¿ K‬و ‪ d (x r ,x )< 2‬إذن لكل ‪n ≥ K‬‬
‫لدينا‬
‫‪d (x n ,x <) d (x n ,x r+) d (x r ,x <) ε‬‬

‫إذن المتتابعة ( ‪ )x n‬تتقارب للعنصر ‪x‬‬

‫‪.‬‬

‫نظرية ( ‪: )4 -3‬‬

‫‪47‬‬ ‫‪.‬‬
 ‫في ( ‪ R) n ,d R‬تكون المتتابعة متقاربة إذا وفقط إذا كانت كوشيه‪.‬‬ ‫‪n‬‬

‫البرهان‪:‬‬

‫‪x m= (x 1m ,x 2m…, .. x nm ) m‬لتكن ‪ε> 0‬اذن يوج د ع دد‬

‫نف رض ان ( ‪ )x n‬متتابع ة كوش يه في ‪R n‬حيث ‪, > 1‬‬

‫طبيعي ‪ N‬بحيث‬
‫‪n‬‬ ‫‪1‬‬
‫⟹‬
‫‪p ,q>N‬‬ ‫⟹<)‪d R (x p ,x q‬‬
‫‪ε‬‬ ‫∑‬‫(‬ ‫‪k= 1‬‬
‫|‪|x k−p x k p‬‬ ‫)‬
‫‪2 2‬‬

‫بالتالي‬

‫⟹‬
‫‪p ,q>N‬‬ ‫‪|x pm−‬‬ ‫… ‪x qm|< ε∀ k=2,1‬‬
‫‪, ,n‬‬

‫… ‪k=2,1‬المتتابعة ( ‪ )x km‬كوشيه في ‪ R‬و من نظرية (‪ )۲ -۳‬يوجد عدد حقيقي ‪x k‬بحيث ان‬

‫اذن لكل ‪, ,n‬‬

‫‪mil‬‬ ‫¿‪x km= ¿ x k‬‬

‫∞ →‪m‬‬

‫لدينا‬
‫‪n‬‬ ‫‪1‬‬
‫‪mil‬‬
‫∞ →‪m‬‬
‫‪d R (xm ,x−mil‬‬
‫‪n‬‬ ‫)‬
‫∞ →‪m‬‬ ‫(‬
‫|‪∑ |x km− x k‬‬
‫‪k= 1‬‬
‫)‬
‫‪2 2‬‬

‫¿¿¿‬

‫‪=0‬‬

‫نظرية ( ‪: )5 -3‬‬

‫إذا كان ( ‪ ) X , d‬فضاء متري و ‪A⊂ X X‬فإن‪:‬‬

‫‪x∈ A‬‬ ‫‪ A‬مغلقة في ( ‪ ) X , d‬إذا وفقط إذا كان لكل متتابعة ( ‪ )x n‬من ‪ A‬وتتقارب إلى ‪x∈ X‬فان‬

‫البرهان‪:‬‬

‫‪48‬‬ ‫‪.‬‬
 ‫إذا كانت ‪ A‬منتهية فإن أي متتابعة تقاربية من عناصرها ستكون ثابتة من حد معين وبالتالي تتقارب إلى‬
‫عنصر من ‪. A‬اآلن أفرض أن ‪ A‬غير منتهية ‪ .‬من نظرية (‪ )2-8‬نستنتج المطلوب ‪.‬‬

‫تعريف ( ‪)3 -3‬‬

‫لتكن ‪ A‬مجموعة من فضاء متري ( ‪ . )d,M‬يقال للنقطة ‪x∈ A‬انها نقطة معزولة عن ‪ A‬اذا امكن ايجاد‬
‫عدد معين موجب ‪ a 0‬بحيث ان } ‪ .B x( ,a ∩) a= {x‬هذا يعني أن ‪ x‬ليست نقطة تراكم للمجموعة‪.‬‬

‫مثال ( ‪)3 -3‬‬

‫اعتبر الفضاء المتري ) ‪ R( ,d R‬ولتكن ‪ N‬مجموعة األعداد الطبيعية‪ .‬نالحظ أن جميع نقاط ‪N‬معزولة الن‬
‫‪1‬‬
‫} ‪B x , ∩ N= {x‬لكل ‪ .x∈ N‬الحظ كذلك في الفضاء المتري المتقطع ( ‪ )d0,M‬جميع النقاط معزولة‬
‫)‪( 2‬‬
‫‪1‬‬
‫‪.x∈ M‬‬ ‫عن ‪ M‬الن } ‪B x ,2 ∩ M = {x‬لكل‬
‫) (‬

‫‪49‬‬ ‫‪.‬‬
 ‫الفضاءات المتري الكاملة‬
‫‪Complete Metric Spaces‬‬

‫تعريف ( ‪)4 -3‬‬

‫الفضاء المتري ( ‪ )X , d‬يكون كامل ( ‪ )Complete‬اذا كان كل متتابعة كوشيه في ( ‪ ) X , d‬متقاربة‬

‫إلى نقطة في ( ‪) X , d‬‬

‫مثال ( ‪)4 -3‬‬

‫الفضاء المتري (‪ )d(0,1) ,‬حيث‪:‬‬

‫‪1‬‬ ‫‪|x− y|, ∀ x‬‬
‫‪∈,1,0‬ليس فض اء م تري كام ل‪ .‬الن المتتابع ة ( )‪ n‬متتابع ة كوش ية لكنه ا‬
‫= ) ‪( ) d (x , y‬‬ ‫‪,y‬‬
‫ليست متقاربة ألي نقطة في الفترة (‪)0,1‬‬

‫مثال ( ‪)5 -3‬‬

‫من نظري ة (‪ )۲ -۳‬نس تنتج أن الفض اء الم تري ( ‪ d) r ,R‬كام ل‪ .‬ومن نظري ة (‪ )4 -۳‬نس تنتج أن الفض اء‬
‫المتري ( ‪ d) r ,R‬كامل‪.‬‬

‫مثال ( ‪)6 -3‬‬

‫الفضاء ( ‪ ) M , do‬كامل‪.‬‬

‫الحل‪:‬‬

‫إذا كانت ( ‪ )x n‬متتابعة كوشية في ( ‪ ) M , do‬فيوجد عدد طبيعي ‪ K‬بحيث‬

‫‪1‬‬
‫<)‪m ,n>K⇒ d (x m ,x n‬‬
‫‪2‬‬
‫‪⇒ x m= x n‬‬

‫ومن ثم فإن ( ‪ )x n‬تقاربية‪.‬‬

‫‪50‬‬ ‫‪.‬‬
 ‫مثال ( ‪: )7 -3‬‬

‫[ ‪ d ) C , ] a , b‬فضاء متري كامل‪.‬‬

‫البرهان‪:‬‬

‫لقد عرفنا سابقا دالة مسافة على [ ‪ a[ ,b ] C‬على الصورة االتية ‪:‬‬

‫=‪d (f ,g‬‬
‫‪x)am‬‬ ‫‪i j‬‬
‫=‬ ‫] ‪| f (t−) g ( t)| ,J= a[ ,b‬‬
‫لتكن ( ‪ )f n‬متتابعة كوشيه من [ ‪ C[ a , b‬ولتكن ‪ε> 0‬اذن يوجد عدد طبيعي ‪ N‬بحيث انه لكل‬
‫‪m ,n>N‬‬
‫=‪d (f m ,f n‬‬
‫‪x)am‬‬ ‫‪|f‬‬
‫‪i j m‬‬
‫=‬ ‫‪(t−) f n ( t)|< ε ¿1.5‬‬
‫) (‬

‫أي ان ‪m ,n>N⇒ | f m (t−) f n ( t)|< ε∀ t∈ J‬‬

‫وعليه ألي عنصر اختياري ‪ t 0∈ J‬لدينا‬

‫‪m ,n>N⇒ | f m ( t0−) f n( t0 )|< ε‬‬

‫… ‪ )f 1 (t 0 ) , f 2 (t 0‬تكون متتابعة كوشية من أعداد حقيقية‪ .‬وحيث أن ( ‪)R , d‬‬

‫هذا يبرهن أن المتتابعة ( ‪) , .‬‬
‫∈ يوجد عدد‬
‫فضاء متري كامل‪ ،‬فإن المتتابعة متقاربة‪ ،‬إلى عنصر وحيد وليكن ‪ .‬أي أنه لكل عنصر ‪t J‬‬

‫حقيقي وحيد ‪x i‬بحيث ان ‪R‬‬

‫‪mil‬‬ ‫‪f n (t=) x‬‬ ‫‪i‬‬
‫∞ →‪n‬‬

‫نعرف الدالة‬
‫‪f : a[ ,b→] R , f (t=) x‬‬ ‫‪i‬‬

‫بجعل ∞ →‪m‬في العالقة (‪ )5.1‬نجد أن‬

‫∈ ∀‪n>N⇒ | f n (t−) f (t |)< ε ,‬‬

‫‪t J‬‬
‫)‪| f (t−‬‬ ‫)| ‪f n (t‬‬
‫⇒‬ ‫‪<ε‬‬

‫ه ذا يع ني أن المتتابع ة ( ‪ )f n‬تتق ارب بانتظ ام الى الدال ة ‪ .f‬وبالت الي ف ان الدال ة ‪ f‬تك ون متص لة على ‪J‬ان‬
‫‪f n‬تتقارب الى الدالة في ] ‪C a[ ,b‬‬

‫‪51‬‬ ‫‪.‬‬
 ‫مثال ( ‪)8 -3‬‬

‫الفضاء ‪ ι p‬كامل حيث ¿ ∈‪p‬‬

‫البرهان‪:‬‬

‫‪ X‬متتابعة في ‪ ι p‬ولتكن ‪ε> 0‬اذن يوجد عدد طبيعي ‪ N‬بحيث‬

‫لنفرض ان ) ) … …‪( m= (x 1m ,x 2m …, ,x mi .,‬‬
‫ان‬
‫∞‬ ‫‪1‬‬
‫‪nm‬‬
‫(‬ ‫‪k= 1‬‬
‫‪k‬‬ ‫)‬
‫‪, >N⇒ d (x n ,x m=) ∑ (x k− x ) < ε )5.2(...‬‬
‫‪n‬‬ ‫‪m ρ ρ‬‬

‫ينتج من ذلك انه لكل ‪k = 1, 2, .......‬‬

‫‪ρ‬‬
‫‪|x km−‬‬ ‫‪x kn| < ε ρ ,∀ n m‬‬
‫‪, >N‬‬

‫أي أن‬

‫‪|x km−‬‬ ‫‪x kn|< ε∀ n m‬‬

‫‪, >N‬‬

‫اذن لك ل ‪ k = 1, 2.............‬المتتابع ة ( ‪ )x km‬كوش يه في ‪ R‬وحيث أن ‪ R‬فض اء م تري كام ل‪ ،‬يوج د‬

‫…‪x= (x 1 ,x 2 ,x 3‬نبرهن‬
‫نضع ) ‪,‬‬
‫لكل ‪ k = 1, 2, ............‬عنصر وحيد في ‪ R‬بحيث ان ‪mil x km= x k‬‬
‫∞ →‪m‬‬

‫ان ‪ .x∈ ι p‬من العالقة (‪ )2 . 5‬لكل عدد طبيعي ‪ j‬لدينا‬

‫‪j‬‬
‫‪ρ‬‬
‫‪∑ |x km−‬‬ ‫‪x kn| < ε ρ ,∀ n m‬‬
‫‪, >N‬‬
‫‪k= 1‬‬

‫بجعل ∞ →‪n‬نحصل على‬

‫‪j‬‬
‫‪ρ‬‬
‫‪∑ |x km− x k| < ε ρ ,∀m >N‬‬
‫‪k= 1‬‬

‫→نحصل على‬
‫بجعل ∞ ‪j‬‬
‫∞‬
‫‪ρ‬‬
‫‪∑ |x km− x k| < ε ρ ,∀m >N‬‬
‫‪k= 1‬‬

‫االن من متباينة مينوكوسكي لدينا‬

‫∞‬ ‫‪1‬‬ ‫∞‬ ‫‪1‬‬

‫(‬
‫∑‬
‫‪k= 1‬‬
‫‪ρ‬‬
‫= |‪|x k‬‬ ‫∑‬
‫‪ρ‬‬
‫( )‬ ‫‪k= 1‬‬
‫|‪|x −k x km+ x km‬‬ ‫)‬
‫‪ρ ρ‬‬

‫‪52‬‬ ‫‪.‬‬
 ‫∞‬ ‫‪1‬‬ ‫∞‬ ‫‪1‬‬ ‫∞‬ ‫‪1‬‬

‫(‬
‫∑≤‬
‫‪k= 1‬‬
‫‪|x−k‬‬
‫‪ρ‬‬

‫( )‬
‫∑‪x km| ρ+‬‬
‫‪k= 1‬‬
‫|‪|x km‬‬ ‫( )‬
‫‪ρ ρ‬‬
‫∑‪< ε+‬‬
‫‪k= 1‬‬
‫|‪|x km‬‬ ‫)‬
‫‪ρ ρ‬‬
‫∞<‬

‫هذا يعني أن ‪ ،x∈ ι p‬العالقة (‪ )3 . 5‬تعني أن المتتابعة ( ‪ )x m‬تتقارب الى ‪.x‬‬

‫فيما يلي نعطي مثال لفضاء متري غير كامل‪.‬‬

‫مثال (‪)3-9‬‬

‫‪−1,1‬و معرف عليها دالة‬

‫[‬ ‫هو مجموعة الدوال المتصلة على ]‬
‫‪C −1,1‬‬
‫[‬ ‫نعتبر الفضاء المتري ‪,¿ ,)d‬حيث ]‬
‫المسافة‬
‫‪1‬‬ ‫‪1‬‬

‫(‬
‫|)‪d (f ,g=) ∫ | f (t−) g ( t‬‬
‫‪−1‬‬
‫)‬
‫‪2 2‬‬

‫نعتبر المتتابعة ( ‪ φ) n‬االتية‬

‫‪1‬‬
‫‪− 1−‬‬
‫‪, 1≤ t≤−‬‬

‫)=‪φ n (t‬‬

‫نبرهن أن هذه متتابعة كوشيه‪ ،‬نفرض ان‬

‫{‬ ‫‪tn−‬‬
‫‪1‬‬
‫‪n‬‬
‫‪1‬‬
‫≤‪≤ t‬‬

‫‪1− ≤ t≤ 1‬‬
‫‪n‬‬
‫‪1‬‬
‫‪n‬‬
‫‪n‬‬

‫‪1‬‬ ‫‪1‬‬
‫‪1‬‬ ‫‪n‬‬ ‫‪m‬‬
‫‪1‬‬ ‫‪4‬‬ ‫‪2 2‬‬
‫|‬
‫‪2‬‬ ‫‪2‬‬ ‫‪2‬‬ ‫‪2‬‬
‫∫‬ ‫‪(φ n (t−) φ m (t ))td=∫ −‬‬
‫‪( 1−tm )td‬‬ ‫‪+‬‬ ‫∫‬ ‫‪−tn−tm‬‬
‫(‬ ‫‪)td‬‬ ‫‪+∫ −‬‬‫‪( 1−tm )td‬‬ ‫<‬ ‫‪+‬‬ ‫‪+‬‬
‫‪−1‬‬ ‫‪1‬‬ ‫‪−1‬‬ ‫‪n‬‬ ‫‪1‬‬ ‫‪3m 3m m‬‬
‫¿¿ ‪−‬‬
‫‪m‬‬ ‫‪n‬‬ ‫‪n‬‬

‫‪C, −1,1‬اآلن نفرض أن‬

‫[‬ ‫‪mil‬نستنتج من ذلك أن المتابعة ( ‪ φ) n‬كوشيه في ]‬
‫‪nm‬‬
‫∞ →‪,‬‬
‫هذا يعني أن ‪( n φ, m=) 0 ,‬‬
‫‪dφ‬‬

‫‪f∈ C −1,1‬لكل عدد طبيعي ‪ n‬لدينا‬

‫[‬ ‫المتتابعة ( ‪ φ) n ,‬تتقارب الى دالة ]‬
‫‪1‬‬ ‫‪1‬‬
‫‪n‬‬ ‫‪n‬‬
‫‪2‬‬
‫‪∫ |tn−‬‬ ‫¿ ‪f ( t)|td ≤∫ (t|n |¿+ | f (t |) )2‬‬
‫‪−1‬‬ ‫‪−1‬‬
‫‪n‬‬ ‫‪n‬‬

‫‪53‬‬ ‫‪.‬‬
 ‫‪1‬‬
‫‪n‬‬

‫هذا يؤدي إلى‬

‫‪2‬‬
‫‪mil‬‬ ‫‪∫ t|n−‬‬ ‫‪f ( t)|td‬‬
‫∞ →‪n‬‬ ‫‪−1‬‬
‫‪n‬‬

‫وبالتالي فإن‬
‫‪1‬‬
‫‪2‬‬
‫‪0=mil‬‬ ‫)‪∫ |φ n (t−‬‬ ‫‪f (t |) td‬‬
‫∞ →‪n‬‬ ‫‪−1‬‬

‫‪−1‬‬ ‫‪1‬‬
‫‪n‬‬ ‫‪n‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫‪1‬‬
‫‪2‬‬ ‫‪2‬‬ ‫‪2‬‬ ‫‪2‬‬ ‫‪2‬‬
‫‪mil‬‬
‫¿‬ ‫‪∫ |1− f (t |)td +∫ t|n− f ( t)|td m+ il ∫ |1− f (t |)td=∫ |1− f (t |)td∫ |1− f (t |)td‬‬
‫‪n→ ∞ − 1‬‬ ‫‪−1‬‬ ‫‪n→ ∞ 1‬‬ ‫‪−1‬‬ ‫‪0‬‬
‫‪n‬‬ ‫‪n‬‬

‫هذه المعادلة مع اتصال الدالة ‪ f‬دالة يؤكد ان‬

‫‪f (t=) − 1− 1< t< 0‬‬

‫{‬ ‫‪1 0< t< 1‬‬

‫ولكن هذا يتناقض مع كون ‪ f‬متصلة‬

‫‪54‬‬ ‫‪.‬‬
 ‫نظرية الكرات المتداخلة‬
‫‪The Nested Sphere Theorem‬‬
‫نفرض أن ( ‪ )M , d‬فضاء متري ‪ r ,x∈M‬عدد حقيقي موجب‪ ،‬نذكر القارئ بأن الكرة المغلقة )‪S(x,r‬‬

‫كاآلتي‪:‬‬
‫} ‪S (x ,r=) {y=M :d (y ,x )≤ r‬‬

‫تعريف ( ‪)5 -3‬‬

‫نقول أن متتابعة الكرات المغلقة )‪) , . ,S (x n ,r n‬‬

‫… ‪,S (x 1 ,r 1 ) ,S (x 2 ,r 2‬‬

‫متداخلة إذا كان‬

‫… )⊃‪S (x 1 ,r 1⊃) S (x 2 ,r 2‬‬
‫⊃ ‪,‬‬
‫⊃‪. S (x n ,r n‬‬
‫)‬

‫في النظرية التالية نستخدم مفهوم الكرات المتداخلة في إعطاء شرط ضروري وكافي حتى يكون الفضاء‬
‫( ‪ )M , d‬كامل‪ .‬فيما يلي نعطي نظرية كانتور "الكرات المتداخلة "‬

‫نظرية ( ‪)6 -3‬‬

‫الفض اء الم تري ( ‪ )M , d‬يك ون كام ل إذا ك ان وفق ط إذا ك انت ك ل متتابع ة من ك رات مغلق ة و متداخل ة‬
‫يجب أن يتحقق الشرط‬
‫‪mil‬‬ ‫‪r‬‬
‫∞ →‪n‬‬
‫‪n‬‬ ‫‪S (x n ,r n ) ,n≥ 1‬بحيث أن‪=0‬‬

‫∩∞=‪*n‬‬
‫≠ ‪1 S (x n ,r n‬‬
‫∅ )‬

‫‪55‬‬ ‫‪.‬‬
 ‫نظرية بير‬
‫‪Baire's Theorem‬‬

‫تعريف ( ‪)6 -3‬‬

‫المجموعة ‪ A‬تسمى غير كثيفة في أي مكان ‪ nowhere dense‬في الفضاء المتري ( ‪ )M , d‬إذا كانت‬
‫كل كرة مغلقة ) ‪S (x ,r‬تحتوي على كرة مغلقة ) ̀‪S̀ (x̀ ,r‬بحيث أن ∅ ‪S̀ (x̀ ,r̀)∩ A−‬‬

‫مثال ( ‪)10 -3‬‬

‫المجموعات ‪ Z , N‬غير كثيفة في أي مكان في الفضاء المتري ) ‪. R( ,d‬‬

‫تعريف ( ‪)7 -3‬‬

‫نقول أن المجموعة ‪ A‬من النوع األول إذا كتبت على صورة اتحاد قابل للعد المجموعات غير كثيفة في‬
‫أي مكان وغير ذلك نقول أنها من النوع الثاني‪.‬‬

‫مثال ( ‪)11 -3‬‬

‫المجموعات ‪N ,Z ,R‬من النوع األول في الفضاء المتري ) ‪.R( ,d R‬‬ ‫‪-1‬‬

‫في الفض اء الم تري ) ‪ R( ,d‬المجموع ة ‪A=5,1[ ∪] N‬ليس ت كثيف ة في ك ل مك ان وليس ت غ ير كثيف ة‬ ‫‪-2‬‬
‫في أي مكان‪.‬‬
‫في الفضاء المتري ( ‪ )M , do‬كل مجموعة جزئية ‪ A‬تكون مغلقة ومفتوحة ومن ثم ‪( ´ )0 = A‬‬
‫‪A‬‬ ‫‪-3‬‬
‫وبالتالي تكون المجموعة الفارغة هي المجموعة الوحيدة الغير كثيفة في أي مكان‪.‬‬

‫نظرية ( ‪)7 -3‬‬

‫الفضاء المتري الكامل ال يمكن تمثيله باتحاد قابل للعد لمجموعات غير كثيفة في أي مكان‪.‬‬

‫‪56‬‬ ‫‪.‬‬
 ‫نتيجة( ‪:)1 -3‬‬

‫إذا كان ‪ M‬فضاء متري كامل وليس له نقاط معزولة فإن ‪ M‬غير قابلة للعد‬

‫البرهان‪:‬‬

‫نفرض أن ‪ M‬قابلة للعد‪ .‬إذن‬

‫} ‪m= ¿n= 1 ¿∞ {x n‬‬

‫حيث أن النقطة ‪ )n ≤1( x n‬ليست معزولة ‪ ،‬إذن المجموعة } ‪ )n ≤1( {x n‬ليست غير كثيفة في أي مكان‪،‬‬
‫إذن ‪ M‬غير كامل وهذا تناقض‪.‬‬

‫‪ ‬‬

‫‪57‬‬ ‫‪.‬‬
 ‫الدوال المتصلة من فضاء متري إلى فضاء متري آخر والدوال االنكماشية‬

‫‪Continuous Functions Between Metric Spaces‬‬

‫‪and Contraction Mapping‬‬

‫اتصال الدالة من فضاء متري إلى فضاء متري‬

‫‪Continuous Functions Between Metric Spaces‬‬

‫تعريف ( ‪)8 -3‬‬

‫→‪ f :(X ,d 1‬متص لة عن د‬

‫اف رض أن ك ل من (‪ )Xd 1 ,‬و( ‪ ),,d 2 Y‬فض اء م تري نق ول أن الدالة )‪) (Y ,d 2‬‬

‫∈ ‪x‬م د إذا ك ان لك ل ك رة مفتوح ة ) ‪B ( f (x 0 ) ,ε‬توج د ك رة مفتوح ة ) ‪B (x 0 ,δ‬بحيث أن‬

‫‪0 X‬‬ ‫النقط ة‬
‫⇒ ‪ x∈ B (x 0 ,δ‬هذا يكافئ الشرط التالي‪:‬‬
‫) ‪) f (x )∈ B ( f (x 0 ) ,ε‬‬

‫‪∀ ε> 0∃ δ> 0 :d 1 (x ,x 0 )< δ⇒ d 2( f (x ), f (x 0 ))< ε‬‬

‫مثال ( ‪)12 -3‬‬

‫اذا كانت ‪ f‬دالة مجالها الفضاء المتري ( ‪ )M , do‬فإنها تكون متصلة‪.‬‬

‫الحل‪:‬‬

‫‪1‬‬
‫→ ‪f :M( ,d‬حيث ) ‪ X( ,ρ‬فض اء م تري‪ .‬لك ل ‪ε> 0‬ناخ ذ ‪δ= 2‬فيك ون ل دينا‬
‫)‪0‬‬ ‫اف رض أن ) ‪X( ,ρ‬‬

‫= ‪d 0 (x ,y <) δ⇒ y=ρx (f (x ) , f (y‬ومن ثم ‪ f‬متصلة‪.‬‬

‫‪) ) 0< ε‬‬

‫تعريف ( ‪)9 -3‬‬

‫افرض أن كل من (‪ )Xd 1 ,‬و( ‪ ),,d 2 Y‬فضاء متري‪ .‬نقول أن الدالة ( ‪ : T )X d 1 ,(→ ),,d 2 Y‬متصلة‬
‫∈ ‪ x‬إذا وفقط إذا كانت لكل متتابعة‬
‫‪0 X‬‬ ‫بواسطة المتتابعات ( ‪ )continuous sequentially‬عند النقطة‬
‫‪mil‬‬ ‫( ‪ )x n‬متقاربة إلى ‪x 0‬الدينا ) ‪T (x 0=) T (x 0‬‬
‫∞ →‪n‬‬

‫‪58‬‬ ‫‪.‬‬
 ‫نظرية ( ‪)8 -3‬‬

‫اف رض أن ك ل من (‪ )Xd 1 ,‬و( ‪ ),,d 2 Y‬فض اء م تري‪ .‬نق ول أن الدال ة ( ‪ : T )X d 1 ,(→ ),,d 2 Y‬متص لة‬
‫∈ ‪x‬إذا وفقط إذا كانت متصلة بواسطة المتتابعات‪.‬‬
‫‪0 X‬‬ ‫عند النقطة‬

‫مالحظة ( ‪)8 -3‬‬

‫إذا كانت ‪ T‬دالة معرفة من فضاء توبولوجي إلى فضاء توبولوجي ومتصلة عند نقطة فإنها تكون متصلة‬
‫بواسطة المتتابعات عند هذه النقطة والعكس ليس بالضرورة صحيح‪.‬‬

‫نتيجة ( ‪)2 -3‬‬

‫∈ ‪x‬الدالة ‪ f‬ال تكون متصلة عند ‪x 0‬إذا أمكن إيجاد متتابعة ( ‪ )x 0‬من‬
‫‪0 X‬‬ ‫(‪ f : )Xd 1 ,‬و‬
‫لتكن ( ‪→ ),,d 2 Y‬‬

‫‪ X‬تتقارب إلى ‪x 0‬ولكن ( ¿ ‪f‬ال تتقارب إلى ( ‪ f x) 0‬في ‪.Y‬‬

‫مثال ( ‪)13 -3‬‬

‫‪f : R‬عند النقطة (‪ )0,0‬حيث‬
‫ادرس اتصال الدالة ) ‪( 2 ,d R→) R( ,d R‬‬
‫‪2‬‬

‫‪yx‬‬
‫(‬ ‫)‬
‫{‬
‫‪f x ,y= x 2+ y 2‬‬
‫‪,(x ,y )≠0,0‬‬

‫‪0 x( ,y=) 0,0‬‬

‫) (‬
‫) (‬

‫الحل‪:‬‬
‫‪1 1‬‬
‫اعتبر المتتابعة ) ‪ (x n ,y n=) (n ,n‬لكل ‪n≥ 1‬لدينا‬
‫‪1 1‬‬
‫‪.‬‬
‫‪n n 1‬‬
‫)=‪f (x n ,y n‬‬ ‫‪−‬‬
‫‪2‬‬ ‫‪2‬‬
‫‪2‬‬
‫‪n‬‬
‫‪1‬‬
‫إذن‬
‫‪mil‬‬ ‫)=‪f (x n ,y n‬‬
‫‪2‬‬
‫ومن ثم فإن‬
‫∞ →‪n‬‬

‫¿‪f‬‬
‫إذن الدالة ليست متصلة عند (‪)0, 0‬‬

‫تعريف ( ‪)10 -3‬‬

‫‪59‬‬ ‫‪.‬‬
 ‫(‪ f : )Xd 1 ,‬متصلة إذا كانت متصلة عند أية نقطة ‪x 0‬من ‪X‬‬
‫نقول أن الدالة ( ‪→ ),,d 2 Y‬‬

‫نظرية ( ‪)9 -3‬‬

‫(‪ f : )Xd 1 ,‬متصلة إذا كان وفقط إذا كانت الصورة العكسية ألي مجموعة مفتوحة‬
‫الدالة ( ‪→ ),,d 2 Y‬‬

‫في ‪γ‬تكون مجموعة مفتوحة في ‪.X‬‬

‫الفضاءات المترية الهوميومورفك‬

‫‪.Homeomorphic Metric Spaces‬‬

‫تعريف ( ‪)11 -3‬‬

‫اف رض أن ك ل من(‪ )Xd 1 ,‬و ( ‪ ),,d 2 Y‬فض اء م تري‪ .‬نق ول أن الدال ة ( ‪,T : )X d 1 ,(→ ),,d 2 Y‬‬
‫هوميومورف يزم ( ‪ )Homeomorphism‬إذا ك انت متباين ة ‪ ،‬ش املة ‪ ،‬متص لة والدال ة العكس ية له ا متص لة‬
‫أيضا‪ .‬وعندئذ نقول أن ( ‪ )X , d‬و (‪ )Y , d ,‬هوميومورفك ( ‪. Homeomorphic‬‬

‫تعريف ( ‪)12 -3‬‬

‫اف رض أن ك ل من (‪ )Xd 1 ,‬و ( ‪ ),,d 2 Y‬فض اء م تري‪ ،‬نق ول أن الدال ة (‪ )Xd 1 ,‬و ( ‪T :),,d 2 Y‬‬
‫ایزومتري ة ( ‪ )Isometry‬إذا ك ان لك ل ‪ x,z‬ل دينا )) ‪d 1 x( ,z=) d 2( f (x ) , f (z‬نق ول أن (‪ )Xd 1 ,‬و ( ‪),,d 2 Y‬‬
‫متماثلين ( ‪ )Isomorphic‬إذا كانت ‪ T‬شاملة وأيزومترية‪.‬‬

‫مالحظة ( ‪)3 -3‬‬

‫من السهل إثبات أن‪:‬‬

‫(‪)1‬الدالة األيزومترية الشاملة تكون هوميومورفيزم‬

‫(‪)2‬الدالة األيزومترية تنقل المتتابعة الكوشية إلى متتابعة كوشية‪.‬‬
‫(‪)2‬الدالة األيزومترية تنقل المجموعة المحدودة إلى مجموعة محدودة‪.‬‬
‫نظرية ( ‪)10 -3‬‬

‫‪60‬‬ ‫‪.‬‬
 ‫الفضاءان( ‪ )X ρ ,‬و( ‪ )X,d‬متكافان إذا كان وفقط إذا كانت الدالة )‪⇒ X( ,ρ ) , I (x=) x I (X,d‬‬

‫هوميومورفيزم‪.‬‬

‫البرهان‪:‬‬

‫من الواضح أن الدالة ‪ I‬متباينة وشاملة‪ .‬افرض أن ( ‪, X( ,ρ ) )X,d‬و ‪x n‬متتابعة من ‪ X‬وتتقارب الى ‪sx∈ X‬‬
‫هذ ا يبرهن أن الدالة ‪ I‬متصلة‪.‬‬
‫ومن ذلك نستنتج أن ¿ ¿ ‪mil ρ‬‬
‫∞ →‪n‬‬
‫‪ . eX‬إذن ) ‪mil d (x n ,x‬‬
‫∞ →‪n‬‬

‫‪0=mil‬‬ ‫بالمثل نبرهن أن الدالة العكسية لها متصلة أيضا‪ .‬اآلن نفرض أن ‪ I‬هوميومورفيزم و ) ‪d (x n ,x‬‬
‫∞ →‪n‬‬
‫‪mil‬‬ ‫وبالتالي فإن ¿ ¿ ‪ρ‬‬
‫اذن ¿ ¿ ‪mil ρ‬‬
‫∞ →‪n‬‬ ‫∞ →‪n‬‬

‫‪61‬‬ ‫‪.‬‬
 ‫الخاتمة‬

‫الحمــد هلل الــذي يســر بكرمــه ومنِّه وفضــله ولطفــه إتمــام هــذا البحث بعنــوان‬
‫(الفضــاءات المتريــة وبعض تطبيقاتهــا)‪ ،‬فلــه الحمــد أو اًل وآخــرًا‪ ،‬ظــاهرًا‬
‫وباطنًا‪ ،‬وأسألهـ سبحانه المزيد من فضــله وتوفيقــه وإحســانه‪ .‬والــذي بالتمهيــد‬
‫عن التعريــف بالفضــاءات المتريــة‪ ،‬وتطــبيق بعض من تطبيقاتهــا المتعــددة‪،‬‬
‫ونذكر ما جــاء في الفصــل األول‪ ،‬مطلب كــذا وكــذا‪ ،‬ومــا ذكرنــاه في الفصــل‬
‫الثـــاني من عـــدة مطـــالب وهي كالتـــالي‪ :‬المطلب األول‪ ،‬والمطلب الثـــاني‪،‬‬
‫والفصلـ الثالث‪ ،‬ونذكر أهم المراجع التي تم تناولها خالل بحثنا‪ ،‬وما جاء من‬
‫نتائج وتوصيات البحث‪.‬‬

‫‪62‬‬ ‫‪.‬‬
 ‫المراجع‬
‫زيدان ‪.‬أ بوجوف‪.‬ح التحليل الحقيقي ‪ ،‬كتاب مقدم للنشر الطبعة االولى‬ ‫‪‬‬
‫فومين‪.‬س ‪،‬كولموغوروف ‪.‬أ ‪ ،‬مبادىء في نظرية التوابع وفي التحليل التابعي (ترجمة ابو‬ ‫‪‬‬
‫بكر خالد سعد اهلل ) الطبعة الرابعة ‪ ،‬ديوان المطبوعات الجامعية ‪ ،‬الجزائر‪1987،‬‬
‫الهمالي ‪.‬أ ‪ ،‬التراص في الفضاء المعياري ‪ ،‬رسالة ماجستير ‪ ،‬جامعة سبها ‪2018،‬‬ ‫‪‬‬

‫‪63‬‬ ‫‪.‬‬