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
кінцеве, таке що
залежно. У першому випадку
, а в другому
. І оскільки
замкнуто в силу транзитивності, одержуємо алгебраїчний оператор замикання.
Цим доведено, що замкнуті підмножини утворять алгебраїчну систему замикань.
Виконання властивості заміщення потрібне з відповідної властивості просторів залежності.
Обернено, нехай - алгебраїчний оператор замикання із властивістю заміщення.
Будемо вважати залежним, якщо
для деякого
, і незалежним у противному випадку.
Тому що оператор алгебраїчний, то звідси випливає, що всяка залежна множина має кінцеву залежну підмножину, і оскільки очевидно, що всяка множина, що містить залежну підмножину, саме залежно, у такий спосіб одержуємо відношення залежності. Умова транзитивності виконується по визначенню, і це показує, що ми маємо транзитивне відношення залежності.
Тепер для будь-яких ,
маємо
тоді й тільки тоді, коли
для деякої кінцевої підмножини
множини
. Вибираючи
мінімальним, можемо припускати, що
незалежно. Звідси випливає, що
й, отже,
.
Обернено, якщо , те знову
для деякої кінцевої незалежної підмножини
множини
. Це означає, що
залежно, тобто
для якогось
.
У силу властивості заміщення одержуємо, що й
, тому
.
Зауваження. Існують алгебраїчні оператори замикання, що не володіють властивістю заміщення. Для приклада візьмемо нескінченну циклічну напівгрупу .
Нехай і
. Тоді
,
, але
.
ерел). Розділ 1. Соціологічні підходи до вивчення особистості та її місця в суспільстві 1.1 Зміст поняття «особистість» – соціологічне визначення Особистість як соціальна якість людини є предметом соціальних наук: філософії, соціології, психології та ін. Соціологія досліджує особистість як суб'єкт соціальних відносин, виділяючи в ній соціально-типові характеристики, які розвиваються ...
... тоді вони їй будуть заважати, а не допомагати. Отже, використання програм реабілітації сприяє усвідомленню дитиною необхідності позбавитися від хімічної залежності та скорішому одужанню, поверненню до нормального життя. 2.3 Психокорекційна робота Психологічна корекція базується на консультуванні і припускає цілеспрямований психологічний вплив на клієнта або пацієнта з метою приведення його ...
... полягає в конкретизації вивченого поняття завдяки виконанню вправ, які вимагають практичного застосування одержаних знань. 2. Перевірка ефективності формування комунікативно-мовленнєвих умінь молодших школярів 2.1 Відбір навчального матеріалу до вивчення частин мови в 3 класі Для формування загального поняття про частини мови у 3 класі навчальною програмою виділяється 4 години. При цьому ...
... які потребують впливу. У зв’язку з чим надається правова форма. Щодо процесуальних функцій правосуддя у цивільних справах, то вони не можуть існувати поза правовою формою. 2. Цивільні процесуальні правовідносини мають владний характер. Суд як орган правосуддя застосовує в межах процесуальних відносин норми права. Розпорядження суду є обов’язковими. Можна оскаржити судові рішення, але не можна ...
0 комментариев