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

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

حذف برگ پیاز یکی از مراحل برداشت این محصول است که به صورت دستی یا با استفاده از ماشین‌های سرزن صورت می‌گیرد.  سرزن غلتکی از جمله ماشین‌های حذف برگ پیاز است که از غلتک‌های مرتب کننده و مکانیزم برش برگ تشکیل شده است.  عواملی نظیر سرعت چرخشی و فاصلۀ غلتک‌ها و نیز مکانیزم مناسب قطع برگ، نقشی مهم در عملکرد کاری این دستگاه دارد.  در این تحقیق نمونه­ای از دستگاه سرزن غلتکی ساخته و تأثیر دو عامل سرعت چ...

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

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

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

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

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

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

در سال های اخیر، نتایجی از قضایای نقطه ثابت بسیاری در فضاهای متری جزئاً مرتب به دست امده است. نخستین قضیه در این جهت متعلق به ران و رویرینگز در سال 2004 است که انها کاربردهایی از ان را در معادلات ماتریسی ارائه دادند پس از ان لوپز و نیتو در سال 2005 نتیجه ران و رویرینگز را گسترش دادند و ان را برای اثبات وجود جواب یکتا برای یک معادله دیفرانسیل معمولی با شرایط مرزی متناوب به کار بردند . فرض کنید x...