בטופולוגיה, הטופולוגיה הקו-סופית (או טופולוגיית המשלימים הסופיים; באנגלית: Cofinite topology) מוגדרת על קבוצה ${\displaystyle X}$, כך שנוצר מרחב טופולוגי שבו הקבוצות הפתוחות הן הקבוצה הריקה וכל הקבוצות שמשלימותיהן סופיות. מכך נובע שהקבוצות הסגורות הן בדיוק הקבוצות הסופיות והמרחב עצמו.

פורמלית, ניתן להגדיר את הטופולוגיה כ:

${\displaystyle {\mathcal {T}}=\{A\subseteq X\mid A=\varnothing \ \lor \ |X\setminus A|<\infty \}}$

טופולוגיית זריצקי על עקום אלגברי היא הטופולוגיה הקו-סופית על נקודות העקום.

• כל תת-מרחב של הטופולוגיה הקו-סופית הוא גם קו-סופי.
• כל קבוצה פתוחה לא-ריקה במרחב, מכילה את כל המרחב פרט למספר סופי של נקודות. לכן:
  • המרחב קומפקטי וקומפקטי סדרתית.
  • כאשר קבוצת הבסיס ${\displaystyle X}$ היא אינסופית, כל שתי קבוצות פתוחות לא-ריקות במרחב חותכות זו את זו, כלומר אין שתי קבוצות פתוחות לא-ריקות זרות. לכן מרחב טופולוגי המורכב מקבוצה אינסופית ${\displaystyle X}$ וטופולוגיה קו-סופית אינו מרחב האוסדורף.
• הטופולוגיה הקו-סופית על מרחב ${\displaystyle X}$ היא הטופולוגיה הגסה ביותר על מרחב זה המקיימת את אקסיומת ההפרדה ${\displaystyle T_{1}}$.
  • יתרה מזאת, טופולוגיה על ${\displaystyle X}$ מקיימת את ${\displaystyle T_{1}}$ אם ורק אם היא מכילה את הטופולוגיה הקו-סופית.
• הטופולוגיה הקו-סופית על מרחב ${\displaystyle X}$ סופי היא הטופולוגיה הדיסקרטית (לכל ${\displaystyle A\subseteq X}$ מתקיים ${\displaystyle |X\setminus A|\leq |X|<\infty }$).

• הטופולוגיה הקו-מנייתית

• הטופולוגיה הקו-סופית, באתר MathWorld (באנגלית)

ערך זה הוא קצרמר בנושא מתמטיקה. אתם מוזמנים לתרום לוויקיפדיה ולהרחיב אותו.