Спеціальні бінарні відношення

Нехай , .

Означення. Відношенням еквівалентності називається бінарне відношення на множині, якщо воно рефлексивне, симетричне і транзитивне, тобто:

1) ;

2) ;

3) .

Відношення еквівалентності є узагальненням відношення = на між числами або множинами. Часто позначається спеціальним символом .

Приклади:

1. Відношення рівності на будь-якій числовій множині.

2. Відношення подібності на множині плоских трикутників.

3. Відношення ‘‘мати ту саму остачу від ділення на 7’’ на множині .

елемента множини називається множина всіх елементів множини , які еквівалентні . Позначається

Розбиттям непорожньої множини називається сукупність таких її непорожніх підмножин , які не перерізаються (

), а в об’єднанні складають всю множину

Сукупність всіх класів еквівалентності є розбиттям множини . Справедливе і обернене: Нехай – довільне розбиття множини і для будь-яких елементів задане бінарне відношення належать одному й тому ж класу розбиття. Тоді є відношенням еквівалентності.

Множина всіх класів еквівалентності деякої множини , утворених за відношенням еквівалентності , називається фактормножиною множини за даним відношенням еквівалентності. Позначається .

Означення. Відношенням нестрогого порядку називається бінарне відношення на множині, якщо воно рефлексивне, антисиметричне і транзитивне, тобто:

1)

2) ;

3) .

Відношення нестрогого порядку часто позначається спеціальним символом .

Означення. Відношенням строгого порядку називається бінарне відношення на множині, якщо воно антирефлексивне, асиметричне і транзитивне, тобто

1)

2) ;

3) .

Відношення строгого порядку часто позначається спеціальним символом .

Означення. Множина , на якій задане відношення порядку, називається цілком впорядкованою, якщо будь-які два елементи з знаходяться в цьому відношенні і частково впорядкованою в противному випадку.

Приклади:

1. і – відношення нестрогого порядку для чисел; і – відношення строгого порядку. Обидва відношення цілком впорядковують множини і .

1) рефлексивність: ;

2) антисиметричність: ;

3) транзитивність: .

Означення. Відношенням лінійного порядку називається зв’язне відношення нестрогого порядку, тобто

1)

2) ;

3) .

4) .

Означення. Відношенням строгого лінійного порядку називається зв’язне відношення строгого порядку, тобто

1)

2) ;

3) .

4) .

Означення. Множина , на якій задане відношення лінійного порядку, називається лінійно впорядкованою.

Означення. Відношення називається відношенням толерантності, якщо воно рефлексивне, симетричне, але не транзитивне.

Означення. Відношення називається відношенням домінування, якщо воно антирефлексивне, асиметричне і для нього може не виконуватися властивість транзитивності.

Дата добавления: 2014-01-11; Просмотров: 1904; Нарушение авторских прав?; Мы поможем в написании вашей работы!