בתשובה להאייל האלמוני, 07/12/04 10:27
במחלקת האלכסון ? 267217
עוזי ו. • בתשובה להאייל האלמוני יום ג', 7/12/2004, 16:05
באקסיומות של תורת הקבוצות יש כמה אקסיומות של "הרחבה" (כמו: אם A קבוצה, אז גם (P(A היא קבוצה), אקסיומה אחת של קיום (הקבוצה omega), ואקסיומה אחת של גזירה: אם A היא קבוצה, אז אוסף האברים של A שמקיימים תנאי מסויים (בשפה מסדר ראשון), גם הוא קבוצה.

הדרך הקלה ביותר להוכיח ש-A קבוצה היא למצוא קבוצה מוכרת ש- A היא תת-קבוצה שלה.
סליחה, אני לא מוצא את זה 267222
האייל האלמוני • בתשובה לעוזי ו. יום ג', 7/12/2004, 16:16
אתה יכול, בבקשה, לתת לי קישור לאקסיומות (למשל, בmathworld או בwikipedia)?
סליחה, אני לא מוצא את זה 267225
עוזי ו. • בתשובה להאייל האלמוני יום ג', 7/12/2004, 16:23
כאן:
במחלקת האלכסון ? 267223
5th Orman • בתשובה לעוזי ו. יום ג', 7/12/2004, 16:18
אפשר להוכיח שקיימת קבוצה אינסופית בת מניה של מספרים (למשל המספרים הטבעיים)?

אם כן, אפשר ליצור ממנה (ע"י ייצוג מתאים) את קבוצת רצפי-האותיות. קבוצה זו מכילה את תת-הקבוצה של כל השמות, ולכן ה-A שחיפשת קיימת.

ומעכשיו נאמר: קבוצת כל השמות.
במחלקת האלכסון ? 267226
עוזי ו. • בתשובה ל5th Orman יום ג', 7/12/2004, 16:24
(כשכתבתי ''במחלקת האלכסון'' ידעתי שקבוצת המלים העבריות היא בת מניה).
במחלקת האלכסון ? 267239
5th Orman • בתשובה לעוזי ו. יום ג', 7/12/2004, 17:35
למה רק בעברית?
יש המון שמות שהם לא מילה בעברית (או בשום שפה).
חזרה לעמוד הראשי המאמר המלא
מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים
האייל הקורא RSS מאמרים | כתבו למערכת | אודות האתר | טרם התעדכנת | ארכיון | חיפוש | עזרה | תנאי שימוש והצהרת נגישות © כל הזכויות שמורות