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

מתוך ויקיפדיה, האנציקלופדיה החופשית
קפיצה אל: ניווט, חיפוש

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

אם \displaystyle\delta סודר ו- \displaystyle\langle X_\alpha \mid \alpha<\delta\rangle סדרה של תת קבוצות של \displaystyle\delta אז החיתוך האלכסוני שלהן המסומן על ידי

\ \Delta_{\alpha<\delta} X_\alpha,

מוגדר להיות:

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

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

ראו גם[עריכת קוד מקור | עריכה]