منطق وجهی به عنوان یک زبان برای بحث در مورد فضاهای توپولوژیک، حدود 60 سال سابقه دارد. در اصل انگیزه های اولیه این تحقیق و مطالعه صرفاً ریاضی بوده است ولی اخیراً کاربردهای علم کامپیوتر نیز دلایل دیگری به آن افزوده است. از مهمترین موضوعات در منطق وجهی گسترش زبان های وجهی و مطالعه قدرت بیان آنها می باشد. مراجع [1و2و3و4] در بردارنده بخشی ازاین تلاشها می باشد. در چشم انداز زبانهای فضایی زبان های وجه...

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

در فصل اول این پایان نامه، تعریف گروپوئید ارائه خواهد شد وبیان برخی مثالها از گروپوئید خواهیم پرداخت. در فصل دوم، مشابه با گروههای توپولوژیکی، ساختار گروپوئیدهای توپولوژیکی معرفی می شوند. گروپوئیدهای مورد بحث ما، گروپوئیدهای موضعاً فشرده هستند. برای گروپوئیدهای موضعاً فشرده سیستم هار را تعریف می کنیم. در ادامه به بررسی ساختار *-جبر پیچشی نرمدار( cc(g خواهیم پرداخت و همچنین ثابت می کنیم اگر g یک...

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

هدف این رساله مطالعه و تحقیق در مورد ابر i‎-جبرهاو زیر ساختارهای آن است. در این راستا ابتدا مفاهیم ابر ‎bci-جبر سره ضعیف و ابر bci-جبر سره قوی را تعریف می کنیم. سپس ثابت می کنیم تعدادابر bci‎-جبرهای از مرتبه 3،در حد یکریختی 38 است. هم چنین مفاهیم ابر i‎-جبر نیم ساده و ابرi‎-جبر آبلی را معرفی می کنیم. نشان می دهیم ابر ‎i-جبر نیم ساده توسعه یافته bci‎-جبر نیم ساده و زیر کلاسی از ابر ‎i-جبر است. ...

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

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

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

دراین پایان نامه فضاهای توپولوژیک kc و فضاهای توپولوژیکی مرتبط با این فضا را مورد مطالعه و بررسی قرار می دهیم. در این راستا با معرفی فضاهای kc مینیمال و c -c، شرایط لازم و کافی برای آنکه یک فضای kc مینیمال، فشرده ماکزیمال شود را بیان می کنیم. سرانجام ضمن معرفی فضاهای توپولوژیک kc کاتتوف، نشان می دهیم در فضای لیندلف موروثی، رابطه ی نزدیکی بین فضاهای kc کاتتوف و us وجود دارد.