Množica
Iz Wikipedije, proste enciklopedije
Mnóžica je v matematiki skupina (skupek) odmišljenih (abstraktnih) ali stvarnih (konkretnih) reči, ki jih med seboj ločimo, to je elementov množic in njihovih medsebojnih odnosov (relacij) in struktur medsebojnih preslikav množic.
Če lahko načeloma elemente množice oštevilčimo, je množica števna. Števna je na primer množica racionalnih števil 
, nasprotno pa množica realnih števil 
ni števna. Dve množici sta enaki, če imata iste elemente. Dve množici 
in 
sta ekvivalentni ali imata isto moč, če lahko priredimo elementom množice obratno enolično elemente množice . Za obe takšni množici velja relacija ekvipolence. Na pojmu ekvivalence temelji pojem kardinalnih števil, ki omogoča med drugim tudi didaktično uvedbo množice naravnih števil 
. Dve množici sta tuji ali disjunktni, če nimata nobenega skupnega elementa. Njun presek je prazna množica Ø = { }. Podobno kakor v algebri števil lahko določimo tudi za množice operacije, ki si jih lahko ponazorimo z Vennovimi grafi: presek, unijo itd. Zanimiva težava se pojavi pri posplošitvi pojma množice na »množico vseh množic«, kar nas privede do antinomije. Teorijo množic je osnoval Georg Ferdinand Cantor. Za ponazarjanje množic uporabljamo tudi Karnaughove grafe. C pomeni komplement množice glede na univerzalno množico. Množica C ima vse tiste elemente univerzalne množice, ki ne spadajo v . Množico lahko podamo ali opisno ali pa z naštetjem njenih elementov. Na primer 
je množica vseh praštevil, ki so večja od 1 in manjša od 20, opisna oblika: = {x; x je praštevilo in 1 < x < 20} in oblika z naštetjem: = {2, 3, 5, 7, 11, 13, 17, 19}.
[uredi] Glej tudi
- podmnožica, De Morganovi zakoni, večkratna množica,
- seznam
