עץ אהרונשיין


כל מה שרצית לדעת על עץ אהרונשיין:
בתורת הקבוצות, עץ אהרנשיין הוא עץ שכל שלביו וכל ענפיו בני מניה לכל היותר, ועם זאת הוא אינו בן מניה בעצמו.
קיומו של עץ כזה מפריך את הכללת הלמה של קניג עבור עצמות הגבוהות מ־ ℵ 0 {\displaystyle \aleph _{0}} .
כל עץ סוסלין הוא עץ אהרונשיין.
באופן כללי, לכל מונה κ {\displaystyle \kappa } , κ {\displaystyle \kappa } ־עץ אהרונשיין הוא עץ מגובה κ {\displaystyle \kappa } כך שכל רמה שלו היא בגודל לכל היותר κ {\displaystyle \kappa } וכל ענף הוא בגובה לכל היותר κ {\displaystyle \kappa } (ומכאן "עץ אהרונשיין" סתם הוא למעשה ℵ 1 {\displaystyle \aleph _{1}} ־עץ אהרונשיין).
העץ קרוי על שם המתמטיקאי הפולני נחמן אהרונשיין שהראה בנייה שלהם לראשונה בשנת 1934.

נלקח מויקיפדיה

הגדרות נוספות הקשורות לעץ אהרונשיין:
קצרמר מתמטיקה
משפטים בתורת הגרפים
משפטים בתורת הקבוצות
אינסוף
בעיות לא כריעות במתמטיקה