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

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

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

دراین مقاله، قضیه وجودی برای رده ای از سیستم های نامتناهی از معادلات تابعی-انتگرالی در فضای دنباله ای باناخ $c_{0}$ با استفاده از قضیه معروف نقطه ثابت شادر و همچنین محکی برای فشردگی در فضای $c_{0}$ ثابت می شود. بعلاوه، نکاتی نیز ارائه می گردد که متضمن بزرگی رده مورد بررسی است که نتیجه ارائه شده در مقاله آن را پوشش می دهد. به منظور کاربردپذیری نتیجه حاصل از بررسی نیز مثالی از سیستم نامتناهی ارائ...

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

در این پایان نامه به معرفی دو خاصیت bsp و absp میپردازیم و نشان می دهیم جبرهایی مانندl1(g) ,c0(g) دارای خاصیت bsp می باشند. همچنین نشان می دهیم هر همریختی فشرده از یک جبر باناخ منظم قوی که دارای خاصیت bsp باشد به یک جبر باناخ دیگر دارای بردی با بعد متناهی می باشد. در نهایت نشان می دهیم هر جبر باناخ منظم آرنز ، wsc که یک همانی تقریبی کراندار داشته باشد یکدار است. به عنوان اصلی ترین قضایای ای...

نقاط کارای محض و فوق کارا از مفاهیم اصلی در بهینه سازی برداری هستند, که برای تعمیم و گسترش نقاط کارا معرفی شده اند ‎ در‎ سال 1953 ارو,‎‎‎‎ بارانکین‎‎‎‎ و بلکول‎‎‎‎ قضیه مهمی به نام (‎‎(abb را به صورت زیر اثبات کردند: فرض کنید ‎‎‎‎a‎‎ مجموعه ی غیرتهی و فشرده از یک فضای اقلیدسی باشد. در این صورت نسبت به مخروط ناحیه ی نامنفی, مجموعه نقاط کارای محض در نقاط کارای a‎ چگال می باشند. بعد از آن,...

چکیده ندارد.

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

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