Cтраница 2
Конечное множество не может быть эквивалентно своему строгому подмножеству. Это доказывается индукцией по числу / г его элементов. Наоборот, любое бесконечное множество А эквивалентно некоторому своему строгому подмножеству. Действительно, выделим элемент di ЕЕ А и положим Аг Х) d А. [16]
Конечные множества сравниваются по запасу их элементов просто - нужно сравнить числа элементов в этих множествах. Представляет интерес другой способ сравнения, относящийся к случаям, когда числа элементов велики и фактический подсчет числа требует много времени. Контролер в кинотеатре перед началом сеанса по наличию пустых кресел делает вывод о том, что не все билеты проданы, то есть, что число зрителей меньше числа мест в зале. При этом фактически используется тот факт, что между множеством зрителей и занятыми ими креслами устанавливается взаимно однозначное соответствие. [17]
Конечное множество удовлетворяет условиям минимальности н максимальности. [18]
Конечное множество точек называется циклом отображения А, если А переставляет их циклически. [19]
Конечное множество плеисов р с произвольно приписанными целыми показателями степени d определяют некоторый дивизор D поля К. [20]
Конечное множество точек не имеет предельных точек. [21]
Конечное множество плеисов V с произвольно приписанными целыми показателями степени d определяют некоторый дивизор D поля К. [22]
Каждое конечное множество можно сделать вполне упорядоченным, выписав все его элементы в определен -, ном порядке. [23]
Каждое конечное множество не может быть равномощно с каким-либо собственным объемлющим множеством. [24]
Заданы конечные множества М, N, векторы с IN ], Ъ Ш ] и матрица а [ М, N ], в каждом столбце которой содержится по одному или по два ненулевых элемента. [25]
Заданы конечное множество С ( С1, С2 Cm) городов, расстояние d ( C /, Q) e Z. Здесь Z означает положительные целые числа. [26]
Рассмотрим конечное множество узлов, каждый из которых представляет возможную позицию в игре. Для каждой позиции существует некоторое количество, может быть равное нулю, ходов, которые преобразуют данную позицию в некоторую другую позицию. [27]
Алгоритм-это конечное множество правил, определяющее процесс переработки данных и имеющее следующие свойства. [28]
Такие конечные множества называют равночисленными. [29]
Каждое конечное множество не может быть равномощно с каким-либо собственным объемлющим множеством. [30]