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

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

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

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

قضیه ی کملوس در سال 1967 برای فضاهای l1(µ) توسط کملوس مطرح گردید و کاترجی در سال 1970 این قضیه را به فضاهای lpکه (1?p<2) تعمیم داد. لینارد در سال 1993 عکس قضیه ی کملوس را برای زیر مجموعه های محدب از ( l1(µمورد بررسی قرار داد. در سال 1996 بالدر و هس دو تعمیم از قضیه ی کملوس را بیان کردند و در سال 2010 دی و لینارد این قضیه را برای فضاهای تابعی باناخ نیز ثابت کردند. سرانجام قضیه ی کملوس در سال 2...

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

یکی از پدیده های توده ای تعادلی ضریب دوم ویریال می باشد. این ضریب یک خاصیت اساسی است که معمولا ً از آن برای ارزیابی پتانسیل های بین مولکولی استفاده می شود. بدین منظور ضریب دوم ویریال مولکول f2 گازی با روش های شیمی محاسباتی و با استفاده از سطح انرژی پتانسیلی که با روش qcisd(t) و مجموعه پایهaug-cc-pvtz به دست آمده است، محاسبه و با مقادیر تجربی مقایسه خواهد شد. کیفیت سطح انرژی محاسبه شده بستگی به ...

در این مقاله وجود دو جواب ضعیف نابدیهی بک مساله ی پی ابکس از نوع کرشهف را با استفاده از قضیه ی مسیرکوهی و اصل اکلند ثابت می کنیم