Доклад: Множини і відношення
1. Коротка історична довідка
Основи теорії множин були закладені відомим німецьким математиком Георгом Кантором у другій половині минулого століття. Поява теорії множин була зустрінута з ентузіазмом багатьма авторитетними математиками. Вони побачили в ній можливість створення метамови математики, тобто формальної одностайної системи понять і принципів, за допомогою якої можна було б викласти з єдиних позицій зміст різноманітних традиційно далеких один від одного розділів математики. Перші такі досить успішні спроби були виконані вже незабаром після виникнення канторівської теорії множин.
Однак пізніші дослідники виявили в теорії Кантора чимало суперечностей: так званих парадоксів або антиномій теорії множин. Виникла кризова ситуація. Одна частина математиків, посилаючись на штучність сформульованих антиномій, вважала за краще не помічати ці суперечності або не надавати їм великого значення. У той час як інша (скажімо, відповідальніша) група математиків зосередила свої зусилля на пошуках більш обгрунтованих та точних принципів і концепцій, на яких могла б бути побудована несуперечлива теорія множин.
У результаті було запропоновано кілька формальних (або аксіоматичних) систем, які служать фундаментом сучасної теорії множин, а значить, фундаментом всієї класичної математики. Важливість цих досліджень серед іншого підкреслює той факт, що значний внесок у становлення аксіоматичної теорії множин зробили такі видатні математики і мислителі нашого століття, як Б.Рассел, Д.Гільберт, К.Гедель та ін.
Сьогодні теорія множин - це математична теорія, на якій грунтується більшість розділів сучасної математики, як неперервної, так і дискретної.
Докладніше з історією виникнення та розвитку теорії множин можна ознайомитись, прочитавши цікаву монографію А.Френкеля і І.Бар-Хіллела "Основи теорії множин" або книгу М.Клайна "Математика. Втрата певності".
2. Поняття множини. Способи задання множин
Для наших цілей достатньо буде викладення основ так званої інтуїтивної або наївної теорії множин, яка в головних своїх положеннях зберігає ідеї та результати засновника теорії Г.Кантора.
В інтуїтивній теорії множин поняття "множина " належить до первинних невизначальних понять, тобто воно не може бути означено через інші більш прості терміни або об’єкти, а пояснюється на прикладах, апелюючи до нашої уяви та інтуіції. Такими поняттями в математиці є також поняття "число", "пряма", "точка", "площина" тощо.
Канторівський вираз: "Множина - це зібрання в єдине ціле визначених об’єктів, які чітко розрізняються нашою інтуіцією або нашою думкою" - безумовно не може вважатися строгим математичним означенням, а є скоріше поясненням поняття множини, яке заміняє термін "множина" на термін "зібрання". Іншими синонімами основного слова "множина" є "сукупність", "набір", "колекція", "об’єднання" тощо.
Прикладами множин можуть служити: множина десяткових цифр, множина літер українського алфавіту, множина мешканців Києва, множина парних чисел, множина розв’язків деякого рівняння та ін.
На письмі множини позначаються, як правило, великими літерами. Для деяких множин у математиці вживаються сталі позначення. Наприклад, Z - множина цілих чисел, N - множина натуральних чисел, Q - множина раціональних чисел, R - множина дійсних чисел тощо.
Об’єкти, з яких складається задана множина, називаються її елементами . Елементи множин позначатимемо малими літерами латинського алфавіту. Той факт, що об’єкт a є елементом множини M записується так: a ÎM (читається: "a належить M " або"a є елемент M "). Знак належності елемента множині Î є стилізацією першої літери грецького слова esti (бути). Для того, щоб підкреслити, що деякий елемент a не належить множині M , вживають позначення a ÏM або a M .
Запис a ,b ,c ,...ÎM використовують для скорочення запису a ÎM , b ÎM , c ÎM ,....
Множину називають скінченною , якщо кількість її елементів скінченна, тобто існує натуральне число k , що є числом елементів цієї множини. У противному разі множина є нескінченною .
Для задання множини , утвореної з будь-яких елементів, будемо використовувати два такі способи. В основі обох із них лежить позначення множини за допомогою фігурних дужок.
1. Якщо a 1 ,a 2 ,...,an - деякі об’єкти, то множина цих об’єктів позначається через {a 1 ,a 2 ,...,an }, де у фігурних дужках міститься перелік усіх елементів відповідної множини. З останнього зауваження випливає, що в такий спосіб можуть бути задані тільки скінченні множини. Порядок запису елементів множини при цьому позначенні є неістотним.
Приклад 1.1. Множина десяткових цифр записується {0,1,2,3,4,5,6,7,8,9}, множина основних арифметичних операцій - {+,-,*,/} або {*,/,+,-}, множина розв’язків нерівності (x -1)2 £ 0 - {1}.
Слід пікреслити, що однією з основних ідей канторівської теорії множин був розгляд множини як нового самостійного об’єкта математичного дослідження. Тому необхідно розрізняти такі два різні об’єкти, як елемент a і множина {a }, яка складається з єдиного елемента a . Зокрема, множини можуть виступати в ролі елементів якоїсь іншої множини. Наприклад, множина всіх можливих пар з елементів a , b і c D = {{a ,b },{a ,c },{b ,c }} складається з трьох елементів і задана цілком коректно.
2. Другий спосіб задання множин грунтується на зазначенні загальної властивості або породжувальної процедури для всіх об’єктів, що утворюють описувану множину.
У загальному випадку задання множини M має вигляд:
M = {a | P (a )}.
Цей вираз читається так: "множина M - це множина всіх таких елементів a , для яких виконується властивість P ", де через P (a ) позначено властивість, яку мають елементи множини M і тільки вони. Замість вертикальної риски іноді записують двокрапку.
Приклад 1.2.
S = { n | n - непарне число } або S = { n | n = 2k +1, k ÎZ },
X = { x | x = pk , k ÎZ },
F = { fi | fi +2 = fi +1 + fi , i ÎN , f 1 = f 2 = 1 }.
Другий спосіб є більш загальним способом задання множин. Наприклад, введену вище множину D всіх пар з елементів a , b і c можна задати так
D = { {x ,y } | x Î{a ,b ,c }, y Î{a ,b ,c } і x ¹y }. (1.1)
З метою зручності та одностайності при проведенні математичних викладок вводиться поняття множини, яка не містить жодного елемента. Така множина називається порожньою множиною і позначається Æ. Наприклад, якщо досліджується множина об’єктів, які повинні задовольняти певній властивості, і в подальшому з’ясовується, що таких об’єктів не існує, то зручніше сказати, що шукана множина порожня, ніж оголосити її неіснуючою. Порожню множину можна означати за допомогою будь-якої суперечливої властивості, наприклад: Æ={x | x ¹x } тощо. Разом із тим, твердженням "множина M - непорожня" можна замінювати рівносильне йому твердження "існують елементи, які належать множині M ".
--> ЧИТАТЬ ПОЛНОСТЬЮ <--