Теорија скупова

Из Википедија

Теорија скупова је грана математике која се бави скуповима. Скуп се уопштено описује као мноштво апстрактних објеката. Сама теорија се налази у основи свих грана математике које се баве бројевима: алгебра, математичка анализа, вероватноћа па и топологија. Оне је је уз логику и предикатски рачун једна од аксиоматских темеља математике.

У операције са скуповима спадају операције спајања (симбол ∪) и пресека (симбол ∩). Спој два скупа јесте скуп који садржи све елементе оба скупа, при чему се сваки од тих елемената појављује једанпут.

Пресек је скуп свих елемената који су заједнички за оба првобитна скупа. Теорија скупова користи се у анализи сложених концепата у математици и логици.

Прве покушаје аксиоматског дефинисања теорије скупова је учинио Ђузепе Пеано али је чврсте теоријске основе ове теорије поставио Георг Кантор, који је открио значај јасно формулисаних скупова за анализу проблема симболичке логике и теорије бројева.

[уреди] Основни концепти

Основни однос између објеката и скупова је припадност; ако је дат објекат O и скуп A, онда је O или члан A или није његов члан. Основни однос између два скупа је релација подскупа или инклузија. На пример, {a, b} је подскуп скупа {a, b, c}, али {a, d} није његов подскуп.

Као што постоје аритметичке операције које делују над бројевима, постоје операције у теорији скупова које делују над скуповима. На пример, ако се посматрају скупови {1, 2, 3} и {2, 3, 4}, унија је операција која производи нови скуп {1, 2, 3, 4}, који садржи све елементе који се јављају у било ком од скупова, а операција пресека даје скуп {2, 3}, који се састоји до свих елемената који се јављају у оба почетна скупа. Међу операцијама над скуповима су између осталих и:

комплемент: скуп свих елемената скупа U који нису у скупу A, се назива комплементом од A у односу на U, у ознаци $A c$ . Ова терминологија се најчешће користи када је U имплицитни универзални скуп, као на пример кад се проучавају Венови дијаграми. Скуп елемената U који нису у A се такође назива разликом скупова, у ознаци $U \setminus A$ .
симетрична разлика два скупа се састоји од свих елемената који се налазе у тачно једном од скупова (а не и у оба).
Декартов производ два скупа, A и B се састоји од свих уређених парова (a, b), где је a члан скупа A, док је b члан скупа B.
партитивни скуп скупа A се састоји од свих подскупова од скупа A. На пример, партитивни скуп скупа {1, 2} је { {}, {1}, {2}, {1,2} }.

[уреди] Види још

Теорија скупова

Из Википедија

[уреди] Основни концепти

[уреди] Види још

Прегледи

Лични алати

навигација

техничке

Претрага

алати

Други језици