4. Зв'язок транзитивних відносин залежності з операторами замикання

Транзитивне відношення залежності також може бути описане за допомогою алгебраїчного оператора замикання деякого типу. Для початку сформулюємо визначення використовуваних понять.

Визначення 13.

Множина E підмножин множини A називається системою замикань, якщо  E і система E замкнута щодо перетинань, тобто ∩D E для кожної непустої підмножини D E

Визначення 14.

Оператором замикання на множині A називається відображення J множини B (A) у себе, що володіє наступними властивостями:

 

J. 1. Якщо , то J(X) J(Y);

J. 2. X J(X);

J. 3. JJ(X) = J(X), для всіх X, Y B (A).

 

Визначення 15.

Оператор замикання J на множині A називається алгебраїчним, якщо для будь-яких  і   тягне  для деякої кінцевої підмножини  множини .

Визначення 16.

Система замикань називається алгебраїчної, якщо тільки відповідний оператор замикання є алгебраїчним

Слід зазначити теорему про взаємозв'язок між системами замикань і операторами замикань.

Теорема 5.

Кожна система замикань E на множині  визначає оператор замикання J на  за правилом J(X) = ∩{Y E | Y X}. Обернено, кожний оператор замикання J на  визначає систему замикань E  J .

Наступна теорема показує зв'язок транзитивного відношення залежності й алгебраїчного оператора замикання.

Теорема 6.

Для будь-якого транзитивного відношення залежності  Z відображення  є алгебраїчним оператором замикання на А із властивістю заміщення.

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

Доказ:

Будемо називати підмножину Т множини A замкнутим, якщо .

Покажемо спочатку, що замкнуті підмножини утворять систему замикань. Якщо , де  - сімейство замкнутих множин, то нехай  - така незалежна підмножина множини B, що  залежно; оскільки  для всіх , маємо , звідки , тобто В замкнуто.

Нехай , те по визначенню 3  Z  кінцеве, таке що залежно. У першому випадку , а в другому . І оскільки  замкнуто в силу транзитивності, одержуємо алгебраїчний оператор замикання.

Цим доведено, що замкнуті підмножини утворять алгебраїчну систему замикань.

Виконання властивості заміщення потрібне з відповідної властивості просторів залежності.

Обернено, нехай  - алгебраїчний оператор замикання із властивістю заміщення.

Будемо вважати  залежним, якщо  для деякого , і незалежним у противному випадку.

Тому що оператор алгебраїчний, то звідси випливає, що всяка залежна множина має кінцеву залежну підмножину, і оскільки очевидно, що всяка множина, що містить залежну підмножину, саме залежно, у такий спосіб одержуємо відношення залежності. Умова транзитивності виконується по визначенню, і це показує, що ми маємо транзитивне відношення залежності.

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

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

У силу властивості заміщення одержуємо, що  й , тому .

Зауваження. Існують алгебраїчні оператори замикання, що не володіють властивістю заміщення. Для приклада візьмемо нескінченну циклічну напівгрупу .

Нехай і . Тоді , , але .


Информация о работе «Вивчення поняття відносин залежності»
Раздел: Математика
Количество знаков с пробелами: 26967
Количество таблиц: 0
Количество изображений: 0

Похожие работы

Скачать
53874
0
0

ерел). Розділ 1. Соціологічні підходи до вивчення особистості та її місця в суспільстві   1.1 Зміст поняття «особистість» – соціологічне визначення Особистість як соціальна якість людини є предметом соціальних наук: філософії, соціології, психології та ін. Соціологія досліджує особистість як суб'єкт соціальних відносин, виділяючи в ній соціально-типові характеристики, які розвиваються ...

Скачать
147909
3
0

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

Скачать
168004
4
1

... полягає в конкретизації вивченого поняття завдяки виконанню вправ, які вимагають практичного застосування одержаних знань. 2. Перевірка ефективності формування комунікативно-мовленнєвих умінь молодших школярів   2.1 Відбір навчального матеріалу до вивчення частин мови в 3 класі Для формування загального поняття про частини мови у 3 класі навчальною програмою виділяється 4 години. При цьому ...

Скачать
61112
1
2

... які потребують впливу. У зв’язку з чим надається правова форма. Щодо процесуальних функцій правосуддя у цивільних справах, то вони не можуть існувати поза правовою формою. 2.   Цивільні процесуальні правовідносини мають владний характер. Суд як орган правосуддя застосовує в межах процесуальних відносин норми права. Розпорядження суду є обов’язковими. Можна оскаржити судові рішення, але не можна ...

0 комментариев


Наверх