اصول جداسازی تعمیم یافته برای فضاهای توپولوژیک تعمیم یافته و فضاهای بستار

یک تعمیم از فضاهای توپولوژیک، فضاهای توپولوژیک تعمیم یافته است. گردایه ی ‎$mu$‎ از زیر مجموعه های یک مجموعه ی ‎$x$‎، که شامل مجموعه ی تهی است و نسبت به اجتماع دلخواه بسته است، یک توپولوژی تعمیم یافته روی مجموعه ی ‎$x$‎ می نامند. در دهه های اخیربسیاری از نتایج و قضایای فضاهای توپولوژیک و بسیاری از تعمیم های آنها روی فضاهای توپولوژیک تعمیم یافته کار شده است. در ‎cite{xy,cs2}‎ اصول جداسازی کلاسیک روی فضاهای توپولوژیک تعمیم یافته بررسی و بسیاری از مشخصه های جالب با روابط و نمادهای ساده ی ریاضی روی این فضاها داده شده است و بسیاری از تفاوت های آن ها با فضای توپولوژیک با مثال ها ارائه گردیده است. تعمیم های زیادی از اصول جداسازی کلاسیک روی فضاهای توپولوژیک و فضاهای توپولوژیک تعمیم یافته توسط نویسندگان زیادی کار شده است. یکی از این تعمیم های جالب در ‎cite{p}‎ تحت عنوان ‎$r$‎ -جداسازی ها معرفی شده است. ‎par‎ در فصل اول این پایان نامه اشاره ای به مفاهیم اولیه ی مورد نیاز در مورد تعاریف اصول جداسازی روی فضاهای توپولوژیک تعمیم یافته داریم. در فصل دوم اصول و قضایای ‎$r$‎ -جداسازی که در ‎cite{p}‎ برای فضاهای توپولوژیک ارائه شده است، را برای فضاهای توپولوژیک تعمیم یافته مورد بررسی و مطالعه قرار داده و نشان داده ایم که این اصول و قضایا برای فضاهای توپولوژیک تعمیم یافته نیز برقرار هستند، خصوصاً حالت های جالبی که رابطه ی ‎$r$‎، یک رابطه ی هم ارزی و یا یک تابع روی فضای توپولوژیک تعمیم یافته ی ‎$x$‎ باشد. در فصل سوم ما ‎$r$‎ -جداسازی ها را برای فضا های بستار که خود تعمیمی دیگری از فضاهای توپولوژیک تعمیم یافته است، به عنوان یک نتایج جدید برای حالت های خاصی که ‎$r$‎ روابط کولموگر‏وف روی فضای بستار است را شرح داده ایم، ‎cite{mii}‎. فضاهای بستار تعمیمی از فضاهای توپولوژیک تعمیم یافته است که در آن ها عملگر بستار بر خلاف توپولوژی تعمیم یافته لزومی ندارد که خودتوان باشد. بنابراین در این فصل ما توصیف جدیدی از اصول جداسازی کلاسیک ‎$t_{0},t_{1},t_{2},t_{3},t_{4}$‎ برای فضاهای بستار و در نتیجه برای فضاهای توپولوژیک تعمیم یافته بدست آورده ایم و این اصول را با نمادهای ‎$t_{0}^{r},t_{1}^{r},t_{2}^{r},t_{3}^{r},t_{4}^{r}$‎ نمایش داده ایم. روابط شناخته شده ی کولموگروف که برای فضاهای توپولوژیک با توجه به این که عملگر بستار روی آن ها خودتوان می باشد دو نوع هستند، ‎cite{mps}‎. اما این روابط روی فضا های بستار تبدیل به سه رابطه ی متفاوت می شوند که ما آنها را روابط اول، دوم و سوم کولموگروف می نامیم که در حالت فضاهای توپولوژیک تعمیم یافته روابط اول و دوم یکسان هستند. به عنوان یک نتیجه ی مهم نشان داده ایم که برای هر سه رابطه ی کولموگروف روی فضاهای بستار، ‎$r$‎ -جداسازی ها معادل یکدیگرند.