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

زیر نظریه استقراء باز oi از حساب پئانو در زبان مرتبه اول حلقه های یکدار مرتب ، از افزودن اصل موضوعی استقراء روی فرمولهای خالی از سور به مجموعه اصول حلقه های جابجایی یکدار گسسته مرتب حاصل می شود. نظریه استقراء باز نرمال noi، گسترش oi توسط قالب اصل موضوعی بیان کننده به طور صحیح بسته بودن حلقه در میدان کسرهای خود می باشد. در سال 1991، بوگاتا در مقاله خود در j.s.l متناهیا اصل ناپذیری oi را ثابت کرد...

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

فرض کنید f یک تابعگون باشد که به هر گروه g خانواده ای از زیرگروه هایش را نسبت دهد به طوری که به ازای هر همریختی a ازg داشته باشیم ((f(a(g))=a(f(g . تعریف می کنیم دو زیرگروه h و k از گروه g جابه جایی شونده هستند اگر hk=kh .علاوه بر این زیرگروه h جابه جاپذیر یا شبه نرمال است اگر با هر زیرگروه g جابه جایی شونده باشد .همچنین زیرگروه های hو k در یک گروه g دوبه دو f- جابه جاپذیر هستند اگرh با هر عضو ...

فرض کنید r یک حلقه جابجایی و نوتری، i یک ایده آل سره از r و m یک r-مدول متناهی مولد باشد. مدول i-امین کوهمولوژی m نسبت به ایده آل i را با hii(m) نشان می دهیم. در این پایان نامه نشان داده می شود که یک اصل موضعی-فراموضعی برای مدول کوهمولوژی موضعی hii(m) وجود دارد که به قرار زیر است. برای هر عدد صحیح و مثبت مانند n ، hii(m) برای تمام iهایی که i < n آرتینی است اگر و تنها اگر برای تمام iهایی که i...

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

نظریه مجموعه های راف در سال $1982$ توسط پاولاک ltrfootnote{pawlak} معرفی شد cite{pawlak}. تاکنون انواع مختلفی از تعمیم های مجموعه های راف از جمله مجموعه های تعریف پذیر خارجی ارائه شده است cite{chem}. اخیرا نوع جدیدی از مجموعه های راف تعمیم یافته به نام مجموعه های تعریف پذیر شبه خارجی معرفی و برخی از ویژگی های مهم آنها بررسی شده است cite{chem,jinjin li}. همچنین با استفاده از تقریب های...

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

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

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