59
2.1. Неориентированные графы
2.1.1. Абстрактное определение графа
Строгое абстрактное определение графа можно дать в терми-
нах теории множеств. Пусть Х – произвольное непустое множе-
ство и X×X – его декартов квадрат, т.е. множество всех упо-
рядоченных пар (x
1
, х
2
) из элементов множества Х. Если множе-
ство Х – конечно и состоит из n элементов, то его декартов квад-
рат X×X содержит n
2
пар, и пары (x
1
, х
2
) и (х
2
, x
1
) являются раз-
личными элементами множества X×X при x
1
≠х
2
. Иногда множест-
во X×X называют упорядоченным произведением множества Х на
себя.
Рассмотрим теперь так называемое неупорядоченное произве-
дение Х&Х множества Х на себя, которое определяется как мно-
жество всех неупорядоченных пар из элементов множества X.
Элементы из X&X будем обозначать (x
1
&х
2
). Ясно, что во множе-
стве X&X пары (x
1
&х
2
) и (х
2
&x
1
) не различимы. Если множество X
– конечно и состоит из n элементов, то множество X&X содержит
n(n+1)/2 элементов.
Графом G(V, Е, f) называется совокупность непустого мно-
жества V, изолированного от него произвольного множества Е и
отображения f: Е
→
V&V множества Е в V&V, которое каждому
элементу из Е ставит в соответствие некоторый элемент из V&V.
При этом множества V и Е называются соответственно множе-
ством вершин и множеством ребер графа G(V, Е, f), а
отображение f называется отображением инциденции
этого графа. Граф называется конечным, если множества V и Е
содержат
конечное число элементов.
Рассмотрим пример. Пусть множество V состоит из 7 точек,
V={A,В,C,D,F,Н,P}, а множество Е – из 10 линий
E={a,b,с,d,e,f,g,h,p,l} (см. рис. 2.2).
Тогда отображение f: Е→V&V, определяемое по закону
f: a→(H&H), b→(P&F), c→(B&C), d→(A&B), e→(P&F),
f→(B&H), g→(B&H), h→(A&H), p→(A&B), l→(A&B)
является отображением инциденции для графа G(V, Е, f). Этот
граф имеет 7 вершин
и 10 ребер.