משפט קניג (תורת הקבוצות)

משפט קניג (נקרא גם אי-שוויון קניג) הוא משפט מתמטי בתורת הקבוצות. ^[1]

תוכן עניינים

משפט (מתמטיקה)

במתמטיקה, משפט (בלועזית: תאורמה; באנגלית: Theorem) הוא פסוק שניתן להוכיח אותו במסגרת מערכת אקסיומות מסוימת.

לִרְאוֹת משפט קניג (תורת הקבוצות) ומשפט (מתמטיקה)

משפט קנטור

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

לִרְאוֹת משפט קניג (תורת הקבוצות) ומשפט קנטור

מתמטיקאי

קרל פרידריך גאוס, מגדולי המתמטיקאים בכל הזמנים. פרס אָבֶּל למתמטיקה מתמטיקאי הוא אדם העוסק במתמטיקה.

לִרְאוֹת משפט קניג (תורת הקבוצות) ומתמטיקאי

אקסיומת הבחירה

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

לִרְאוֹת משפט קניג (תורת הקבוצות) ואקסיומת הבחירה

אריתמטיקה של עוצמות

#הפניה עוצמה (מתמטיקה)#אריתמטיקה של עוצמות.

לִרְאוֹת משפט קניג (תורת הקבוצות) ואריתמטיקה של עוצמות

אי-שוויון (מתמטיקה)

אי-שוויון הוא שם משותף לשני סוגי טענות במתמטיקה.

לִרְאוֹת משפט קניג (תורת הקבוצות) ואי-שוויון (מתמטיקה)

פונקציה על

במתמטיקה, פונקציה מקבוצה A לקבוצה B היא על אם כל איבר בקבוצה B מתקבל כערך של הפונקציה.

לִרְאוֹת משפט קניג (תורת הקבוצות) ופונקציה על

פונקציית גימל

במתמטיקה ובפרט בתורת הקבוצות, פונקציית גימל היא פונקציה המסומנת באות העברית ג, אשר פועלת על מספרים מונים, ומוגדרת על פי הנוסחה: \gimel(\kappa).

לִרְאוֹת משפט קניג (תורת הקבוצות) ופונקציית גימל

קופינאליות (תורת הקבוצות)

#הפניה קופינליות.

לִרְאוֹת משפט קניג (תורת הקבוצות) וקופינאליות (תורת הקבוצות)

תורת הקבוצות

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

לִרְאוֹת משפט קניג (תורת הקבוצות) ותורת הקבוצות

תורת הקבוצות - מונחים

* תורת הקבוצות: ענף במתמטיקה העוסק בתכונותיהן של קבוצות, ומשמש כבסיס לאקסיומטיזציה של המתמטיקה.

לִרְאוֹת משפט קניג (תורת הקבוצות) ותורת הקבוצות - מונחים

דיולה קניג (בהונגרית: Kőnig Gyula; גיור, 16 בדצמבר 1849 – בודפשט, 8 באפריל 1913) היה מתמטיקאי הונגרי-יהודי מומר, שהתנצר בגיל 40, פרופסור באוניברסיטה, שעסק באנליזה מתמטית, באלגברה, בתורת הקבוצות ובלוגיקה מתמטית.

לִרְאוֹת משפט קניג (תורת הקבוצות) ודיולה קניג

הוכחה בדרך השלילה

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

לִרְאוֹת משפט קניג (תורת הקבוצות) והוכחה בדרך השלילה

הכללה (מתמטיקה)

הכללה היא מאבני היסוד של הפעילות המתמטית.

לִרְאוֹת משפט קניג (תורת הקבוצות) והכללה (מתמטיקה)

יהדות הונגריה

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

לִרְאוֹת משפט קניג (תורת הקבוצות) ויהדות הונגריה

ראה גם

אקסיומת הבחירה

לוגיקה מתמטית

מונים

אזכור

[1] https://he.wikipedia.org/wiki/משפט_קניג_(תורת_הקבוצות)

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

זוהי מפה נפשית מקוונת ענקית המשמשת כבסיס לתרשימי מושג. זה בחינם לשימוש וכל מאמר או מסמך ניתן להוריד. זהו כלים, משאבים או התייחסות למחקר, מחקר, חינוך, למידה והוראה, שיכול להיות בשימוש על ידי מורים, מחנכים, תלמידים או סטודנטים; לעולם האקדמי: לבית ספר, יסודי, בית ספר תיכון המשני,, אמצע, מכללה, תואר טכני, מכללה, אוניברסיטה, סטודנט לתואר ראשון, תואר שני או תואר דוקטור; למסמכים, דוחות, פרויקטים, רעיונות, תיעוד, סקרים, סיכומים, או תזה. הנה ההגדרה, הסבר, התיאור, או את המשמעות של כל משמעותי שבו אתה זקוק למידע, ורשימה של המושגים הקשורים בם כמילון מונח. זמין ב עברית, אַנגְלִית, סְפָרַדִית, פורטוגזית, יַפָּנִית, סִינִית, צָרְפָתִית, גֶרמָנִיָת, אִיטַלְקִית, לק, הוֹלַנדִי, רוּסִי, עֲרָבִית, הינדי, שוודי, אוקראיני, הוּנגָרִי, קטלאנית, צ׳כית, דַנִי, פִינִית, אינדונזי, נורבגי, רומנית, טורקי, ויאטנמית, קוריאנית, תאילנדית, יווני, בולגרית, קרואטית, סלובקית, ליטאית, פיליפינית, לטבית, אסטונית ו סלובנית. שפות נוספות בקרוב.

המידע מבוסס על ערכים מויקיפדיה ומיזמים אחרים של ויקימדיה, וזמין תחת רישיון Creative Commons ייחוס-שיתוף זהה.

יוניונפדיה אינה נתמכת על ידי קרן ויקימדיה או קשורה אליה.

Google Play, Android ואת הלוגו של Google Play הם סימנים מסחריים של Google Inc.

מדיניות פרטיות