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

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

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

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

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