می دانیم در رسته s – سیستم ها ، شی انژکتیو موجود است ، نشان می دهیم مجموعه های مرتب جزئی و s - سیستم های مرتب ، شی انژکتیو غیر بدیهی ندارند و همچنین مجموعه های مرتب جزئی انژکتیو منظم دقیقا مجموعه های مرتب جزئی کامل هستند. سپس نشان می دهیم که هر سیستم مرتب انژکتیو منظم کامل است و عکس آن نیز در حالتی که s - گروه جزئی مرتب باشد برقرار می شود. در این پایان نامه ، ابتدا مفاهیم مورد نیاز از مجموعه ه...

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

در اصول فقه، به قضایایی که دایره عمل آنها، به زمان، مکان و مخاطبِ ‫خاص منحصر است و حکم آن جنبه عمومی ندارد، «قضیه خارجیه» اطلاق می‫شود و در مقابل آن، «قضیه حقیقیه» قرار دارد. این دو اصطلاح، توسط آخوند خراسانی از دانشِ منطق وارد مباحث اصول‫ فقه شد و پیش از آن، فقها اصطلاح «قضیةٌ فی واقعة» را استفاده می‫کردند که تفاوت‫هایی با قضیه خارجیه دارد.اختصاص یک روایت به موقعیت و شرایط خاص، از صدر اسلام وجود ...

در این پایان نامه، پس از تعمیم مفهوم احاطه سازی روی دسته ای از دنباله های همگرا به صفر، شرایطی بر روی ماتریس بی نهایت بعدی p را بررسی می کنیم به گونه ای که برای هر c_0^? ? ? و ?، ? p توسط ? به طور قوی احاطه شود. مشاهده می کنیم که برخلاف حالت متناهی که برای هر ماتریس تصادفی دوگانه و هر x?r^n، x p توسط x احاطه می شود، در حالت نامتناهی چنین اتفاقی نمی افتد. حتی با بیان مثالی مشاهده می کنیم که برای...

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

نظریه‌ای را که بر اساس آن، زمان واقعیت دارد ولی گذر زمان واقعیت ندارد، نظریۀ «زمان بدون گذر» می‌نامیم؛ گذر زمان، به تعبیری، برآمده از زنجیره‌ای از رویدادهاست که در آن، هر رویداد در نسبت با «اکنون» مرتب می‌شود. هدف اصلی این مقاله واکاوی دیدگاه صدرالمتألهین دربارۀ گذر زمان است. در این راستا نشان می‌دهیم که او از سویی بنیاد زمان را زنجیره‌ای عینی از رویدادها می‌داند که در آن، هر رویداد در نسبت با ...

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

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

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

منیفلدهای کیلری، منیفلدهای ریمانی مختلطی هستند که فرم کیلری آن ها بسته است؛ به این معنی که d?=0 . التصاق و انحنای این منیفلدها شکل خاصی دارد. هم چنین اثبات می شود که تنها نمادهای غیر صفر منیفلدهای کیلری، ?_k^ij و ?_k ?^(i ?j ? )=(?_j^ij ) ? است. علاوه بر این، تانسور انحنای این منیفلدها کاملاً توسط نگاشت های r_(ij ?kl ? )=r(?(?/(?z_i )) ,?(?/(?z ?_j )) ,?(?/(?z_k )) ,?(?/(?z ?_l ))) معین می ش...