שיחה:קבוצה בת מנייה
מתוך ויקיפדיה, האנציקלופדיה החופשית
אני חושב שיהיה כדאי ליצור חלק נוסף המכיל משפטים חשובים, כגון -
תוכן עניינים |
[עריכה] חדש
- עוצמת N שווה לעוצמת NxN, לעוצמת NxNxN וכו'. (או באופן יותר כללי, א0*א0=א0)
- בהצלחה. דוד שי 07:49, 12 יוני 2004 (UTC)
- אם A בת מנייה וB בת מנייה, איחודן בן מנייה.
[עריכה] קיימים כבר
שיוויון עוצמת Q ועוצמת N
עוד דבר, קיים ערך נוסף, "קבוצה בת-מנייה" בויקי.
בערך המתאים בויקיפדיה האנגלית כתוב שקבוצה היא בת-מניה *אם היא סופית* או שעוצמתה שווה לעוצמת N.
- בערך על האלכסון של קנטור מוכיחים כי עוצמת הממשיים גדולה ממש מעוצמת הרציונליים, לא שעוצמת הרציונליים שווה לעוצמת הטבעיים.
- אני לא בטוח שאני מבין את כוונתך באמירה "קיים ערך נוסף, "קבוצה בת-מנייה" בויקי.". לא מצאתי ערך נוסף עם שם דומה בויקי העברית. תוכל לתת קישור?
- בקשר לכך שקבוצה בת מניה יכולה להיות גם סופית - אתה צודק, זה עניין של הגדרה, ואני אישית נוטה לכיוון ההגדרה שעליה אתה מדבר. אתקן את הערך בהתאם. גדי אלכסנדרוביץ' 12:07, 10 יוני 2005 (UTC)
-
- אמנם הפירוש המילולי נוטה יותר לכיוון 'סופי או שקול לטבעיים' (משום שכל קבוצה סופית אפשר בוודאי למנות), אבל התוצאה היא סרבול יתר (הצירוף 'בת-מנייה אבל לא סופית' יופיע מספר שאינו בן-מנייה של פעמים) וזה פחות מקובל. שיניתי בחזרה. עוזי ו. 12:50, 10 יוני 2005 (UTC)
[עריכה] מניה - מנייה
אמנם אצלי באוניברסיטה כולם מדברים על בת-מנָיָה (menaya), אבל מכיוון שזה תרגום של countable זה צריך להיות בת- מנִיָּה (meniyya), ולפיכך בכתיב חסר ניקוד "בת מנייה" (וכך גם במאגר המונחים של האקדמיה ללשון). אין לי זמן להתחיל לשנות, אבל למען הסדר הטוב אני מעיר כאן. נתנאל 12:23, 10 יוני 2005 (UTC)
[עריכה] ההוכחה
ההוכחה כרגע אינה מלאה - היא מוכיחה רק שהטבעיים שקולים לקבוצת הרציונליים החיוביים, לא כל הרציונליים. גדי אלכסנדרוביץ' 14:10, 10 יוני 2005 (UTC)
