פונקציה שומרת סדר
בתורת הקבוצות, פונקציה שומרת סדר היא פונקציה בין קבוצות סדורות, השומרת על יחס הסדר.
בניסוח מדויק: תהיינה ו- קבוצות סדורות חלקית. פונקציה היא שומרת סדר אם לכל ב- מתקיים ב- (ייתכן ש- גם אם לא נכון ש-).
הגדרות נוספות
עריכה- פונקציה שומרת סדר וחד-חד-ערכית נקראת שיכון. אם סדורה ליניארית ויחס הסדר חזק, אז כל פונקציה שומרת סדר מ- היא שיכון.
- פונקציה חד-חד-ערכית ועל שגם היא וגם ההפכית לה שומרות סדר, היא איזומורפיזם של קבוצות סדורות. אם קיים איזומורפיזם , אז הקבוצות הסדורות ו- איזומורפיות ויש להן אותו טיפוס סדר.
פונקציות שומרות סדר על סדרים טובים
עריכה- אם סדר טוב ואם פונקציית שיכון אז מקיימת : לכל ,
- אם סדר טוב ואם פונקציית איזומורפיזם, אז היא פונקציית הזהות.
ראו גם
עריכה🔥 Top keywords: עמוד ראשידניאל גלמיוחד:חיפושגולן גורפינקלאדם (זמר)מוטי אלמוזאבי אבורומימלחמת חרבות ברזלרוקדים עם כוכבים (עונה 3, קשת)שירה האסיורו 2024רוקדים עם כוכבים (קשת)מיוחד:שינויים אחרוניםירדן ג'רביאליפות אירופה בכדורגלשלומי טפיארוהאח הגדול עונה 14לוסי איוביורו 2020אלי מזרחי (רקדן)בלקספייסהקול בראש 2ג'ו ביידןדדי שמחימאיה קיידוד דביריואל רוזנקיארשווייץדנה פרידרזאק אפרוןישראלנבחרת איטליה בכדורגליריחו (טיל)גיא צורסטפן שעראוויגנוב על החייםיהודה לוי (שחקן)טאקיקלנדיה