یک متروید دودویی است اگر و تنها اگر هیچ مینوری یکریخت با u2,3 که نمایش هندسی آن یک خط چهار نقطه ای است، نداشته باشد. این قضیه توسط بیکسبای توسیع داده شد، او ثابت کرد که هر عنصری در یک متروید همبند غیردودویی در یک u2,4- مینور قرار دارد. این نتیجه بعدها توسط سیمور توسیع داده شد. او نشان داد که هر جفت از عناصر در یک متروید 3- همبند غیر دودویی در یک u2,4- مینور قرار دارند. در این پایان نامه قضیه سی...

فرض کنیمh فضای هیلبرت حقیقی با نرم? . ? و ضرب داخلی ( , ) و cیک زیر مجموعه ی ناتهی ازh باشد. همگرایی ضعیف در hرا با وهمگرای یقوی را با?نشان می دهیم. fix ( t ) مجموعه نقاط ثابت نگاشتtتعریف می شود (درصورت امکان تهی). در ابتدا قضیه ارگودیک ناخطی برای نگاشت های ناگسترده اثبات شد. اما بعد ها به مجموعه هایی مانندc , که cمحدب , بسته و ( fix ( t توسیع داده شد هم چنین این قضیه به فضاهای باناخ کلی و نیم ...

مفهوم عملگرهای خطی p- جمعی توسط پیچ و مفهوم عملگرهای (q,p)- جمعی توسط میتیاگین و پلزینسکی معرفی شد. پیچ نشان داد که عملگرهای p- جمعی تحت الحاق بسته نیستند، به همین منظور عملگرهای p- جمعی قوی توسط کوهن معرفی گردید. نظریه ایدآل های عملگری که توسط پیچ معرفی شد، در حالت خطی بیان و اثبات شده است. یکی از این ایدآل ها، ایدآل عملگرهای خطی (p;q;r)- جمعی است. پس از آن پیچ یک رویکرد m- خطی به نظریه ...

در این پایان نامه با فرض این که (x,d) یک فضای متریک فشرده باشد ابتدا به معرفی و بیان برخی از ویژگی های جبرهای لیپشیتس می پردازیم. سپس با این فرض که x یک مجموعه ی صفحه ای فشرده باشد زیرجبرهای مشخصی از جبرهای لیپشیتس را معرفی می کنیم. در ادامه همریختی های فشرده یکانی بین زیرجبرهای یکنواخت طبیعی جبرهای تحلیلی توسیع یافته و همچنین همریختی های فشرده یکانی بین زیرجبرهای تایعی باناخ طبیعی جبرهای لیپشی...

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

فرض کنید که {gn ;n??} یک مجموعه مولد از توابع وb>0 باشند. خواص قاب را برای سیستمی از توابع داده شده به صورت مدولاسیون این دنباله از توابع یعنی{embgn ; m,n??} در نظر گرفته و شرایطی را می یابیم که این سیستم یک قاب با دوگان هایی به فرم{embhn ; m,n??} است کهhn با یک فرمول صریح داده شده است. همچنین نتایج در مواردی به کار می روند کهgn ها یک b-اسپلاین باشند. به علاوه نشان داده می شود در یک فضای هیلبرت...

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

در این پایان نامه با چهار مفهوم کلی میانگین پذیری: میانگین پذیری تقریبی، میانگین پذیری تقریبی ضعیف، میانگین پذیری تقریبی دوری و n-میانگین پذیری تقریبی ضعیف سروکار داریم. در ابتدا به بیان تعریف و خواص میانگین پذیری (انقباض پذیری) می پردازیم. در ادامه با بیان چهار مفهوم میانگین پذیری، سعی می کنیم خواص موروثی این مفاهیم را مشخص کنیم. نتیجه اصلی ما، تحت بعضی شرایط ضعیف بر روی جبر باناخ aاست، اگر د...

چکیده ندارد.

شور در سال 1904 ثابت کرد که اگر گروه خارج قسمتی (g/z(g متناهی باشد، آنگاه g متناهی است. در این پایان نامه این نتیجه را توسعه داده و ثابت می شود که اگر (g/z(g بطور موضعی متناهی و از نمای n باشد، آنگاه g بطور موضعی متناهی و نمای آن n–کراندار است. یعنی توسط تابعی که فقط وابسته به nاست، کراندار می شود. در ادامه با توجه به تعاریفی که هگارتی در سال 1994 از g و (z(g به عنوان زیرگروه خودجابجاگر و مرک...