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

به عنوان کاربردهایی ازاین قضایا یکتایی و وجود جوابهای معادلات دیفرانسیل تناوبی مورد بررسی قرار می گیرد.

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

در این پایان نامه مفاهیم بنیادی به کا ررفته درفصل اول از دو کتاب پایه در نظریه نقطه ثابت برای نگاشت های لیپ شیتز بوده که به عنوان مراجع ]7[و] 8[ در انتها درج گردیده وبه همراه مراجع ]3[و] 4[و] 9 [ منابع اصلی این پایان نامه را تشکیل می دهند. دراین پژوهش معمولا یک فضای باناخ و یک زیر مجموعه ناتهی وبسته ومحدب فضای باناخ می باشدو یک نگاشت لیپ شیتنز بوده و مجموعه نقاط ثابت نگاشت می باشد ونمادها و...

فرض کنید x فضای باناخ و t نگاشتی روی x باشد. برای نگاشت t، بعضی شرایط خاص را معرفی می کنیم. ابتدا به معرفی شرط (c)می پردازیم که از نگاشتهای توسیع نیافتنی ضعیف تر و از شبه توسیع نیافتنی قوی تر است.نگاشت t همراه با شرط (c) را یک نگاشت از نوع (c) می نامیم. سپس روی نگاشت t، شرط (l) را معرفی می کنیم و رابطه نگاشت نوع (l) را با بعضی دیگر از نگاشت های توسیع نیافتنی بیان می کنیم. آنگاه وجود نقطه ثابت ر...

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

آزمایش تحکیم به منظور تعیین پارامترهای تحکیمی خاک، روش های مختلفی دارد. در این تحقیق از 3 روش تحکیم استاندارد، تحکیم با نرخ کرنش ثابت (crs) و تحکیم با گرادیان هیدرولیکی ثابت (cg)، جهت مدل سازی عددی استفاده شده است. نرم‎افزار مورد استفاده جهت مدل سازی عددی این آزمایش ها، flac3d پایه ریزی شده بر اساس روش عددی تفاضلات محدود می باشد. جهت مقایسه ی نتایج حاصل از flac3d با نتایج آزمایشگاهی از 2 نمونه ...

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

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

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