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

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

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

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

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

در این پایان نامه مفاهیم کپی های به طور مجانبی طولپا از l_? ,l_1 ,c_0 را بررسی می کنیم. به این سوال پاسخ خواهیم داد که آیا هر نرم گذاری مجدد هم با l_1 (?) یا c_0 (?) وقتی ? شمارش ناپذیر است شامل کپی به طور مجانبی طولپا از l_1 یاc_0 است؟ نشان خواهیم داد که اگر x و y دو فضای باناخ با بعد نامتناهی باشد و اگر x شامل یک کپی به طور مجانبی از از c_0 باشد، آن گاه حاصل ضرب تانسوری یک به یک x و y شامل کپ...

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

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

در بسیاری از مدل های سیستم های دینامیکی استفاده از یک معادله ی دیفرانسیل فازی می تواند به حل بهتر مسایل کمک کند. در این پایان نامه معادلات دیفرانسیل فازی را با استفاده از برخی روش های عددی حل می کنیم. در فصل اول این پایان نامه با مفاهیم مقدماتی و برخی روش های عددی برای حل معادلات دیفرانسیل معمولی و معادلات دیفرانسیل فازی و کاربرد آن ها آشنا می شویم. در فصل دوم معادلات دیفرانسیل فازی مرتبه ی ا...

در این پایان نامه ابتدا مفهوم نگاشت های انقباض میر-کیلر(meir-keeler) را معرفی نموده و قضیه وجود و یکتایی نقطه ی بهترین تقریب را برای چنین نگاشت هایی اثبات می کنیم. سپس گسترشی از رده ی نگاشت های انقباض دوری را معرفی نموده و قضیه ی وجود و یکتایی نقاط بهترین تقریب برای چنین نگاشت هایی را اثبات می کنیم. سپس، نگاشت های انقباضی پروکسیمال از نوع اول و دوم را تعریف کرده و به بررسی وجود نقاط بهترین تق...