НОУ ИНТУИТ | Графы и их применение. Лекция 6: Бесконечные графы

Учитесь и получайте официальные документы БЕСПЛАТНО. Вы можете поддержать наш проект.

Регистрация Вход

Твой путь к знаниям!

Опубликован: 25.07.2006 | Уровень: для всех | Доступ: платный | ВУЗ: Новосибирский Государственный Университет

|

Вам нравится? Нравится 31 студенту

| Поделиться |

Поддержать программу

Аннотация: Бесконечные графы. Краткий обзор свойств бесконечных эйлеровых графов.

Ключевые слова: Бесконечный граф, бесконечное множество, вершины, ребра, множества, счетный граф, изолированная вершина, инцидентность, подграф, объединение, Степень вершины, бесконечного графа, мощность множества, степень вершины, граф, конечные, локально конечный, Локально счетный бесконечный граф, взаимно однозначное отображение, локально счетный бесконечный граф, вершина, множество вершин, ПО, локально конечный, Конечный маршрут, Бесконечный в одну сторону маршрут, начальная вершина, Бесконечный в обе стороны маршрут, Бесконечная последовательность, простая цепь, ребро, значение, плоская укладка, аксиома, Связный бесконечный граф, называется эйлеровым, эйлерова цепь, полуэйлеров, Связный граф, доказательство

Бесконечные графы

В данной лекции мы обобщим некоторые определения на случай бесконечных графов. Бесконечным графом называется пара (V(G) , E(G)) , где V(G) — бесконечное множество элементов, называемое вершинами, а E(G) — бесконечное семейство неупорядоченных пар элементов из V(G) , называемых ребрами.

Если оба множества V(G) и E(G) — счетны, то называется счетным графом. Заметим, что наши определения исключают те случаи, когда V(G) — бесконечно, а E(G) — конечно. Такие объекты являются всего лишь конечными графами с бесконечным множеством изолированных вершин. Когда E(G) — бесконечно, а V(G) — конечно, такие объекты являются конечными графами с бесконечным числом петель или кратных ребер.

Некоторые определения таких понятий, как "смежный", "инцидентный", "изоморфный", "подграф", "объединение", "связный", "компонента" переносятся на бесконечные графы. Степенью вершины бесконечного графа называется мощность множества ребер, инцидентных Степень вершины может быть конечной или бесконечной. Бесконечный граф, все вершины которого имеют конечные степени, называется локально конечным. Хорошо известным примером такого графа является бесконечная квадратная решетка, часть которой изображена на рисунке. Локально счетный бесконечный граф — это граф, все вершины которого имеют счетную степень. Под счетным множеством здесь и в дальнейшем понимается бесконечное множество, допускающее взаимно однозначное отображение на множество натуральных чисел.

Теорема Каждый связный локально счетный бесконечный граф является счетным.

Доказательство

Пусть — произвольная вершина такого бесконечного графа, и пусть $v_{1}$ — множество вершин, смежных , $v_{2}$ — множество всех вершин, смежных вершинам из $v_{1}$ , и т.д. По условию теоремы $v_{1}$ — счетно и, следовательно, множества $v_{2},v_{3},\ldots$ тоже счетны. Здесь используется тот факт, что объединение не более чем счетного множества счетных множеств счетно. Следовательно, $\{v\},v_{1},v_{2},\ldots$ — последовательность множеств, объединение которых счетно. Кроме того, эта последовательность содержит каждую вершину бесконечного графа в силу его связности. Отсюда и следует нужный результат.

Следствие Каждый связный локально конечный бесконечный граф является счетным.

Помимо этого, на бесконечный граф можно перенести понятие маршрута, причем тремя различными способами:

Конечный маршрут в определяется так. Маршрутом в данном графе называется конечная последовательность ребер вида $\{v_{0},v_{1}\}$ , $\{v_{1},v_{2}\} \dts \{v_{m-1},v_{m}\}$ . Маршрут можно обозначить и так: $v_{0} \to v_{1} \to v_{2} \to \ldots \to v_{m}$ .
Бесконечным в одну сторону маршрутом в с начальной вершиной $v_{0}$ называется бесконечная последовательность ребер вида $\{v_{0},v_{1}\}$ , $\{v_{1},v_{2}\}\ldots$ .
Бесконечным в обе стороны маршрутом в графе называется бесконечная последовательность ребер вида $\ldots,\{v_{-2},v_{-1}\},\{v_{-1},v_{0}\}$ , $\{v_{0}, v_{1}\},\{v_{1},v_{2}\},\ldots$

Бесконечные в одну сторону и в обе стороны цепи и простые цепи определяются очевидным образом, так же как и понятия длины цепи и расстояния между вершинами. Бесконечные простые цепи не так уж трудно обнаружить.

Теорема 6.1. (Кениг, 1936) Пусть — связный локально конечный бесконечный граф, тогда для любой вершины существует бесконечная в одну сторону простая цепь с начальной вершиной .

Доказательство

Если — произвольная вершина графа , отличная от , то существует нетривиальная простая цепь от до , отсюда следует, что в имеется бесконечно много простых цепей с начальной вершиной . Поскольку степень конечна, то бесконечное множество таких простых цепей должно начинаться с одного и того же ребра. Если таким ребром является $\{ v,v_{1} \}$ , то, повторяя эту процедуру для вершины $v_{1}$ , получим новую вершину $v_{2}$ и соответствующее ей ребро $\{v_{1},v_{2}\}$ . Продолжая таким образом, получим бесконечную в одну сторону простую цепь $v\to v_{1} \to v_{2}\ldots$ .

Важное значение леммы Кенига состоит в том, что она позволяет получить результаты о бесконечных графах из соответствующих результатов для конечных графов. Типичным примером является следующая теорема.

Теорема 6.2. Пусть — счетный граф, каждый конечный подграф которого планарен, тогда и планарен.

Доказательство Так как — счетный граф, его вершины можно занумеровать в последовательность $v_{1},v_{2},v_{3},\ldots$ . Исходя из нее, построим строго возрастающую последовательность $G_{1} \subset G_{2} \subset G_{3} \ldots$ подграфов графа , выбирая в качестве $G_{k}$ подграф с вершинами $v_{1}\dts v_{k}$ и ребрами графа , соединяющими только эти вершины между собой. Далее, примем на веру тот факт, что графы $G_{i}$ могут быть уложены на плоскости конечным числом, скажем m(i) , топологически различных способов, и построим еще один бесконечный граф . Его вершины $w_{ij} ({i\ge 1}$ , ${1\le j\le m(i))}$ пусть соответствуют различным укладкам графов $\{G_{i}\}$ , а его ребра соединяют те из вершин $w_{ij}$ и $w_{kl}$ , для которых k=i+1 и плоская укладка, соответствующей $w_{ij}$ . Мы видим, что граф связен и локально конечен, поэтому, как следует из леммы Кенига, он содержит бесконечную в одну сторону простую цепь. А так как граф является счетным, то эта бесконечная простая цепь и дает требуемую плоскую укладку графа .

Стоит подчеркнуть, что если принять дальнейшие аксиомы теории множеств, в частности, аксиому выбора для несчетных множеств, то многие результаты можно перенести и на такие бесконечные графы, которые необязательно являются счетными.

Дальше >>

Графы и их применение

Графы и их применение

Бесконечные графы

Бесконечные графы

Вопросы и ответы

Студенты

Авторизоваться

Графы и их применение

Графы и их применение

Бесконечные графы

Бесконечные графы

Вопросы и ответы

Студенты