X ∩ y ø
1.Математіческая логіка - є наукою про закони математичного мислення. Предметом математичної логіки є математичні теорії в цілому, які вивчаються за допомогою математичних мов. При цьому в першу чергу цікавляться питаннями несуперечливості математичних теорій, їх розбещеності і повноти. Сфера застосування математичної логіки дуже широка. З кожним роком зростає глибоке проникнення ідей і методів математичної логіки в інформатику, обчислювальну математику, лінгвістику, філософію.
3. Безліч - сукупність об'єктів, що володіють певним властивістю, об'єднаних в єдине целое.Об'екти, складові безліч, називаються елементами множини.
Види множин. пусте, кінцеве, нескінченна, впорядковане
Порожня множина - безліч, що не містить жодного елемента. Порожня множина є частиною будь-якого безлічі.
Приклад: Безліч всіх дійсних коренів рівняння порожньо.
Кінцеве безліч - безліч, що складається з кінцевого числа елементів. Основною характеристикою кінцевого безлічі є число його елементів.
Теорія кінцевих множин вивчає правила: як, знаючи кількість елементів деяких множин, обчислити кількість елементів інших множин, які складені з перших за допомогою деяких операцій.
Приклад: Безліч всіх студентів факультету математики та інформатики.
Нескінченна безліч - непорожня множина, яка не є кінцевим.
Приклад: Безліч натуральних чисел є нескінченним.
Впорядкована множина - Безліч, кожному елементу якого поставлено у відповідність деяке число (неміряно цього елемента) від 1 до n, де n - число елементів множини, так що різним елементам відповідають різні числа.
Кожне кінцеве безліч можна зробити впорядкованим, якщо, наприклад, переписати всі елементи в певний список (a, b, c, d.), А затемпоставіть у відповідність кожному елементу номер місця, нк якому він стоїть в списку. Можуть бути різні способи завдання множеств.Одін з них полягає в тому, що дається повний список елементів, що входять у цю множину.
Приклад: Безліч учнів даного класу визначається їх списком у класному журналі, безліч всіх країн на земній кулі - їх списком у класному журналі, безліч всіх кісток в людському тілі - їх списком в підручнику анатомії.
Існують два основних способи завдання множин: перерахування і опис його елементів. Перерахування полягає в отриманні повного списку елементів безлічі, а опис полягає в завданні такого властивості, яким елементи даної множини мають, а все решта немає.
4.Пересеченіемдвухмножеств називають безліч, що складається з усіх загальних елементів цих множин.
Приклад: Візьмемо числа 12 і 18. Знайдемо їх подільники, позначивши всі безліч цих подільників відповідно буквами А і B: А =, B =.
Ми бачимо, що у чисел 12 і 18 є загальні дільники: 1, 2, 3, 6. Позначимо їх літерою C: C =.
Безліч C і є перетином множин А і B. Пишуть це так: А ∩B = C.
Якщо два безлічі не мають спільних елементів, то перетином цих множин є пустоемножество. Порожня множина позначають знаком Ø, а використовують такий запис:
Об'едіненіедвух множин - це множина, яка складається з усіх елементів цих множин.
Для прикладу повернемося до чисел 12 і 18 і безлічі їх елементів A і B. випишемо спочатку елементи множини А, потім додамо до них ті елементи множини B, які не мають в безлічі А. Ми отримаємо безліч елементів, яким володіють А і B в сукупності. Позначимо його буквою D:
Безліч D і є об'єднанням множин A і B. Пишеться це так:
5.Декартовим твором множин A і B називається таке результуюче безліч пар виду (x, y), побудованих таким чином, що перший елемент з безлічі A, а другий елемент пари - з безлічі B. Загальноприйнята позначення:
Твори трьох і більше множин можна побудувати наступним чином:
1.Положім A =, B =. Тоді результат декартова твори можна записати так: A × B =, а B × A =
2.Якщо в попередньому прикладі покласти B = A, очевидно, що A × B = B × A =
6.Разностью множин A і B називається множина елементів, що належать A і не належать B. Позначають A \ B і Новомосковскют "різницю A і B".
Приклад 1. Нехай A є відрізок [1, 3], B - відрізок [2, 4]; тоді об'єднанням буде відрізок [1, 4], перетином - відрізок [2, 3], різницею A \ B - напівінтервал [1, 2), B \ A - напівінтервал (3, 4].
Приклад 2. Нехай A є безліч прямокутників, B - безліч всіх ромбів на площині. Тоді є безліч всіх квадратів, A \ B - безліч прямокутників з нерівними сторонами, B \ A - безліч всіх ромбів з нерівними кутами.
7.Пересеченіе множин є бінарної операцією на довільному булеані;
Операція перетину множин коммутативна:
Операція перетину множин транзитивна:
Універсальне безліч являетсянейтральним елементом операції перетину множин:
Таким чином булеан разом з операцією перетину множин є абельовой групою;
Операція перетину множин ідемпотентна:
Якщо -Нехай безліч. то
8 .Об'едіненіе множин є бінарної операцією на довільному булеані
Операція об'єднання множин коммутативна:
Операція об'єднання множин транзитивна:
Порожня множина являетсянейтральним елементом операції об'єднання множин:
Таким чином булеан разом з операцією об'єднання множин є моноїд;
Операція перетину множин ідемпотентна:
9. Види відносин
1.Бінарное відношення (двучленное відношення). Бінарне відношення в математиці - двомісне відношення між будь-якими двома множинами і, тобто будь-яке підмножина декартова твори цих множин: [1]. Бінарне відношення на множині - будь-яка підмножина, такі бінарні відносини найбільш часто використовуються в математиці, зокрема, такі рівність, нерівність, еквівалентність, відношення порядку.
2.Тернарное ставлення - то ж, що Тримісне відношення (тричлен відношення).
3.Кватернарное ставлення - то ж, що чотиримісне відношення (четирёхчленное відношення)
10.Рефлексівное ставлення в математиці - бінарне відношення на множині, при якому кожен елемент цієї множини перебуває у відношенні з самим собою.
Формально, ставлення рефлексивно, якщо.
Властивість рефлексивності при заданих відносинах матрицею характеризується тим, що всі діагональні елементи матриці дорівнюють 1; при заданих відносинах графом кожен елемент х має петлю - дугу (х. х).
Бінарне відношення на множині є рефлексивним тоді і тільки тоді, коли його підмножиною є тотожне відношення на безлічі (), тобто.
Якщо ця умова не виконана ні для якого елемента безлічі, то відношення називається антирефлексивне (або іррефлексівним).
Якщо антирефлексивне відношення задано матрицею, то все діагональні елементи є нульовими. При завданні такого ставлення графом кожна вершина не має петлі - немає дуг виду (х. Х).
Формально антирефлексивне відносини визначається як:.
Якщо умова рефлексивності виконано не для всіх елементів множини, кажуть, що ставлення нерефлексівному.