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

تکواره های مرتب جزیی s را به صورت در نظر می گیریم که g یک گروه مرتب جزیی و i یک ایده ال مرتب جزیی s است و نشان می دهیم که اگر یک s- سیستم مرتب جزیی به عنوان یک - سیستم مرتب جزیی، هموار ضعیف اصلی، هموار (ضعیف)، هموار مرتب جزیی، هموار مرتب جزیی ضعیف (اصلی) و بی تاب (مرتب جزیی) باشد یا در شرط های ، ، ، ، ، یا صدق کند، آنگاه به عنوان یک s- سیستم نیز این خاصیـت ها را دارد . همچنین نشان می دهیم یــک ...

تکواره ی s را همراه با ترتیب جزیی ? (سازگار با عمل دوتایی تکواره)،تکواره ی مرتب می نامیم. اگر هر s- مجموعه ی مرتب چپ، پوشش تصویری داشته باشد تکواره ی مرتب s، کامل مرتب چپ نامیده می شود. حلقه های کامل چپ در سال 1960 توسط باس معرفی شدند و نشان داده شد که دقیقا حلقه هایی هستند که در شرط (mr)، شرط زنجیر نزولی روی ایده ال های راست اصلی، صدق می کنند. چیس نیزثابت کرد که حلقه ی r، کامل چپ است اگر و تنه...

رانشگر گرمایش مایکروویو(microwave electro-thermal thruster) یکی از رانشگرهای الکتریکی نوپا در عرصۀ پیشرانش فضایی است که برای مأموریت‏‏های طولانی‏مدت با نیروی رانش پایین، نظیر مانور انتقال مداری و سفرهای بین سیاره‏ای کاربرد داشته و به دلیل برخی ویژگی‏های منحصر به فرد، نظیر راندمان الکتریکی بالا، عمر عملیاتی بیشتر نسبت به رانشگرهای گرمایشی دیگر و ساختار نسبتاً ساده‏تر در مقایسه با رانشگرهای یونی، ...

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

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

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

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

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

در این پایان نامه که بر مبنای مقالات [hieronymi] و [miller] نوشته شده است، ابتدا به بررسی ویژگی های تعریف پذیر بسط های به طور تعریف پذیر کامل از ترتیب های خطی چگال فاقد نقاط ابتدایی و انتهایی پرداخته می شود. سپس نشان داده می شود که اگر چنین بسط هایی ساختار گروهی داشته باشند، آن گاه هر زیرگروه تعریف پذیر سره در آن ها چگال و متمم-چگال است، یا گسسته بوده و برای ساختار اصلی یک بخش صحیح می باشد. همچ...