לדלג לתוכן

פורטל:מתמטיקה

מתוך המכלול, האנציקלופדיה היהודית

רענון הפורטל כיצד אוכל לעזור?    

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

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


גאורג קנטור
גאורג קנטור

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

את המשפט הגה והוכיח אבי תורת הקבוצות, גאורג קנטור, בשנת 1891. שיטת הלכסון אותה המציא כדי להוכיח את המשפט ותוצאות דומות, מנצלת את הסתירות שביסוד פרדוקס הסַפָּר ופרדוקס השקרן, ומשמשת בתחומים רבים החורגים מתורת הקבוצות.


ג'ון פורבס נאש
ג'ון פורבס נאש

ג'ון פורבס נאש הבן (13 ביוני 1928 - 23 במאי 2015), מתמטיקאי אמריקאי המתמחה בתורת המשחקים וגאומטריה דיפרנציאלית.

בשנת 1994 קבל פרס נובל לכלכלה, עבור עבודתו החלוצית משנות ה-50 בתורת המשחקים. עם הישגיו האקדמיים הבולטים נמנים פתוח 'שיווי משקל נאש' ופתרון 'בעיית המיקוח של נאש', המהווים מושגי יסוד בפתרון בעיות 'משחקים שיתופיים' ו'משחקים אי-שיתופיים' בתורת המשחקים בתחומי הכלכלה, הביולוגיה ומדע המדינה. הקריירה האקדמית המזהירה של נאש עומדת בצל מחלת הסכיזופרניה, שבה לקה בסמוך לפריצתו כמתמטיקאי מחונן בשנות ה-50. בשל המחלה נפסקה הקריירה האקדמית של נאש למשך כ-30 שנה (1966-1996) ורק בשנות ה-90 שב לחקר המתמטיקה.

נאש נולד בבלופילד שבמערב וירג'יניה, בן לג'ון נאש האב, טכנאי אלקטרוניקה, ווירג'יניה מרטין, מורה לשפות. בשנים (1945-1948) למד לתואר ראשון ושני במכון הטכנולוגי קרנגי בפיטסבורג, פנסילבניה (כיום אוניברסיטת קרנגי מלון), והוכתר על ידי מוריו כגאון. ב-1950 קבל נאש תואר דוקטור מאוניברסיטת פרינסטון על חיבורו "משחקים אי-שיתופיים". בעבודה זו פיתח לראשונה את פתרונו הבסיסי למשחקים אי-שיתופיים שזכה מאוחר יותר לכינוי 'שיווי משקל נאש'. 40 שנה מאוחר יותר, ב-1994, זיכתה אותו עבודתו זו משנותיו הראשונות בפרינסטון בפרס נובל לכלכלה. על עבודה זו קיבל נאש ב-1978 גם את פרס ג'ון פון ניומן לתאוריה.

הכללה למשפט פיתגורס

ההכללה למשפט פיתגורס מוזכרת כבר ב"יסודות" של אוקלידס‏‏; אם על צלעותיו של משולש ישר-זווית מונחות צורות דומות, סכום השטחים שעל שני הניצבים שווה לשטח הצורה שעל היתר. בצורה פורמלית יותר: אם על צלעות משולש ישר-זווית שאורכי צלעותיו הם a,b,c בונים צורות ששטחיהן A,B,C כך ש Aa2=Bb2=Cc2, אזי A+B=C.

קירוב של הפונקציה ex לפולינום מדרגה n באמצעות פיתוח לטור מקלורן.

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

כשניסה ג'ירולמו קרדאנו לפתור את המשוואה  x3=15x+4, הגיע לביטוי שכלל את המספר 121. בספרו "האמנות הגדולה" (Ars magna) פרסם קרדאנו פתרון הכולל התייחסות ראשונה לרעיון כי ייתכן מספר שהוא שורש ריבועי של מספר שלילי, אך קרדאנו לא הבין את גודל תגליתו וראה במספרים אלו "מספרים חסרי תועלת".


מתמטיקאים הם בני אדם, אלא שהם מסתירים זאת היטב.


n;p ינושאר;pn<xln(p)=ln(2π)ρordρζxρρ הנוסחה המפורשת של רימן מנגולד. נוסחה לפונקציה השניה של צ'בישב באמצעות אפסים (והקטבים) של פונקציית זטא של רימן. הפונקציה השניה של צ'בישב סופרת באופן ממושקל את חזקות הראשוניים עד לערך נתון. מנוסחה זאת קל יחסית להסיק נוסחאות מפורשות לפונקציית המספרים הראשוניים π(x). בצורה זאת הנוסחה תקפה רק עבור x>0 לא שלם. נוסחה זאת ודומת לה סללו את הדרך להוכחת משפט המספרים הראשוניים.


תרנגולת וחצי מטילה ביצה וחצי ביום וחצי. כמה ביצים מטילה תרנגולת אחת ביום אחד?

בחלון זה מופיעה תצוגה מתחלפת של אתרי אינטרנט הפועלים להנגשת המתמטיקה לציבור הרחב.

אתר היום: The Geometry Junkyard (באנגלית)

אתר מקסים המרכז הפניות לנושאים הקשורים לשעשועי מתמטיקה גאומטריים ברשת.

בחלון זה מופיעה תצוגה מתחלפת של ספרי מתמטיקה שנועדו להנגשת המתמטיקה לציבור הרחב.

ספר היום: לנסלוט הוגבן (אנ'), מתמטיקה למיליון, הוצאת "ניצנים", שנות ה-50 של המאה ה-20.

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

משפטים מפורסמים
השערות מפורסמות

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

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

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

מבט על משפטים והשערות נוספים
נושאים במתמטיקה
כמות אינסוף - מספרים (טבעיים, שלמים, רציונליים, אי-רציונליים, ממשיים, מרוכבים) - מספרים סודרים - עוצמה - תורת המידה - קבועים מתמטיים
שינוי אנליזה מתמטית - אנליזה וקטורית - אנליזה מרוכבת - אריתמטיקה - חשבון אינפיניטסימלי - תורת הכאוס - משוואות דיפרנציאליות - אנליזה פונקציונלית
מבנה אלגברה - אנליזה מתמטית - אריתמטיקה - טופולוגיה - תורת הגרפים - תורת החבורות - תורת המספרים
מרחב אלגברה ליניארית - גאומטריה - טופולוגיה - טריגונומטריה - אנליזה וקטורית - חשבון טנזורים - מרחב מחויג
מתמטיקה בדידה חישוביות - קומבינטוריקה - קריפטוגרפיה - תורת הגרפים - תורת המשחקים
יסודות ושיטות לוגיקה - פילוסופיה של המתמטיקה - תורת הקבוצות - סימון מתמטי - תורת הקטגוריות
מתמטיקה יישומית אופטימיזציה - אנליזה נומרית - הסתברות - סטטיסטיקה - מתמטיקה פיננסית
עולם המתמטיקה הוראת המתמטיקה - האיחוד המתמטי הבינלאומי - היסטוריה של המתמטיקה - מדליית פילדס - מתמטיקאים - 23 הבעיות של הילברט

ערכים המחפשים עורכים

דיונים, ייעוץ ועזרה