این پایان نامه به مطالعه توپولوژی گروهی روی گروه بنیادی می پردازد. این مطالعات بیان کننده خواص موضعی فضاهاست که با نظریه ی فضاهای پوششی و هموتوپی قابل بیان نیست. واضح است که نتایج بدست آمده از بررسی گروه بنیادی به عنوان خارج قسمت فضای حلقه ها، اغلب گروه توپولوژیک نیست. از گروههای توپولوژیکی برای ساخت یک توپولوژی استفاده می کنیم که گروه بنیادی هر فضا را به ساختار گروه توپولوژیکی تبدیل می کند. یک...

با توجه به اینکه خواص پایه ای فضاهای متریک از اعمال جبری اعداد حقیقی به دست آمده، ای ایده کاملا طبیعی است که در فضاهای متریک به جای اینکه برد تابع متریک در r قرار گیرد در یک فضای برداری (و یا باناخ) قرار گیرد. این ایده اولین بار توسط هانگ و زانگ تحت عنوان فضاهای متریک مخروطی به طور رسمی مطرح گردید و پس از آن ریاضیدانان زیادی به آن علاقه نشان داده و مباحث مختلف مطرح شده در فضاهای متریک را در فضا...

در سال 1967 گلسون و در سال 1968 کاهان و زلاسکو بطور مستقل ثابت کردند که: اگر a یک جبر باناخ جابجایی و یکدار باشد و m یک زیر فضای a که codim(m) آنگاه m یک ایده ال ماکسیمال است ، اگر و تنها اگر m شامل عضو معکوس پذیری نباشد. این قضیه به طور مستقیم ثابت نشد بلکه معادلی برای قضیه فوق بیان شد و با اثبات این قضیه، قضیه اصلی ثابت شد. از همان سالها شرط جابجایی بودن از قضیه فوق برداشته شد هدف فصل اول بیا...

مطالعات مربوط به نظریه ی خاصیت نقطه ی ثابت تقریبی ضعیف در فضاهای برداری توپولوژیک، [2]، توسط باروسو در سال (2009) آغاز شده است و خاصیت نقطه ی ثابت تقریبی ضعیف برای زیرمجموعه های محدب به طور ضعیف فشرده از فضاهای باناخ اثبات گردیده است. پس از آن باروسو و پی-کی-لین، [3]، در سال (2010) به بررسی این موضوع برای مجموعه های محدب، بسته و کراندار کلی از فضاهای باناخ و البته بیشتر با تاکید بر جنبه های هند...

درسال 2002 بیس توپولوژی ای روی گروه بنیادین فضاها قرار داد و فضای حاصل را گروه بنیادین توپولوژیک خواند. او نشان داد با گذاشتن این توپولوژی روی گروه بنیادین، برخی از قضایای مربوط به گروه بنیادین در حالت توپولوژیکی نیز برقرارند. قضیه ی مهمی که بیس در مقاله خود بیان می کند این است که یک فضا همبند ساده نیم موضعی است اگر و تنها اگر گروه بنیادین توپولوژیک آن گسسته باشد. فابل با ارائه یک مثال نقض نشان...

از قضیه ی ون کمپن نتیجه می شود که فضای توپولوژیک x همبند ساده است هرگاه برابر با اجتماع دو زیرفضای باز همبند ساده خود با اشتراک همبند مسیری باشد. در این پایان نامه تعمیم های گوناگونی از قضیه ی ون کمپن برای فضاهای همبند ساده ی مسطح را می آوریم. از جمله نشان می دهیم اجتماع هر دو زیرفضای پیوستار همبند ساده، همبند ساده است، هرگاه اشتراک آن ها همبند مسیری و حجره ای باشد. همچنین نشان می دهیم برخی ش...

از زمان انتشار مقاله‌ی سوئل کریپکی با عنوان تحلیل دلالت شناسانه‌ی منطق شهودیI، در سال 1965، تمام آنچه پیش‌ از آن در دلالت‌شناسی منطق شهودی نگاشته شده بود، تفسیر برآوئر-هیتینگ-کولموگروف(BHK)، تفسیر توپولوژیک و مدل‌های بث تحت سایه‌ی ‌تنقیح و پالودگی‌اش قرار گرفت و دلالت شناسی استاندارد برای منطق شهودی برآوئر-هیتینگ قلمداد شد. تا به امروز جهت تفسیر، مقابله و بِه فهمی، ادبیات و مطالعات کلانی حول این...

شاخص توپولوژیک عددی حقیقی است که به یک گراف نسبت داده می شود و تحت یک ریختی گراف ثابت می ماند. شاخص های توپولوژیک برای بررسی خواص فیزیکی-شیمیایی ترکیبات شیمیایی به کار می روند. شاخص ‎ pi ‎ در مقاله ای در سال ‎2009‎ در تلاش جهت یافتن رابطه ای دقیق برای محاسبه ی شاخص ‎ pi ‎ رأسی حاصل ضرب دکارتی گراف ها معرفی شد. بعدها کاربردهای فراوانی از این شاخص در علوم نانو و شیمی به دست آمد. مطالعه ی ریاضی ای...

در این پایان نامه ارتباط بین مشتقات سویی یک طرفه توابع نزدیکترین و دورترین فاصله تعمیم یافته و وجید نزدیکترین و دورترین نقاط نقاط تعمیم یافته مورد بررسی واقع شده است. نشان داده شده است که اگر این توابع، مشتقات سویی یک طرفه مساوی با1 یا 1- داشته یاشند، وجود نزدیکترین و دورترین نقاط تعمیم یافته نتیجه می شود و یک جواب جزیی به مسیله بازی که توسط فیتزپاتریک مطرح شده، داده شده است. همچنین ما مفهوم به...

در این پایان نامه مثال هایی از فضاهای یک-بعدی ارایه می دهیم و به سوالاتی می پردازیم که در مطالعه گروه های بنیادی این فضاها ایجاد می شوند. البته برخی از نتایج را برای فضاهای کلی تر نیز اثبات خواهیم کرد. برای نمونه اثبات می کنیم گروه بنیادی یک فضای متری ، همبند، همبند مسیری موضعی، یک-بعدی و جدایی پذیر، آزاد است اگر و تنها اگر شمارا باشد و اگر و تنها اگر دارای پوشش جهانی باشد. همچنین اثبات می کنی...