הקיים הנעלם – הדוגמה ההסתברותית – האקשן

טוב, אז יש לנו פסוק לוגי שמורכב מ-$latex n$ פסוקיות, שבכל אחת שלושה מופעים של משתנים (או שלילתם). אנחנו רוצים להוכיח שקיימת השמה למשתנים שמספקת לפחות $latex \frac{7}{8}$ מהפסוקיות. מה עושים? ראשית, מגדירים את מרחב ההסתברות שלנו. המרחב מוגדר על … להמשיך לקרוא

הקיים הנעלם – הדוגמה ההסתברותית – מבוא לוגי

אציג כעת דוגמה לשימוש בתורת ההסתברות כדי להוכיח קיום של דבר מה. פרט ל"רווח" המיידי מהדוגמה – עוד הוכחת קיום קונסטרוקטיבית (אם כי מהסוג שמצביע על קיום של משהו שגם חיפוש ממצה יכול למצוא ללא קושי) – זוהי גם הזדמנות … להמשיך לקרוא

הקיים הנעלם – הדוגמה הרמאית

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

הקיים הנעלם – מבוא

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

אם תרצו, אין זה דמיון

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

ללא חסם

בפוסט הקודם תיארתי את אחת מהבעיות שבמספרים הרציונליים: קיימות בהן סדרות קושי (סדרות ש"מתנהגות כמו סדרות מתכנסות") שאין מספר רציונלי אליו הן מתכנסות (למשל, סדרות שמתכנסות לפאי). תיארתי גם את הפתרון: הגדרת המספרים הממשיים באמצעות סדרות קושי שכאלו של מספרים … להמשיך לקרוא

ללא גבולות

$latex \pi$ (ובעברית פאי), הוא מספר קסום. לך תייצג אותו. אין משוואה פולינומית עם מקדמים שאנחנו יודעים לייצג שהוא פתרון שלה, והוא בטח ובטח לא מנה של שני מספרים שלמים או משהו דומה. אין קץ לספרות בפיתוח העשרוני שלו, ואין … להמשיך לקרוא

מטרנסצנדנטלי יוצא אלגברי?

בפעם הקודמת ראינו את המספרים האי רציונליים – או יותר נכון, ראינו מספר אי רציונלי אחד, שאת אי הרציונליות שלו היה קל להוכיח. בצורה דומה לזו שבה הוכחנו ששורש שתיים אינו רציונלי (אך מעט יותר מתוחכמת) אפשר להוכיח שהשורש הריבועי … להמשיך לקרוא

על משוואות בלי פתרון, ולמה זה לא רציונלי

בניית מערכת המספרים שלנו הגיעה בפעם הקודמת לנקודת שיא מסויימת – קיבלנו את השדה (ממציין 0…) הקטן ביותר – ולכן גם האובייקט הבסיסי בענף של תורת השדות. משמעות המילה "שדה" היא שקיבלנו סגירות לארבע פעולות החשבון הבסיסיות, ולכן גם את … להמשיך לקרוא