(AÇB) ´C = (A´C)Ç(B´C),
A´ (BÈC) =(A´B) È (A´C), (1.8)
A´ (BÇC) =(A´B)Ç(A´C).
Проекцією на i-у вісь (або i-ою проекцією) кортежу w=(a1,a2,...,an) називається i-а координата ai кортежу w, позначається Pri(w) = ai.
Проекцією кортежу w=(a1,a2,...,an) на осі з номерами i1,i2,...,ik називається кортеж (ai1,ai2,...,aik), позначається Рri1,i2,...,ik(w) = (ai1,ai2,...,aik).
Нехай V - множина кортежів однакової довжини. Проекцією множини V на i-у вісь (позначається PriV ) називається множина проекцій на i-у вісь усіх кортежів множини V:
PriV = { Pri(v) | vÎV }.
Аналогічно означається проекція множини V на декілька осей:
Pri1,i2,...,ikV = { Pri1,i2,...,ik(v) | vÎV }.
Приклад 1.10. Pri1,i2,...,ik( A1´A1´...´An ) = Ai1´Ai2´... ´Aik.
Якщо V={(a,b,c),(a,c,d),(a,b,d)}, то Pr1V={a}, Pr2V={b,c}, Pr2,3V={(b,c),(c,d), (b,d)}.
6. Відповідності, функції і відображення
Відповідністю між множинами A і B називається будь-яка підмножина CÍA´B.
Якщо (a,b)ÎC, то кажуть, що елемент b відповідає елементу a при відповідності C.
Поняття віповідності можна проілюструвати за допомогою так званого графіка відповідності. Нехай A={1,2,3,4,5} і B={a,b,c,d}, а C = {(1,a),(1,d),(2,с), (2,d),(3,b),(5,а),(5,b)} - відповідність між A і B. Позначимо через 1,2,3,4,5 вертикальні прямі, а через a,b,c,d - горизонтальні прямі на координатній площині (рис.1.2). Тоді виділені вузли на перетині цих прямих позначають елементи відповідності C і утворюють графік відповідності C.
Рис.1.2.
Відповідність можна задавати, визначаючи співвідношення, яким мають задовольняти її обидві координати. Наприклад, якщо розглянемо класичну координатну площину R2=R´R, то маємо такі відповідності C1={(x,y) | x2 + y2 = 1}, C2 = {(x,y) | y = x2 }, C3 = {(x,y)| |x|£1, |y|£1}. Графіком відповідності C1 є коло радіуса 1 з центром у початку координат, графіком C2 - квадратична парабола, а графіком C3 - всі точки квадрата з вершинами (-1,-1),(-1,1),(1,1) і (1,-1).
Припустимо, що CÍA´B деяка відповідність.
Множина Pr1C називається областю визначення, а множина Pr2C - областю значень відповідності C (інші позначення - dС і rС відповідно).
Якщо Pr1C=A, то відповідність C називається всюди або повністю визначеною. В противному разі відповідність називається частковою.
Образом елемента aÎPr1C при відповідності C називається множина всіх елементів bÎPr2C, які відповідають елементу a.
Прообразом елемента bÎPr2C при відповідності C називається множина всіх тих елементів aÎPr1C, яким відповідає елемент b.
Якщо AÍPr1C, то образом множини A при відповідності C називається об’єднання образів усіх елементів з A. Аналогічно означається прообраз деякої множини BÍPr2C.
Оскільки відповідності є множинами, то до довільних відповідностей можуть бути застосовані всі відомі теоретико-множинні операції: об’єднання, перетин, різниця тощо.
Додатково для відповідностей введемо дві специфічні операції.
Відповідністю, оберненою до заданої відповідності C між множинами A і B, називається відповідність D між множинами B і A така, що
D ={(b,a) | (a,b)ÎC}. Відповідність, обернену до відповідності C, позначають C-1.
Якщо задано відповідності CÍA´B і DÍB´F, то композицією відповідностей C і D (позначається C°D ) називається відповідність H між множинами A і F така, що
H = { (a,b)| існує елемент cÎB такий, що (a,c)ÎC і (c,b)ÎD }.
Розглянемо окремі важливі випадки відповідностей.
Відповідність fÍA´B називається функціональною відповідністю або функцією з A в B, якщо кожному елементові aÎPr1f відповідає тільки один елемент з Pr2f, тобто образом кожного елемента aÎPr1f є єдиний елемент з Pr2f. Якщо f - функція з A в B, то кажуть, що функція має тип A®B і позначають f:A®B або AB. Зокрема, всі функції, які вивчаються в елементарній математиці, є окремими випадками функціональних відповідностей з R2= R´R або функціями типу R®R.
Всюди визначена функціональна відповідність fÍA´B називається відображеннямA в B і записується як і функція f:A®B або AB. Відображення називають також всюди або повністю визначеними функціями.
Відображення типу A®A називають перетвореннями множини A.
Через BA позначається множина всiх вiдображень з A в B.
Оскільки функція і відображення є окремими випадками відповідності, то для них мають місце всі наведені вище означення: поняття областей визначення та значень, поняття образу та прообразу елементів і множин та ін. Зокрема, для функції f елементи множини Pr1f називають аргументами функції, образ елемента aÎPr1f позначають через f(a) і називають значенням функції f на a. Прообраз елемента bÎPr2f позначають через f-1(b). Аналогічно позначаються образ і прообраз множини.
Нехай f:A®B функція з множини A в множину B, а g:B®C - функція з множини B в множину C. Суперпозицією (композицією) функцій f і g, яка позначається f°g, називається функція h:A®C така, що h(a) = g(f(a)) для aÎPr1fÍA і f(a)ÎPr1gÍB.
Відображення f називається сюр’єктивним (сюр’єкцією) або відображенням на множину B, якщо Pr2f = B.
Відображення f називається ін’єктивним (ін’єкцією) або різнозначним відображенням, якщо для кожного елемента bÎPr2f його прообраз f-1(b) складається тільки з одного елемента. Іншими словами, різним елементам множини A відповідають різні елементи множини B.
Нарешті, відображення, яке є одночасно сюр’єктивним і ін’єктивним, називається бієктивним відображенням або бієкцією.
Бієктивні відображення називають часто також взаємно однозначними відображеннями або взаємно однозначними відповідностями між множинами A і B. Взаємно однозначні відображення відіграють велику роль в математиці, зокрема, в теорії множин.
Таким чином, вiдповiднiсть є взаємно однозначною, тоді і лише тоді, коли вона функцiональна, всюди визначена, сюр’єктивна та iн’єктивна.
Вiдповiднiсть iA = { (a,a) | aÎA } називається тотожним перетворенням, дiагональною вiдповiднiстю або дiагоналлю в A.
Наведемо приклади відповідностей, відображень та функцій.
Приклад 1.11. 1. Відповідність між клітинками і фігурами на шахівниці в будь-який момент гри є функціональною, але не є відображенням, оскільки не всі поля шахівниці зайняті фігурами.
2. Відповідність між натуральними числами і сумами цифр їх десяткового запису є відображенням. Це відображення не є ін’єктивним, оскільки йому належать такі, наприклад, пари, як (17, 8) і (26,8).
3. Відповідність, за якою кожному натуральному числу nÎN відповідає число 3n, очевидно, є взаємно однозначною відповідністю між множиною всіх натуральних чисел і множиною натуральних чисел кратних 3.
4. Відповідність між множиною точок координатної площини R2 і множиною всіх векторів із початком у точці (0,0) є взаємно однозначною.
7. Рівнопотужність множин
Усі введені вище теоретико-множинні операції та їхні властивості мають місце як для скінченних, так і для нескінченних множин. Суттєва різниця між скінченними та нескінченними множинами виявляється, коли мова заходить про "кількість елементів" та при спробі порівняти такі множини за "кількістю елементів". Тут слова "кількість елементів" беруться в лапки тому, що зрозуміла умовність та невизначеність цього поняття для нескінченних множин.
Одними з основних досягнень канторівської теорії множин є поширення поняття "кількість елементів" зі скінченних множин на нескінченні та формулювання принципу, за яким можна порівнювати за "кількістю елементів" нескінченні множини. Зокрема, несподіваним та незвичайним виявився той факт, що різні нескінченні множини можуть мати різну "кількість елементів", тобто для нескінченностей також існує своя ієрархія.
Канторівська ідея грунтується на такому спостереженні: для того щоб порівняти за кількістю елементів дві скінченні множини, зовсім необов'язково перелічувати елементи кожної з них. Можна діяти таким чином. Наприклад, необхідно порівняти за кількістю дві множини - множину S студентів та множину M всіх місць в аудиторіях факультету. Запропонуємо кожному студенту зайняти одне місце. Якщо кожен студент отримає місце і при цьому в аудиторіях не залишиться жодного вільного місця, то очевидно, що кількість елементів в обох множинах S і M однакова. У противному разі, множина S містить більше елементів ніж множина M, або навпаки. Очевидно, що запропонована процедура встановлює деяку функціональну відповідність між множинами S і M. У першому випадку ця відповідність виявляється взаємно однозначною, в той час як у другому і третьому випадках умови взаємної однозначності не виконуються: або порушується умова повної визначеності (принаймні один студент не дістав місця), або порушується умова сюр’єктивності (хоча б одне місце залишилося вільним).