Se kilde til Mængde

En '''mængde''' er en samling af [[Objekt (matematik)|objekter]] eller elementer, hvor den orden, de optræder i, ikke tillægges en betydning.

Et eksempel på en mængde kunne f.eks. være mængden af almene danske [[universitet]]er og kunne angives som {DTU, RUC, AAU, AU, SDU, KU}. Mængden, der ingen elementer indeholder, kaldes den tomme mængde (se nedenfor), mens en mængde med kun ét element kaldes en ''singleton''.

== Tilhørsforhold ==
[[Fil:Venn A subset B.svg|thumb|<math>A \subseteq B</math>]]
Vi lader <math>X</math> betegne en mængde.
At et element, <math>x</math>, tilhører mængden skrives <math>x \in X</math> og læses ''x tilhører X''. Eksempelvis tilhører AU førnævnte mængde. Omvendt skrives om et element, <math>y</math>, der ikke tilhører mængden <math>y \notin X</math>. Hvis to mængder <math>X</math> og <math>Y</math> er ens skrives <math>X=Y</math>, og det gælder, banalt nok, at <math>x \in X \Leftrightarrow x \in Y</math>. Gælder en betingelse <math>S(x)</math> for elementerne i <math>X</math> skriver man <math>\forall x \in X \mid S(x)</math>. Delmængden af en mængde <math>X</math> hvis elementer <math>x</math> opfylder <math>S(x)</math> kan skrives som <math>\{x \in X \mid S(x)\}</math>; eksempelvis kan mængden bestående af kun de [[reelle tal]] -5 og 5 gives ved <math>\{x \in \mathbb{R} \mid x^2=25\}</math> eller bare <math>\{-5, 5\}</math>.

På samme måde kan man komme ud for at mængder er delmængder af andre mængder. Eksempelvis er {RUC,AU} en delmængde af eksempelmængden med universiteterne. Betegnes den første mængde <math>X'</math> og mængden den er en delmængde af <math>X</math> skrives at <math>X' \subseteq X</math> eller (sjældnere) <math>X \supseteq X'</math>, hvis og kun hvis ethvert givet <math>x \in X'</math> også er indeholdt i <math>X</math>. Herved gælder følgende relationer (hvor operatoren <math>\wedge</math> læses "og"):

<math>X = Y \Leftrightarrow [X \subseteq Y \wedge Y \subseteq X]</math><br />
og at<br />
<math>[X \subseteq Y \wedge Y \subseteq Z] \Rightarrow X \subseteq Z</math>.

Definitionen på ''den tomme mængde'' er givet ved antagelse om, at der findes en mængde <math>A</math> og defineret ved <math>\emptyset = \{x \in A \mid x \not= x\}</math>. Den tomme mængde skrives også <math>\{\}</math>, som værende en mængde uden elementer. Om den tomme mængde gælder, at den er en delmængde af en hvilken som helst given mængde (inklusiv sig selv).

== Ordnet mængde ==
En mængde, <math>M</math> kaldes ordnet, hvis der om elementer, <math>x, y \in M</math>, gælder enten at <math>x < y</math>, <math>x = y</math> eller <math>x > y</math>, samtidig med at der for alle <math>a,b,c \in M</math> gælder at:

<math>a < b \land b < c \Rightarrow a < c</math>.

Et eksempel på en ordnet mængde er de [[reelle tal]].

== Specielle mængder ==
Der eksisterer mængder, der er af så stor matematisk betydning og som refereres så ofte til, at de har fået faste navne og symboler. En af disse er den omtalte [[tomme mængde]]. Andre specielle mængder inkluderer:

<math>\mathbb{N}</math> betegner mængden af alle [[naturlige tal]]. Altså er <math>\mathbb{N} = \{1,2,3,\dots\}</math>, og i nogle tilfælde benyttes også <math>\mathbb{N}_0 = \{0,1,2,\dots\}</math>.

<math>\mathbb{Z}</math> betegner mængden af alle [[heltal|hele tal]], så <math>\mathbb{Z} = \{\dots,-2,-1,0,1,2,\dots\}</math>.

<math>\mathbb{Q}</math> betegner mængden af alle [[rationale tal]], så <math>\mathbb{Q} = \{\frac{p}{q} \mid p,q\in \mathbb{Z}, q \not= 0\}</math>. Eksempelvis er alle hele tal indeholdt i denne mængde, f.eks. med <math>q=1</math>.

<math>\mathbb{R}</math> er mængden af alle [[reelle tal]]. Denne mængde er foreningsmængden (se nedenfor) af de rationale tal og de [[irrationale tal]] (tal, der ikke kan opskrives som heltalsbrøker, så som [[pi (tal)|π]] og ''[[e (tal)|e]]'')

<math>\mathbb{C}</math> er mængden af alle [[komplekse tal]].

Alle disse mængder har uendelig [[kardinalitet]], og der gælder, at <math>\mathbb{N} \subset \mathbb{Z} \subset \mathbb{Q} \subset \mathbb{R} \subset \mathbb{C}</math>.

