در این پایان نامه هدف اصلی بررسی روش احتمالی در ترکیبیات و نظریه گرافهاست.در بخش 1-2 تعاریف مقدماتی مورد نیاز در رابطه با نظریه گرافها آورده شده است.در فصل دوم نامساوی ها و روابط مقدماتی که در متن از آن ها استفاده شده است راگرد آوری نموده ایم. بررسی روش احتمالی از فصل 3 آغاز می شود.در بخش 3-1 مقدمه کوتاهی از تاریخچه پیدایش این روش بیان شده است.در بخش 3-2 قضیه معروف اردیش-کو-رادو بیان و اثبات م...

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

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

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

در این پایان نامه قضیه صفر شدن دو گان عدد باس موضعی را ثابت خواهیم کرد. در جزییات فرض کنیم r یک –u حلقه m یک –r مدل آرتینی و اگر در این صورت که در آن امین دوگان عدد باس –r مدول m نسبت به p می باشد و fdrp home r(rp.m) ممکن است نامتناهی باشد علاوه بر آن اگر cograderp (rp.m) و fdrphomer(rp.m) آنگاه (p.m)0همچنین (p.m)0

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

: مدول m را بالابرنده گوییم، اگر برای هر زیرمدول x از m، جمع‏وند مستقیمی از m وجود داشته باشد که زیرمدول هم‏اساسی x است. در این پایان‏‏نامه که در سه فصل تنظیم شده است، پساز معرفی برخی از مدول‏ها و حلقه‏ها از جمله حلقه‏های کامل، به بررسی رفتار مدول‏های بالابرنده روی حلقه‏های کامل می‏پردازیم. در این راستا نشان می‏دهیم که اگر r کامل باشد، هر r-مدول تصویری بالابرنده است. هم‏چنین ثابت می‏کنیم که هر ...