חיתוך אלכסוני

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

אם $\delta$ סודר ו- $⟨X_{\alpha }\mid \alpha <\delta ⟩$ סדרה של תת קבוצות של $\delta$ אז החיתוך האלכסוני שלהן המסומן על ידי

${\mathrm{\Delta }}_{\alpha <\delta }{X}_{\alpha }$,

מוגדר להיות:

$\{\beta <\delta \mid \beta \in \bigcap _{\alpha <\beta }{X}_{\alpha }\}$.

כלומר, לכל סודר $\beta$ מתקיים $\beta \in {\mathrm{\Delta }}_{\alpha <\delta }{X}_{\alpha }$ אם ורק אם הוא שייך ל- $\beta$ האיברים הראשונים של הסדרה.

ראו גם

• על מסנן נורמלי
• למת פודור

חיתוך_אלכסוני24155151Q2894292