חלוקת יחידה

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

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

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

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

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


קטגוריה:גאומטריה דיפרנציאלית