הטופולוגיה הקו-סופית – הבדלי גרסאות

תוכן שנמחק תוכן שנוסף
מ מיון חדש לקטגוריה:טופולוגיות: "קו-סופית" באמצעות HotCat
מ בוט החלפות: פורמלי
שורה 1:
ב[[טופולוגיה]], '''הטופולוגיה הקו-סופית''' (או '''טופולוגיית המשלימים הסופיים'''; ב[[אנגלית]]: Cofinite topology) מוגדרת על קבוצה ''X'' כך שהקבוצות הפתוחות הן הקבוצה הריקה וכל הקבוצות שמשלימותיהן סופיות. מכך נובע שהקבוצות הסגורות הן בדיוק הקבוצות הסופיות והמרחב עצמו.
 
פורמאליתפורמלית, ניתן להגדיר את הטופולוגיה כ:
:<math>\mathcal{T} = \{A \subseteq X \mid A=\varnothing\ \or\ |X \setminus A| < \infty \}</math>