קבוצה מקטגוריה ראשונה

במתמטיקה, ובפרט בטופולוגיה, קבוצה מקטגוריה ראשונה (נקראת גם קבוצה דלה, באנגלית: meagre set) היא קבוצה אשר נוצרת מאיחוד בן-מניה של קבוצות דלילות. קבוצה אשר איננה קבוצה מקטגוריה ראשונה נקראת קבוצה מקטגוריה שניה.

לקבוצות מקטגוריה ראשונה חשיבות רבה בניסוח משפט הקטגוריה של בייר, משפט מרכזי בטופולוגיה ובאנליזה פונקציונלית.

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

 הפנים של הסגור שלה ריק, כלומר 
 לכל קבוצה פתוחה  קיימת קבוצה פתוחה  כך ש- ו-

קבוצה  תקרא קבוצה מקטגוריה ראשונה אם ורק אם היא ניתנת לכתיבה כ- כאשר  כולן קבוצות דלילות. מאידך,  תקרא קבוצה מקטגוריה שניה אם ורק אם היא אינה מקטגוריה ראשונה.

הערות בנוגע לניסוח:
 באנגלית נקראת קבוצה מקטגוריה ראשונה גם כ-Meager Set שפרושו המילולי הוא קבוצה דלה או קבוצה דלילה, אולם בעברית המונח קבוצה דלילה נוגע לקבוצות שהן Nowhere Dense.
 אין קשר בין קבוצות מקטגוריה ראשונה (או שנייה) לתורת הקטגוריות.

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

הגדרה אלטרנטיבית באמצעות משחק בנך-מזור 
ניתן להגדיר את המונח קבוצה מקטגוריה ראשונה באמצעות המשחק הטופולוגי משחק בנך-מזור. עבור מרחב טופולוגי  וקבוצה , משחק בנך-מזור משוחק על-ידי שני שחקנים אליס ובוב. בתחילת המשחק אליס בוחרת קבוצה פתוחה  ובוב בוחר בעקבותיה קבוצה פתוחה . לאחר מכן אליס בוחרת קבוצה פתוחה נוספת  ובוב ממשיך בבחירת קבוצה פתוחה . המשחק נמשך עד לאינסוף. אליס מנצחת את המשחק אם . אחרת, בוב מנצח.

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

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

קישורים חיצוניים

הערות שוליים 

טופולוגיה