לוגיקה מתמטית משה קמנסקי 23 בינואר 2018

Transcript

1 לוגיקה מתמטית משה קמנסקי 23 בינואר מבוא לוגיקה מתמטית הוא התחום במתמטיקה שחוקר בצורה מדויקת מושגים כמו טענה ו- הוכחה. על מנת לספק מוטיבציה, נתבונן בשתי דוגמאות היסטוריות. 1.1 גאומטריית המישור אוקלידס רצה לדעת את כל הדברים שנכונים עבור נקודות, קווים ומעגלים במישור. 1 על-מנת להבין זאת, אוקלידס ניסה לנסח רשימה קצרה של הנחות יסוד שנכונותן אינה מוטלת בספק, ולהוכיח מהן את כל יתר הטענות הנכונות. ארבעת הנחות היסוד הראשונות אכן פשוטות מאד: הראשונה, לדוגמא, אומרת שבין כל שתי נקודות קיים קו ישר אחד (את עבודתו של אוקלידס, האלמנטים, ניתן לקרוא עד היום, גם באינטרנט: [4]). אוקלידס הצליח להוכיח את עשרים ושמונה הטענות הראשונות שלו בעזרת ארבע הנחות בסיס אלה. 2 על מנת להוכיח טענות נוספות, הוא נזקק להנחת יסוד נוספת, שקולה לאקסיומת המקבילים: דרך נקודה הנמצאת מחוץ לישר נתון, עובר בדיוק ישר אחד מקביל לישר הנתון. הנחת יסוד זו פחות פשוטה ומובנת מאליה, ואוקלידס ניסה, אך לא הצליח, להוכיח אותה מארבע הנחות היסוד הראשונות. השאלה איך להוכיח את אקסיומת המקבילים נותרה פתוחה מאות שנים, עד שהוכח שהאקסיומה בלתי תלויה: לא ניתן להוכיח (או להפריך) אותה מיתר הנחות היסוד. נשים לב, שטענה זו אינה טענה גאומטרית: היא אינה עוסקת בנקודות או קווים, אלא בטענות מתמטיות (מבחינה גאומטרית, אנחנו יודעים שאקסיומת המקבילים תקפה במישור). הטענה שייכת לתחום של לוגיקה מתמטית, בו הטענה שאקסיומת המקבילים בלתי תלויה באקסיומות האחרות, היא עצמה טענה מתמטית. איך הוכחה הטענה? גאוס, לובאצ בסקי ובוליאי (ובעקבותיהם מתמטיקאים אחרים) בנו מודל של ארבע האקסיומות הראשונות של אוקלידס, כלומר מבנה עם קווים ו- נקודות, בו הקווים 1 ניתן לקרוא את הסיפור הזה יותר בהרחבה ב-[ 5 ] 2 למעשה, כפי שנראה, הוא השתמש בהנחות נוספות 1

2 והנקודות מתנהגים כמו שמוכתב על ידי האקסיומות הראשונות, אולם בו אקסיומת המקבילים אינה מתקיימת. מודל זה בהכרח שונה מהמישור הרגיל, בו אקסיומת המקבילים תקפה, אבל הוא שווה זכויות לו: כל טענה שניתן להוכיח מארבע האקסיומות הראשונות, תקפה גם בו. למעשה, כל הוכחה מתוך אקסיומות אלה נותן טענה תקפה בכל המבנים המקיימים אותן. מה לגבי הכיוון ההפוך? נניח שיש לנו טענה בגאומטריה שנכונה בכל המודלים שסופקו על- ידי גאוס וחבריו, וגם בכל מודל אחר של ארבע האקסיומות הראשונות. האם ניתן אז להוכיח טענה זו מתוך אותן אקסיומות? לכאורה, אפשר לדמיין שהטענה נכונה במקרה בכל המבנים הללו, בלי שניתן להוכיח אותה. אנחנו נראה שזה לא כך: משפט א (משפט השלמות, ). כל טענה שנכונה בכל מבנה המקיים את האקסיומות של אוקלידס, ניתן להוכחה מאקסיומות אלה בניסוח המשפט (שאינו מנוסח בצורה מדויקת בשלב זה) לא הקפדנו לציין על איזו קבוצת אקסיומות מדובר. למעשה, זה לא משנה: המשפט תקף לכל קבוצת אקסיומות, ולא רק לגאומטריה. כאמור, משפט השלמות אינו משפט בגאומטריה. מהם האובייקטים המתמטיים המופיעים במשפט הזה? על-מנת שנוכל אפילו לנסח את המשפט, עלינו לענות לפחות על השאלות הבאות: שאלה איך אפשר לראות טענות כאובייקטים מתמטיים? שאלה מהי הוכחה של טענה אחת מטענות אחרות? שאלה מהי משמעות האמירה שטענה מסוימת נכונה בגאומטריית המישור? באופן יותר כללי, מתי נאמר שטענה היא נכונה? מה הקשר בין זה לבין הוכחות של הטענה? שאלה איך ניתן להוכיח שטענה מסוימת לא תלויה באחרות? בהינתן שהאקסיומה בלתי תלויה, התוספת שלה כהנחת יסוד מוצדקת. אבל האם יש טענות נוספות שאינן תלויות במערכת האקסיומות החדשה? האם אפשר לרשום רשימת אקסיומות המאפינות את המישור לחלוטין? תשובה אפשרית אחת לשאלה האחרונה נתונה במשפט הבא: משפט ב (משפט לוונהיים-סקולם, ). לכל קבוצה אינסופית A קיים מבנה המקיים את כל הטענות המתקיימות בגאומטריית המישור, שבו קבוצת הנקודות היא A. שוב, גם משפט זה נכון למבנים כלליים, ולא רק לגאומטריה. 1.2 אריתמטיקה ראינו לעיל שלא ניתן לאפיין לגמרי את גאומטריית המישור על ידי רשימה של אקסיומות. עדיין, אפשר לשאול האם לפחות אפשר להוכיח את כל מה שנכון בגאומטרייית המישור מתוך כל חמש האקסיומות של אוקלידס. מסתבר שלא, ולמעשה אפילו המשפט הראשון בספרו של אוקלידס דורש אקסיומות נוספות. אולם טארסקי, בתחילת המאה ה- 20 (בעקבות עבודה של קליין, הילברט, ומתמטיקאים נוספים) הצליח להשלים את הרשימה: הוא נתן רשימה מפורשת של אקסיומות, והוכיח שמהן ניתן להוכיח את כל הטענות הגאומטריות הנכונות במישור. תחום נוסף שבו עסקו היוונים הוא תורת המספרים. גם שם הניסיון הוא לגלות את כל הטענות הנכונות עבור המספרים הטבעיים. בניגוד לגאומטריה, הם לא ניסו לעבוד בשיטה האקסיומטית. 2

