Студопедия

КАТЕГОРИИ:

АвтомобилиАстрономияБиологияГеографияДом и садДругие языкиДругоеИнформатикаИсторияКультураЛитератураЛогикаМатематикаМедицинаМеталлургияМеханикаОбразованиеОхрана трудаПедагогикаПолитикаПравоПсихологияРелигияРиторикаСоциологияСпортСтроительствоТехнологияТуризмФизикаФилософияФинансыХимияЧерчениеЭкологияЭкономикаЭлектроника



Отношения порядка




Читайте также:
  1. II ОБЩИЕ НАЧАЛА ПУБЛИЧНО-ПРАВОВОГО ПОРЯДКА
  2. N-го порядка
  3. V1.1.4) Отношения между родителями и детьми.
  4. VI этап. Оптимизация соотношения внутренних и внешних источников формирования собственных финансовых ресурсов.
  5. VI.1.3) Личные и имущественные отношения супругов.
  6. Аграрное производство и аграрные отношения
  7. Администативно-правовые нормы и административно-правовые отношения
  8. Административно-цравовые отношения
  9. Анализ средней заработной платы и соотношения темпов ее роста с темпами роста производительности труда
  10. Б) изучение потребительского поведения населения; отношения к средствам массовой информации, рекламе;

Определение:Бинарное отношение называется предпорядком(квазипорядком) на множестве А, если оно рефлексивно и транзитивно на множестве А.

Определение:Бинарное отношение называется отношениемчастичногопорядка на множестве А, если оно рефлексивно, транзитивно и антисимметрично на множестве А. Обозначение: .

Определение:Бинарное отношение называется отношениемстрогогопорядка на множестве А, если антирефлексивно, антисимметрично и транзитивно на множестве А. Обозначение: .

Определение:Отношение порядка на множестве А, для которого любые два элемента сравнимы, т.е. : или , называется отношениемлинейногопорядка.

Определение:Множество А с заданным на нём частичным порядком называется частичноупорядоченныммножеством. Обозначение: .

Определение:Множество А с заданным на нём строгим порядком называется строгоупорядоченныммножеством. Обозначение: .

Определение:Элемент частично упорядоченного множества называется максимальным, если .

Определение:Элемент частично упорядоченного множества называется наибольшим, если . Обозначение: .

Определение:Элемент частично упорядоченного множества называется минимальным, если .

Определение:Элемент частично упорядоченного множества называется наименьшим, если . Обозначение: .

Всякое конечное частично упорядоченное множество содержит как максимальные, так и минимальные элементы (причём может не единственные). Наибольший и наименьший элементы частично упорядоченного множества (если они существуют) единственны.

Заметим, что всякий наибольший элемент является максимальным, а всякий наименьший элемент является минимальным. Обратные утверждения, вообще говоря, неверны.

Рассмотрим упорядоченное множество А с введённым на нём отношением порядка . Говорят, что элемент y покрывает элемент x, если и не существует такого элемента , что и .

Если множество А конечно, то упорядоченное множество можно представить в виде схемы, в которой каждый элемент изображается точкой на плоскости, и если y покрывает x, то точки x и y соединяют отрезком, причём точку, соответствующую x, располагают ниже. Такие схемы называют диаграммами Хассе.


Дата добавления: 2015-01-29; просмотров: 6; Нарушение авторских прав







lektsii.com - Лекции.Ком - 2014-2021 год. (0.005 сек.) Все материалы представленные на сайте исключительно с целью ознакомления читателями и не преследуют коммерческих целей или нарушение авторских прав
Главная страница Случайная страница Контакты