שינויים

קפיצה אל: ניווט, חיפוש

הלמה של צורן

נוספו 16 בתים, 00:56, 10 במאי 2015
/* הלמה של צורן עבור משפחה של קבוצות */
כדי להפעיל את הלמה של צורן יש להראות שלכל שרשרת יש חסם מלעיל. אם X היא משפחה של קבוצות, זה עשוי להיות קל במיוחד. אנו אומרים ש-X סגורה לאיחוד של שרשראות אם לכל שרשרת <math>\ C \subseteq X</math>, האיחוד <math>\ \bigcup_{A \in C} A</math> שייך ל-X. (שוב, אם X היתה סדורה לינארית, אפשר היה לקחת את האיחוד של כל הקבוצות ב-X; אלא שבכל המקרים המעניינים, X אינה לינארית, ואפילו אינה סגורה ביחס לאיחוד סופי של סתם שני אברים).
* ('''הלמה של צורן עבור משפחה של קבוצות) '''. תהי X משפחה לא ריקה של קבוצות, הסגורה לאיחוד של שרשראות. אז יש ל-X איבר מקסימלי. 
== שימושים ==