הפרדוקס של בורלי-פורטי
קפיצה לניווט
קפיצה לחיפוש
הפרדוקס של בּוּרָלִי-פוֹרְטִי הוא פרדוקס שהציע המתמטיקאי האיטלקי צֶ'זָארֶה בּוּרָלִי-פוֹרְטִי בשנת 1897. הפרדוקס מראה כי אוסף כל הסודרים גדול מכדי להוות קבוצה בתורת הקבוצות, בדומה לפרדוקס קנטור שניתן להסיק ממנו שאוסף כל הקבוצות גדול מכדי להוות קבוצה.
הוכחה
נניח בשלילה שהסודרים מהווים קבוצה A, עם סדר ההשוואה הרגיל. לפי התכונות היסודיות של הסודרים, הקבוצה A סדורה היטב, ויש סודר p המתאים לה. כמו כן לפי הגדרת A הסודר p שייך לה והוא גם איזומורפי לקבוצת כל הסודרים ב-A שקטנים מ-p, שהיא קטע התחלי[1] אמיתי של A. כלומר קיבלנו ש-p איזומורפי גם לקבוצה A וגם לקטע התחלי אמיתי שלה. זוהי סתירה משום שקבוצה סדורה היטב אינה איזומורפית לאף קטע התחלי אמיתי שלה.
ראו גם
קישורים חיצוניים
- String Module Error: Target string is empty.html הפרדוקס של בורלי-פורטי, באתר MathWorld (באנגלית) המזהה לא מולא ולא נמצא בוויקינתונים, נא למלא את הפרמטר.
הערות שוליים
- ^ קטע התחלי של קבוצה סדורה הוא קבוצה חלקית מהצורה