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

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

در این پایان نامه، برخی نتایج نقطه ثابت، بخصوص چند نتیجه غیر کلاسیک را بررسی خواهیم نمود. فرض کنید (x,d) یک فضای متریک و t یک خود نگاشت روی x و x_0 نقطه ثابت t باشد. بدیهی است که به ازای هر عدد طبیعی n ، x_0 نقطه ثابت t^n نیز هست. نکته جالب این است که عکس موضوع برقرار باشد، یعنی اگر به ازای یک عدد طبیعی m، x_0 نقطه ثابت t^m باشد، آن گاه x_0 نقطه ثابت t نیز باشد. در این راستا، مفهوم خ...

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

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

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

در این پایان نامه، فضای متریک جزیی و متریک هاسدورف را معرفی می کنیم که منجر به فضای متریک هاسدورف جزیی می شود. همچنین نگاشت های چندمقداری g- تقریب را در فضای متریک جزیی معرفی می کنیم. براساس تعریف g- تقریب مفاهیم نگاشتهای g – cav ,g – lcav ,g - ucav را بدست می آوریم و در آخر، نتایج نقطه ثابت مشترک برای نگاشت های چندمقداری g- تقریب که در شرایط انقباض تعمیم یافته در فضای متریک جزیی صدق می کنند را...

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

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

شده از توپولوژی فشرده - باز روی فضای n-طوقه به دست می آید. سپس ثابت می کنیم گروه n_هموتدر این پایان نامه یک فضای شبه n_هاوایی x را به صورت حد معکوس تعریف می کنیم که این فضا همبافت فشرده n-1 همبند و همبند ماضی و n- همبند ساده نیم موضعی می باشد. گروه بنیادین x را به یک توپولوژی مجهز می کنیم که از توپولوژی خارج قسمتی القا وپی توپولوژیکی روی یک فضای شبه n-هاوایی x یک گروه توپولوژیکی است.بویژه نشان...