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

در سال 1971، با الهام از کار لازارد و گُورو برای مدول ها روی یک حلقه، استنستروم ثابت کرد که سیستم راست به طور قوی هموار است هرگاه تابعگون a تانسور (از رسته s-سیستم های چپ به رسته مجموعه ها) حافظ عقب برها و برابرکننده ها باشد. او همچنین نوعی از شرایط را (که تحت عنوان شرط (p) و (e) به آن اشاره خواهیم کرد) برای تشخیص همواری قوی فراهم کرد. بر خلاف حالت مدول های روی یک حلقه، همواری قوی اکیداً قوی تر ا...

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

در این پایان نامه، انواع خاصیت های یکدست (یکدست، یکدست مرتب، شرط (p و ...) را در رسته ی pos-s، مورد مطالعه قرار می دهیم و تکواره های مرتب s را توسط s-مجموعه های مرتب دسته بندی می کنیم و در حالت های خاص، خاصیت های یکدست بودن برای s-مجموعه های مرتب دوری و خارج@قسمتی ریس راست، بررسی خواهد شد.هم چنین قضیه ی استنستروم-گوورف-لازارد، که برای s-مجموعه ها وجود دارد، را برای s-مجموعه های مرتب بیان خواهیم...

در این پایان نامه برخی از انواع مخروط ها بررسی شده و سپس تحدب توابع نسبت به آن ها بیان شده است. به علاوه مفهوم کارآیی بیان شده است وشرایط وجود جواب های کارآ مطالع شده است. در ادامه ارتباط بین جواب موضعی و جواب کلّی برخی مسائل بهینه سازی بررسی شده است.

تکواره های مرتب جزیی s را به صورت در نظر می گیریم که g یک گروه مرتب جزیی و i یک ایده ال مرتب جزیی s است و نشان می دهیم که اگر یک s- سیستم مرتب جزیی به عنوان یک - سیستم مرتب جزیی، هموار ضعیف اصلی، هموار (ضعیف)، هموار مرتب جزیی، هموار مرتب جزیی ضعیف (اصلی) و بی تاب (مرتب جزیی) باشد یا در شرط های ، ، ، ، ، یا صدق کند، آنگاه به عنوان یک s- سیستم نیز این خاصیـت ها را دارد . همچنین نشان می دهیم یــک ...

در سال های اخیر گراف های بسیاری به ساختارهای جبری مثل گروه، حلقه، نیم گروه و مجموعه های مرتب جزیی نسبت داده شده اند. یکی از این گراف ها که اولین بار توسط بک در سال ‎1988‎ معرفی شد گراف مقسوم علیه صفر بود. در سال ‎2009‎‏، این مفهوم بر روی مجموعه های مرتب جزئی برده شد. از انواع دیگر و با سابقه ای طولانی در گراف های جبری، گراف های کیلی را می توان نام ‏برد که توسط کیلی در سال ‎1878‎ به ساختار گروه ...

تکواره ی s را همراه با ترتیب جزیی ? (سازگار با عمل دوتایی تکواره)،تکواره ی مرتب می نامیم. اگر هر s- مجموعه ی مرتب چپ، پوشش تصویری داشته باشد تکواره ی مرتب s، کامل مرتب چپ نامیده می شود. حلقه های کامل چپ در سال 1960 توسط باس معرفی شدند و نشان داده شد که دقیقا حلقه هایی هستند که در شرط (mr)، شرط زنجیر نزولی روی ایده ال های راست اصلی، صدق می کنند. چیس نیزثابت کرد که حلقه ی r، کامل چپ است اگر و تنه...

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

در این پایان نامه تعریف جدیدی از یک سیستم دینامیکی دنباله ای را ارائه می دهیم که چنین تعریفی ما را به یک مفهوم از تبدیلات سیستم های دینامیکی دنباله ای با ویژگی های خیلی مطلوب هدایت می کند. در این سیستم دینامیکی جدید تقویم های به روز متفاوت یک تابع به روز کلی می دهند و یک نوع از این سیستم های دینامیکی را معرفی خواهیم کرد.