סֵמֶל
יוניונפדיה
תִקשׁוֹרֶת
 Google Play כעת ב-
חָדָשׁ! הורד יוניונפדיה במכשיר אנדרואיד שלך!
חופשי
גישה מהירה יותר מאשר בדפדפן!
 

בעיית וייטהד

מַדָד בעיית וייטהד

בתורת החבורות, בעיית וייטהד היא השאלה הבאה: האם כל חבורה אבלית A שעבורה מתקיים התנאי \operatorname^1(A,\mathbb). [1]

31 יחסים: משפטי אי השלמות של גדל, מונומורפיזם, אפימורפיזם, אקסיומת מרטין, אקסיומת הבנייה, אלגברה, עצמאות (לוגיקה מתמטית), עקביות (לוגיקה מתמטית), פונקטור, פונקטור נגזר, קבוצה אינסופית, קבוצה ניתנת לבנייה, קבוצה שאינה בת מנייה, קבוצה בת מנייה, קורט גדל, שהרן שלח, תורת הקבוצות, תורת הקבוצות האקסיומטית, תורת החבורות, חבורת וייטהד, חבורה אבלית, חבורה ציקלית, חבורה חופשית, ג'ון וייטהד, גרעין (אלגברה), הרכבת פונקציות, השערת הרצף, 1931, 1971, 1973, 1980.

משפטי אי השלמות של גדל

#הפניה משפטי האי-שלמות של גדל.

חָדָשׁ!!: בעיית וייטהד ומשפטי אי השלמות של גדל · ראה עוד »

מונומורפיזם

#הפניה הומומורפיזם#מונומורפיזם.

חָדָשׁ!!: בעיית וייטהד ומונומורפיזם · ראה עוד »

אפימורפיזם

#הפניה הומומורפיזם.

חָדָשׁ!!: בעיית וייטהד ואפימורפיזם · ראה עוד »

אקסיומת מרטין

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

חָדָשׁ!!: בעיית וייטהד ואקסיומת מרטין · ראה עוד »

אקסיומת הבנייה

אקסיומת הבנייה היא אקסיומה הטוענת, שכל קבוצה היא "בת-בנייה"; או בנוסח המקורי: שמחלקת הקבוצות היא מחלקת-הקבוצות בנות-הבנייה.

חָדָשׁ!!: בעיית וייטהד ואקסיומת הבנייה · ראה עוד »

אלגברה

נוסחת השורשים מביעה את הפתרון של הנוסחה ממעלה שנייה ax^2+bx+c.

חָדָשׁ!!: בעיית וייטהד ואלגברה · ראה עוד »

עצמאות (לוגיקה מתמטית)

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

חָדָשׁ!!: בעיית וייטהד ועצמאות (לוגיקה מתמטית) · ראה עוד »

עקביות (לוגיקה מתמטית)

#הפניה עקביות (לוגיקה).

חָדָשׁ!!: בעיית וייטהד ועקביות (לוגיקה מתמטית) · ראה עוד »

פונקטור

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

חָדָשׁ!!: בעיית וייטהד ופונקטור · ראה עוד »

פונקטור נגזר

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

חָדָשׁ!!: בעיית וייטהד ופונקטור נגזר · ראה עוד »

קבוצה אינסופית

קבוצה אינסופית היא קבוצה שמספר איבריה אינו סופי, כלומר קבוצה שאינה קבוצה סופית.

חָדָשׁ!!: בעיית וייטהד וקבוצה אינסופית · ראה עוד »

קבוצה ניתנת לבנייה

#הפניה L (תורת הקבוצות).

חָדָשׁ!!: בעיית וייטהד וקבוצה ניתנת לבנייה · ראה עוד »

קבוצה שאינה בת מנייה

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

חָדָשׁ!!: בעיית וייטהד וקבוצה שאינה בת מנייה · ראה עוד »

קבוצה בת מנייה

בתורת הקבוצות, קבוצה בַּת מְנִיָּה היא קבוצה שקיימת פונקציה חד־חד ערכית ממנה לקבוצת המספרים הטבעיים.

חָדָשׁ!!: בעיית וייטהד וקבוצה בת מנייה · ראה עוד »

קורט גדל

קורט גֶדֶל (בגרמנית:; 28 באפריל 1906 – 14 בינואר 1978) היה לוגיקן ומתמטיקאי אוסטרי שהיגר לארצות הברית.