== Foreningsmængde ==
[[Fil:Venn0111.svg|thumb|150px|''A'' forenet med ''B'']]
Ofte har man behov for at konstruere nye mængder ud fra eksisterende. Eksempelvis kan to mængder blive "lagt sammen", idet man danner en mængde, der indeholder alle elementerne fra de to oprindelige mængder. Mængden betegnes foreningsmængden, og foreningsmængden af to mængder <math>A</math> og <math>B</math> betegnes <math>A \cup B</math>. Forenes <math>n</math> mængder, <math>X_1, X_2, \dots, X_n</math> benyttes ofte skrivemåden <math>\bigcup_{i=1}^n X_i</math>.

Eksempler:
:* <math>\{1,2\} \cup \{2,3\} = \{1,2,3\}</math>
:* <math>\emptyset \cup \{60\} = \{60\}</math>

Lad <math>A</math> og <math>B</math> være vilkårlige mængder. Da gælder følgende basale egenskaber ved foreningsmængder:
:* <math>A \cup B = B \cup A</math>
:* <math>A \subseteq B \cup A,   B \subseteq B \cup A</math>
:* <math>A \cup A = A</math>
:* <math>A \cup \emptyset = A</math>

== Fællesmængde ==
[[Fil:Venn0001.svg|thumb|150px|''A'' snit ''B'']]
I analogi med ovenstående hænder det, at man ønsker at betragte mængder, der består af de elementer, flere mængder har til fælles. En sådan mængde kaldes fællesmængden. Fællesmængden af <math>A</math> og <math>B</math> betegnes <math>A \cap B</math>, og fællesmængden af mængderne <math>X_1, X_2, \dots, X_n</math> betegnes <math>\bigcap_{i=1}^n X_i</math>.

Eksempler:
:* <math>\{1,2\} \cap \{2,3\} = \{2\}</math>
:* <math>\{1,2\} \cap \{3,4\} = \emptyset</math>

Basale egenskaber ved fællesmængder (hvor <math>A'</math> er komplementærmængden til <math>A</math>):
:* <math>A \cap B = (A' \cup B')'</math>
:* <math>A \cap B = B \cap A</math>
:* <math>A \cap B \subseteq A , A \cap B \subseteq B</math>
:* <math>A \cap A = A</math>
:* <math>A \cap \emptyset = \emptyset</math>

== Komplementærmængde ==
[[Fil:Venn0100.svg|150px|thumb|''A''\''B'']]
To mængder kan også "trækkes fra hinanden". Den relative komplement til <math>A</math> i <math>B</math> (også kaldet mængdedifferensen mellem <math>B</math> og <math>A</math>), betegnet <math>A \setminus B</math> (eller <math>A - B</math>) er mængden af alle elementer i <math>A</math>, der ikke er indeholdt i <math>B</math>; <math>A \setminus B = \{x \in A \mid x \notin B\}</math>.

I nogle tilfælde betragtes elementer, der er delmængder af en given universalmængde <math>U</math>. I disse tilfælde betragtes alle komplementærmængder relativt til universalmængden, og <math>U \setminus A</math> kaldes det absolutte komplement eller komplementærmængden til <math>A</math> og betegnes <math>\complement A</math> eller <math>A'</math>.

Eksempler:
:* <math>\{1,2\} \setminus \{3,4\} = \{1,2\}</math>
:* <math>\{1,2\} \setminus \{2,3\} = \{1\}</math>
:* <math>\{1,2\} \setminus \{1,2\} = \emptyset</math>

Basale egenskaber ved komplementærmængder:
:* <math>\complement(\complement A) = A</math>
:* <math>A \cup \complement A = U</math>
:* <math>A \cap \complement A = \emptyset</math>
:* <math>A \subseteq B \Leftrightarrow \complement B \subseteq \complement A</math>

== Åbne og lukkede mængder ==
{{Uddybende|Åben mængde|lukket mængde}}
I [[topologi]] og relaterede matematiske emner er det ofte af afgørende karakter, om en betragtet mængde er åben eller lukket. En mængde <math>A</math> siges at være åben, hvis ethvert punkt i <math>A</math> er et [[indre punkt]] (altså at <math>\forall a \in A \exists r > 0: B_r(a) \subseteq A</math>). Således fås, at [[interval (matematik)|åbne intervaller]] i <math>\mathbb{R}</math>, såvel som <math>\mathbb{R}</math> selv er [[Åben mængde|åbne mængder]]. En mængde siges at være lukket, hvis dens komplementærmængde er åben, som det f.eks. gælder for lukkede intervaller i <math>\mathbb{R}</math>. Herved bliver <math>\emptyset</math> og <math>\mathbb{R}</math> eksempler på mængder, der både er åbne og lukkede, mens halvåbne intervaller, hverken er åbne eller lukkede.

== Kilder ==
* Henrik Stetkær, ''Om uendelighedsbegrebet'', 2005
* Ebbe Thue Poulsen, ''Funktioner af en og flere variable'', 2002
{{Commonskat|Sets (mathematics)}}
{{autoritetsdata}}

[[Kategori:Mængdelære]]
[[Kategori:Matematiske objekter]]