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

О новых парадоксах в теории множеств и топологическом подходе к их исследованию - 5

Построение "родственных" последовательностей автоморфизмов.

Авторы
Тэги
Тематические рубрики
Предметные рубрики
В этом же номере:
Резюме по документу**
В работах [1–4] было показано, что существуют неизоморфные деревья, 1T и 2T , которые «почти изоморфны» друг другу, одно из которых «странное» (не имеющее «сквозных» путей), а второе содержит сквозные пути. <...> Основным в ней является построение «факторизованного» дерева («родственных» последовательностей) автоморфизмов и доказательство того факта, что это дерево может содержать на верхнем уровне, кроме «основных», «дополнительные» элементы-классы, являющиеся странными поддеревьями, которые почти изоморфны основным, являющимся сквозными поддеревьями. <...> Определим T , где Tβ – ординал v , (понимаемый, как множество всех меньших ординалов), отображающую T на Tβ , для которой: <...> Дерево будем называть конечным, если ωα <T дереве. и множество переходов из любой вершины на вершины следующего уровня (дочерние вершины) конечно. <...> Если вершина v находится на уровне k , то путь от корневой вершины до v есть множество вершин, упорядоченное по типу (т. е. изоморфное ординалу k + 1). <...> Если высота дерева Tα выражена предельным ординалом, то имеет место «странный» случай, когда на уровне Tα нет вершин (а на всех меньших уровнях есть). <...> Когда речь идет об изоморфизме деревьев, то предполагается, что он отражает разбиение на белые 3 ω и черные и для вершин верхнего уровня. <...> Если при этом он заканчивается в вершине уровня T height ( )T α = , то путь будем называть сквозным. <...> Нефинальную вершину дерева будем называть сквозной, если существует сквозной путь, проходящий через нее. <...> В странном дереве нет сквозных путей и, следовательно, нет сквозных вершин. <...> Для случая, когда i α< , будем называть почти сквозной, если для всякого j , i α<< j T T , существует путь, начинающийся в ней α T – непредельный ординал, понятия почти сквозной и сквозной вершин совпадают. <...> В случае предельного Tα нефинальную вершину, находящуюся на уровне и заканчивающийся в некоторой вершине уровня j . <...> Вершину дерева T T будем называть странной, если большое поддерево с корнем в данной вершине <...>
** - вычисляется автоматически, возможны погрешности

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