שינויים

שיחה:88-195 תשעג סמסטר א

נוספו 590 בתים, 18:14, 3 בדצמבר 2012
/* תרגיל 5 שאלה 1 */ פסקה חדשה
'''>> מדובר על יחסים על הקבוצה הנתונה בלבד. שני יחסי סדר מלאים יחשבו זהים אם הם מסדרים את הקבוצה באותו סדר, למשל: ל-{2,4,8} אותו יחס סדר מלא ביחס ל <math>\leq</math> וגם ביחס לחלוקה ללא שארית כי: <math>2\leq 4\leq 8</math> וגם <math>2|4|8</math>. שימו לב, יחס מתואר ע"י אוסף הזוגות הסדורים שלו. בדוגמא שני היחסים זהים כי שניהם מתוארים ע"י: <math>\{(2,2),(2,4),(2,8),(4,4),(4,8),(8,8)\}</math>. עדי
 
== תרגיל 5 שאלה 1 ==
 
 
למיטב הבנתי ישנן שתי הגדרות נוספות-
יחס סדר חזק- יחס סדר ללא רפלקסיביות (והגדרת אנטי-סימטריות ש"משתנה" בהתאם)
יחס קדם-סדר- יחס סדר ללא אנטי-סימטריות
 
האם יש צורך להתייחס לכך בשאלה? או שיש לציין לגבי כל אחד מהיחסים רק אם הוא יחס סדר ממש (מלא או חלקי), דהיינו: גם רפלקסיבי, גם אנטי-סימטרי וגם טרנזיטיבי?
 
 
תודה מראש (:
79
עריכות