Universele verzameling

In de verzamelingenleer, een deelgebied van de wiskunde, is een universele verzameling díe verzameling van wiskundige objecten (entiteiten) die bij een wiskundige verhandeling (in ruime zin) of bij een onderzoek een rol spelen c.q. onderwerp van bespreking zijn of zouden kunnen zijn binnen die verhandeling of dat onderzoek.

Bij de meeste deelgebieden van de wiskunde behoren verzamelingen en daarop gebaseerde operaties tot de instrumenten waarmee zo'n deelgebied wordt beschreven. Vaak worden daarbij dan deelverzamelingen gebruikt van eenzelfde 'vaste' verzameling, gekoppeld aan juist dat deelgebied.

Een universele verzameling wordt bijna altijd aangegeven met de letter ${\mathcal {U}}$ (soms ook met $\xi$ , de kleine Griekse letter ksi). Zo'n universele verzameling wordt ook wel de alverzameling van het deelgebied genoemd.^[1]

Als van elke entiteit $x$ (een object of een verzameling objecten) kan worden vastgesteld of die in een bepaalde situatie (in de ruimste zin) wordt c.q. kan worden overwogen/gebruikt – $x$ heeft dan de eigenschap $G$ c.q. $G(x)$ is waar^[2] – kan een universele verzameling, binnen een zekere context, ook worden opgevat als een klasse:

${\mathcal {U}}=\{x\ |\ G(x)\ {\text{is waar}}\}$

Voorbeelden bewerken

In de vlakke meetkunde kan ${\mathcal {U}}$ de verzameling zijn van alle reële punten in het euclidische vlak. Deelverzamelingen van ${\mathcal {U}}$ zijn bijvoorbeeld rechte lijnen (als verzameling van punten), de hoekpunten en punten van de zijden van een vierhoek.
In de rekenkunde en in de schoolalgebra is ${\mathcal {U}}$ bij het oplossen van rekenproblemen meestal een vooraf vastgestelde getalverzameling, zoals $\mathbb {N}$ (natuurlijke getallen) of $\mathbb {R}$ (reële getallen).

Maar ook is mogelijk, weer als voorbeeld:

{\mathcal {U}}=\{\ \{1\},\{1,2\},\{1,2,3\},\ \dots \}

In de analyse is ${\mathcal {U}}$ bijvoorbeeld de verzameling van differentieerbare functies.
In de taalkunde is de verzameling bestaande uit de trefwoorden (lemmata, ingangen) in de officiële woordenlijst van een taal op te vatten als een universele verzameling.
Is dit artikel (met de naam "Universele verzameling") de bedoelde context en is ${\mathcal {U}}$ de universele verzameling daarbij, dan geldt:^[3]

{\mathcal {U}}=\{{\mathcal {U}},\mathbb {N} ,\mathbb {R} ,\ \dots \}

Eigenschappen bewerken

A

en

A^{c}

vormen samen

{\mathcal {U}}

.

Is $A$ de verzameling objecten waarover een zekere verhandeling gaat en is ${\mathcal {U}}$ de verzameling van alle objecten $x$ waarover die verhandeling zou kunnen gaan, dan is $A^{c}$ (ook wel ${\bar {A}}$ ) de verzameling van objecten die niet besproken worden, het (absolute) complement van $A$ . Of, iets formeler:

A^{c}=\{x\in {\mathcal {U}}\ |\ x\not \in A\}

En dan is:

A\cup A^{c}={\mathcal {U}}

Voor elke universele verzameling ${\mathcal {U}}$ geldt: $\ {\mathcal {U}}^{c}=\emptyset$ .

Bewijs:

{\mathcal {U}}^{c}=(A\cup A^{c})^{c}=A^{c}\cap A=\emptyset

Dus is ook, binnen de bedoelde context: $\emptyset ^{c}={\mathcal {U}}$ .
Zijn ${\mathcal {U}}_{1}$ en ${\mathcal {U}}_{2}$ de universele verzamelingen van twee artikelen (in bijvoorbeeld een tijdschrift) en worden deze artikelen samengevoegd tot één artikel, dan geldt voor de universele verzameling ${\mathcal {U}}$ van dat nieuwe artikel:

\ {\mathcal {U}}={\mathcal {U}}_{1}\ \cup \ {\mathcal {U}}_{2}

Zie ook bewerken

Externe links bewerken

Eric W. Weisstein: (en) Universal Set ; Via: MathWorld—A Wolfram Web Resource.
Encyclopædia Britannica: (en) Universal set .

Bronnen en literatuur

E. Bouqué (1967): De algebra der verzamelingen en relaties. Gent: E. Story - Scientia; blz. 11–32.
Paul R. Halmos (1960, 1968): Intuïtieve verzamelingenleer. Utrecht: Het Spectrum; blz. 16–20 (vertaling van (en) Naive Set Theory).
S.C. Kleene (1967): Mathematical Logic. New York: John Wiley & Sons; blz. 134–140.
I. Moerdijk, J. van Oosten (2006): Sets, Models and Proofs. Department Mathematics, Utrecht University.
P.G.J. Vredenduin (1965): 'De alverzameling' . In: Euclides; jrg. 41, nr. 4, blz. 97-103.

Noten

↑ In de literatuur wordt in een enkel geval ook gesproken van het universum bij een deelgebied. Omdat daarbij verwarring kan ontstaan met andere betekenissen van dat woord, wordt dat afgeraden.
↑ Deze uitspraak kan dus worden gelezen als: de entiteit $x$ wordt, of kan worden, gebruikt in de onderhavige context.
↑ Nb. ${\mathcal {U}}$ heeft zichzelf als element; er geldt: $\{{\mathcal {U}}\}\subset {\mathcal {U}}$ .

[1] In de literatuur wordt in een enkel geval ook gesproken van het universum bij een deelgebied. Omdat daarbij verwarring kan ontstaan met andere betekenissen van dat woord, wordt dat afgeraden.

[2] Deze uitspraak kan dus worden gelezen als: de entiteit $x$ wordt, of kan worden, gebruikt in de onderhavige context.

[3] Nb. ${\mathcal {U}}$ heeft zichzelf als element; er geldt: $\{{\mathcal {U}}\}\subset {\mathcal {U}}$ .

[1]

[2]

[3]