בטופולוגיה, מרחב נוצר קומפקטית (Compactly generated space) הוא מרחב טופולוגי שבו תת⁻המרחבים הקומפקטיים קובעים את הטופולוגיה, באופן הבא: קבוצה היא סגורה אם ורק אם החיתוך שלה עם כל קבוצה קומפקטית הוא סגור. בדרך כלל מניחים גם כי המרחב הוא האוסדורף. קטגוריית המרחבים האוסדורף הנוצרים קומפקטית מסומנת על ידי . זוהי קטגוריה דיי גדולה ודיי נוחה; בתורת ההומוטופיה לעיתים מניחים כי המרחבים הם מקטגוריה זו. מתוך ויקיפדיה

מרחב מנה (אלגברה ליניארית), מרחב מעברי, מרחב מפתחות, מרחב משיק, מרחב משתמש, מרחב נורמי, מרחב נורמלי, מרחב נורמלי באופן מושלם, מרחב נורמלי לחלוטין, מרחב סגור סדרתית