מרחב אי-פריק – הבדלי גרסאות

תוכן שנמחק תוכן שנוסף
אין תקציר עריכה
הרחבה
שורה 15:
* אם M היא קבוצה אי-פריקה אזי M היא [[קבוצה קשירה]].
* <math>M \subset X</math> היא אי-פריקה [[אם ורק אם]] <math>\overline{M} \subset X</math> היא אי-פריקה.
 
== מרכיב אי-פריק ==
 
תת-קבוצה אי-פריקה מקסימלית ב-X נקראית '''מרכיב אי-פריק''' (או '''רכיב אי-פריק'''). מההגדרה והתכונה שהוזכרה לעיל שמרכיב אי-פריק הוא [[קבוצה סגורה]] (אחרת <math>M \subset \overline{M}</math> ו-M לא מקסימלית).
 
אם X הוא [[מרחב נתר]] אזי ל-X יש מספר סופי של מרכיבים אי-פריקים <math>X_1, ... , X_n</math> והם מקיימים <math>X = X_1 \cup ... \cup X_n</math>.
 
== שימושים ==