در این رساله قضایای چندگانه نقطه بحرانی را برای تابعک های دیفرانسیل ناپذیر به دست می آوریم، و به عنوان کاربردهایی از آن ها، به بررسی وجود جواب های چندگانه برای نامساوی های تغییراتی- نیمه تغییراتی برای همه که c زیر مجموعه ای بسته و محدب از فضای x است، می پردازیم. بنابراین، با فرض این که تابعک های f و gتقریباً همه جا پیوسته باشند، جواب های چندگانه را برای مسایل مقدار مرزی دیریکله به دست می ...

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

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

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

فرض کنید xوyفضاهای توپولوژیک باشند.نگاشت t:x?2y را یک چندتابعی و x?x را نقطه ثابت t گویندهرگاه x?tx. اگر e یک فضای باناخ باشدوp زیر مجموعه ای از e یک مخروط و r?? ، در این صورت a:p?p یک عملگر ?-محدب است هرگاه به ازای هر x?p و هر [0?1)t? داشته باشیم a(tx)?t?ax. در این رساله قضایا و نتایج مربوط به وجود و یکتایی نقطه ثابت توابع و چندتابعی های انقباضی، یکنوای ترکیبی، عملگرهای ?-محدب و ?-مقعر، جف...

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

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

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

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