logo
Дискретная математика

Нижняя грань обозначается через . Двойственно, как наименьший элемент множества , определяетсяверхняя грань .

Заметим, что нижняя грань должна принадлежать множеству , и, значит, удовлетворять неравенствамдля всех 1≤in. И среди элементов, удовлетворяющих этим неравенствам, она должна быть наибольшим элементом.

При n=2 нижняя грань множества обозначается , а верхняя .

Пример 1. Пусть (N+, |) – множество положительных натуральных чисел {1, 2, 3, …}, с отношением делимости:

m|n nделится на m (k N+)mk=n .

Тогда нижняя грань mnравна наибольшему общему делителю, аmn– наименьшему общему кратному.

Определение 3. Частично упорядоченное множество (X,) называется нижней (соответственно верхней) полурешеткой, если для любых множествоимеет нижнюю (соответственно верхнюю) грань вX. Если (X,) является нижней и верхней полурешеткой, то оно называется решеткой.

Пример 2. ПустьX– множество. Частично упорядоченное множество (P(X),) подмножеств множестваXс отношением включения будет решеткой.

Пример 3. Частично упорядоченное множество положительных натуральных чисел (N+, |) будет решеткой.