חָדָשׁ!!: בעיית וייטהד וקורט גדל · ראה עוד »

שהרן שלח

שַׂהֲרֹן שֶׁלַח (נולד ב-3 ביולי 1945) הוא מתמטיקאי ישראלי, פרופסור אמריטוס למתמטיקה באוניברסיטה העברית בירושלים ובאוניברסיטת רטגרס בניו ג'רזי, ארצות הברית.

חָדָשׁ!!: בעיית וייטהד ושהרן שלח · ראה עוד »

תורת הקבוצות

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

חָדָשׁ!!: בעיית וייטהד ותורת הקבוצות · ראה עוד »

תורת הקבוצות האקסיומטית

תורת הקבוצות האקסיומטית היא תורה מתמטית המהווה ניסוח אקסיומטי של תורת הקבוצות.

חָדָשׁ!!: בעיית וייטהד ותורת הקבוצות האקסיומטית · ראה עוד »

תורת החבורות

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

חָדָשׁ!!: בעיית וייטהד ותורת החבורות · ראה עוד »

חבורת וייטהד

#הפניה חבורת וייטהד המצומצמת.

חָדָשׁ!!: בעיית וייטהד וחבורת וייטהד · ראה עוד »

חבורה אבלית

חבורה אָבֶּלִית או חבורה חילופית היא חבורה המקיימת את עיקרון החילופיות, לפיו יישום של פעולה * על שניים מאברי הקבוצה לא תלויה בסדר בה נכתבים האיברים.

חָדָשׁ!!: בעיית וייטהד וחבורה אבלית · ראה עוד »

חבורה ציקלית

בתורת החבורות, חבורה ציקלית היא חבורה הנוצרת על ידי איבר אחד.

חָדָשׁ!!: בעיית וייטהד וחבורה ציקלית · ראה עוד »

חבורה חופשית

חבורה חופשית היא חבורה שקבוצת היוצרים שלה X אינה מקיימת אף יחס.

חָדָשׁ!!: בעיית וייטהד וחבורה חופשית · ראה עוד »

ג'ון וייטהד

ג'ון הנרי קונסטנטין וייטהד (באנגלית: John Henry Constantine Whitehead; 11 בנובמבר 1904, צ'נאי (הודו) - 8 במאי 1960, פרינסטון) הוא מתמטיקאי בריטי ממייסדי תורת ההומוטופיה.

חָדָשׁ!!: בעיית וייטהד וג'ון וייטהד · ראה עוד »

גרעין (אלגברה)

גרעין (Kernel) של הומומורפיזם בין מבנים אלגבריים הוא אוסף האיברים שההומומורפיזם מעביר אל האיבר הנייטרלי (לדוגמא: איבר האפס של מרחב וקטורי, איבר האפס של חוג, האיבר הנייטרלי של חבורה).

חָדָשׁ!!: בעיית וייטהד וגרעין (אלגברה) · ראה עוד »

הרכבת פונקציות

\ (g \circ f)(x), '''הרכבה''' של \ g על \ f במתמטיקה, ההרכבה של פונקציות היא פונקציה המתקבלת מהפעלת פונקציות בזו אחר זו.

חָדָשׁ!!: בעיית וייטהד והרכבת פונקציות · ראה עוד »

השערת הרצף

השערת הרצף היא טענה שהעלה אבי תורת הקבוצות, גאורג קנטור, לפיה עוצמת הרצף (מסומנת: 2^או |\mathbb R|) היא העוצמה הקטנה ביותר האפשרית של קבוצה שאינה בת מנייה (אומגה אחת).

חָדָשׁ!!: בעיית וייטהד והשערת הרצף · ראה עוד »

1931

אין תיאור.

חָדָשׁ!!: בעיית וייטהד ו1931 · ראה עוד »

1971

אין תיאור.

חָדָשׁ!!: בעיית וייטהד ו1971 · ראה עוד »

1973

אין תיאור.

חָדָשׁ!!: בעיית וייטהד ו1973 · ראה עוד »

1980

אין תיאור.

חָדָשׁ!!: בעיית וייטהד ו1980 · ראה עוד »

אזכור

[1] https://he.wikipedia.org/wiki/בעיית_וייטהד

יוֹצֵאנִכנָס
היי! אנחנו בפייסבוק עכשיו! »