О новых парадоксах в теории множеств и топологическом подходе к их исследованию - 6
Продолжение исследования проблемы "странности" деревьев.
Авторы
Тэги
Тематические рубрики
Предметные рубрики
В этом же номере:
Резюме по документу**
С этой целью в разделе 3 введено дерево изоморфизмов (изоморфных) деревьев и
показано существование «дополнительных классов» как следствие существования странных
деревьев, что противоречит интуиции. <...> Пусть T – непустое множество (содержащее больше одного элемента) с отношением частичного
порядка ""p , при котором: (1) каждая цепь (линейно упорядоченное множество)
является вполне упорядоченным множеством; (2) существует единственный элемент RvT ,
для которого Rvvp для всех vT ; (3) если 12,uv u vpp , то либо 12
21
uu vpp , либо
uu vpp ; (4) за каждой цепью, не имеющей последнего элемента, непосредственно следует
единственный элемент T . <...> Будем говорить, что вершина дерева lv (на уровне l ) продолжает вершину kv (на уровне
k ), если kl
88
Актуальные проблемы современной науки, 1, 2012
если – непредельный. <...> Будем говорить, что T есть дерево высоты Tα (α=T height T ), и что
=
()
при kl ()ev v
вершина v находится на уровне k дерева T (будем также говорить, что вершина
v имеет ранг k ). <...> Дерево будем называть конечным, если Tα <ω и множество переходов из любой вершины
на вершины следующего уровня (дочерние вершины) конечно. <...> Из корневой вершины существует единственный
путь до любой вершины дерева T . <...> Если вершина v находится на уровне k , то путь от корневой
вершины до v (включительно) есть множество вершин, изоморфное ординалу
Если за данной вершиной дерева не следует никакой вершины, то вершину будем называть
финальной. <...> Если высота дерева
Tα выражена предельным ординалом, то может иметь место случай, когда на уровне
α T нет вершин (а на всех меньших уровнях есть). <...> Очевидно, что в случае простого дерева информация о цвете вершин определяется
только структурой дерева. <...> Под изоморфизмом деревьев будем понимать взаимно-однозначное со3ω
2ω
ω
ответствие,
сохраняющее порядок. <...> Если при этом сохраняется также цвет
вершин (на всех уровнях), то будем говорить о сильном изоморфизме. <...> Если при этом он заканчивается в вершине уровня
()
α=T height T <...>
** - вычисляется автоматически, возможны погрешности
Похожие документы: