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

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

این پایان نامه به تشریح و تبیین نتایج مقاله ی زیر می پردازد: g. zeng, henselian valuations and orderings of a commutative ring, proc. amer. math. soc. 135(2007), 929- 938. هدف اصلی در مقاله فوق بررسی ارتباط بین ارزیاب های هنسلی و ترتیب ها(یا نیم ترتیب ها) روی یک حلقه می باشد. نتیجه اصلی این است که برای ارزیاب هنسلی v روی حلقه r شرایط زیر معادلند: ارزیاب v با هر نیم ترتیب روی r سازگار است؛...

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

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

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

قضیه هان باناخ بیان می دارد که برای یک تابعک خطی تعریف شده روی زیرفضای m از یک فضای خطی نرم دار مانند e، حداقل یک توسیع حافظ نرم به تمام فضای e وجود دارد. بحث اصلی این پایان نامه، مطالعه زیرفضاهایی است که این توسیع برای آنها یکتا است. به این زیرفضاها، زیرفضاهایی با خاصیت u یا زیرفضاهای باناخ هموار گویند. اگرچه خاصیت u توسط فلپس [41] در سال 1960 معرفی شد، اما پیش از آن تیلور [52] و فوگل [11] نش...

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

جبرهای باناخ a و b با طیفb)=?)? و(b) ??? مفروض اند. ضرب ?-لائو ، a*?b روی حاصل ضرب دکارتی a*b یک جبر باناخ باشد. اگر ?=0 ، آنگاه حاصل ضرب معمولی جبرهای باناخ به دست می آید و اگر b=c (مجموعه ی اعداد مختلط) و ?:c---?c نگاشت همانی باشد، آنگاه a*?c بر یکانی سازی a منطبق می شود. ثابت می شود که این ضرب توسیع قویا شکافته شده ای از b به وسیله ی aاست. با مطالعه ی این ضرب به بررسی یک سری ویژگی هایی از قب...

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