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

در این پایان نامه به خواص مدل های تعریف پذیر حساب پئانو در مدل های دیگر پئانو پرداخته می شود.

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

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

فرض کنید ‎$ m $‎ یک فضا-زمان جهت پذیر باشد که تمامی ژئودزی های شبه زمان آن کامل باشند و شامل یک ابر سطح فشرده ی شبه مکان و غیر علّی مانند ‎$ s $‎ باشد. طبق فرضیه ای از بارتنیک اگر ‎$ m $‎ در شرط همگرایی شبه زمان(شرط انرژی قوی) صدق کند می توان آن را به صورت فضا ‎$ imes $‎ زمان در نظر گرفت. یعنی با فضا ‎$ imes $‎ زمان ایزو‎‎متر است. به چنین فضا زمانی جدایی پذیر گوییم. از طرفی با توجه...

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

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

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

یک ساختار مرتبه اول ‎$ cal m $‎ که بسطی از یک ترتیب خطی چگال بدون ابتدا و انتها می باشد، ت -کمینه (به ترتیب، ت-کمینه ضعیف) گفته می شود، هرگاه هر زیرمجموعه از ‎$ m $‎، که در ‎$cal{m}$‎ تعریف پذیر است، برابر اجتماعی متناهی از بازه های باز و نقاط (به ترتیب، مجموعه های محدب و نقاط) باشد. با توجه به این که ساختارهای ت -کمینه ضعیف از خاصیت به طور تعریف پذیر کامل بودن، برخوردار نیستند، بسیاری از ...

به دنبال یافتن شرایطی برای پیدا کردن g-بعد متناهی همبافت ها هستیم که این مطلب در اخر بخش اول ثابت می شود.با استفاده از مطالب قبل g-بعد را برای همریختی ها تعریف و با استفاده از این تعریف همریختی های گورنستین و شبه گورنستین را تعریف می کنیم سپس مدول های وارون پذیر را تعریف و ویژگی های انها را بررسی می کنیم و در ادامه به پیدا کردن رابطه بین مدول های وارون پذیر و همریختی های گورنشتین و شبه-گورنشین ...