-
הלמה של צורן
כל מה שרצית לדעת על הלמה של צורן:הלמה של צורן (Zorn's lemma) במתמטיקה, ובמיוחד בתורת הקבוצות, היא משפט שימושי העוסק בתכונה של קבוצות סדורות חלקית. בין היתר, חשיבותו של המשפט באה לידי ביטוי בכך שהוא שקול לאקסיומת הבחירה, ומשתמשים בו לרוב על מנת להראות קיום של דבר מה בלי להראות דרך מפורשת לבנות אותו. המשפט…
-
האלכסון של קנטור
כל מה שרצית לדעת על האלכסון של קנטור:האלכסון של קנטור היא הוכחתו של גאורג קנטור משנת 1891 שהמספרים הממשיים אינם בני מנייה כלומר, לא קיימת התאמה חד-חד ערכית ועל בינם לבין המספרים הטבעיים. קנטור הוכיח את הטענה עוד ב-1874 עם הוכחה מוכרת פחות. עם זאת לאלכסון של קנטור ערך מוסף שכן הרעיון שבבסיסה, שנקרא "לכסון",…
-
כללי דה מורגן
כל מה שרצית לדעת על כללי דה מורגן:כללי דה מורגן, הקרויים על-שמו של המתמטיקאי והלוגיקן בן המאה ה-19, אוגוסטוס דה מורגן, הם שני כללים בלוגיקה, בתורת הקבוצות ובאלגברה בוליאנית (בפרט, לוגיקה בוליאנית), הקושרים את הפעולות הבסיסיות בתחומים אלה. לוגיקה: הכללים קושרים את הפעולות "או", "גם", "לא". באופן מילולי בכתיב לא פורמלי, קובעים הכללים כי השלילה…
-
משפט קנטור
כל מה שרצית לדעת על משפט קנטור:משפט קנטור הוא משפט מתמטי יסודי בתורת הקבוצות. באופן פורמלי, המשפט קובע שהעוצמה של כל קבוצה קטנה מהעוצמה של קבוצת התת-קבוצות שלה. משמעות המשפט היא שלכל קבוצה, אפילו אינסופית, יש קבוצה גדולה ממנה (במובן מדויק שיוגדר בהמשך). מסקנה מיידית היא שיש אינסוף גדלים אינסופיים השונים זה מזה, ואין אינסוף…
-
משפט טיכונוף
כל מה שרצית לדעת על משפט טיכונוף:בטופולוגיה, משפט טיכונוף קובע שאם { ( X i , τ i ) } i ∈ I {\displaystyle \left\{(X_{i},\tau _{i})\right\}_{i\in I}} משפחה של מרחבים טופולוגיים קומפקטיים, אז גם מרחב המכפלה ∏ i ∈ I X i {\displaystyle \ \prod _{i\in I}X_{i}} קומפקטי. המשפט נחשב אחד המשפטים החשובים ביותר…
-
קדם-מידה
כל מה שרצית לדעת על קדם-מידה:בערך זהנעשה שימושבסימנים מוסכמיםמתחום המתמטיקה.להבהרת הסימניםראו סימון מתמטי.בתורת המידה, קדם-מידה (באנגלית: Pre-measure) היא פונקציה שהיא "כמעט" פונקציית מידה, במובן זה שמשפחת הקבוצות שהיא מודדת אינה מהווה סיגמא-אלגברה.חשיבותה של קדם-מידה היא שכאשר היא מוגדרת על משפחת קבוצות המקיימת תכונות מסוימות, אז היא יכולה להתרחב לכדי פונקציית מידה על סיגמא-אלגברה הנוצרת על…
-
קונסטרוקטיביזם (פילוסופיה של המתמטיקה)
כל מה שרצית לדעת על קונסטרוקטיביזם (פילוסופיה של המתמטיקה):קונסטרוקטיביזם היא אסכולה בפילוסופיה של המתמטיקה הגורסת שיש צורך למצוא (או "לבנות") אובייקט מתמטי על מנת להוכיח שהוא קיים. זאת בניגוד לתפיסה המודרנית במתמטיקה, שלפיה אפשר להסיק שהעצם קיים, גם מתוך כך שהנחת אי-קיומו מביאה לסתירה. לעתים נעשה שימוש במכונת טיורינג כדי להגדיר מהו "ניתן לבנייה". האסכולה…