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

بعلاوه این نتایج به فضاهای cat(0) تعمیم داده می شوند. همچنین نتایجی درباره نقاط ثابت و همگرایی تکرار مان-گونه نگاشت های سوزکی-نامبسوط تعمیم یافته در فضاهای cat(0) ارایه می گردند.

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

مجموعه ی همه ی زیرفضاهای یک فضای برداری را هندسه ی تصویری از مرتبه ی روی میدان متناهی نامیده و با ‎‎‏نشان می دهند. تابع یک متر روی هندسه ی تصویری ‎‎‏تعریف می کند. یک زیرمجموعه از یک کد زیرفضا نامیده می شود.برای هر عدد ثابت نامنفی مجموعه ی همه ی زیرفضاهای بعدی از گراسمانیان نامیده می شود و با نشان داده می شود. اگر یک کد زیرفضا زیرمجموعه ای از گراسمانیان باشد آن را یک کد با بعد ثابت می نامند. کده...

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

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

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

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

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

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