עץ אהרונשיין

בתורת הקבוצות, עץ אהרנשיין הוא עץ שכל שלביו וכל ענפיו בני מניה לכל היותר, ועם זאת הוא אינו בן מניה בעצמו. קיומו של עץ כזה מפריך את הכללת הלמה של קניג עבור עצמות הגבוהות מ־הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \aleph_0} .

כל עץ סוסלין הוא עץ אהרונשיין. באופן כללי, לכל מונה הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \kappa} , הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \kappa} ־עץ אהרונשיין הוא עץ מגובה הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \kappa} כך שכל רמה שלו היא בגודל לכל היותר $\kappa$ וכל ענף הוא בגובה לכל היותר $\kappa$ (ומכאן "עץ אהרונשיין" סתם הוא למעשה $\aleph _{1}$־עץ אהרונשיין). העץ קרוי על שם המתמטיקאי הפולני נחמן אהרונשיין שהראה בנייה שלהם לראשונה בשנת 1934.

קיום עץ אהרונשיין

מהלמה של קניג נובע כי לא קיים $\aleph _{0}$־עץ אהרונשיין. קיומו של $\aleph _{1}$־עץ אהרונשיין הוכח על ידי נחמן אהרונשיין. טענת קיומו של הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \aleph_2} ־עץ אהרונשיין היא עצמאית — השערת הרצף גוררת את קיומו של עץ זה, ויליאם מיטשל וג'ק סילבר הראו שעקבי שלא קיים הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \aleph_2} ־עץ אהרונשיין (בהינתן קיום של מונה קומפקטי חלש).

רונלד ינסן הוכיח שאקסיומת הבנייה גוררת שקיים הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \kappa} ־עץ אהרונשיין (ולמעשה הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \kappa} ־עץ סוסלין) לכל מונה אינסופי עוקב הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \kappa} . ג'יימס קאמינגס ומת'יו פורמן הוכיחו בשנת 1998 באמצעות אקסיומות של מונים גדולים שעקבי שאין הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \aleph_n} ־עץ אהרונשיין לכל הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle n} הגדול מ־הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle 1} . אם $k$ הוא קומפקטי חלש אזי לא קיים הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \kappa} ־עץ אהרונשיין. בכיוון השני, אם הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \kappa} הוא אי נסיג, ולא קיים הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \kappa} ־עץ אהרונשיין, אזי הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \kappa} קומפקטי חלש.

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

הערך באדיבות ויקיפדיה העברית, קרדיט,
רשימת התורמים
רישיון cc-by-sa 3.0

30687893עץ אהרונשיין