תוצאות החיפוש
קפיצה לניווט
קפיצה לחיפוש
כותרות דפים תואמות
- ...סתברויות]]. הבנייה המקובלת של תורת ההסתברות, וזו המוצגת בערך זה, מבוססת על אקסיומות קולמוגורוב (על שם ה[[מתמטיקאי]] [[אנדריי קולמוגורוב]] שניסח אותן לראשונה), [[קטגוריה:אקסיומות|הסתברות]] ...5 ק"ב (269 מילים) - 08:53, 30 ביולי 2023
- ...ביכולת של הטופולוגיה להפריד בין נקודות או קבוצות שונות במרחב. ישנן כתריסר אקסיומות, שהחשובה שבהן היא [[מרחב האוסדורף|תכונת האוסדורף]], הקרויה גם תכונת <math>\ [[מרחב מטרי|מרחבים מטריים]] מקיימים את כל אקסיומות ההפרדה, ולכן אפשר לראות באקסיומות ההפרדה מעין היררכיה של מרחבים טופולוגיים, ...16 ק"ב (447 מילים) - 07:48, 1 באוגוסט 2024
- '''אקסיומות המנייה''' הן הנחות המתייחסות לגודל של [[קבוצה (מתמטיקה)|קבוצות]] מיוחדות ב[ ...ליל|חסום כליל]]. מצד שני, מרחב טופולוגי המקיים את האקסיומה השנייה וגם את [[אקסיומות ההפרדה|אקסיומת ההפרדה]] [[מרחב T3|T3]] הוא [[מטריזביליות|מטריזבילי]] (כלומ ...6 ק"ב (109 מילים) - 18:18, 2 בנובמבר 2024
דפים עם תוכן תואם
- ...יית המשלימים הסופיים'''; ב[[אנגלית]]: Cofinite topology) מוגדרת על קבוצה [[אקסיומות ההפרדה|<math>X</math>]], כך שנוצר [[מרחב טופולוגי]] שבו ''הקבוצות הפתוחות'' ...בוצות פתוחות לא-ריקות זרות. לכן [[מרחב טופולוגי]] המורכב מקבוצה אינסופית [[אקסיומות ההפרדה|<math>X</math>]] וטופולוגיה קו-סופית אינו [[מרחב האוסדורף]]. ...3 ק"ב (85 מילים) - 02:11, 18 בפברואר 2024
- ...בוצות האקסיומטית]]|אחר=תכונות של [[מרחב טופולוגי|מרחבים טופולוגיים]]|ראו=[[אקסיומות ההפרדה]]}} ב[[תורת הקבוצות האקסיומטית]], '''אקסיומת ההפרדה''' היא סכימת [[אקסיומה|אקסיומות]] שמבטיחה שכל [[תת קבוצה]] ניתנת להגדרה של קבוצה היא גם קבוצה. ...4 ק"ב (47 מילים) - 08:28, 2 באוגוסט 2024
- ב[[טופולוגיה]], '''רגולריות''' ותכונת <math>T_3</math> הן דוגמאות ל[[אקסיומות ההפרדה|תכונות הפרדה]]. '''מרחב רגולרי''' הוא [[מרחב טופולוגי]] המפריד בין נ * [[אקסיומות ההפרדה]] ...2 ק"ב (76 מילים) - 10:04, 4 בפברואר 2022
- ...ן''' ו'''מרחב טיכונוף''' הם [[מרחב טופולוגי|מרחבים טופולוגיים]] המקיימים [[אקסיומות ההפרדה|תכונות הפרדה]] מסוימות. '''מרחב רגולרי לחלוטין''' הוא מרחב שבו אפשר * [[אקסיומות ההפרדה]] ...2 ק"ב (69 מילים) - 19:58, 26 באוקטובר 2024
- ...(מבנה אלגברי)|חוג]]". זהו מבנה אלגברי עם שתי פעולות - חיבור וכפל - המקיים אקסיומות מסוימות. התואר "אסוציאטיבי" נועד להדגיש את אקסיומת ה[[אסוציאטיביות]] <math> ...931 בתים (12 מילים) - 04:44, 31 בדצמבר 2022
- אקסיומת האיחוד היא אקסיומה מקובלת מאוד וכל מערכת אקסיומות סבירה של תורת הקבוצות מכילה אותה או גוררת את נכונותה. [[קטגוריה:אקסיומות של תורת הקבוצות|איחוד]] ...2 ק"ב (62 מילים) - 07:13, 17 בינואר 2024
- ...א עקבית, מספיק למצוא [[מודל (לוגיקה מתמטית)|מודל]] שמקיים את כל ה[[אקסיומה|אקסיומות]] של המערכת. מודל עבור תורה <math>A</math> הנבנה במסגרת של תורה <math>B</ma לכל מערכת אקסיומות עקבית יש מודל ([[משפט השלמות של גדל]], [[1930]]). ישנן תורות שבמסגרתן לא ני ...3 ק"ב (27 מילים) - 09:18, 17 באוגוסט 2024
- '''אקסיומות המנייה''' הן הנחות המתייחסות לגודל של [[קבוצה (מתמטיקה)|קבוצות]] מיוחדות ב[ ...ליל|חסום כליל]]. מצד שני, מרחב טופולוגי המקיים את האקסיומה השנייה וגם את [[אקסיומות ההפרדה|אקסיומת ההפרדה]] [[מרחב T3|T3]] הוא [[מטריזביליות|מטריזבילי]] (כלומ ...6 ק"ב (109 מילים) - 18:18, 2 בנובמבר 2024
- ...ום''' הוא אקסיומה קומבינטורית ב[[תורת הקבוצות האקסיומטית]], שאינה תלויה ב[[אקסיומות צרמלו-פרנקל]] (אפילו עם [[אקסיומת הבחירה]]). האקסיומה חזקה מספיק על מנת להו ...רון החלש ביותר, <math>\ \Diamond_\kappa</math>, אינו נובע מאקסיומות ZFC ([[אקסיומות צרמלו-פרנקל]] עם [[אקסיומת הבחירה]]). ...3 ק"ב (152 מילים) - 09:23, 26 במרץ 2023
- * [[אקסיומות ההסתברות|מידת הסתברות]] <math>\Pr</math>: הפונקציה <math>\Pr</math> היא [[פ * [[אקסיומות ההסתברות]] ...3 ק"ב (80 מילים) - 09:25, 12 במאי 2023
- ==כללי היסק מול אקסיומות== יש להבחין הבחנה חדה בין כללי ההיסק ובין ה[[אקסיומה|אקסיומות]]. אקסיומות הן טענות אמיתיות, המשמשות כבסיס לכל היסק במערכת. ואולם כללי ההיסק אינם חלק ...5 ק"ב (100 מילים) - 07:42, 3 בפברואר 2024
- הטופולוגיה הטריוויאלית אינה מקיימת אף [[אקסיומות ההפרדה|תכונת הפרדה]] (אלא אם <math>X</math> בעל נקודה אחת). כל תת-הקבוצות ש ...1 ק"ב (15 מילים) - 20:17, 20 במאי 2020
- * המרחב מקיים את [[אקסיומות המנייה|אקסיומת המנייה הראשונה]], אך איננו מקיים את אקסיומת המנייה השנייה. ...טריזבילי|מטריזבילי]], מפני שכל מרחב מטריזבילי וספרבילי גם מקיים את תכונת [[אקסיומות המנייה|מנייה שנייה]]. ...4 ק"ב (109 מילים) - 05:01, 1 בינואר 2025
- ...ר, נכון ולא נכון: הנכונות של טענה בכל [[מודל (לוגיקה מתמטית)|מודל]] למערכת אקסיומות, לעומת האפשרות לבנות [[הוכחה (לוגיקה מתמטית)|הוכחה]] מתוך האקסיומות. לפי משפט השלמות, כל טענה שהיא '''נכונה''' - ב'''כל''' מודל של מערכת אקסיומות נתונה - ניתן להוכיח '''באופן פורמלי''' מתוך מערכת האקסיומות. בניסוח אחר, לכ ...5 ק"ב (67 מילים) - 19:48, 29 בפברואר 2024
- אקסיומת האינסוף [[עצמאות (לוגיקה מתמטית)|עצמאית]] ביחס לשאר אקסיומות [[ZFC]], בהנחה שהיא [[עקביות (לוגיקה)|עקבית]]. [[קטגוריה:אקסיומות של תורת הקבוצות|קבוצה אינסופית]] ...3 ק"ב (84 מילים) - 17:50, 5 בספטמבר 2022
- ...\ T_5</math>''' הם סוגים של [[מרחב טופולוגי|מרחבים טופולוגיים]] המקיימים [[אקסיומות ההפרדה|תכונות הפרדה]] חזקות במיוחד. ...רדה באמצעות סביבות פתוחות היא ההפרדה החזקה ביותר שלה אפשר לצפות. בערך על [[אקסיומות ההפרדה]] אנו מונים ארבע רמות הפרדה, שההפרדה בקבוצות פתוחות היא הנמוכה בהן. ...5 ק"ב (142 מילים) - 21:28, 10 בינואר 2017
- ...נייה|אקסיומת המנייה השנייה]]). המרחב הוא [[מרחב האוסדורף]], ואף מקיים את [[אקסיומות ההפרדה|תכונת ההפרדה]] [[מרחב T3|T3]], אבל אינו [[מרחב נורמלי|נורמלי]]. ...5 ק"ב (106 מילים) - 05:00, 1 בינואר 2025
- ...פולוגיה]], '''מרחב נורמלי באופן מושלם''' הוא [[מרחב טופולוגי]] המקיים את [[אקסיומות ההפרדה|אקסיומת ההפרדה]] החזקה ביותר. * [[אקסיומות ההפרדה]] ...4 ק"ב (137 מילים) - 15:53, 17 בדצמבר 2022
- ===[[אקסיומות ההפרדה]]=== ...וגיית התיבות, חלק מן הטענות האמורות בערך זה, כגון משפט טיכונוף או שימור של אקסיומות הפרדה, אינן תקפות. ...6 ק"ב (141 מילים) - 08:03, 16 באוגוסט 2024
- ...'יָשָׁר''' הוא [[הגדרה#מושג יסוד|מושג יסודי]], המאופיין באמצעות ה[[אקסיומה|אקסיומות]] העוסקות בו. לישר יש [[ממד (מתמטיקה)|ממד]] אחד ויחיד – [[אורך]]. ב[[גאומטר ==אקסיומות הישר== ...7 ק"ב (253 מילים) - 18:35, 7 בנובמבר 2024