Асновы тэорыі мностваў
Тэорыя мностваў — адна з найважнейшых асноў сучаснай матэматыкі. Амаль кожная галіна матэматыкі — ад алгебры і аналізу да тэорыі верагоднасці і статыстыкі і інфарматыкі — выкарыстоўвае паняцце мностваў для вызначэння аб'ектаў, пабудовы структур і лагічных аргументаў. Разуменне асноў тэорыі мностваў спрашчае вывучэнне больш складаных матэматычных паняццяў, бо многія фармальныя вызначэнні вынікаюць з таго, як мы групуем і маніпулюем «сукупнасцямі» аб'ектаў.
1. Разуменне мностваў і іх членаў
Проста кажучы, мноства — гэта выразна акрэслены набор аб'ектаў. Аб'екты ўнутры мноства называюцца членамі або элементамі. Яснасць вызначэння мае вырашальнае значэнне: мы павінны мець магчымасць вызначыць, ці з'яўляецца аб'ект членам мноства, ці не.
прыклад:
– Мноства цотных лікаў, меншых за 10, — гэта {2, 4, 6, 8}.
– Набор галосных у інданезійскай мове — {a, i, u, e, o}.
Часта выкарыстоўваныя абазначэнні:
– Калі \(x\) з'яўляецца элементам мноства \(A\), запішыце \(x \in A\).
– Калі \(x\) не з'яўляецца членам \(A\), то запісваецца \(x \notin A\).
Напрыклад, калі \(A = \{1,2,3\}\), то \(2 \in A\) і \(5 \not A\).
2. Як сфармуляваць мноства
Існуе некалькі спосабаў выражэння мноства:
1. Шляхам рэгістрацыі ўдзельнікаў (метад спісаў)
Прыклад: \(A = \{1,2,3,4\}\).
2. З апісаннем (натацыя пабудовы набораў)
Прыклад: \(B = \{x \mid x \text{ натуральны лік і } x < 5\}\). Гэта азначае: «B — гэта мноства ўсіх \(x\) такіх, што \(x\) — натуральны лік і \(x < 5\)».
3. З дапамогай дыяграм Вена Дыяграмы Вена візуалізуюць сувязі паміж мноствамі з дапамогай фігур (звычайна кругоў) у межах абмеркаванага ўніверсуму. Выбар метаду прадстаўлення залежыць ад патрэб: пералік падыходзіць для невялікіх мностваў, а натацыя пабудовы мностваў — для вялікіх або бясконцых мностваў. 3. Універсальнае мноства і пустое мноства У некаторых абмеркаваннях мы часта вызначаем універсальнае мноства \(U\), якое змяшчае ўсе абмяркоўваныя аб'екты. Напрыклад, калі мы абмяркоўваем цэлыя лікі, то ўніверсум можа быць \(U = \mathbb{Z}\). Тым часам пустое мноства — гэта мноства, якое наогул не мае элементаў, якое пазначаецца як \(\varnothing\) або \(\{\}\). Прыклад пустога мноства: мноства натуральных лікаў, меншых за 0. Ніводзін натуральны лік не задавальняе гэтай умове, таму мноства пустое. 4. Роўнасць мностваў Два мноства называюцца роўнымі, калі яны маюць абсалютна аднолькавыя элементы. Парадак, у якім запісаны элементы, не мае значэння. Прыклад: - \(\{1,3,5\} = \{5,3,1\}\) У адрозненне ад звычайных спісаў, мноства не клапоцяцца пра парадак і не ўлічваюць дублікаты. Такім чынам: - \(\{1,1,2,2,3\} = \{1,2,3\}\) 5. Падмноства і ўласныя падмноства Калі ўсе элементы мноства \(A\) з'яўляюцца таксама элементамі мноства \(B\), то \(A\) называецца падмноствам \(B\), запісваецца як \(A \subseteq B\). Прыклад: - Калі \(B = \{1,2,3,4\}\) і \(A = \{2,4\}\), то \(A \subseteq B\). Калі \(A\) з'яўляецца падмноствам \(B\), але \(A\) не роўна \(B\), то \(A\) называецца сапраўдным падмноствам, запісваецца як \(A \subset B\).
Важны факт: пустое мноства з'яўляецца падмноствам кожнага мноства, г.зн. \(\varnothing \subseteq A\) для любога мноства \(A\). 6. Асноўныя аперацыі над мноствамі Тэорыя мностваў прапануе аперацыі для аб'яднання або параўнання мностваў. а) Аб'яднанне Аб'яднанне \(A \cup B\) - гэта мноства, якое змяшчае ўсе элементы, якія знаходзяцца альбо ў \(A\), альбо ў \(B\) (або ў абодвух). Прыклад: - \(A = \{1,2,3\}\), \(B = \{3,4,5\}\) Тады \(A \cup B = \{1,2,3,4,5\}\). б) Перасячэнне Перасячэнне \(A \cap B\) змяшчае элементы, якія знаходзяцца як у \(A\), так і ў \(B\). Прыклад: - \(A \cap B = \{3\}\). в) Розніца Розніца \(A - B\) (або \(A \setminus B\)) змяшчае элементы, якія знаходзяцца ў \(A\), але не ў \(B\). Прыклад: - \(A \setminus B = \{1,2\}\). d) Дапаўненне Дапаўненне \(A^c\) (або \(\overline{A}\)) — гэта элемент сусвету \(U\), які не ўваходзіць у \(A\). Прыклад: калі \(U = \{1,2,3,4,5\}\) і \(A = \{1,3\}\), то \(A^c = \{2,4,5\}\). 7. Важныя законы ў аперацыях з мноствамі Аперацыі з мноствамі маюць уласцівасці, падобныя да аперацый з лікамі. 1. Камутацыя \(A \cup B = B \cup A\) і \(A \cap B = B \cap A\). 2. Асацыятыўная \((A \cup B) \cup C = A \cup (B \cup C)\) \((A \cap B) \cap C = A \cap (B \cap C)\). 3. Размеркавальнае (A = B = C) = (A = B) (A = C)) (A = B = C) = (A = B) (A = C)).
4. Законы дэ Моргана \((A \cup B)^c = A^c \cap B^c\) \((A \cap B)^c = A^c \cup B^c\). Гэтыя законы вельмі карысныя для спрашчэння выразаў мностваў, асабліва пры працы з логікай, імавернасцю і алгебраічнымі структурамі. 8. Кардынальнасць: колькасць элементаў мноства Кардынальнасць - гэта колькасць элементаў у мностве, якая пазначаецца \(|A|\). Для канечных мностваў кардынальнасць лёгка вылічыць. Прыклад: - Калі \(A = \{2,4,6\}\), то \(|A| = 3\). Для бясконцых мностваў паняцце кардынальнасці становіцца больш цікавым (напрыклад, мноства натуральных лікаў \(\mathbb{N}\) мае бясконцую кардынальнасць). Аднак яго абмеркаванне звычайна пераходзіць у паглыбленую тэорыю мностваў. 9. Дэкартаў здабытак і простыя адносіны Дэкартаў здабытак \(A\) і \(B\), які запісваецца як \(A \times B\), — гэта мноства ўпарадкаваных пар \((a,b)\) з \(a \in A\) і \(b \in B\). Прыклад: - Калі \(A = \{1,2\}\) і \(B = \{x,y\}\), то \(A \times B = \{(1,x),(1,y),(2,x),(2,y)\}\). Дэкартаў здабытак з'яўляецца асновай для вывучэння адносін і функцый, таму што функцыі можна разглядаць як мноства ўпарадкаваных пар з пэўнымі правіламі. Выснова Асновы тэорыі мностваў вучаць нас, як размяшчаць аб'екты структураваным і паслядоўным чынам. Разумеючы паняцці элементаў, падмностваў, аперацый аб'яднання/перасячэння/рознасці/дапаўнення, законы аперацый і ідэі магутнасці і дэкартава здабытку, мы маем неабходныя інструменты для пераходу да больш складаных матэматычных тэм. Тэорыя мностваў — гэта не толькі базавы матэрыял, але і ўніверсальная мова, якая выкарыстоўваецца ў многіх галінах навукі і тэхнікі. Эфектыўнае валоданне гэтымі паняццямі зробіць наступнае вывучэнне матэматыкі прасцейшым і больш лагічным.
