Комплект | идея от математиката
Множеството е понятие от математиката. Множеството има членове (наричани още елементи). Множеството се определя от своите членове, така че две множества с еднакви членове са еднакви (например, ако множеството и множеството
имат еднакви членове, то
Едно множество не може да има един и същ член повече от веднъж. Членството е единственото, което има значение. Например, няма ред или друга разлика между членовете. Всяко нещо може да бъде член на дадено множество, включително и самите множества (макар че ако едно множество е член на самото себе си, може да се стигне до парадокси като парадокса на Ръсел).
![Георг Кантор през 1894 г. Кантор е първият математик, който говори за множества](https://alegsaonline.com/image/220px-Georg_Cantor_1894.jpg)
![Zoom](https://www.alegsaonline.com/zoom.png)
Георг Кантор през 1894 г. Кантор е първият математик, който говори за множества
![Първоначалното определение на Кантор за множество](https://alegsaonline.com/image/Passage_with_the_set_definition_of_Georg_Cantor.png)
![Zoom](https://www.alegsaonline.com/zoom.png)
Първоначалното определение на Кантор за множество
![Пример за набор от многоъгълници](https://alegsaonline.com/image/Example_of_a_set.svg.png)
![Zoom](https://www.alegsaonline.com/zoom.png)
Пример за набор от многоъгълници
Какво да правим с комплектите
Представете си, че комплектът е чанта.
Елемент на
В една чанта могат да се поставят различни неща. По-късно е добре да се зададе въпросът дали дадено нещо е в торбата. Математиците наричат този елемент. Нещо е елемент на дадено множество, ако това нещо може да се намери в съответната торба. Символът, който се използва за това, е :
,
което означава, че е в торбата
или
е елемент на
.
За разлика от торбата, множеството може да съдържа най-много един елемент от даден тип. Така че за набор от плодове няма значение дали има един портокал, или 10 портокала.
Празно множество
Подобно на чантата, комплектът може да бъде и празен. Празното множество е като празната чанта: в него няма нищо. "Празното множество" се нарича още нулево множество и се представя със символа .
Вселена
Ако разглеждаме, да речем, някои набори от американски автомобили, например набор от всички фордове и набор от всички доджове, може да пожелаем да разгледаме и целия набор от американски автомобили. В този случай множеството от всички американски автомобили ще се нарича вселена.
С други думи, вселената е съвкупност от всички елементи, които искаме да разгледаме в даден проблем. Вселената обикновено се нарича .
Сравняване на набори
Могат да се сравнят два набора. Това е като да гледате в две различни чанти. Ако те съдържат едни и същи неща, те са равни. Няма значение в какъв ред са тези неща.
Например, ако и
, множествата са едни и същи.
Кардиналност на множество
Когато математиците говорят за множество, те понякога искат да знаят колко голямо е това множество (или каква е кардиналността на множеството). Те правят това, като преброяват колко елемента има в множеството (колко елемента има в торбата). За крайните множества кардиналността е просто число. Празното множество има кардиналност 0. Множеството има кардиналност 2.
Две множества имат еднакъв кардинален брой, ако можем да сдвоим елементите им - ако можем да съединим два елемента, по един от всяко множество. Множеството и множеството
имат една и съща кардиналност. Например, можем да свържем ябълка със слънце, а портокал с луна. Редът няма значение. Възможно е да сдвоим всички елементи и никой не е пропуснат. Но множеството
и множеството
имат различна кардиналност. Ако се опитаме да ги сдвоим, винаги ще изпуснем едно животно.
Безкрайна кардиналност
Понякога кардиналността не е число. Понякога дадено множество има безкраен кардинален брой. Множеството на всички цели числа е множество с безкрайна кардиналност. Някои множества с безкрайна кардиналност са по-големи (имат по-голяма кардиналност) от други. Например реалните числа са повече от естествените, което означава, че не можем да сдвоим множеството на целите числа и множеството на реалните числа, дори и да работим вечно.
Преброяемост
Ако можете да преброите елементите на едно множество, то се нарича преброимо множество. Изброимите множества включват всички множества с краен брой членове. Изброимите множества включват и някои безкрайни множества, като например естествените числа. Естествените числа можете да преброите с . Естествените числа са наречени "числата за броене", тъй като обикновено ги използваме, за да броим нещата.
Неизброимо множество е безкрайно множество, което не може да се преброи. Ако се опитаме да преброим елементите, винаги ще пропуснем някои от тях. Няма значение каква стъпка ще направим. Множеството на реалните числа е неизброимо множество. Съществуват много други неизброими множества, дори такъв малък интервал като .[3]
Подмножества
Ако разгледате множеството и множеството
, можете да видите, че всички елементи от първото множество са също и във второто множество.
Казваме: е подмножество на
Като формула това изглежда по следния начин:
В общия случай, когато всички елементи на множество са също елементи на множество
, наричаме
подмножество на
:
.
Обикновено се чете " се съдържа в
."
Пример: Всеки Chevrolet е американски автомобил. Така че множеството на всички Шевролети се съдържа в множеството на всички американски автомобили.
Задаване на операции
Съществуват различни начини за комбиниране на комплекти.
Кръстовища
Пресечната точка на две множества
и
е множество, което съдържа всички елементи, които са едновременно в множеството
и в множеството
Пример: Когато е множеството на всички евтини автомобили, а
е множеството на всички американски автомобили, тогава
е множеството на всички евтини американски автомобили.
Профсъюзи
Обединението на две множества
и
е множество, което съдържа всички елементи, които са в множество
или в множество
. Това "или" е включваща дизюнкция, така че обединението съдържа и елементите, които са в множество
и в множество
. Между другото това означава, че пресечната точка е подмножество на съюза:
.
Пример: Когато е множеството на всички евтини автомобили, а
е множеството на всички американски автомобили, тогава
е множеството на всички автомобили, без всички скъпи автомобили, които не са от Америка.
Допълва
Допълнението може да означава две различни неща:
- Допълнението на
е вселената
без всички елементи на
:
Вселената е множеството от всички неща, за които се говори.
Пример: Когато е множеството на всички автомобили, а
е множеството на всички евтини автомобили,
то C е множеството на всички скъпи автомобили.
- Разликата между множествата
и
е множеството
без всички елементи на
:
Нарича се още относително допълнение на
.
Пример: Когато е множеството на всички евтини автомобили, а
е множеството на всички американски автомобили, то
е множеството на всички скъпи американски автомобили.
Ако размените множествата в множеството разлика, резултатът е различен:
В примера с автомобилите, разликата е множеството на всички евтини автомобили, които не са произведени в Америка.
![Подмножество от правилни многоъгълници](https://alegsaonline.com/image/PolygonsSet_EN.svg.png)
![Zoom](https://www.alegsaonline.com/zoom.png)
Подмножество от правилни многоъгълници
![Пресечна точка на две множества многоъгълници](https://alegsaonline.com/image/220px-PolygonsSetIntersection.svg.png)
![Zoom](https://www.alegsaonline.com/zoom.png)
Пресечна точка на две множества многоъгълници
![Обединение на две множества от многоъгълници](https://alegsaonline.com/image/PolygonsSetUnion.svg.png)
![Zoom](https://www.alegsaonline.com/zoom.png)
Обединение на две множества от многоъгълници
![Разлики на два набора от многоъгълници](https://alegsaonline.com/image/PolygonsSetDifference.svg.png)
![Zoom](https://www.alegsaonline.com/zoom.png)
Разлики на два набора от многоъгълници
Нотация
Повечето математици използват главни италиански (обикновено римски) букви, за да пишат за множества (например
). Нещата, които се разглеждат като елементи на множества, обикновено се пишат с малки римски букви.
Един от начините за представяне на множество е чрез списък на неговите членове, разделени със запетаи и включени в скоби. Например,
е множество, което има членове 1, 2 и 3.
Друг начин, наречен запис на строителя на множеството, е чрез изказване на това, което е вярно за членовете на множеството, като този:
- {x | x е естествено число & x < 4}.
На разговорен английски това означава: "множеството от всички x, така че x е естествено число и x е по-малко от четири". Символът [ipe "|" означава "такъв, че" или "така, че".
Празното множество се записва по специален начин: ,
или
.
Когато обектът a е член на множество , той се записва като:
- a ∈ A.
На разговорен английски това означава: "a е член на ".
Диаграми на Вен
За илюстриране на операциите върху множества математиците използват диаграми на Вен. Диаграмите на Вен използват кръгове, за да покажат отделните множества. Вселената е изобразена с правоъгълник. Резултатите от операциите се показват като оцветени области. В илюстрацията на операцията "пресичане" лявото кръгче показва множество , а дясното кръгче - множество
.
Специални комплекти
Някои множества са много важни за математиката. Те се използват много често. Едно от тях е празното множество. Много от тези специални множества са написани с удебелен шрифт на черната дъска и включват:
, с което се обозначава множеството на всички първични числа.
, с което се обозначава множеството на всички естествени числа. Това означава, че
= {1, 2, 3, ...}, или понякога
= {0, 1, 2, 3, ...}.
, с което се обозначава множеството на всички цели числа (положителни, отрицателни или нулеви). Така че
= {..., -2, -1, 0, 1, 2, ...}.
, с което се обозначава множеството на всички рационални числа (т.е. множеството на всички правилни и неправилни дроби). И така,
, което означава всички дроби
, където a и b са в множеството на всички цели числа и b не е равно на 0. Например,
и
. Всички цели числа са в това множество, тъй като всяко цяло число a може да бъде изразено като дроб
.
, с което се обозначава множеството на всички реални числа. Това множество включва всички рационални числа, както и всички ирационални числа (т.е. числата, които не могат да бъдат преписани като дроби, като
и √2).
, с което се обозначава множеството на всички комплексни числа.
Всяко от тези множества от числа има безкраен брой елементи, а .
Парадокси за множествата
Математикът Бъртранд Ръсел открива, че има проблеми с неофициалното определение на множествата. Той изказва това в парадокс, наречен парадокс на Ръсел. По-лесна за разбиране версия, по-близка до реалния живот, се нарича парадокс на Барбър.
Парадоксът на бръснаря
Някъде има малък град. В него има бръснар. Всички мъже в градчето не обичат брадите, затова или се бръснат сами, или отиват в бръснарницата, за да ги обръсне бръснарят.
Следователно можем да направим извод за самия бръснар: Бръснарят бръсне всички мъже, които не се бръснат сами. Той бръсне само тези мъже (тъй като останалите се бръснат сами и не се нуждаят от бръснар, който да ги обръсне).
Това, разбира се, повдига въпроса: Какво прави бръснарят всяка сутрин, за да изглежда чисто избръснат? Това е парадоксът.
Ако бръснарят се бръсне сам, той не може да бъде бръснар, тъй като бръснарят не се бръсне сам. Ако не се бръсне сам, той попада в категорията на тези, които не се бръснат сами, и следователно не може да бъде бръснар.
Свързани страници
- Множество на Кантор
- Теория на групите
- Отворен комплект
- Връзка
- Теория на множествата
Въпроси и отговори
Въпрос: Какво е комплект?
О: Множеството е идея от математиката. То се състои от членове (наричани още елементи), които се определят от своите членове, така че всяко две множества с еднакви членове са еднакви.
В: Може ли едно множество да има един и същ член повече от веднъж?
О: Не, едно множество не може да има един и същ член повече от веднъж.
В: Има ли значение редът в множеството?
О: Не, редът не е от значение за множеството. Всяко нещо може да бъде член на множество, включително и самите множества.
В: Какво се случва, ако едно множество е член на самото себе си?
О: Ако едно множество е член на самото себе си, могат да възникнат парадокси като парадокса на Ръсел.
В: Само членството ли е важно за множествата?
О: Да, членството е единственото нещо, което има значение за множествата.
В: Как се разбира дали две множества са равни?
О: Две множества са равни, ако имат еднакви членове.