לדלג לתוכן
שינוי מצב סרגל צד
Math-Wiki
חיפוש
יצירת חשבון
כלים אישיים
יצירת חשבון
כניסה לחשבון
דפים לעורכים שלא נכנסו לחשבון
מידע נוסף
שיחה
תרומות
ניווט
עמוד ראשי
שינויים אחרונים
העלאת קובץ
כלים
דפים המקושרים לכאן
שינויים בדפים המקושרים
דפים מיוחדים
מידע על הדף
עריכת הדף "
שיחה:88-195 בדידה לתיכוניסטים תשעא/ארכיון 2
" (פסקה)
דף
שיחה
עברית
קריאה
עריכה
הוספת נושא
גרסאות קודמות
עוד
קריאה
עריכה
הוספת נושא
גרסאות קודמות
אזהרה:
אינכם מחוברים לחשבון. כתובת ה־IP שלכם תוצג בפומבי אם תבצעו עריכות כלשהן. אם
תיכנסו לחשבון
או
תיצרו חשבון
, העריכות שלכם תיוחסנה לשם המשתמש שלכם ותקבלו גם יתרונות אחרים.
בדיקת אנטי־ספאם.
אין
למלא שדה זה!
== הוכחת AC באמצעות הלמה של צורן == חשבתי על דרך הוכחה של אקסיומת הבחירה באמצעות הלמה של צורן, אני חושב שהרעיון הכללי לא יותר מדי מורכב. השאלה היא, האם אני יכול להגדיר פונקצית בחירה שבוחרת איבר מסויים מקבוצה אחת וזהו? או שזהו כלי שאסור לי להשתמש בו? ברמת העיקרון נראה לי שזה בסדר, כי זו רק קבוצה אחת ולא אוסף אינסופי, אבל אני אשמח לדעת. :האמת שאני לא יודע. --<font size='4'>[[משתמש:ארז שיינר|ארז שיינר]]</font> :אקסיומת הבחירה מבטיחה קיום של פונקציית בחירה, בהינתן משפחה של קבוצות. בפרט אם במשפחה יש רק קבוצה אחת, תקבל את מה שרצית להשתמש בו (בחירה מתוך קבוצה אחת). יתר על כן, על מנת לבחור :איבר מתוך קבוצה אחת (או מספר סופי של קבוצות), אין צורך אפילו באקסיומת הבחירה. :באמת הוכחת AC באמצעות הלמה של צורן אינה מסובכת מדי, הכיוון ההפוך קשה יותר (דורש כלים שלא נלמדים במסגרת "מתמטיקה בדידה").
תקציר:
לתשומת לבך: תורמים אחרים עשויים לערוך או אף להסיר את תרומתך ל־Math-Wiki. אם אינך רוצה שעבודתך תהיה זמינה לעריכה על־ידי אחרים, אין לפרסם אותה פה.
כמו־כן, שמירת העריכה משמעה הבטחה שכתבת את הטקסט הזה בעצמך, או העתקת אותו ממקור שאינו מוגן בזכויות יוצרים (אפשר לעיין בדף
Math-Wiki:זכויות יוצרים
לפרטים נוספים).
אין לעשות שימוש בחומר המוגן בזכויות יוצרים ללא רשות!
ביטול
עזרה בעריכה
(נפתח בחלון חדש)