Cтраница 4
Если существуют взаимно однозначные отображения множества А на подмножество множества В и множества В на подмножество множества А, то существует взаимно однозначное отображение множества А на множество В. [46]
![]() |
Шесть различных распределений пометок в графе. [47] |
Таким образом, два помеченных графа Ог и G2 считаются одинаковыми и называются изоморфными тогда и только тогда, когда существует взаимно однозначное отображение множества V ( Gj) на множество V ( G2), сохраняющее не только смежность, но и распределение пометок. [48]
![]() |
Шесть различных распределений пометок в графе. -. - v. [49] |
Таким образом, два помеченных графа G1 и G2 считаются одинаковыми и называются изоморфными тогда и только тогда, когда существует взаимно однозначное отображение множества V ( Gi) на множество V ( G2), сохраняющее не только смежность, но и распределение пометок. [50]
Два множества X и У называются равномощными, или имеющими одинаковую мощность ( или одинаковое кардинальное число), если существует взаимно однозначное отображение множества X на множество У. [51]
Пусть / V - множество всех натуральных чисел и N - множество всех натуральных четных чисел; ср - некоторое отображение N в М Когда найдется взаимно однозначное отображение множества / V в себя, являющееся продолжением отображения ср. [52]
Краеугольным камнем здесь служит теорема Контора-Бернштейна: если существуют взаимно однозначные отображения множества А на подмножество множества В и множества В на подмножество множества Л, то существует взаимно однозначное отображение множества Л на множество В. [53]