چکیده ندارد.

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

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

در این پایان نامه دو روش تکراری برای به دست آوردن جواب های متقارن و پادمتقارن معادله ی ماتریسی خطی ‎$ axb+cyd=e $‎ ارائه می شود. به وسیله ی این دو روش تکراری، حل پذیری جواب های متقارن و پادمتقارن برای معادله ی ماتریسی خطی ‎$ axb+cyd=e $‎ به طور خودکار می تواند تعیین شود. زمانی که این معادله ی ماتریسی خطی جواب های متقارن ‎(پادمتقارن)‎ دارد، آن گاه برای هر جفت ماتریس متقارن ‎(پادمتقارن)‎ اولیه ی ...

فرض کنید‎ g ‎یک گروه متناهی،‎ p ‎عدد اول و‎ pin syl_{p}(g) ‎.گروه‎‎‎p ،g-پوچتوان ‎است اگر دارای‎-‎p‎متمم نرمال باشد. به عبارت دیگر g ‎دارای ‎-‎p‎زیرگروه نرمال‎ n‎باشد بطوریکه‎ g=pn‎.بنابر نتیجه ای کلاسیک از فروبنیوس‎گروه‎‎‎p ،g-پوچتوان است اگر و تنها اگر برای هر‎-‎p $‎زیرگروه‎ b ‎ از‎ g ،‎ n_{g}(b)/c_{g}(b) ‎یک‎-‎p ‎گروه باشد. در اصطلاح مدرن محک‎-‎p‎پوچتوانی فروبنیوس را می توان به صورت زیر ب...

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

در این رساله خواصی از نگاشت های فانتوم را مطالعه می کنیم. این نگاشت ها روی مجتمعهای ضیف -توپولوژی متاهی-بستار (یا مجتمعهای cw) تعریف شده اند با این خاصیت که تحدید آنها به هر کالبد غیر اساسی است . نگاشت های فانتوم عمومی از دیدگاه ریاضی عمومی هستند. اگر فضای تعلیقی x با دسته ای از مجتمعهای متناهی-بعد هم ارز هم توپی باشد، نگاشت فانتوم عمومی روی x بدیهی است . اگر گروه آبلی hn(x;z) برای هر n به قدر ...

زیرحلقه مرتب گسسته ‎i‎ از میدان بسته حقیقی ‎r‎ یک بخش صحیح برای ‎r‎ گفته می شود هرگاه برای هر x در r‎ عضو ‎i در i‎ موجود باشد که ‎i < x < i+1‎. در حدود نیم قرن پیش شفردسون نشان داد که یک حلقه مرتب گسسته ‎i‎ یک بخش صحیح برای یک میدان مرتب بسته حقیقی ‎r‎ است اگر و تنها اگر ‎i‎ یک مدل استقرای باز باشد. در مقاله ای که این پایان نامه بر اساس آن نوشته می شود، نشان داده شده است که اگر بخش صحیح ‎i‎...

فرض کنید x فضای باناخ انعکاسی و a از x به مجموعه توانی *x، نگاشت یکنوای ماکزیمال باشد. به علاوه فرض کنید b از x به مجموعه توانی *x،شبه کراندار، متناهیاً پیوسته و شبه یکنوای تعمیم یافته است وx زیرمجموعه دامنه b زیرفضای چگال x است و اشتراکش با دامنه a مخالف تهی. همچنین فرض کنید s زیرمجموعه*x، شرایطی داده می شود که تحت آن s زیرمجموعه بستار برد a+b باشد درون s نیز زیرمجموعه درون برد a+b قرار گیرد. ت...

فرض کنید i یک ایده آل منومیال از حلقه چند جمله ای ] x ,..., x [ k=r باشدو) i ( d ماکزیمم درجه مو لدهای مینیمال i باشد.دراین مقاله ما ضمن تعیین نقطه ایستایی ) / r ( ass ,سعی در یافتن کران های بالایی برای چنین نقاطی هستیم.