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

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

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

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

در این پایان نامه با فرض اینکه (x,d)یک فضای متریک کامل باشد به معرفی برخی از قضایای نقطه ثابت برای توابع انقباضی می پردازیم.

در بررسی هندسه(3)so برخی فضاها در بعد 5 به فضای بردارn- بعدیv بهمراه یک متریک ریمانی g و تانسور متقارنtijk بر خوریم که

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

پیشینه و هدف امروزه به‌منظور استفاده منطقی آب برای محصولات کشاورزی نیاز به درک و شناخت دقیق فرآیند تبخیر-تعرق وجود دارد. تبخیر-تعرق یکی از مهم‌ترین مؤلفه‌های بیلان آب است و ازاین‌رو یک متغیر کلیدی برای مدیریت بهینه منابع آب به شمار می‌آید. هدف از انجام پژوهش حاضر برآورد و تجزیه‌وتحلیل توزیع زمانی و مکانی تبخیر-تعرق واقعی در مقیاس زمانی ماهانه با استفاده از مدل متریک و مشاهدات م...

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

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