תחום כוכבי

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

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

הגדרה פורמלית

נאמר כי $\mathrm{\Omega }\subset {ℝ}^n$ הוא תחום כוכבי, אם קיימת $z\in \mathrm{\Omega }$ כך שלכל $x\in \mathrm{\Omega }$ הקטע שבין z ל-x כולו מוכל בתחום. כלומר, $\{z+t(x-z):t\in [0,1]\}\subseteq \mathrm{\Omega }$. הנקודה z מכונה הכוכב של $\mathrm{\Omega }$.

דוגמאות

• בישר הממשי, כל קטע הוא תחום כוכבי.

• כל תחום קמור הוא כוכבי.

• כל תחום כוכבי הוא כוויץ, ולכן בפרט פשוט קשר וקשיר מסילתית.

• משפט אלכסנדר נותן תנאי הכרחי ומספיק להיותם של תחומים מסוימים כוכביים.
• אוסף הכוכבים של תחום כוכבי הוא קבוצה קמורה.

ראו גם

• תבנית דיפרנציאלית
• קבוצה קמורה

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

• תבנית:MathWorld