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

در این پایان نامه ما مراکز توپولوژیک الحاقی های خاص از عمل های مدول باناخ را بررسی می کنیم ، آنگاه منظم آرنز بودن و نامنظم آرنز بودن این اعمال را مورد مطالعه قرار می دهیم . همچنین نشان می دهیم که اگر aایده آل چپ یا راست a^(**) باشد آن گاه تجزیه بوسیله a^* یا a^(**) منظم آرنز بودن a را نتیجه می دهد . منظم آرنز و به طور قوی نا منظم آرنز بودن a را به منظم آرنز و به طور قوی نامنظم بودن عمل ها...

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

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

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

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

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

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

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

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