Студопедия

КАТЕГОРИИ:

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



Малюнок № 1.8. Перетин множин AÇB.




Читайте также:
  1. Визначення добутку на множині цілих невід’ємних чисел, його існування та єдиність. Операція множення та її основні властивості (закони).
  2. Визначення суми на множині цілих невід’ємних чисел, її існування та єдиність. Операція додавання та її основні властивості (закони).
  3. Відношення еквівалентності та порядку, їх властивості. Впорядковані множини. Зв'язок відношення еквівалентності з розбиттям множини на класи, що попарно не перетинаються.
  4. Відношення порядку на множині невід’ємних раціональних чисел.
  5. Властивості множини невід’ємних раціональних чисел.
  6. Діаграма № 2.7. Множина істинності еквіваленції предикатів.
  7. Діаграма № 5.1. Співвідношення між числовими множинами Q, Z, N.
  8. Елементи теорії множин
  9. Зчисленні множини
  10. Інтерпретація множини дійсних чисел

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

1. AÇÆ=Æ.

2. AÇИ=A.

3. AÇA=A - закон ідемпотентності (незмінності).

4. AÇB=BÇA - переставний (комутативний).

5. АÇ(ВÇС)=(АÇВ)ÇС – сполучний (асоціативний).

6. АÇ(ВÈС)=(АÇВ)È(АÇС) – розподільний (дистрибутивний) закон перетину відносно об’єднання.

7. АÈ(ВÇС)=(АÈВ)Ç(АÈС) – розподільний (дистрибутивний) закон об’єднання відносно перетину.

Справедливість законів 1-3 легко обґрунтувати, виходячи із означення операції перетину, а закони 4-7 слід довести, використовуючи міркування чи діаграми Ейлера-Венна. Доведемо асоціативний закон операції перетину (AÇB)ÇС=AÇ(BÇС), використовуючи діаграми Ейлера-Венна (див. малюнок № 1.9.). На лівій діаграмі спочатку заштрихуємо вертикальними лініями множину AÇB, а горизонтальними - множину С. Тоді множина (AÇB)ÇС зобразиться тією частиною універсальної множини, на якій штрихи накладуться. На правій діаграмі заштрихуємо спочатку вертикальними лініями множину BÇС, а множину А - горизонтальними. Тоді множина AÇ(BÇС) зобразиться тією частиною універсальної множини, на якій штрихи накладуться. Порівнюючи ліву та праву діаграми, бачимо, що множини (AÇB)ÇС і AÇ(BÇС) зображаються однієї й тією ж частиною універсальної множини. А це означає, що рівність (AÇB)ÇС=AÇ(BÇС) справедлива. Отже, закон доведено.

Операції об’єднання та перетину множин пов’язані між собою дистрибутивними або розподільними законами. Доведемо один із цих законів, а саме АÈ(ВÇС)=(АÈВ)Ç(АÈС), використовуючи міркування. Оскільки дві множини вважаються рівними тоді, коли кожен елемент першої є елементом другої, і навпаки, кожен елемент другої є елементом першої множини, то доведення складатиметься з двох частин. У першій частині доведемо, що кожен елемент лівої частини рівності належить правій, а в другій – що кожен елемент правої частини є елементом лівої. Виберемо у лівій частині рівності довільний елемент хєАÈ(ВÇС). Якщо хÎАÈ(ВÇС), то згідно означення операції об’єднання множин можливі два випадки: а) хєА і хÏВÇС; б) хÏА і хєВÇС, тоді хєВ і хєС; в) хєА і хєВÇС, тоді хєА, хєВ і хєС.



       
   

 

 


Малюнок № 1.9. Доведення асоціативного закону операції перетину(AÇB)ÇС=AÇ(BÇС) .

 

а) якщо хєА і хÏВÇС, то хÏВ або хÏС. Тоді, згідно означення операції об’єднання хє(АÈВ) і хє(АÈС), а згідно означення операції перетину хє(АÈВ)Ç(АÈС), тобто правій частині рівності.

б) якщо хÏА і хєВÇС, то хєВ і хєС, а тому хє(АÈВ) і хє(АÈС). Отже, хє(АÈВ)Ç(АÈС), тобто правій частині рівності.

в) якщо хєА і хєВÇС, то згідно означення операції перетину хєВ і хєС. Тоді, згідно означення операції об’єднання хє(АÈВ) і хє(АÈС), а згідно означення операції перетину хє(АÈВ)Ç(АÈС), тобто правій частині рівності.



Таким чином, вибравши у лівій частині рівності довільний елемент, який їй належить, ми показали, що будь-який елемент лівої частини рівності належить правій частині рівності. Оскільки в лівій частині елемент ми вибирали довільно, то наші міркування можна повторити для будь-якого елемента лівої частини. Отже, кожен елемент лівої частини рівності є елементом правої частини рівності. Це означає, що (АÈ(ВÇС))Ì((АÈВ)Ç(АÈС)). Перша частина теореми доведена.

Проведемо доведення другої частини: покажемо, що кожен елемент правої частини рівності є елементом лівої. Нехай ує(АÈВ)Ç(АÈС). Тоді згідно означення операції перетину множин маємо: ує(АÈВ) і ує(АÈС). Тут можливі два випадки: а) уєА і уÏВ; б) уÏА і уєВ, а тоді уєС.

а) якщо уєА і уÏВ, то згідно означення операції об’єднання ує(АÈ(ВÇС)), тобто лівій частині.

б) якщо уєВ і уєС, то згідно означення операції перетину ує(ВÇС), а згідно означення операції об’єднання ує(АÈ(ВÇС)), тобто лівій частині. Таким чином, в обох випадках, якщо елемент належить правій частині, то він належить і лівій.

Оскільки елемент у правій частині ми вибрали довільно, то наші міркування можна повторити для кожного із елементів правої частини. Отже, кожен елемент правої частини є елементом лівої. Це означає, що справедливе твердження ((АÈВ)Ç(АÈС))Ì(АÈ(ВÇС)). Другу частину доведено.

Таким чином, у першій частині ми довели, що (АÈ(ВÇС))Ì((АÈВ)Ç(АÈС)), тобто, що кожен елемент лівої частини є елементом правої, а в другій частині – ((АÈВ)Ç(АÈС))Ì(АÈ(ВÇС)), тобто, що кожен елемент правої частини є елементом лівої. Отже, згідно означення рівності множин, маємо АÈ(ВÇС)=(АÈВ)Ç(АÈС), тобто ліва і права частини рівності складаються з одних і тих самих елементів. А це означає, що справедливість закону доведено.



Готуючись до екзамену студент має право доводити відповідні закони будь-яким із наведених способів. Для оволодіння способами доведення пропонуємо студентам довести самостійно всі не доведені закони будь-яким із запропонованих двох способів.

 


Дата добавления: 2014-12-03; просмотров: 43; Нарушение авторских прав







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