הצגת המקור של הדף "חיתוך אלכסוני"

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

אם <math>\displaystyle\delta</math> [[מספר סודר|סודר]] ו- <math>\displaystyle\langle X_\alpha \mid \alpha<\delta\rangle</math> [[סדרה (מתמטיקה)|סדרה]] של [[תת קבוצה|תת קבוצות]] של <math>\displaystyle\delta</math> אז החיתוך האלכסוני שלהן המסומן על ידי

<math>\ \Delta_{\alpha<\delta} X_\alpha</math>,

מוגדר להיות:

<math>\ \{\beta<\delta\mid\beta\in \bigcap_{\alpha<\beta} X_\alpha\}</math>.

כלומר, לכל סודר <math>\displaystyle\beta</math> מתקיים <math>\displaystyle\beta\in \Delta_{\alpha<\delta} X_\alpha</math> [[אם ורק אם]] הוא שייך ל- <math>\displaystyle\beta</math> האיברים הראשונים של הסדרה.

==ראו גם==
*[[על מסנן נורמלי]]
*[[למת פודור]]

[[קטגוריה:תורת הקבוצות]]