לדלג לתוכן

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

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

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

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

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


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

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

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

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



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

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

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

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

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

יוהאן ברנולי
יוהאן ברנולי

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


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


ζ(s):=n=1ns=p ינושאר(1ps)1 נוסחת המכפלה של אוילר עבור פונקציית זטא של רימן. הנוסחה עומדת בבסיסה של תורת המספרים האנליטית ומאפשרת לקבל מידע רב על ההתפלגות של מספרים ראשוניים באמצעות אנליזה מרוכבת של פונקציית זטא של רימן.


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

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

אתר היום: קשר חם

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

האתר פועל היטב באינטרנט אקספלורר, אך אינו מתפקד כראוי בפיירפוקס.

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

ספר היום:

דונל או'שיי, השערת פואנקרה, אריה ניר הוצאה לאור, 2008

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

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

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

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

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

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

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

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