فضاهای توپولوژیکی جزئی وقضایای نقطه ثابت در فضاهای متریک جزئی

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