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

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

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

به عنوان کاربردهایی ازاین قضایا یکتایی و وجود جوابهای معادلات دیفرانسیل تناوبی مورد بررسی قرار می گیرد.

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

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