ادامه فیلترها در توپولوژی
محصولات
فرض کنید یک خانواده غیر خالی از فضاهای توپولوژیکی غیر خالی است و خانواده ای از پیش فیلترها است که هر کدام در آن قرار دارند
یک پیش فیلتر روشن است
سپس محصول
یکی از این پیش فیلترها (که در بالا تعریف شده است) یک پیش فیلتر در فضای محصول است
که طبق معمول دارای توپولوژی محصول است .
سپس
اگر و تنها اگر
فرض کنید فضاهای توپولوژیکی هستند ،
یک پیش فیلتر روشن است
داشتن
به عنوان نقطه خوشه ، و
یک پیش فیلتر روشن است
داشتن
به عنوان نقطه خوشه سپس
یک نقطه خوشه ای از
در فضای محصول
[40] با این حال ، اگر
سپس توالی وجود دارد
به گونه ای که هر دوی این توالی ها دارای نقطه خوشه ای هستند
اما دنباله
کند نه یک نقطه خوشه در
[40]
کاربرد مثال: لمای فوق فیلتر همراه با بدیهیات ZF بر قضیه Tychonoff برای فضاهای فشرده هاوسدورف دلالت دارد:
| نشان دادن اثبات |
|---|
نمونه هایی از کاربردهای پیش فیلترها [ ویرایش ]
یکنواختی ها و پیش فیلترهای کوشی [ ویرایش ]
مقاله اصلی: فضای یکنواخت ، فضای یکنواخت کامل ، و فضای متریک کامل
همچنین ببینید: گروه توپولوژیکی و فضای بردار توپولوژیکی کامل
فضای یکنواخت یک مجموعه است مجهز به فیلتر روشن
که دارای خواص خاصی است پایه و یا سیستم اساسی همراهان پیش فیلتر است
که بسته شدن آن به سمت بالا یک فضای یکنواخت است. یک پیش فیلتر
روی یک فضای یکنواخت
با یکنواختی
اگر برای هر همراه ، پیش فیلتر کوشی نامیده می شود
برخی وجود دارد
به این معنا که
- کوچک ، به این معنی که
فیلتر کوشی حداقل یک عنصر حداقل (با توجه به
یا معادل آن ، به
) مجموعه ای از همه فیلترهای کوشی روشن است
یک فضای یکنواخت
است که به نام کامل (محدوده پی در پی کامل در) اگر هر پیش فیلتر کوشی (محدوده هر پیش فیلتر کوشی ابتدایی)
حداقل به یک نقطه از همگرا می شود
فضاهای یکنواخت حاصل تلاش برای تعمیم مفاهیمی مانند "تداوم یکنواخت" و "همگرایی یکنواخت" بود که در فضاهای متریک وجود دارد. هر فضای بردار توپولوژیکی و به طور کلی تر ، هر گروه توپولوژیکی را می توان به صورت متعارف به یک فضای یکنواخت تبدیل کرد. هر یکنواختی همچنین یک توپولوژی القایی متعارف ایجاد می کند. فیلترها و پیش فیلترها نقش مهمی در نظریه فضاهای یکنواخت دارند. به عنوان مثال ، تکمیل فضای یکنواخت هاسدورف (حتی اگر قابل اندازه گیری نباشد) معمولاً با استفاده از حداقل فیلترهای کوشی ساخته می شود. شبکه ها برای این ساختمان ایده آل نیستند زیرا دامنه آنها بسیار متنوع است (به عنوان مثال کلاس همه شبکه های کوشی مجموعه ای نیست). توالی ها نمی توانند در حالت کلی استفاده شوند زیرا توپولوژی ممکن است متریز ، اول قابل شمارش یا حتی متوالی نباشد .
همگرایی شبکه های مجموعه [ ویرایش ]
اغلب ترجیح شخصی شبکه ها بر فیلترها یا فیلترها بر شبکه ها وجود دارد. این مثال نشان می دهد که انتخاب بین شبکه ها و فیلترها با ترکیب آنها با یکدیگر دوقطبی نیست.
اگر زیر مجموعه ای از یک فضای توپولوژیکی است
سپس مجموعه
از محله های باز
اگر و فقط اگر یک پیش فیلتر است
همین امر در مورد مجموعه نیز صادق است
از همه محله های
تعریف زیر مفهوم مجموعه دمهای یک شبکه از نقاط کلی را تعمیم می دهد
به شبکه های زیر مجموعه
خالص از مجموعه های دریک شبکه به مجموعه قدرت است
از
؛ یعنی شبکه ای از مجموعه ها
یک تابع از مجموعه غیر خالی است که به آن هدایت می شود
یک شبکه
مجموعه ها در
به آن شبکه ای از تک نفره (نسبت غیر خالی ، محدود ، جمع و جور و غیره) می گویند{\ displaystyle X}
اگر هر
دارای این خاصیت است با این حال ، "net in
"همیشه به خالص ارزش گذاری شده اشاره می کند
و هرگز به ارزش خالص در
اما برای تأکید یا تضاد با خالص زیرمجموعه های
یک شبکه در
همچنین ممکن است به عنوان خالص امتیاز در
.
(خالص امتیاز شبکه های تک نفره): هر شبکه
از نقاط در
می تواند به طور منحصر به فرد با شبکه متعارف مجموعه (تک نفره) مرتبط باشد
که شاخص می کند برعکس ، هر شبکه تک نفره وارد می شود
به طور منحصر به فرد با یک شبکه متعارف از امتیاز در ارتباط دارد
(به روشنی مشخص شده است). در نظر گرفتن این مطابقت ذهنی به طور طبیعی منجر به تعریف زیر می شود ، که کاملاً مشابه تعریف قبلی دم های یک شبکه (نقاط) در
فرض کنید یک شبکه از مجموعه های موجود است
برای هر شاخص تعریف کنید
دم
شروع در
مجموعه بودن
و مجموعه یا خانواده دم های ایجاد شده توسط آنها را تعریف کنید خانواده بودن
جایی که اگر سپس این مجموعه پیش فیلتر یا پایه فیلتر دم های تولید شده توسط نامیده می شود
در حالی که بسته شدن رو به بالا از
به عنوان فیلتر دم یا فیلتر احتمالی در شناخته می شود
ایجاد شده توسط
با توجه به هر خالص از نقاط در
به آسانی دیده می شود که
جایی که
شبکه متعارف مجموعه های تک نفره مرتبط با است
این امر آشکار می سازد که تعریف زیر از "همگرایی یک شبکه مجموعه" در
در واقع تعمیم تعریف اصلی "همگرایی شبکه ای از نقاط" در است
(زیرا
اگر و تنها اگر
)
توری از مجموعه گفته می شود در همگرایی دارد
به یک زیر مجموعه
نوشته شده است
اگر
که فراخوان به این معنا تعریف شد
به طور مشابه ،
گفته می شود در همگرایی دارد)}
به یک نقطه
اگر
(یعنی اگر و فقط اگر
)
توپولوژی مجموعه پیش فیلترها [ ویرایش ]
همچنین ببینید: فضای سنگی
با چیزی بیشتر از یک مجموعه شروع کنید می توان مجموعه را توپولوژی کرد
از همه پایه های فیلتر بر با توپولوژی سنگ که به ناممارشال هاروی استوننامگذاری شده است.
برای کاهش سردرگمی ، این مقاله به قراردادهای اسناد زیر پایبند است:
- حروف کوچک برای عناصر
- حروف بزرگ برای زیر مجموعه ها
- حروف خط بزرگ برای زیر مجموعه ها
(یا معادل آن ، برای عناصر
مانند پیش فیلترها).
- حروف بزرگ با دو ضربه برای زیر مجموعه ها
برای هر اجازه دهید
جایی که [توجه 13] این مجموعه ها زیر مجموعه اصلی باز توپولوژی سنگ خواهند بود. اگر
سپس
از این گنجاندن ، می توان همه موارد زیرمجموعه زیر را به استثنای موارد زیر استنباط کرد[توجه 14] برای همه
جایی که به طور خاص ، برابری نشان می دهد که خانواده
هست یک
- سیستمی که مبنایی برای توپولوژی بر روی آن ایجاد می کند
توپولوژی سنگ نامیده می شود . از این پس فرض بر این است که
حامل این توپولوژی و هر زیر مجموعه ای از آن است
حامل توپولوژی زیرفضا القا شده است .
برخلاف اکثر ساختارهای کلی دیگر توپولوژی (به عنوان مثال ، محصول ، ضریب ، توپولوژی های زیرفضا و غیره) ، این توپولوژی دربا تعریف شد خارج با استفاده از هر چیزی غیر از مجموعه
هیچ ساختار یا مفروضی از پیش وجود نداشت
بنابراین این توپولوژی کاملاً مستقل از همه چیز به غیر از است
(و زیر مجموعه های آن).
از معیارهای زیر می توان برای بررسی نقاط بسته و محلات استفاده کرد. اگ سپس:
- بسته شدن در
:
متعلق به بسته شدن است
اگر و تنها اگر
- محله ها در
:
محله ای از
اگر و فقط در صورت وجود برخی
به طوری که
(یعنی طوری که برای همه
)
از این پس فرض بر این خواهد بود که زیرا در غیر این صورت
و توپولوژی است
که جالب نیست
زیرفضای فوق فیلترها
مجموعه فیلترهای فوق فیلتر روشن است (با توپولوژی زیرفضا) یک فضای سنگی است ، به این معنی که فشرده ، هاسدورف و کاملاً قطع است . اگر
دارای توپولوژی گسسته و سپس نقشه می باشد
با ارسال تعریف می شود
به اولترافیلتر اصلی در
یک جاسازی توپولوژیکی است که تصویر آن زیر مجموعه متراکمی از آن است
( برای جزئیات بیشتر به مقاله فشرده سازی Stone – chech مراجعه کنید).
روابط بین توپولوژی ها در و توپولوژی سنگ در
هر ایجاد یک نقشه متعارف
تعریف شده بوسیله ی
که ارسال می کند
به فیلتر محله از
نقشه
اگر و فقط در صورت تزریقی باشد
(یعنی فضای Kolmogorov ) و علاوه بر این ، اگر
سپس
بدین ترتیب هر
با نقشه متعارف قابل شناسایی است
که اجازه می دهد
به صورت متعارف به عنوان زیر مجموعه ای از
(به عنوان یک نکته جانبی ، اکنون امکان قرار دادن روی آن وجود دارد
و در نتیجه نیز در
توپولوژی همگرایی نقطه به نقطه در
بنابراین در حال حاضر منطقی است که در مورد مواردی مانند توپولوژی که به صورت نقطه ای به هم نزدیک می شوند صحبت کنیم
) برای هر
حدس زدن
پیوسته ، بسته و باز است . به طور خاص ، برای هر
توپولوژی
نقشه
است تعبیه توپولوژیکی .
علاوه بر این ، اگر نقشه ای است که
(که در مورد
به عنوان مثال) ، سپس برای هر
مجموعه
محله ای از
(جایی که
توپولوژی زیر فضایی از آن به ارث رسیده است
)
همچنین ببینید [ ویرایش ]
- خصوصیات طبقه بندی فضاهای توپولوژیکی
- فضای همگرایی - تعمیم مفهوم همگرایی که در توپولوژی عمومی یافت می شود
- تصفیه (ریاضیات)
- تصفیه (نظریه احتمال) - مدل اطلاعاتی که در یک نقطه معین از یک فرایند تصادفی در دسترس است
- تصفیه (جبر انتزاعی)
- فیلتر فرشه
- فیلتر عمومی
- ایده آل (نظریه مجموعه) -خانواده خالی مجموعه هایی که تحت اتحادیه ها و زیر مجموعه های محدود بسته شده اند
- فشرده سازی Stone – chech#ساخت و ساز با استفاده از فوق فیلترها
- قضیه اساسی فرا محصولات
https://en.wikipedia.org/wiki/Filters_in_topology
در این وبلاگ به ریاضیات و کاربردهای آن و تحقیقات در آنها پرداخته می شود. مطالب در این وبلاگ ترجمه سطحی و اولیه است و کامل نیست.در صورتی سوال یا نظری در زمینه ریاضیات دارید مطرح نمایید .در صورت امکان به آن می پردازم. من دوست دارم برای یافتن پاسخ به سوالات و حل پروژه های علمی با دیگران همکاری نمایم.در صورتی که شما هم بامن هم عقیده هستید با من تماس بگیرید.