3 שאלה האם ניתן לראות גם טענות על מספרים כאובייקטים מתמטיים? מערכת אקסיומות עבור המספרים הטבעיים הוצעה על-ידי פיאנו. כמו בגאומטריה, גם כאן ניתן לשאול: שאלה האם אקסיומות פיאנו מוכיחות את כל הטענות הנכונות על מספרים טבעיים? אם לא, האם קיימת מערכת אחרת שעושה זאת? אנחנו נראה: משפט ג (משפט אי השלמות, 4.3.8). ישנן טענות בתורת המספרים שנכונות בטבעיים, אך אינן ניתנות להוכחה מאקסיומות פיאנו למעשה, המשפט אינו יחודי לאקסיומות פיאנו, ותקף לכל מערכת אקסיומות שניתנת לתיאור מפורש (במובן שנראה מאוחר יותר). 1.3 מבנים אחרים שתי הדוגמאות האחרונות דנות בשני נושאים מרכזיים במתמטיקה: גאומטריה ותורת המספרים. אלה תחומים חשובים, אך אינם היחידים. שאלה באילו מבנים ותורות מתמטיות ניתן לעסוק בשיטות הנ ל? אילו כלים קיימים על מנת לענות על שאלות מהסוג לעיל לתורות אחרות? אנחנו נראה מספר שימושים מפתיעים של טענות בלוגיקה לתחומים אחרים במתמטיקה, ביניהם: משפט ד (טענה 2.3.6). אם G גרף שכל תת-גרף (מלא) סופי שלו הוא k -צביע, אז G עצמו k -צביע משפט ה (דוגמא ). אם F : C n C n העתקה פולינומית חד-חד-ערכית, אז היא על המשפט הבא הוא משפט קלאסי על פונקציות ממשיות, אולם אנחנו נראה הוכחה פשוטה שלו, בשפה קרובה (אך מדויקת לגמרי!) לניסוחים המקוריים של ניוטון ולייבניץ משפט ו (משפט ערך הביניים,.( אם f : [0, 1] R רציפה ומקיימת f(1),f(0) 0 אז קיים 1] [0, c עבורו = 0.f(c) הרשימות מבוססות בין היתר על הספרים [3, 7]. 6, 2 תחשיב הפסוקים בסעיף זה נעסוק בסוג פשוט במיוחד של לוגיקה: תחשיב הפסוקים. לוגיקה זו לא מניחה דבר על המבנה של טענות בסיסיות, ובמקום זה עונה על שאלות הנוגעות לבניה של טענה מורכבת מתוך טענות יותר פשוטות על-ידי פעולות לוגיות. בהתאם לשאלות שהותוו במבוא, נראה את התשובות המדויקות שלוגיקה זו נותנת לשאלות: 3

4 1. מהי טענה? 2. מהי המשמעות של האמירה טענה זו נכונה? 3. מהי הוכחה? לאחר שנגדיר את כל המושגים, נראה שניתן לענות על כל השאלות מהמבוא עבור לוגיקה זו, ונראה גם כמה שימושים. 2.1 אלגברות בוליאניות כאמור, בשלב זה אנו מתייחסים אל כל טענה כאל קופסה שחורה. אם a ו- b טענות כלשהן, אינטואיטיבית ניתן ליצור מהן את הטענות החדשות a וגם a b, או b ו- לא a. אנחנו מעוניינים למצוא מבנה פורמלי בו האינטואיציה הזו באה לידי ביטוי. במילים אחרות, על קבוצת הטענות B בהן אנו מתעניינים מוגדרות פעולות : B B B ( וגם ), : B B B ( או ) ו- : B B ( שלילה ). הואיל ובשלב זה אנו מתעניינים בתוכן של הטענה, ולא בצורת כתיבתה, למשל, הטענות a וגם b ו- b וגם a הן מבחינתינו אותה טענה. באופן דומה, ניתן להצדיק את התנאים האחרים בהגדרה הבאה: הגדרה אלגברה בוליאנית מורכבת מקבוצה,B איברים B 1 0, ופעולות B : B אלגברה בוליאנית :a, b, c B המקיימים את התנאים הבאים לכל, : B ו- B : B B B ( וגם ), B.1 (חילופיות) a b = b a,a b = b a.2 (קיבוציות) a (b c) = (a b) c,a (b c) = (a b) c.3 (פילוג) c) a (b c) = (a b) (a c),a (b c) = (a b) (a a 1 = a,a 0 = a.4 a a = 1,a a = 0.5 נסמן ב- 1, 0,,, B, B = את המבנה כולו הערה כתוצאה מחוקי הקיבוץ, אין צורך לרשום סוגריים כאשר מפעילים אותה פעולה ברצף, ואנחנו נרשום למשל a b c במקום a). (b c כמו-כן, נפעל לפי מוסכמה ש- וגם קודם, מבחינת סדר הפעולות, ל- או, וכך נשמיט סוגריים נוספים (כלומר, נרשום a b c במקום a)). (b c בנוסף נשתמש לרוב בחילופיות בלי להזכיר זאת. דוגמא אם B קבוצה בת איבר אחד, יש עליה מבנה יחיד של אלגברה בוליאנית (שימו לב שלא דרשנו ש- 1 0! תרגיל: הוכיחו שאם ב- B יותר מאיבר אחד, אז 1 0.) 4

5 דוגמא ישנה אלגברה בוליאנית יחידה בת שני איברים, {1,0} = B. מבחינה אינטואיטיבית, זוהי האלגברה של ערכי האמת, כאשר 1 מסמל אמת, ו- 0 שקר. נסמן אותה לרוב ב- 2. אלגברות חזקה דוגמא אם X קבוצה כלשהי, המבנה X,B = P(X),,, c,, כאשר = P(X) X} {A A היא קבוצת החזקה, ו- A,A c = X \ הוא אלגברה בוליאנית. אנחנו נקרא לאלגברות כאלה אלגברות חזקה. ניתן לזהות את שתי הדוגמאות הקודמות כמקרים פרטיים של הדוגמא הזו, כאשר X קבוצה ריקה או קבוצה בת איבר אחד. דרך אחת לחשוב על הדוגמא האחרונה היא לחשוב על איברי B כעל טענות על איברי X: נזהה כל טענה עם איברי X המקיימים את הטענה. תחת הפירוש הזה, הפעולות של B מזוהות עם האינטואיציה של וגם, או ושלילה (כלומר, אם C X קבוצת האיברים ב- X המקיימים טענה c, ו- D קבוצת האיברים המקיימים טענה d, אז C D היא קבוצת האיברים המקיימים את הטענה c וגם d ) דוגמא אם X קבוצה כלשהי, תת-קבוצה קוסופית של X היא תת-קבוצה שהמשלימה שלה (ביחס ל- X ) סופית. הקבוצה B המורכבת מתתי הקבוצות של X שהן סופיות או קו-סופיות היא אלגברה בוליאנית (עם פעולות כמו קודם). דוגמא אם [1,0] = X, קבוצת הממשיים בין 0 ל- 1, אז קבוצת תתי-הקבוצות של X שהן איחוד סופי של קטעים היא אלגברה בוליאנית (שוב, עם פעולות החיתוך והאיחוד). אנחנו נראה עוד דוגמאות רבות מהסוג הזה בהמשך. תת-קבוצה קוסופית האלגברה הדואלית דוגמא אם 1, 0,,, B, B = אלגברה בוליאנית כלשהי, אז המבנה = B 0,,1,,,B גם הוא אלגברה בוליאנית, שנקראת האלגברה הדואלית. התרגיל הבא כולל כמה עובדות שימושיות על אלגברות בוליאניות: תרגיל לכל אלגברה בוליאנית B, ולכל,a b B מתקיים: a 1 = 1,a 0 = 0.1 a a = a.2.3 אם a b = a b אז a = b.4 אם = 0 b a ו- 1 = b a אז b = a ( a) = a.5 (a b) = a b.6 a (a b) = a.7 5

6 הערה בהנתן שוויון כלשהו בין שני ביטויים בוליאניים כמו בתרגיל, השוויון הדואלי הוא השוויון המתקבל מהמקורי על-ידי החלפת התפקידים של ו-, והחלפת התפקידים של 1 ו-.0 למשל, הדואלי של השוויון (a b) = a b הוא השוויון. (a b) = a b אם השוויון המקורי נכון עבור איברים כלשהם של אלגברה B, אז השוויון הדואלי נכון עבור אותם איברים כאשר חושבים עליהם כאיברי האלגברה הדואלים B. לכן, אם שוויון כלשהו נכון לכל האלגברות הבוליאניות, אז גם הדואלי שלו נכון עבורן. אנחנו נשתמש בזה באופן חופשי. התרגיל הבא מציג דרך נוספת לחשוב על אלגברות בוליאניות, שלעתים מקלה על הוכחת תכונות כמו בתרגיל האחרון. תרגיל תהי B אלגברה בוליאנית, ונגדיר לכל שני איברים,a b B ש- b a אם a.b = a 1. הוכח שזהו סדר חלקי על B, עם מקסימום 1 ומינימום הוכח שלכל שני איברים,a, b B המקסימום ביניהם ביחס ל- קיים ושווה ל- b a והמינימום שווה ל- b a (נזכיר שהמקסימום של קבוצה A בסדר חלקי הוא איבר m הגדול או שווה לכל איבר ב- A, וקטן מכל איבר אחר שמקיים זאת. מקסימום כזה, אם קיים, הוא יחיד) מקסימום 3. נניח ש- P קבוצה סדורה כמו בסעיפים הקודמים, ונסמן ב- b a את המקסימום וב- b a את המינימום. נניח שלכל a P קיים b P כך ש- 0 = b a ו- 1 = b,a ושלכל P,,, 0, הוכח ש- 1.(a b) (a c) a (b c) מתקיים: a, b, c P אלגברה בוליאנית. 4. פתור שוב את תרגיל בעזרת התרגיל הנוכחי נחזור למוטיבציה: אם אנחנו חושבים על איברי אלגברה בוליאנית B כטענות, איך לנסח את העובדה שבמצב נתון, כל טענה היא אמיתית או שיקרית? אנחנו רוצים להצמיד לכל טענה b B ערך אמת,v(b) שיכול להיות אמת או שקר. כלומר, אנחנו מדברים על פונקציות ו- b a אבל הפונקציות צריכות לקיים תנאים מסוימים: אם אמרנו שהטענות v, : B,0} {1 שתיהן נכונות, אז כך גם a, b ואילו a שיקרית. במונחים של ההגדרה הבאה, אנחנו מתעניינים בהומומורפיזמים מ- B ל-{ 1,0} = 2. הגדרה העתקה של אלגברות בוליאניות מאלגברה בוליאנית B 1 לאלגברה בוליאנית B 2 היא פונקציה v : B 1 B 2 המקיימת: העתקה של אלגברות בוליאניות v(a b) = v(a) v(b).1 v( a) = v(a).2 v(1) = 1.3 6

7 לכל,a. b B 1 (העתקה כזו נקראת גם הומומורפיזם של אלגברות בוליאניות) העתקה כזו נקראת שיכון אם היא חד-חד-ערכית, ואיזומורפיזם אם היא הפיכה. הערה בגלל תרגיל,2.1.9 העתקה כזו מקיימת גם v(b) v(a b) = v(a) ו- 0 =.v(0) כמו-כן, היא שומרת על הסדר החלקי מתרגיל נשים לב שלמרות הסימון הזהה, הפעולות בצד שמאל הן ב- B 1 ואלה שבצד ימין הן ב- B. 2 דוגמא לכל אלגברה יש העתקה יחידה אל האלגברה בת איבר אחד. אם ב- B יש יותר מאיבר אחד, אין העתקה מהאלגברה בת איבר אחד ל- B. דוגמא יש העתקה יחידה מ- 2 לכל אלגברה בוליאנית. העתקה מאלגברה B ל- 2 נקראת השמה. אלה העתקות שנתעניין בהן מאד בהמשך, שכן, כאמור, הן ממדלות את התהליך של בחירת ערכי אמת לטענות. דוגמא אם P(X) B = היא אלגברת קבוצת החזקה, כל איבר x של X מגדיר השמה B ו- 0 אחרת. אם חושבים על איברי,x A אם v x (A) = 1 הנתונה על ידי:,v x : B 2 כטענות על איברי X, אז v x היא ההשמה ש בודקת האם הטענה נכונה עבור x. תרגיל באופן יותר כללי, אם C, X הוכח שהפונקציה A A C היא הומומורפיזם מ-( P(X ל-( P(C. דוגמא אם B אלגברה בוליאנית בת יותר מאיבר אחד, אז פונקציית הזהות אינה הומומורפיזם מ- B ל- B (למה?) מאידך, פונקציית השלילה היא איזומורפיזם מ- B ל- B. הומומורפיזם שיכון איזומורפיזם השמה משפט סטון מי שניסה לפתור את תרגיל 2.1.9, גילה אולי שזה יותר קשה ממה שזה נראה. מצד שני, כל הטענות שם קלות מאד להוכחה עבור המקרה בו P(X) B = היא אלגברת החזקה של איזושהי קבוצה. נניח עכשיו ש- B אלגברה בוליאנית כלשהי, עבורה יש לנו שיכון P(X) v : B עבור איזושהי קבוצה X. אז אפשר להוכיח את אחד השוויונים עבור B באופן הבא: נניח שהשוויון אינו נכון עבור איזשהם איברים,a. b B אחרי שנפעיל את v נקבל, בגלל ש- v שיכון, שהשוויון אינו נכון עבור האיברים v(a) ו-( v(b ב-( P(X. אבל כבר הוכחנו שהשוויון נכון לכל זוג איברים בכל אלגברה מהצורה הזו. במילים אחרות, כל משוואה שנכונה לכל האיברים באלגברה B נכונה גם לכל האיברים באלגברה שמשוכנת בה (בהמשך תהיה לנו השפה לנסח את הטענה הזו באופן יותר מדויק ויותר כללי). הואיל ובדיקת שוויונים כאלה קלה מאד באלגברות חזקה, נשאלת השאלה: אילו אלגברות ניתנות לשיכון באלגברות חזקה? משפט (משפט הייצוג של סטון). לכל אלגברה בוליאנית B קיימת קבוצה X ושיכון v : B P(X) על מנת להוכיח את המשפט, עלינו ראשית לזהות את X. נניח ראשית ש-( B = P(Y עבור איזשהו Y. האם אנחנו יכולים לשחזר את איברי Y מתוך מבנה האלגברה של B? ראינו סוף הרצאה 1, 23 באוק 7

8 בדוגמא שלכל איבר y Y ניתן להתאים השמה 2 B.v y : לכן, קיבלנו העתקה (B),Y S כאשר (B) S קבוצת ההשמות על,B אשר נתונה על-ידי.y v y העתקה זו חד-חד-ערכית, משום שאם,y z אז = 0 ({y}) = v y ({y}) v z 1 (כפי שנראה בהמשך, היא לרוב לא על, אבל זה פחות חשוב, כי אנחנו מחפשים רק שיכון). אז תיארנו קבוצה X המכילה את Y במונחים של מבנה האלגברה הבוליאנית בלבד. בפרט, P(X) B. = P(Y ) כעת נוותר על ההנחה ש- B אלגברת חזקה, ונשתמש באותו רעיון כדי להגדיר את X באופן כללי. הוכחת משפט סטון. נסמן ב- X את קבוצת ההשמות על B, ונגדיר P(X) v : B על-ידי:,b, c B אז לכל.v(b) = {ω : B 2 ω(b) = 1} X v(b c) = {ω : B 2 1 = ω(b c) = ω(b) ω(c)} = {ω : B 2 1 = ω(b)} {ω : B 2 1 = ω(c)} = v(b) v(c) ובאופן דומה לשלילה ול- 0. זה מראה ש- v העתקה של אלגברות בוליאניות. כדי להוכיח ש- v חד-חד-ערכית, עלינו להוכיח שלכל a b B יש השמה 2 B ω : כך ש-( ω(b.ω(a) = זה התוכן של המשפט הבא, שמסיים את ההוכחה. משפט אם a ו- b שני איברים שונים באלגברה בוליאנית B, אז יש השמה 2 B ω : כך ש-( ω(b.ω(a) נשים לב שבפרט, המשפט אומר שלכל אלגברה בוליאנית לא טריוויאלית B יש השמה, עובדה לא ברורה בכלל. אנחנו נוכיח את המשפט באמצעות תרגומו לכמה טענות שקולות. הראשונה היא רדוקציה למקרה פרטי: תרגיל הוכח שהמשפט נובע מהמקרה הפרטי בו = 0 b לפי התרגיל האחרון, עלינו להוכיח שאם 0 b, אז יש השמה 2 B ω : כך ש- 1 =.ω(b) על מנת להוכיח זאת, נתבונן בהשמה כלשהי 2 B ω, : ונשאל: איך נראית הקבוצה (1) 1 ω? מסתבר שקבוצות כאלה מתוארות באופן הבא: הגדרה תת-קבוצה F B של אלגברה בוליאנית נקראית על-מסנן אם: על-מסנן.1 לכל a, b F גם.a b F 2. לכל a, B בדיוק אחד מ- a,a שייך ל- F 0 F.3 תרגיל הוכח שאם F על-מסנן, אז 8

9 1. F לא ריק.2 אם a F ו- a b אז b F תרגיל הוכח ש- B F על-מסנן אם ורק אם יש השמה 2 B ω : כך ש- F ω 1 (1) = לפי התרגיל האחרון, ניתן לתרגם את הבעיה שלנו לשאלה: האם לכל > 0 b יש על-מסנן שמכיל אותו? כדי לענות על השאלה, מסתבר שכדאי לשאול שאלה קצת יותר כללית: אילו קבוצות של איברים של B מוכלות בעל-מסנן? הגדרה תת-קבוצה F B נקראת מסנן אם: מסנן.1 לכל a, b F גם a b F.2 לכל a F ו- a b גם b F 3. F לא ריקה סוף הרצאה 2, 25 באוק 0 F.4 היתרון במסננים (על פני על-מסננים) הוא שיש הרבה מסננים שמופיעים באופן טבעי ואפשר לתאר אותם במפורש, בעוד שזה לרוב בלתי אפשרי לתאר על-מסנן. נראה דוגמאות של מסננים בהמשך, אבל בינתיים נשים לב לעובדה הבאה: תרגיל נניח ש- F 0 תת-קבוצה של אלגברה בוליאנית B כך שלכל,b 1,..., b k F 0 0 k.b 1 b אז יש מסנן שמכיל את.F 0 בפרט, אם 0 b אז יש מסנן שכולל אותו. אינטואיטיבית, אפשר לחשוב על מסנן כעל אוסף הטענות שאדם (רציונלי) יכול להאמין בהן. על-מסנן הוא אז אוסף הדעות של אדם שיש לו דעה על כל דבר. הקשר הפורמלי בין מסננים לעל-מסננים נתון בטענה הבאה. טענה התנאים הבאים על תת-קבוצה F B שקולים.1 F על-מסנן 2. F מסנן מקסימלי (כלומר, לא מוכל ממש במסנן אחר) הוכחה. נניח ש- F על-מסנן, ו- F a. אז לכל b, a בדיוק אחד מ- b ו- b ב- F. אם זה b אז גם = a b F 0. בסתירה להגדרה. זה מראה ש- F מסנן. אם F 1 F מסנן שמרחיב אותו, ניקח.a F 1 \ F כיוון ש- F a ההגדרה נותנת, a F F 1 ולכן = a a F 1,0 בסתירה להגדרה. נניח עכשיו ש- F מסנן מקסימלי. אם אינו על-מסנן, יש a B כך ש- F,a. a אם לכל,a b 0,b F אז לפי תרגיל, יש מסנן שמכיל את F ואת,a בסתירה למקסימליות של.F לכן יש b F כך ש- 0 = a.b באותו אופן, יש c F כך ש- 0 = a.c אבל אז = 0 c,b בסתירה לכך ש- F מסנן. 9

10 תרגיל הוכיחו שמסנן F הוא על-מסנן אם ורק אם לכל,b, c B אם b c F אז. F או b F הטענה האחרונה, בתוספת התרגיל שלפניה, מראים שהוכחת המשפט תסתיים אם נראה שכל מסנן מוכל במסנן מקסימלי. הכלי הסטנדרטי לעשות זאת נקרא הלמה של צורן. כדי לצטט אותה, נזכיר את ההגדרה הבאה. הגדרה תהי (,X) קבוצה סדורה חלקית. שרשרת סדר מלא חסומה מלעיל איבר מירבי 1. שרשרת ב- X הינה תת-קבוצה Y עליה הסדר מלא, כלומר לכל x, y Y מתקיים.y x או x y.2 תת-קבוצה Y X ב- X היא חסומה מלעיל אם קיים x X כך ש- x y או y = x לכל.y Y.3 איבר מירבי ב- X הוא איבר x X עבורו לכל y X מתקיים.x y דוגמא תהי S קבוצה, ו- X קבוצה של קבוצות המוכלות ב- S. אז X סדורה חלקית ביחס להכלת קבוצות: x y אם.x y תת-קבוצה Y של X חסומה מלעיל אם יש קבוצה y X המכילה את כל הקבוצות ב- Y. איבר מירבי הוא איבר שלא מוכל בשום קבוצה אחרת ב- X. לעיתים קרובות נעסוק בקבוצות X מסוג זה, עם התכונה שהאיחוד של כל שרשרת של קבוצות ב- X, גם הוא קבוצה ב- X. במקרה זה, האיחוד הוא חסם מלעיל של השרשרת, ולכן כל שרשרת חסומה מלעיל. דוגמא בתור מקרה פרטי של הדוגמא הקודמת, יהי S מרחב וקטורי (מעל שדה כלשהו), ותהי X קבוצת הקבוצות הבלתי תלויות לינארית ב- S. איחוד של שרשרת של קבוצות בלתי תלויות הוא קבוצה בלתי תלויה (שכן כל תלות לינארית היא בין מספר סופי של וקטורים, אשר שייכים לאחד האיברים בשרשרת). איבר מירבי ב- X, כלומר קבוצה בלתי תלויה מירבית, נקרא בסיס של S. עובדה (הלמה של צורן). תהי X קבוצה סדורה חלקית, בה כל שרשרת חסומה מלעיל. אז קיים ב- X איבר מירבי תרגיל הראה שמהלמה של צורן נובעת הגירסא היותר חזקה: עם אותן הנחות, לכל איבר קיים איבר מירבי הגדול ממנו תרגיל הקבוצה הריקה הינה קבוצה סדורה חלקית (באופן יחיד). למה היא אינה מהווה סתירה ללמה של צורן? בגלל הלמה של צורן, משתלם לנסח תכונות של עצמים על-ידי תנאי מקסימליות. למשל: דוגמא לפי דוגמא , לכל מרחב וקטורי יש בסיס מסיבות דומות, הלמה של צורן מופיעה במקומות רבים במתמטיקה. אנחנו נשתמש בה כדי להראות את קיומם של על-מסננים, ובכך להחזיר את כל החובות שצברנו: 10

11 טענה כל מסנן באלגברה בוליאנית B מוכל בעל-מסנן הוכחה. נתבונן בקבוצת כל המסננים, עם יחס ההכלה. לפי תרגיל , מספיק להראות: איחוד של שרשרת מסננים היא מסנן. נניח ש- C שרשרת כזו, עם איחוד F. אם,a, b F קיימים,F a, F b C כך ש- a F a ו-.b F b הואיל ו- C שרשרת, אחד משני המסננים, נניח,F a מוכל בשני. אז,a, b F b ולכן a b F b F (כי F b מסנן). הוכחת התכונות האחרות דומה. נסכם את ההוכחה: הוכחת משפט לפי תרגיל ,עלינו להראות שלכל > 0 b ב- B קיימת השמה 2 B ω : כך ש- 1 =.ω(b) לפי תרגיל , b שייך למסנן, ולפי הטענה האחרונה, מסנן זה מוכל בעל-מסנן.F נגדיר 2 B ω : על-ידי = 1 ω(a) אם ורק אם.a F אז = 1,ω(b) ולפי תרגיל , ω השמה. המסקנה הבאה היא כמעט טריוויאלית בהקשר הזה, אך בהקשר של הפירוש לפסוקים שיבוא בהמשך היא אחת התוצאות המרכזיות. נגיד שהשמה 2 B ω : היא מודל של תת-קבוצה 0 B.b לכל B 0 ω(b) אם = 1 שהיא מספקת את (B 0 (או B מסקנה (משפט הקומפקטיות לאלגברות בוליאניות). אם B 0 קבוצת איברים של אלגברה בוליאנית B, כך שלכל תת-קבוצה סופית F B 0 יש מודל ω, F אז ל- B 0 יש מודל תרגיל הוכח את המסקנה תרגיל נניח ש- B 0 תת-אלגברה של B. הוכיחו שכל השמה ל- B 0 ניתן להרחיב להשמה ל- B. 2.2 פסוקים ואלגברות חפשיות הדיון שלנו על טענות היה, עד כה, קצת ערטילאי: הטענות הן איברים של אלגברה בוליאנית, הדוגמאות היו בעיקר אלגברות של קבוצות, וקשה לראות בקבוצות אלה טענות. יותר מזה, אלגברה בוליאנית מייצגת טענות עד-כדי שקילות: הטענות a b ו- a b שוות, על-פי הגדרה, בעוד שבעולם האמיתי אולי נרצה לחשוב על הטענה קר ויורד גשם כשונה מ- יורד גשם וקר. בסעיף זה ניקח את הגישה השניה: נתחיל מקבוצה P של טענות בסיסיות, ונבנה מהן, ברמה התחבירית, טענות חדשות. על-מנת להפריד בין טענות ברמה הטכנית והטענות בדיון עצמו, נקרא לאיברי P והטענות שנבנות ממהם פסוקים. ברמה הטכנית, המשמעות של הבניה היא כזו: אנחנו בונים אלגברה בוליאנית שמכילה את P, אנחנו יכולים לקבוע את ערכי האמת של P כרצוננו, ומרגע שקבענו אותם, ערך האמת של יתר האיברים נקבע. במלים אחרות, האלגברה נתונה על-ידי ההגדרה הבאה: הגדרה לכל קבוצה P, האלגברה הבוליאנית החפשית על P היא אלגברה בוליאנית ),B(P המכילה את P ובעלת התכונה הבאה: אם B אלגברה בוליאנית כלשהי, לכל העתקה של קבוצות.t : B(P ) B יש הרחבה יחידה להעתקה של אלגברות בוליאניות t 0 : P B מודל מספקת האלגברה הבוליאנית החפשית B(P ) 11

12 כלומר, t 0 מכתיבה את הערך של האיברים הבסיסיים ב- P, ומשם יש רק דרך אחת לחשב את הערך של כל איבר אחר. המטרה העיקרית שלנו בסעיף זה היא להוכיח: משפט לכל קבוצה P קיימת אלגברה בוליאנית חפשית יחידה ) B(P היחידות במשפט דורשת קצת הסבר: ניתן כמובן לשנות את השמות של האיברים ב-( B(P (בהנחה שהיא קיימת), ולקבל אלגברה אחרת, אבל היא תהיה זהה מכל בחינה מעשית לאלגברה המקורית. באופן יותר מדויק: תרגיל נניח ש- Q t 0 : P פונקציה בין קבוצות, ו-( B(Q B(P,( אלגברות חפשיות על קבוצות אלה.1 הוכיחו שיש הומומורפיזם יחיד B(Q) t : B(P ) כך ש-( p ) t(p) = t 0 לכל p P 2. הוכיחו ש- t 0 חד-חד-ערכית או על אם ורק אם t כזו (רמז: ביחרו פונקציה הפוכה בכיוון אחד). בפרט, אם P, Q אז ניתן לזהות את ) B(P עם תת-אלגברה של B(Q) (ואנחנו נעשה זאת) 3. הוכיחו שאם B 1 ו- B 2 שתי אלגברות חפשיות על אותה קבוצה P, אז קיים איזומורפיזם יחיד t : B 1 B 2 שהצמצום שלו ל- P הוא הזהות שימו לב שכל הטענות נובעות ישירות מההגדרה של אלגברה חפשית, ולא מהבנייה שלה. הערה המצב דומה מאד לרעיון של מרחב לינארי שנוצר על-ידי קבוצה P. נזכיר שבהנתן שדה k וקבוצה P, ניתן לבנות מרחב וקטורי k P מעל k שמכיל את P, וש- P בסיס שלו. מהגדרת הבסיס נובע שכל העתקה של קבוצות T, 0 : P V כאשר V מרחב וקטורי כלשהו מעל k, ניתנת להרחבה יחידה להעתקה לינארית T. : k P V כלומר, העתקה לינארית מ- P. נקבעת בצורה חפשית ויחידה על-ידי הצמצום שלה ל- k P על-מנת להוכיח את חלק הקיום במשפט, אנחנו נבנה את קבוצת הפסוקים מעל P. לשם כך, נזכיר שמחרוזת (מעל קבוצה A) היא סדרה סופית של איברים מ- A (אנחנו מזהים את איברי A עם סדרות באורך 1). הגדרה עבור קבוצה P, קבוצת הפסוקים ) F(P מעל P היא הקבוצה הקטנה ביותר F של מחרוזות מעל הקבוצה 0},, {, P המקיימת: סוף הרצאה 3, 30 באוק מחרוזת קבוצת הפסוקים F(P ) 0 F.1 P F.2.3 אם x, y F אז x y F כל איבר של ) F(P נקרא פסוק מעל P. פסוק 12

13 כמובן שבהגדרה הזו אנו מניחים ש- P לא כוללת את הסימנים הנוספים, 0,,. בשלב ראשון, 0 לא משחק תפקיד מיוחד, ואנחנו נסמן {0} P P. 0 = דוגמא אם q},p = {p, המחרוזות הבאות הן פסוקים מעל, p q, p 0,0,p :P וכן הלאה. לקבוצת הפסוקים אין מבנה טבעי של אלגברה בוליאנית, אך מלבד זאת, היא מקיימת את הדרישה: משפט נניח ש- A קבוצה עם פעולה דו-מקומית. לכל העתקה של קבוצות t 0 : P 0 A יש הרחבה יחידה t : F(P ) A המקיימת: t( x y ) = t(x) t(y) )2.1( לכל ) F(P.x, y ההוכחה תדגים את הדרך הרגילה להשתמש בהגדרה, שהיא סוג של אינדוקציה: מסתכלים על קבוצת הפסוקים שמקיימת את התכונה שאנחנו רוצים, ומראים שהיא מכילה את P 0 וסגורה תחת הגרירה. נקודה מעניינת היא שאנחנו מוכיחים קודם את היחידות, ואז משתמשים בה כדי להוכיח את הקיום. הוכחה. נתחיל מהיחידות. נניח ש- A t 1, t 2 : F(P ) שתיהן מקיימות את התנאים. נסמן = X.t 0 לקבוצה זו שווה ל- t i משום שהצמצום של,P 0 X אז.{x F(P ) t 1 (x) = t 2 (x)} כמו-כן, אם,x, y X אז t 1 ( x y ) = t 1 (x) t 1 (y) = t 2 (x) t 2 (y) = t 2 ( x y ) כלומר, x y X גם כן. לכן, ) F(P X מקיימת את התנאי בהגדרה של של ),F(P כלומר ) F(P X = ו-.t 1 = t 2 להוכחת הקיום, נזדקק לגרסא חזקה יותר של היחידות, שמופיעה בתרגיל במונחים של תרגיל זה, נתבונן בקבוצה E = {t : X A X F(P ), t X P0 = t 0 X P0, הומומורפיזם חלקי t} אנחנו טוענים שלכל ) F(P x קיים t E כך ש- t מוגדר על x. אכן, נסמן את קבוצת האיברים המקיימים תנאי זה ב-.T נשים לב ש- E,t 0 ולכן.P 0 T נניח ש-.x 1, x 2 T אז יש,t i : X i A כאשר t i E ו-.x i X i לפי תרגיל,2.2.8 הצמצומים של t i ל- X 1 X 2 שווים, ולכן לפי תרגיל,2.2.9 יש פונקציה t : X 1 X 2 A שהצמצום שלה ל- X i הוא.t i נגדיר ) 2 t( x 1 x 2 ) = t(x 1 ) t(x (אם t אינה מוגדרת שם). אנו טוענים ש- t הומומורפיזם חלקי. המקרה היחיד שצריך לבדוק הוא האיבר החדש 2 x. 1 x אבל לפי תרגיל , השוויון היחיד שצריך להראות הוא ) 2,t( x 1 x 2 ) = t(x 1 ) t(x וזה נכון לפי הגדרה. 13

14 הראינו שהאוסף E מקיים את תנאי תרגיל 2.2.9, ולכן קיימת פונקציה יחידה t על התחום ) F(P שהצמצום שלה לכל קבוצה סגורה הוא ב- E. בפרט, t עצמה ה- E, ולכן מקיימת את תנאי הטענה. סגורה בהוכחה השתמשנו בשלוש הטענות הבאות, שהראשונה שבהן גם מסבירה את המינוח. תרגיל נאמר שתת-קבוצה ) F(P X היא סגורה אם לכל ) F(P,x, y אם x y X אז גם.x, y X נאמר ש- A t : X (כאשר A כמו במשפט (2.2.7 היא הומומורפיזם חלקי אם t(y) t( x y ) = t(x) לכל.x, y, x y X 1. הוכח שחיתוך כלשהו של קבוצות סגורות הוא קבוצה סגורה.2 הוכח שאם X סגורה, ו- A t 1, t 2 : X הומומורפיזמים חלקיים כך ש-= t 1 X P0 t 1 = אז t 2,t 2 X P0 התרגיל הבא הוא תרגיל כללי על פונקציות בין קבוצות. תרגיל נניח ש-,X Y קבוצות, ו- E קבוצה של פונקציות חלקיות t : X t Y (כאשר.t Xs Xt = t Xs Xt הוכח שקיימת פונקציה יחידה.(X t X נניח שלכל t, s E מתקיים.t E לכל u Xt = כך ש- t,u = t E X t כאשר u : U Y התרגיל האחרון נקרא גם משפט הקריאה היחידה, משום שהוא אומר שיש דרך יחידה לקרוא איבר של ),F(P כלומר, להבין איך הוא נבנה מהפסוקים הבסיסיים. תרגיל (משפט הקריאה היחידה). הוכח שהפונקציה ) F(P I : F(P ) F(P ) המוגדרת על-ידי x y I(x, (y = היא חד-חד-ערכית, ושהתמונה שלה זרה ל- P. 0 הוכח שהטענה לא הייתה נכונה אילו היינו מחליפים את x y ב- y x בהגדרת ) F(P (כלומר, מוותרים על הסוגריים) נגדיר את הפעולות הבאות על ) :F(P : F(P ) F(P ) (x) = x 0 )2.2( : F(P ) F(P ) F(P ) (x, y) = ( x (y) ) )2.3( הפעולות הללו לא הופכות את ) F(P לאלגברה בוליאנית: למשל, ((p) ). p הסיבה, כמו בדוגמא הזו, היא שיש פסוקים שהם שונים כמחרוזות, אך זהים מבחינת המשמעות הלוגית שלהם. במילים אחרות, ישנו יחס שקילות על קבוצת הפסוקים, בו שני פסוקים הם שקולים אם יש להם אותה משמעות לוגית. ישנן לפחות שתי דרכים לתאר את השקילות הזו, אנחנו נראה אחת מהן עכשיו, ואת השניה מאוחר יותר. לכל אלגברה בוליאנית,B נסמן x y = (x) y עבור כל.x, y B הגדרה תהי P קבוצה. 14

15 השמה שקולים לוגית מודל מספקת.1 השמה על ) F(P היא פונקציה 2 ) F(P ω : המקיימת: = 0 ω(0) ו-.ω( x y ) = ω(x) ω(y).2 שני איברים ) F(P x, y הם שקולים לוגית אם לכל השמה 2 ) F(P ω : מתקיים.x y סימון:.ω(x) = ω(y).3 מודל של קבוצת פסוקים ) F(P Γ הוא השמה 2 ) F(P ω : המקיימת = 1 ω(x) לכל x. Γ נאמר גם ש- ω מספקת את Γ. טענה תהי P קבוצה. 1. שקילות לוגית היא יחס שקילות על ).F(P.2 אם x x ו- y y אז ) (x (x) ו-( y. (x, y) (x, לכן, ו- משרות פעולות מוגדרות היטב על המנה /( F(P B =: (שמסומנות באותו סימון). 3. המבנה 0,,,B B = הוא אלגברה בוליאנית עם הפעולות המושרות (כאשר 0 מסמל את המחלקה של ) F(P 0, ויתר המבנה נקבע) 4. האיברים של P 0 אינם שקולים, ולכן P 0 משוכנת ב- B. תרגיל הוכח את הטענה סוף הרצאה 4, הוכחת משפט נוכיח שהאלגברה B המופיעה בטענה היא חפשית על P. נניח ש- 1 בנוב B t 0 : P היא פונקציה כלשהי אל אלגברה בוליאנית B. עלינו להוכיח שהיא ניתנת להרחבה יחידה להעתקה B t : B של אלגברות בוליאניות. נסמן ב- )/ F(P π : F(P ) B = את העתקת המנה. יחידות: נניח ש- B t 1, t 2 : B שתיהן מרחיבות את.t 0 נסמן B. t i = t i π : F(P ) אז t i מסכימות על P (כי הצמצום של שתיהן הוא t) 0 ועל 0, ושתיהן מקיימות = ( x y ) t i (y) t i (x) t i לכל ) F(P.x, y לפי משפט t 1 = t 2, בגלל ש- π על, נובע מזה ש-.t 1 = t 2 קיום: לפי משפט,2.2.7 יש העתקה B t : F(P ) שמרחיבה את,t 0 כך ש- 0 = t(0) ו-( t(y. t( x y ) = t(x) אנחנו טוענים שאם x x אז ) t(x. t(x) = אחרת, לפי משפט יש השמה 2 B ω : כך ש-(( ω(t(x.ω(t(x)) אז ω t השמה על ) F(P שנותנת ערכים שונים ל- x ול- x, בסתירה לכך ש- x x. לפי הטענה האחרונה, t משרה פונקציה מוגדרת היטב על B. התכונה של t מבטיחה ש- t מרחיבה את,t 0 ש- 0 = t(0) וש-( t(y t(x y) = t(x) לכל.x, y B פעולות האלגברה הבוליאנית ניתנות לאפיון באמצעות (ו- 0 ), ולכן t העתקה של אלגברות בוליאניות. 15

16 אפשר לסכם את הנקודה שאנחנו עומדים בה: בהנתן קבוצה P של טענות בסיסיות, בנינו את הקבוצה ) F(P של הטענות שניתן להרכיב מהן, ואת הקבוצה ) B(P של טענות עד כדי שקילות לוגית. לקבוצה ) B(P יש מבנה של אלגברה בוליאנית (ולכן אנחנו יודעים עליה משהו). לקבוצה ) F(P אין מבנה אלגברי פשוט, אבל יש לה את היתרון שאפשר לרשום את האיברים שלה בצורה מפורשת, ולהוכיח עליהם טענות באינדוקציה (על בניית הפסוק). במילים אחרות ) F(P מייצגת את הצד התחבירי (סינטקטי) של הטענות, ו-( B(P את הצד הסמנטי. תרגיל הוכח ש-( B(P איזומורפית לאלגברת חזקה אם ורק אם P סופית תרגיל נניח ש- P קבוצה, ו-( C P(P קבוצה של תתי-קבוצות של P. נזכיר שלכל,P 0 P אנחנו חושבים על ) 0 B(P כתת-אלגברה של ) B(P (תרגיל.( הוכיחו שאם,P 1, P 2 C אז ) 2.B(P 1 ) B(P 2 ) = B(P 1 P.2 הוכיחו שאם C = P ולכל P 1, P 2 C יש P 3 C כך ש-,P 1, P 2 P 3 אז.B(P ) = P 0 P, P 0 < B(P 0),P בפרט, לכל.B(P ) = {B(P 0 ) P 0 C} 2.3 שימושים של משפט הקומפקטיות נזכיר שבמסקנה הוכחנו את משפט הקומפקטיות לאלגברות בוליאניות. בשביל השימושים יהיה נוח לנסח את התוצאה במונחים של קבוצת הפסוקים ).F(P מסקנה (משפט הקומפקטיות לתחשיב הפסוקים). אם ) F(P F קבוצה של פסוקים, כך שלכל תת-קבוצה סופית F 0 F יש מודל, אז ל- F יש מודל תרגיל הסק את מסקנה מתוך מסקנה נראה עכשיו כמה שימושים של המסקנה האחרונה לבעיות מתחומים שונים. האסטרטגיה בכל השימושים דומה: אנחנו מתעניינים במחלקה מסוימת של אובייקטים. אנחנו מניחים את קיומם במקרה הסופי, ורוצים להראות שהם קיימים במקרה הכללי. מייצרים קבוצת פסוקים שמודל שלה מתאר (ומתואר על-ידי) אובייקטים מהסוג המעניין. אז בעיית הקיום של האובייקט הופכת לבעיית קיום מודל עבור אותה קבוצה. לפי משפט הקומפקטיות, הוכחת הקיום הזו נתונה על-ידי קיום במקרה הסופי, שאנחנו מניחים (או מוכיחים בנפרד). טענה כל סדר חלקי על קבוצה X ניתן להרחבה לסדר מלא הוכחה. נוכיח ראשית למקרה ש- X סופית, באינדוקציה על גודלה. הטענה ברורה אם X ריקה. אחרת, יהי x איבר מירבי ב- X. אז באינדוקציה ניתן להרחבה לסדר מלא על {x} Y, = X \ וקל לראות שאם מרחיבים סדר זה ל- x על ידי הכלל y x לכל y, Y מתקבל סדר מלא על X המרחיב את הסדר המקורי. תהי עתה X קבוצה סדורה חלקית כלשהי, ונתבונן בקבוצת הפסוקים הבסיסיים P X = {p a,b a, b X} ובקבוצת הפסוקים Γ X מעליה המורכבת מכל הפסוקים הבאים: 16

17 .1 הפסוקים p a,b לכל a b a X לכל p a,a.2 a, b, c X לכל p a,b p b,c p a,c.3 a b X לכל p a,b p b,a.4 נשים לב שהמידע של השמה ω המספקת את Γ X שקול למידע של סדר מלא על X המרחיב את, על ידי: a b אם ורק אם = 1 ) a,b.ω(p לכן, עלינו להוכיח ש- Γ X ספיקה, ולפי משפט הקומפקטיות, מספיק להוכיח שהיא ספיקה סופית. תהי Γ 0 Γ X קבוצה סופית. אז היא מערבת מספר סופי של פסוקים בסיסיים, ולכן גם תת- קבוצה סופית X 0 של איברי X. כלומר, Γ 0 Γ X0 ומספיק שנוכיח שיש השמה המספקת את המרחיב את על X. 0 אך לפי האמור לעיל, השמה כזו נתונה על-ידי סדר מלא על X 0 Γ. X0 סדר כזה קיים לפי המקרה הסופי צביעת גרפים הדוגמא הבאה קשורה לתורת הגרפים. גרף הוא יחס דו-מקומי, סימטרי ואי-רפלקסיבי E על קבוצה V (כלומר, b) E(a, גורר a) E(b, לכל,a, b V ולכל a V לא מתקיים a).(e(a, הקבוצה V נקראת קבוצת הקודקודים, ו- E קבוצת הקשתות. אם S קבוצה, הגרף (E,V) הוא c(a) אז E(a, (b של קודקודי הגרף) כך שאם (צביעה c : V S אם קיימת העתקה S -צביע.c(b) אם k מספר טבעי, אנו מזהים אותו עם הקבוצה {1 k... 1}, ולכן המושג k -צביע מוגדר היטב. למשל, משפט ארבעת הצבעים ([1, 10]) קובע שכל גרף מישורי סופי הוא 4 -צביע (גרף מישורי הוא גרף שקודקודיו נקודות במישור, וקיימות העתקות רציפות γ a,b :,0] [1 R 2 לכל,(a, b) E כך ש- a γ a,b (1) = b,γ a,b (0) = ואם d} {a, b} = {c, אז 1)) ((0, a,b γ ו- 1)) ((0, c,d γ זרות). תת-גרף מלא (ממש) של הגרף E) (V, הוא הגרף )) 0,(V 0, E (V 0 V כאשר V 0 תת- קבוצה (ממש) של V. תרגיל לכל k טבעי, מצא דוגמא לגרף שאינו k -צביע, אבל כל תת-גרף מלא ממש שלו הוא k -צביע גרף קבוצת הקודקודים קבוצת הקשתות S -צביע תת-גרף מלא טענה יהי (E G =,V) גרף, k מספר טבעי. אז G הוא k -צביע אם ורק אם כל תת-גרף מלא סופי שלו הוא k -צביע הוכחה. כיוון אחד ברור. בכיוון השני, נתבונן בקבוצת הפסוקים Γ G a V לכל p 1,a p k,a.1 1 i, j ו- k a V עבור p i,a p j,a.2 17

18 .1 i ו- k (a, b) E לכל p i,a p i,b.3 אז השמה ω המספקת Γ G שקולה לצביעה חוקית של G ב- k צבעים (על ידי 1 i c(a) = אםם = 1 ) i,a.(ω(p לכן מספיק להראות ש- Γ G ספיקה. ההמשך כמו בדוגמא הקודמת תרגיל הראה שאם מחליפים את k בקבוצה אינסופית בטענה האחרונה, הטענה אינה נכונה משפט החתונה נניח שנתונות קבוצות F ו- M של נשים וגברים, בהתאמה, ולכל אישה a F קבוצה סופית M a M של גברים שהיא מעוניינת בהם. האם ניתן לשדך לכל אישה גבר שהיא מעוניינת בו (כך שלכל גבר מותאמת רק אישה אחת)? במלים אחרות, האם קיימת פונקציה חד-חד-ערכית?p(a) M a כך ש-,p : F M תנאי הכרחי הוא שלכל קבוצה סופית F 0 F של נשים מתקיים F 0 a F 0 M a )2.4( מסתבר, שזה גם תנאי מספיק. תרגיל הוכח שאם התנאי (2.4) מתקיים לכל F 0 F סופית, אז קיים פתרון לבעיה הנתונה על ידי ה- M. a (הוכח ראשית את המקרה הסופי, ואז השתמש במשפט הקומפקטיות למקרה הכללי.) סוף הרצאה 5, הלמה של קניג 8 בנוב מסלול שכנים עץ מסלול בגרף E) G = (V, מקדקוד a לקדקוד b הוא סדרה סופית של קדקודים x 1,..., x n שונים בזוגות, כך ש-,b = x n,a = x 1 ולכל.(x i, x i+1 ) E,i < n האורך של מסלול כזה הוא 1 n. המרחק בין שני קדקודים הוא אורך המסלול הקצר ביותר ביניהם (אם קיים). השכנים של קודקוד a הם הקודקודים במרחק 1 ממנו. הגרף G נקרא עץ אם בין כל שני קודקודים קיים מסלול יחיד. טענה (הלמה של קניג). אם G הוא עץ בו לכל קודקוד מספר סופי של שכנים, ולכל n קיים מסלול באורך n, אז קיים ב- G מסלול אינסופי (כלומר סדרה x i של קדקודים שונים בזוגות, לכל i טבעי, כך ש-( i+1 E(x i, x לכל.(i הערה ההנחה שיש מסלולים בגודל לא חסום שקולה, תחת ההנחות האחרות, לכך שיש אינסוף קודקודים הוכחה. שוב, הרעיון הוא לבנות קבוצת פסוקים, שמודל שלהם נותן פתרון, כלומר מסלול אינסופי. נקבע קודקוד a, 0 ונסמן ב- S k את קבוצת האיברים במרחק k מ- a. 0 באינדוקציה, כל S k סופית. נתבונן בקבוצת הפסוקים הבאה: 18

19 k לכל a S k p a.1 k לכל,a b S k לכל p a p b.2 ל- a a 0 נמצא על המסלול היחיד מ- b אם p a p b.3 אז מודל של קבוצה זו מכיל אותו מידע כמו מסלול אינסופי המתחיל ב- a. 0 תרגיל השלם את ההוכחה תרגיל נניח ש-{..., 1 P = p} בת-מניה. השתמש בלמה של קניג כדי להוכיח את משפט הקומפקטיות במקרה זה (רמז: הגדר גרף בו הקודקודים הם השמות חלקיות) אלגברות בוליאניות כשדיברנו על משפט סטון עבור אלגברות בוליאניות (משפט ) הבטחנו שנראה שההעתקה מאלגברה בוליאנית B לאלגברת הפונקציות הרציפות על spec(b) היא חד-חד-ערכית. בחינה פשוטה של ההגדרות מראה שזה נובע מהטענה הבאה. טענה אם b איבר שונה מ- 0 באלגברה בוליאנית, אז קיימת spec(b) ω עבורה = ω(b) 1 תרגיל הוכח את הטענה עבור אלגברות בוליאניות סופיות (דרך אחת לעשות זאת היא להוכיח שכל אלגברה כזו איזומורפית ל-( P(A, כאשר A קבוצת האטומים באלגברה) נניח ש- B אלגברה בוליאנית, ו- b איבר שונה מ- 0. תהי {B P, = p} x x ונתבונן בקבוצה Γ המכילה את הפסוקים הבאים:.x, y B לכל p x y p x p y.1 x B לכל p x p x.2 p b.3 תרגיל השתמש בקבוצה Γ כדי להוכיח את טענה משפט רמזי משפט רמזי שימושי מאד גם בלוגיקה וגם בענפים אחרים במתמטיקה. יש לו גרסא סופית וגרסא אינסופית, ובמקרה הזה נוכיח את הגרסא האינסופית ישירות, ונסיק ממנה את הגרסא הסופית בעזרת משפט הקומפקטיות. ) ( את X על מנת לנסח את המשפט, ננסח את ההגדרות הבאות: בהנתן קבוצה X, נסמן ב- k ( Y באופן טבעי כעל k) קבוצת תתי הקבוצות בגודל k ב- X. אם Y, X אפשר לחשוב על 19

20 ( ) ( : c היא צביעה (כלומר, פשוט פונקציה), תת-קבוצה X k S אם. X ) תת-קבוצה של k ( Y הוא פונקציה קבועה k) מונוכרומטית של X היא תת-קבוצה Y X כך שהצמצום של c ל- (כלומר, כל הקבוצות שכל איבריהן ב- Y נצבעות באותו צבע). f : ( X כאשר X אינסופית k ) משפט (משפט רמזי, גרסא אינסופית). לכל צביעה S ו- S סופית קיימת תת-קבוצה מונוכרומטית אינסופית הוכחה. באינדוקציה על k, המקרים =,0 1 k ברורים. נניח שהטענה נכונה לאיזשהו 1 k. נגדיר ברקורסיה סדרה X i של תתי-קבוצות של,X ו- x i של איברים של.X i תהי,X 0 = X ו- x 0.f i (s) = f(s {x i }) על-ידי f i : ( X i \{x i ) } איבר כלשהו של.X בהנתן X i ו-,xi נגדיר k S באינדוקציה, קיימת תת-קבוצה מונוכרומטית אינסופית X i+1 X i עבור.f i נבחר את i+1 x. ( X i+1 ) להיות איבר כלשהו של 1+i X. נסמן ב- c i את הערך הקבוע של fi על k לפי המקרה = 1,k קיימת קבוצה אינסופית,J N כך ש- c c j = לא תלוי ב- j עבור.j J נתבונן בקבוצה J}.Y = {x j j אם s Y היא בגודל + 1,k יהי j האינדקס הקטן ביותר עבורו x j s ותהי } j.s = s \ {x אז f(s) = f j (s ) = c j = c שכן j+1 s X ו- J.j לכן Y הקבוצה המונוכרומטית המבוקשת. תת-קבוצה מונוכרומטית c : ( m k ) מסקנה (משפט רמזי, גרסא סופית). לכל 0 l n, k, קיים 0,m כך שלכל n. יש קבוצה מונוכרומטית בגודל l הוכחה. לשם הפשטות, נוכיח את הטענה רק למקרה = 2 l k, = ההוכחה למקרה הכללי דומה. נקבע מספר טבעי n. לכל i < j טבעיים, יהי p i,j פסוק בסיסי, ולכל קבוצה I בגודל n של.I ( N n) טבעיים, יהי x I הפסוק i,j I p i,j i,j p i,j. תהי Γ קבוצת הפסוקים xi עבור אם ω מודל של Γ, אז לפי הגרסא האינסופית של משפט רמזי, קיימת קבוצה אינסופית Y N כך ש- ω קבועה על } Y.{p i,j i, j לכן ω אינה מספקת את x I לכל.I Y הראינו ש- Γ אינה ספיקה. לפי משפט הקומפקטיות, תת-קבוצה סופית Γ 0 Γ אינה ספיקה. לכן, לכל השמה ω לפסוקים הבסיסיים המופיעים ב- Γ, 0 יש I עבורו = 0 ) I,ω(x כלומר I קבוצה מונוכרומטית. 2.4 היסקים ראינו שניתן להגדיר במדויק את המושגים טענה, ואמיתות של טענה. כעת נעבור למושג ההוכחה. ליתר דיוק, אנו רוצים להגדיר במדויק מהי הוכחה של פסוק x מתוך קבוצת פסוקים Γ. אינטואיטיבית, הוכחה של x מ- Γ היא תהליך בעל מספר סופי של שלבים, כאשר בכל אחד אנו מסיקים פסוק חדש מתוך פסוקים ב- Γ, או אקסיומות, או פסוקים שהוכחנו קודם. כל שלב כזה הוא מכני : הוא מאפשר לעבור לפסוק המוכח לפי מבנה הפסוק בלבד. בפרט, כל התהליך הוא בלתי תלוי באמיתות או בהשמות. על מנת למנוע בלבול, נשתמש במונח היסק עבור הוכחות במובן הטכני. כמו-כן, נוח יותר בהיקשר זה לעבוד עם הפעולה הלוגית של גרירה ( ) במקום גימום. אין כאן בעיה, שכן זהו פשוט קיצור. 20

21 הגדרה מערכת האקסיומות הלוגיות הינה קבוצת כל הפסוקים בעלי אחת משלוש הצורות הבאות: האקסיומות הלוגיות x y x A1 x y z x y x z A2 (x) (y) (x) y x A3 עבור פסוקים כלשהם,x.,y z היסק כלל ההיסק Modus Ponens מסקנה יכיח מסיקה Γ x סוף הרצאה 6, 13 בנוב.2 היסק של פסוק x מתוך קבוצת פסוקים Γ הינו סדרה סופית של פסוקים ) n,(x 1,..., x כאשר x, = x n וכל x i הוא אקסיומה לוגית, או איבר של Γ, או שקיימים,j k < i כך ש- i x k = x j x (במקרה זה אנו אומרים ש- x i התקבל מ- x j ו- x k על-ידי הפעלת כלל ההיסק.(Modus Ponens נאמר ש- x הוא מסקנה של Γ, או ש- x יכיח מ- Γ, או ש- Γ מסיקה את x, אם קיים היסק של x מתוך Γ. מצב זה יסומן כך: Γ. x (כמו קודם, אם Γ ריקה, נשמיט אותה מהסימון:.) x המטרה העיקרית שלנו בסעיף הזה היא השוואת המושג התחבירי של יכיחות מהגדרה למושג הסמנטי המקביל, נביעה לוגית: הגדרה נניח ש- Γ קבוצה של פסוקים, ו- x פסוק. x נובע לוגית מ- Γ אם לכל מודל ω של Γ מתקיים = 1 ω(x) (סימון: Γ). = x הפסוק x הוא טאוטולוגיה אם הוא נובע לוגית מהקבוצה הריקה, והוא סתירה אם (x) טאוטולוגיה. נובע לוגית Γ = x תרגיל המושגים בהגדרה האחרונה הם סמנטיים. נסחו את התנאים במונחים של התמונות של x ושל Γ ב-(.B(P תרגיל הוכיחו שמשפט הקומפקטיות שקול לטענה הבאה: אם Γ = x אז יש Γ 0 Γ סופית כך ש- x.γ 0 = כיוון אחד של ההשוואה בין יכיחות לנביעה הוא שהגדרנו מערכת היסק נאותה: אם הצלחנו להסיק פסוק מתוך Γ, אז הוא נובע לוגית מ- Γ, כלומר, אפשר להוכיח רק דברים נכונים. טאוטולוגיה סתירה מערכת היסק נאותה טענה אם x מסקנה של,Γ אז.Γ = x 1. הוכח שכל אקסיומה היא טאוטולוגיה תרגיל הוכח שאם z התקבל מ- x ו- y על-ידי,M P אז.x, y = z 3. הוכח את טענה הרעיון העיקרי בטענה האחרונה הוא שצעד ההיסק שומר על נכונות לוגית. לפני שנמשיך לכיוון השני, נציין שאותו רעיון מאפשר לנו להראות שהאקסיומות שלנו הן בלתי-תלויות: אין אקסיומה שנובעת מהאקסיומות האחרות. 21

22 תרגיל תהי S קבוצה עם פעולה : S S S, ונניח ש- S a מקיימת: אם a x = a אז x. = a נסמן ב- 0 את היחס שמוגדר כמו, אבל כאשר קבוצת האקסיומות ריקה. הוכח שאם יש העתקה ω : F(P ) S המקיימת: ω(x y) = ω(x) ω(y) ω(x) = a, x Γ אז אם,Γ 0 x אז ω(x) = a לדוגמא, טענה נובעת מתרגיל זה עבור השמות (כלומר, כש-{ 1,0} = S ו- x y=0 אם ורק אם,(x > y ו- 1 =.a כדי להוכיח, למשל, ש- A1 אינה מסקנה של יתר האקסיומות, ניקח: {2,0},1 = S, a = 0 ו- 2 = y x אם x או y (או שניהם) שווים 1 או אם = 0 x ו- 2 = y, ו- 0 בשאר המקרים. אם נגדיר גם x x על S על-ידי: = 0 2 ו- 1 = x אחרת, אז כל העתקה מקבוצת הפסוקים הבסיסיים ניתנת להרחבה יחידה לכל הפסוקים לפי משפט קל לבדוק אז שכל השמה כזאת נותנת ערך 0 לכל האקסיומות ב- A3,A2, אבל אם = 1 ω(x) ו- 2 = ω(y) אז = 2 ω( x y x ) נראה כעת את הדוגמא הראשונה שלנו להיסק, שתשמש אותנו גם בהמשך. היא מדגימה גם, שמציאת היסק, גם של פסוקים פשוטים, אינה בהכרח פשוטה. t 1 : t t t t טענה לכל פסוק t מתקיים t t. הוכחה. נרשום במפורש היסק של : t t A1[x : t, y : t t ] t 2 : t t t t t t t t t A2[x : t, y : t t, z : t] t 3 : t t t t t MP [t 1, t 2 ] t 4 : t t t A1[x : t, y : t] t 5 : t t MP [t 3, t 4 ] משפט השלמות ראינו בטענה 2.4.5, שכל מה שניתן להוכיח באמצעות מערכת ההיסק הוא נכון. עכשיו נשאל לגבי הכיוון ההפוך: עד כמה מערכת ההיסק חזקה? מה הן הטענות שניתן להוכיח? כפי שראינו, השאלה אינה טריוויאלית: נדרשנו למאמץ אפילו כדי להוכיח שהפסוק p p ניתן להיסק מהקבוצה הריקה. משפט (משפט השלמות). אם Γ = x אז Γ x 22

23 ביחד עם הנאותות, הוא אומר ש- ו-= הם למעשה אותו יחס. השלב הראשון בהוכחת המשפט הוא הרדוקציה למקרה הסופי. תרגיל הראו שמשפט השלמות ל- Γ כלשהי נובע ממשפט השלמות עבור המקרה ש- Γ סופית הוכחת משפט השלמות מצריכה כלי שמאפשר להראות יכיחות של פסוקים מהצורה. x y הכלי הזה נקרא משפט הדדוקציה. הוא האנלוג הפורמלי של הנוהג הרגיל בהוכחת טענות כאלה: כדי להוכיח את, x y מותר לנו להניח את x ולהוכיח את y. טענה (משפט הדדוקציה). אם Γ, x y אז y Γ x נשים לב שהכיוון השני גם נכון, באופן מיידי מ-.MP הוכחה. יהי ) n (y 1,..., y היסק של y = y n מתוך.Γ, x נוכיח, באינדוקציה על,k ש- Γ x k y. נניח שהטענה נכונה לכל i. < k נתבונן באפשרויות: y k ועל המקרה y k במקרה זה נשתמש בכלל ההיסק על Γ: אקסיומה, או איבר של y k 1. x y k כדי להסיק את של A 1 x y k.2 x :y k = במקרה זה עלינו להוכיח ש- x,γ x אולם ראינו כבר ש- t t לכל פסוק.t.3 k y התקבל על-ידי MP מ- y i ו- y j = y i y k עבור :i, j < k במקרה זה נשתמש באקסיומה x y i y k x y i x y k (מהצורה A2), ובעובדה שניתן להסיק את x y j לפי הנחת האינדוקציה כדי להסיק בעזרת MP את k, x y i x y ואז שוב בהנחת האינדוקציה עבור i וב- MP כדי להסיק את.x y k היעילות של המשפט הזה משתקפת למשל בהוכחת המסקנה הבאה (שתשמש אותנו בהוכחת משפט השלמות). x x.1 מסקנה x x.2 x x y.3 x, y x y.4 x y y x.5 23

24 תרגיל הוכח את המסקנה נעבור כעת להוכחת משפט השלמות. נזכיר שאנחנו מניחים ש- Γ סופית, ובפרט, ) F(P Γ עבור קבוצה סופית P. נוכיח ראשית את הטענה עבור קבוצות Γ ששקולות לאטום. במלים אחרות, לכל השמה ω נסמן Γ ω = {y P ω(y) = 1} { y y P, ω(y) = 0} )2.5( למה משפט השלמות נכון עבור קבוצות מהצורה Γ: ω לכל פסוק x, אם = 1 ω(x) אז Γ ω x אז ω(x) ואם = 0,Γ ω x החלק השני של הטענה נובע ישירות מהחלק הראשון, אבל הניסוח הזה נוח למטרת האינדוקציה סוף הרצאה 7, 15 בנוב הוכחה. תהי A קבוצת הפסוקים x מעל P עבורם הטענה נכונה. אז P A שכן אז הפסוק שצריך להסיק נמצא ב- Γ ω (ו- A 0 באופן ריק) נניח ש- A,x, y וש- 1 = y ).ω( x אז = 0 ω(x) או = 1.ω(y) במקרה הראשון, Γ ω x והתוצאה נובעת מסעיף (3) של מסקנה, ובמקרה השני,Γ ω y והתוצאה נובעת מהאקסיומה הראשונה. אם = 0 ω( x y ) אז = 1 ω(x) ו- 0 = ω(y) ולכן Γ w (y), x והתוצאה נובעת מסעיף (4) של אותה מסקנה. הטענה הבאה מראה שפסוקים שאינם משפיעים, סמנטית, על נביעה לוגית, הם גם מיותרים למטרות היסק. למה נניח ש- y Γ, x וגם.Γ, x y אז.Γ y תרגיל הוכח את הלמה הוכחת משפט השלמות ל- Γ סופית. באינדוקציה על הגודל של Γ. אם Γ, = Γ 0 x אז x Γ 0 =.Γ y מקבלים,MP לפי.Γ 0 x y ולכן באינדוקציה y נותר להוכיח את הבסיס: אם x טאוטולוגיה, אז. x תהי P קבוצת הפסוקים הבסיסיים ב- x. לפי למה, x Γ ω לכל השמה.ω אם P אינה ריקה, יהי,a P ותהי {a}.p a = P \ אם ω השמה כלשהי ל-,P a תהי,ω i עבור.Γ ω1 = Γ w ו-{ a } Γ ω0 = Γ w { a} אז.ω(a) = i המקיימת ω ההרחבה של,i = 0, 1 הואיל ו- x Γ, ωi נקבל לפי למה ,ש- x Γ. ω זה נכון לכל ω על P, a ולכן חזרנו למצב שבו היינו עם P, אבל עבור קבוצה יותר קטנה P. a באינדוקציה, מקבלים ש- x Γ ω עבור השמה ω על קבוצה קטנה כרצוננו. עבור הקבוצה הריקה, זו הטענה שרצינו להוכיח. הערה עם מאמץ נוסף, ניתן להוכיח את משפט השלמות ישירות גם לקבוצות אינסופיות Γ, ללא שימוש במשפט הקומפקטיות. הואיל ומשפט הקומפקטיות נובע ישירות ממשפט השלמות (למה?), זה נותן הוכחה אלטרנטיבית למשפט הקומפקטיות. הערה קיבלנו תיאור נוסף של יחס השקילות באמצעותו בנינו את ) :B(P שני פסוקים ϕ ו- ψ הם שקולים אם ϕ ψ ו- ϕ ψ. במובן מסוים, זהו תיאור יותר מפורש. 24

25 3 תחשיב היחסים תחשיב הפסוקים עליו דובר בסעיף הקודם לא מאפשר יכולת ביטוי גדולה: לא ניתן לנסח בו טענות מתמטיות אמיתיות, אלא רק הפשטה שלהן שמסומנת על-ידי הפסוקים הבסיסיים. בסעיף זה נחקור לוגיקה בעלת יכולת ביטוי המאפשרת ניסוח טענות מתמטיות. לוגיקה זו מורכבת יותר בצורה משמעותית, אולם המבנה הכללי מבחינת ההגדרות והשאלות שנשאלות בה הוא דומה: נגדיר את התחביר, הסמנטיקה (השמות ומודלים), אקסיומות וכללי היסק, ונוכיח את משפט השלמות ומשפט הקומפקטיות המתאימים. 3.1 דוגמאות הגדרת התחביר מורכבת ממספר מושגים: חתימה, שמות עצם, נוסחה, פסוק, ומושגים נוספים. בהמשך נגדיר השמות, מודלים וקבוצות גדירות. על מנת לתת מושג לאן אנחנו שואפים, נדגים את המושגים הללו בצורה לא פורמלית במספר דוגמאות. דוגמא (יחס סדר). חתימה בחתימה ישנו סוג אחד, P, וסימן יחס אחד E R P P נוסחה בסיסית היא מהצורה (y E(x, או x = y נוסחה למשל y) x(e(x, y) x = תורה התורה שאומרת ש- E הוא יחס סדר היא: x, y E(x, y) E(y, x) x, y, z E(x, y) E(y, z) E(x, z) מודל של התורה הוא קבוצה סדורה דוגמא (גרף). בדוגמא זו כל רכיבי התחביר מוגדרים באותה צורה (שכן גם גרף נתון על-ידי יחס דו-מקומי), אבל התורה היא והמודלים הם גרפים דוגמא (חוגים). x, y E(x, y) E(y, x) x E(x, x) חתימה סוג אחד,,A וארבעה סימני פונקציה: a, m F AA,A ו- F ϵ,a 1 0, 25

26 שמות עצם שמות העצם הם ביטויים מהצורה (z a(m(x,,(y ו-( z,1)m (למשל) נוסחה בסיסית x) a(m(x, x), y) = m(a(1, 1), נוסחה לדוגמא 1) = y) x(m(x, תורה התורה של החוגים מכילה למשל את הפסוקים הבאים: x, y(a(x, y) = a(y, x)) x(m(1, x) = x) x y(a(x, y) = 0) מודל של התורה (המלאה של חוגים) הוא חוג. בהמשך נתייחס לדוגמא הזו, ונרשום לרוב + ו- במקום a ו- m, וכן x + y ו- y x במקום (y a(x, ו-( y m(x, (לדוגמא). דוגמא (גאומטריה). חתימה שני סוגים,,P, L ושני סימני יחס: I R P L ו- B R P P P שמות עצם שמות העצם הם משתנים משני סוגים: x P ו- x. L x, y P z L I(x, z) I(y, z) t L x, y, z P I(x, t) I(y, t) I(z, t) נוסחה בסיסית ) P I(x P, y L ),B(x P, y P, z נוסחה לדוגמא t) x P B(y, x, z) I(x, x z x y y z x, y, z P t L I(x, t) I(y, t) I(z, t) B(x, y, z) B(y, z, x) B(z, y, x) תורה בין היתר, האקסיומות הבאות מודל המישור הממשי דוגמא (מרחבים וקטוריים מעל שדה קבוע). נקבע שדה K חתימה סוג אחד,V סימני פונקציה: F ϵ,v,+ F V V,V,0 לכל.c F V,V,c K 26

27 שמות עצם שמות העצם הם למשל (y x + 0,c(x + נוסחה בסיסית לדוגמא d(z) c(x + y) = נוסחה לדוגמא x yc(y) = x + z תורה בין היתר, האקסיומות הבאות x, yc(x + y) = c(x) + c(y) לכל c K x0(x) = 0 x, y x + y = y + x xc d(x) = c(d(x)) לכל c, d K מודל כל מרחב וקטורי מעל K דוגמא (מרחבים וקטוריים). חתימה שני סוגים,,K, U סימני פונקציה:,0 U F ϵ,u,+ U F UU,U סימני פונקציה. F KU,U כמו בדוגמא,3.1.3 סימן פונקציה,K על הסוג + K, K, 0 K, 1 K שמות עצם שמות העצם הם למשל v) c K d,u + U 0,c (u + U a K x, y U a (x + U y) = a x + U a y x U0 K x = 0 U x, y K x + K y = y + K x נוסחה בסיסית לדוגמא c (x + U y) = d u נוסחה לדוגמא v a K u = a תורה בין היתר, האקסיומות הבאות מודל זוג ) V,L) כאשר L שדה, ו- V מרחב וקטורי מעליו סוף הרצאה 8, 20 בנוב 27

28 A חתימה סוגים קבוצת סימני היחס 3.2 תחביר כעת נגדיר במדויק את התחביר של תחשיב היחסים. ההגדרה היא ארוכה וכוללת מספר שלבים, ומומלץ בכל שלב לחזור לדוגמאות בסעיף הקודם ולבדוק איך הן מתקבלות, ומה משמעות ההגדרה. לכל קבוצה A, נסמן ב- A את קבוצת המלים (מחרוזות, סדרות סופיות) מעל A. את המילה הריקה נסמן ב- ϵ, ואת האורך של מילה w נסמן ב- w. את האיבר ה- i של מילה w נסמן ב- w(i) (האיברים ממוספרים מ- 1 ). אם w 1 ו- w 2 שתי מלים, נסמן ב- w 1 w 2 את המילה המתקבלת מהוספת w 2 לסוף של w. 1 לרוב נזהה בין איבר a A לבין המילה באורך 1 המורכבת מ- a. האובייקט התחבירי הבסיסי ביותר הוא החתימה. הגדרה חתימה מורכבת מהנתונים הבאים: 1. קבוצה S של סוגים 2. לכל מילה w מעל S, קבוצה R, w המכונה קבוצת סימני היחס מסוג w. 3. לכל מילה w מעל S ולכל איבר a, S קבוצה F w,a המכונה קבוצת סימני הפונקציה מ- w ל- a. קבוצת הפונקציה סימני קבועים סימני חתימה כזו תסומן לרוב כ-( Σ = (S, (R w ) w S, (F w,a ) w S,a S או בקיצור כ-.(a מכונים לרוב סימני קבועים (מסוג F ϵ,a סימני הפונקציה ב-.Σ = (S, R, F ) הערה אם האורך של w הוא n, איברי R w נקראים סימני יחס n -מקומיים, ובדומה לגבי סימני פונקציות. בספרות נוהגים לפעמים להניח ש- S מורכבת מאיבר אחד ובמקרה זה, ישנה מילה יחידה w מכל אורך n, ואז איברי R w הם בדיוק סימני היחס ה- n מקומיים. כפי שראינו, הנחה זו אינה נוחה בחלק מהדוגמאות הטבעיות, ומסבכת דברים מאוחר יותר, ולכן לא נניח אותה. משתנים בהנתן חתימה )..., (S,Σ = יתר ההגדרות תלויות בנוסף בקבוצות V a עבור,a S הקרויות משתנים מסוג a. הגדרה בהנתן חתימה ) F Σ = (S, R, ולכל,a S קבוצה,V a קבוצת שמות העצם קבוצת שמות העצם T a (מעל (V = a S V a מסוג a עבור a S מוגדרת ברקורסיה כקבוצה הקטנה ביותר המקיימת: V a T a.1.2 לכל,f F w,a עם, w = n ולכל w(i) t i T עבור i n 1 המחרוזת.a היא שם עצם מסוג f(t 1,..., t n ) 28

29 נשים לב שבפרט, כל סימן קבוע מסוג a הוא שם עצם מסוג a. כמו במקרה של תחשיב הפסוקים, הוכחות של טענות על שמות עצם (וחלקים אחרים בתחביר) מתבצעות לרוב באינדוקציה על הבניה, וכמו במקרה ההוא, שימושי לדעת שכל שם עצם נבנה בדיוק בדרך אחת. ליתר דיוק, נשים לב שכל f F w,a מגדיר העתקה C f : T w(1)... T w(n) T a הנתונה על-ידי ) n.c f (t 1,..., t n ) = f(t 1,..., t תרגיל (קריאה יחידה, שמות עצם). הוכח שכל אחת מההעתקות C f היא חד-חד-ערכית, והתמונות של כל שתי העתקות כאלה הן זרות. הסק שכל שם עצם נבנה במספר סופי של הפעלות C fi כאלה, עבור סדרה יחידה ) i f) של סימני פונקציה. שמות העצם מסוג a יפורשו, כשנגדיר מבנים, כהעתקות שהטווח שלהן הוא (הפירוש של) a. מהו התחום של העתקה כזו? לכאורה, התחום של f F bb,a צריך להיות זוגות של איברים בפירוש של b. אולם נשים לב שראשית, f כזו אינה שם עצם לפי ההגדרה לעיל, ושנית, אם,x y שניהם משתנים מסוג b, אז (y f(x, ו-( x f(x, שניהם שמות עצם שנוצרים מאותו סימן פונקציה, ומשתנים מאותו סוג, אך מייצגים העתקות עם תחומים שונים. כלומר, התחום של ההעתקה תלוי במשתנים עצמם, ולא רק בסוגים שלהם. הגדרה קבוצת המשתנים החפשיים (t) V בשם עצם t מוגדרת ברקורסיה על בנית t באופן הבא: אם t הוא משתנה, אז {t}.v (t) = אם ) n,t = f(t 1,..., t אז ) 1 V (t) = V (t.v (t) = {x 1,..., x n } אם t(x 1,..., x n ) נרשום.V (t n ) המשתנים החפשיים V (t) t(x 1,..., x n) כעת נגדיר את יתר התחביר. הגדרה תהי ) F Σ = (S, R, חתימה, ו- a V = a S V (האיחוד הזר של (V a קבוצת משתנים..1 נוסחא בסיסית מעל Σ ו- V היא מחרוזת מהצורה ) n,e(t 1,..., t כאשר,E R w וכל.w(i) הוא שם עצם מסוג t i 2. נוסחא מעל Σ ו- V היא איבר בקבוצה הקטנה ביותר Φ המכילה את הנוסחאות הבסיסיות ואת הסימן, וכך ש- נוסחא בסיסית נוסחא (א) אם,ϕ, ψ Φ אז גם ϕ ψ Φ (ב) אם x V a ו- Φ,ϕ אז x aϕ Φ תרגיל (קריאה יחידה, נוסחאות). נסח והוכח את משפט הקריאה היחידה עבור נוסחאות הערה (קיצורים). בדוגמאות, ובמקרים אחרים בהם לא נזדקק להגדרה המדויקת, נשתמש בקיצורים הבאים: 29

30 .1 כאשר u F ab,c או u R ab עבור,a, b, c S ו- u הוא סימן (ולא אות), נרשום לעתים.+(x, y) במקום x + y למשל, בדוגמא רשמנו.u(t 1, t 2 ) במקום t 1 ut 2 בפרט, עבור יחסי השוויון (כאשר הם בשפה), נרשום t 1 = t 2 במקום ) 2 (t 1, t.= כמו כן, נרשום c במקום c() עבור.c F ϵ,a 2. נשתמש בקשרים הלוגיים, ו- כפי שעשינו בתחשיב הפסוקים (עם אותם קיצורים). בנוסף, נרשום x aϕ כקיצור ל-. x a ϕ במקרים בהם S מורכבת מאיבר אחד a, נרשום xϕ במקום. x aϕ נקצר כך גם אם סוג המשתנה מובן מן ההקשר, למשל בנוסחה מהצורה (y, xe(x, כאשר הסוג של E ידוע או אינו חשוב. כמו-כן, נרשום... 2 x 1, x או... x בתור קיצור ל-... 2, x 1 y וכך הלאה. כמובן שמשפט הקריאה היחידה לא תקף עם קיצורים אלה, ובכל פעם שנרצה להוכיח או להגדיר משהו על נוסחאות, נשתמש בהגדרה המקורית כמו במקרה של שמות עצם, נרצה להגדיר את קבוצת המשתנים שנוסחא ϕ תלויה בהם (כלומר, כפי שנראה בהמשך, ערך האמת שלה תלוי בערכיהם). נשים לב שנוסחא מהצורה לא ב- x. אך תלויה ב- y, xf(x, (y = 0 הגדרה קבוצת המשתנים החופשיים (ϕ) V בנוסחא ϕ מוגדרת ברקורסיה על-ידי: אם ϕ היא הנוסחא הבסיסית ) n E(t 1,..., t אז ) n.v (ϕ) = V (t 1 ) V (t אחרת, המשתנים החופשיים V (ϕ) V ( ) = )3.1( V ( ϕ ψ ) = V (ϕ) V (ψ) )3.2( V ( x aϕ) = V (ϕ) \ {x} )3.3( נרשום ) n ϕ(x 1,..., x אם } n.v (ϕ) = {x 1,..., x הנוסחא ϕ נקראת פסוק אם (ϕ) V ריקה. פסוק 3.3 סמנטיקה כעת נגדיר את האופן שבו מפרשים את האובייקטים התחביריים שהוגדרו לעיל. ההגדרות הבאות מקבילות להשמות של תחשיב הפסוקים. שוב, כדאי לחזור לדוגמאות ב- 3.1 על-מנת לראות על מה מדובר. נתחיל עם הפירוש של חתימות. מבנה העולם של a היחס E ב- M הגדרה תהי ) F Σ = (S, R, חתימה. מבנה M עבור Σ מורכב מהנתונים הבאים:.1 לכל,a S קבוצה M a לה נקרא העולם של a (ב- M ). בהנתן מילה S w באורך,n נסמן w(n) M w = M w(1) M w(2)... M (בפרט, =1={ } ϵ M היא קבוצה בת איבר אחד)..2 לכל,E R w תת-קבוצה E M M w (היחס E ב- M ) 30