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

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

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

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

قضیه ی تعریف ناپذیری صدق در سال 1936 تارسکی توسط آلفرد تارسکی مطرح و اثبات شد. این قضیه به طور غیر رسمی می گوید، صدق حساب در حساب قابل تعریف نیست. تارسکی در اثبات خود از لم قطری (یا نقطه ثابت) استفاده کرده است. در این پایان نامه سعی بر آن است که قضیه ی تعریف ناپذیر صدق را برای مدل های نااستاندارد حساب پئانو تعمیم دهیم و اثباتی نظریه مدلی برای آن بیاوریم. این اثبات را آبراهام رابینسون درسال 196...

فرض کنیم r یک حلقه ی جابجایی و یکدار باشد. در این پایان نامه برای هر r-مدول m، زیر مدول قویاًاول تعریف و نشان داده می شود که زیر مدول های قویاً اول، بیشتر خواص اصلی زیر مدول های اول را دارا می باشند. به ویژه تعمیم قضیه ی ایده آل اصلی کرول به مدول ها توسعه داده می شود.

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

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

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