فرض کنید r حلقه ای شرکت پذیر و یکدار بوده، r-mod(mod-r) رسته r_مدول های چپ (راست) و mod_r (mod-r) رستهr_مدول های چپ (راست) با نمایش متناهی باشد. مدول اگر به طور دقیق مشخص نشده باشد، اشاره به r_مدول چپ خواهد داشت.ab رسته گروه های آبلی بوده و نماد? همیشه به معنی ?r خواهد بود. در این پایان نامه ما به مطالعه زیررسته های تعریف پذیر از r-mod می پردازیم. خواهیم دید که برای این هدف باید زیررسته های خاص...

مرجع اصلی این پایان نامه (5) است. مدل تعریف پذیر اردینال ( به این نوع مدل پاریس نیز خواهیم گفت) مدل از نظریه مجموعه هاست که تمامی اردنیال هایش در تعریف پذیر مرتبه اول هستند .جفری پاریس (1973) نخستین قدم را در مطالعه مدل های تعریف پذیر اردینال برداشت و نشان داد که :1- هر گسترش سازگار t از zf دارای مدلی تعریف پذیر اردینال است. 2- گسترش کامل t به تقریب یکریختی دارای مدل تعریف پذیر اردینال یکتایی ...

یکانی نامیده می شود، هرگاه u ? a باشد. عضو وارون پذیر ( ?1?= 1) یک جبر باناخ یکدار و نرم یکه a فرض کنیم چگال باشد.a یکانی نامیده می شود، هرگاه پوش محدب عناصر یکانی در گوی واحد بسته a و جبر باناخ ?u? = ?u-1? = 1 می باشد، به مطالعه جبرهای باناخ یکانی و هم چنین برخی مفاهیم وابسته به آن از جمله [4] در این پایان نامه که مرجع اصلی آن جبرهای باناخ ماکسیمال یا به طور یکتا ماکسیمال می پردازیم.نشان دا...

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

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

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

فرض کنید r یک توسیع به طور تعریف پذیر کامل (یعنی فاقد شکاف ددکیند تعریف پذیر) از یک گروه مرتب چگال (r,<,*) باشد که در خاصیت تناهی یکنواخت صدق می کند (یعنی هر خانواده‎ی تعریف پذیر از زیرمجموعه های متناهی دارای یک کران بالای متناهی برای تعداد اعضای زیرمجموعه‎ها می باشد). در این صورت هسته باز r ت-کمینه است. در ادامه دو رده از ساختارهایی که ت-کمینه نیستند اما هسته باز ت - کمینه دارند مورد بحث قرا...

در این پایان نامه ابتدا نشان می دهیم که ماتریس های لوئنر متناظر با تابع عملگری محدب روی (1,1-) لزومی ندارد که به طور مشروط معین منفی باشند. سپس نشان می دهیم که ماتریس های لوئنر متناظر با تابع f(t) = t^r به ترتیب برای r در فواصل [0,1]، [1,2] و [2,3] نیمه معین مثبت، به طور مشروط معین منفی و به طور مشروط معین مثبت هستند. علاوه بر ماتریس های لوئنر ماتریس های کونگ نیز بسیار مورد توجه قرار گرفته اند....

در این پایان نامه، متر f= (?+?)?+1/?? و متر ماتسوموتوf=?2/?-? که در آن ?=(aijyiyj)1/2 متر ریمانی، ?=biyi ‎ یک 1- ‎فرمی و? ‎ یک عدد حقیقی دلخواهی که ?? -1,0,1 است در نظر گرفته می شود. ثابت می شود که این مترهای فینسلر به طور تصویری مسطح هستند اگر و فقط اگر? به طور تصویری مسطح و? ‎ نسبت به ‎? موازی باشد. این نتایج همچنین برای تقریب متر ماتسوموتو بدست می آیند. علاوه بر این نشان می دهیم که f= (?+?)?...