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

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

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

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

فرض کنیم ‎x‎ ‎ و ‎ ‎k‎ ‎ مجموعه های صفحه ای فشرده باشند به طوری که‎. k ? x بستار یکنواخت توابع چند جمله ای بر ‎ ‎k‎ را با ‎ ‎p(k)‎ ‏، بستار ‎‎‎یکنواخت توابع گویا بر ‎ k ‎ که قطب هایش خارج از ‎k‎ است را با ‎ ‎r(k)‎ و جبر متشکل از توابع پیوسته بر ‎ ‎k‎ ‎ که بر ‎ ‎int(k)‎ تحلیلی هستند را با ‎ ‎a(k)‎ ‎ نشان می دهیم. ‎ p(x , k) ‎‏، ‎‎ ‎r‎(x , ‎k)‎‎‎‎‎و ( ‎a‎(x , ‎k ‎ را مجموعه های از توابع در ‎ ‎c(x...

چکیده: تجزیه اولیه ی زیر مدول ها تعمیمی از مفهوم شناخته شده ی تجزیه اولیه ی ایده آل های یک حلقه می باشد. زیرمدول n از r-مدول m دارای تجزیه اولیه است اگر بتوان آن را به صورت اشتراک تعداد متناهی از زیرمدول های اولیه ی مدول m نوشت. اگر m مدولی متناهیاً تولید شده روی یک حلقه ی نوتری تعویض پذیر باشد، هر زیرمدول n از m دارای تجزیه اولیه است. در این پایان نامه تجزیه ی اولیه برای حلقه های نوتری چپ ...

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

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

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