РУсскоязычный Архив Электронных СТатей периодических изданий
Актуальные проблемы современной науки/2012/№ 1/

О новых парадоксах в теории множеств и топологическом подходе к их исследованию - 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 <...>
** - вычисляется автоматически, возможны погрешности

Похожие документы: