Paradoxale verzamelingen
Forumregels
(Middelbare) school-achtige vragen naar het forum "Huiswerk en Practica" a.u.b.
Zie eerst de Huiswerkbijsluiter
(Middelbare) school-achtige vragen naar het forum "Huiswerk en Practica" a.u.b.
Zie eerst de Huiswerkbijsluiter
- Berichten: 5.679
Paradoxale verzamelingen
Zoals bekend kun je onderscheid maken tussen een verzameling en een element van die verzameling (ook als de verzameling zelf maar uit één element bestaat).
Bijvoorbeeld: A = {37} en B = {A} (dus A is een verzameling die het getal 37 bevat, en B is een verzameling die als enige element de verzameling A bevat).
Dan geldt A B
Nu kun je ook verzamelingen maken die zichzelf bevatten, bijvoorbeeld: C = {C}
Stel nu dat we definiëren A = C, en dat nog steeds geldt B = {A}.
Geldt dan ook nog steeds A B ?
Nog vager, ik definieer twee verzameling die uitsluitend zichzelf bevatten:
P = {P} en Q = {Q}
Geldt nu P = Q ?
Bijvoorbeeld: A = {37} en B = {A} (dus A is een verzameling die het getal 37 bevat, en B is een verzameling die als enige element de verzameling A bevat).
Dan geldt A B
Nu kun je ook verzamelingen maken die zichzelf bevatten, bijvoorbeeld: C = {C}
Stel nu dat we definiëren A = C, en dat nog steeds geldt B = {A}.
Geldt dan ook nog steeds A B ?
Nog vager, ik definieer twee verzameling die uitsluitend zichzelf bevatten:
P = {P} en Q = {Q}
Geldt nu P = Q ?
In theory, there's no difference between theory and practice. In practice, there is.
- Berichten: 5.679
Re: Paradoxale verzamelingen
Is dat een "algemeen geldend" axioma, of is dat één of ander keuze-axioma?
En kan een verzameling wel zichzelf bevatten? (samen met nog andere elementen)
En kan een verzameling wel zichzelf bevatten? (samen met nog andere elementen)
In theory, there's no difference between theory and practice. In practice, there is.
Re: Paradoxale verzamelingen
Een verzameling die een zuiver deel of een element is van zichzelf is een paradox (tegenstrijdigheid?).
Geloof je dat er een verzameling
Met de bestaande axioma's is niet aan te tonen (tot nu toe) dat er geen
Nederlands is Nederlands.
Vijflettergrepig is vijflettergrepig.
Woorden die zichzelf zijn (zoals in deze 2 voorbeelden) heten synectisch.
Frans is niet Frans.
Dit soort woorden heten antisynectisch.
Is antisynectisch antisynectisch?
Is antisynectisch synectisch?
Geloof je dat er een verzameling
\(C\)
bestaat met de eigenschap \(C = \{C\}\)
, dan zul je je voor de problemen die door deze paradox worden gecreëerd moeten verantwoorden. Je belandt in een wespennest waaruit je je slechts met moeite staande weet te houden.Met de bestaande axioma's is niet aan te tonen (tot nu toe) dat er geen
\(C\)
bestaat met de eigenschap \(C = \{C\}\)
. Vermoedelijk is dat ook niet mogelijk. Aannemen als axioma is dan de beste keuze. Niet aannemen levert alleen problemen op en brengt ons niets.Nederlands is Nederlands.
Vijflettergrepig is vijflettergrepig.
Woorden die zichzelf zijn (zoals in deze 2 voorbeelden) heten synectisch.
Frans is niet Frans.
Dit soort woorden heten antisynectisch.
Is antisynectisch antisynectisch?
Is antisynectisch synectisch?
Re: Paradoxale verzamelingen
Er bestaat wel een tak van de verzamelingenleer die zich hiermee bezig houdt. Zie hier:
http://en.wikipedia.org/wiki/Non-well-founded_set_theory
Wellicht leuk om dat te weten. Ik heb mij daar echter niet genoeg in verdiept, om een oordeel over de zin of onzin daarvan te kunnen geven.
http://en.wikipedia.org/wiki/Non-well-founded_set_theory
Wellicht leuk om dat te weten. Ik heb mij daar echter niet genoeg in verdiept, om een oordeel over de zin of onzin daarvan te kunnen geven.
- Berichten: 5.679
Re: Paradoxale verzamelingen
Ik ken dat voorbeeld als autoloog / heteroloog ("zichzelf omschrijvend" vs "iets anders omschrijvend"). Toevallig ook Gödel, Escher, Bach gelezen?PeterPan schreef:Is antisynectisch antisynectisch?
Is antisynectisch synectisch?
In theory, there's no difference between theory and practice. In practice, there is.
Re: Paradoxale verzamelingen
Zeker.
De oorspronkelijke naamgeving had ik niet onthouden. Ik heb er maar zelf een naam aan gegeven
Synectisch = complex differentieerbaar.
De oorspronkelijke naamgeving had ik niet onthouden. Ik heb er maar zelf een naam aan gegeven
Synectisch = complex differentieerbaar.
- Berichten: 5.679
Re: Paradoxale verzamelingen
Zeer boeiend boek was dat, ik zal 'em eens bij de aanraders posten.
On topic, dit was niet per se een paradox of zelfs tegenspraak: (doch mogelijk wel onbepaald)
On topic, dit was niet per se een paradox of zelfs tegenspraak: (doch mogelijk wel onbepaald)
Dus stel dat we niet (door het aannemen van een axioma) uitsluiten dat verzamelingen zichzelf mogen bevatten, zou er nu een zinnige reden zijn om te stellen dat P=Q of P Q ?ik schreef:Nog vager, ik definieer twee verzameling die uitsluitend zichzelf bevatten:
P = {P} en Q = {Q}
Geldt nu P = Q ?
In theory, there's no difference between theory and practice. In practice, there is.
Re: Paradoxale verzamelingen
Geen hypersets maar Unmengen.
Begrijp ik je goed dat we zulke "oneigenlijke verzamelingen" als klassen moeten aanduiden?
Re: Paradoxale verzamelingen
Wel een paradox en een taalgrapje.On topic, dit was niet per se een paradox of zelfs tegenspraak: (doch mogelijk wel onbepaald)
P is b.v. de 'verzameling' van verzamelingen die meer dan 2 element bevatten.Dus stel dat we niet (door het aannemen van een axioma) uitsluiten dat verzamelingen zichzelf mogen bevatten, zou er nu een zinnige reden zijn om te stellen dat P=Q of P Q ?
Q is b.v. de 'verzameling' van verzamelingen die meer dan 1 element bevatten.
Ja. (Het vaak internationaal gebruikte woord "Unmenge" vind ik mooier klinken).Begrijp ik je goed dat we zulke "oneigenlijke verzamelingen" als klassen moeten aanduiden?
- Berichten: 7.556
Re: Paradoxale verzamelingen
[quote='PeterPan' post='534068' date='16 July 2009, 11:38']Axioma: Er bestaat geen verzameling
We kunnen nu datgene dat we als eerste wilden uitsluiten als stelling bewijzen:
Stelling:
\(C\)
mogelijk zou zijn, dus het ligt voor de hand een axioma in te voeren dat zegt \(A\notin A\)
. Maar dit is niet afdoende, want nu is het mogelijk dat er verschillende verzamelingen A en B zijn zodat \(A\in B\land B\in A\)
. Dit is nog steeds tegenintuïtief (probeer maar eens een voorbeeld van zulke A en B te vinden ). Dit voorkomen is nog steeds niet afdoende, want het sluit het bestaan niet uit van verschillende A,B en C zodat \(A\in B\land B\in C\land C\in A\)
, en ga zo maar door. Het axioma of regularity, door Zermelo genoemd Axiom der Fundierung, stelt daarom:\(A\neq\emptyset\to (\exists x)\left[x\in A\land (\forall y)(y\in x\to y\notin A)\right]\)
Intuïtief: iedere niet-lege verzameling A bevat een element x die disjunct is met A. In het bijzonder bestaat er dus geen A zodat A={A}.We kunnen nu datgene dat we als eerste wilden uitsluiten als stelling bewijzen:
Stelling:
\((\forall A)(A\notin A)\)
Bewijs: Triviaal als A leeg is, dus stel A niet-leeg en neem aan dat \(A\in A\)
. Aangezien \(A\in\{A\}\)
, geldt dan ook \(A\in \{A\}\cap A\)
(*). Volgens het axioma is er een \(x\in \{A\}\)
zodat \(\{A\}\cap x=\emptyset\)
. Maar aangezien \(\{A\}\)
een singleton is, moet \(x=A\)
. Conclusie: \(\{A\}\cap A=\emptyset\)
, in tegenspraak met (*).Never express yourself more clearly than you think.
- Niels Bohr -
- Niels Bohr -
Re: Paradoxale verzamelingen
Het regulariteitsaxioma:
Maar dat is niets anders dan zeggen dat de klasse van verzamelingen welgeordend is.
Dus (uniciteit, op isomorfie na (zie "cursus")) kunnen we de de klasse van verzamelingen als volgt construeren (transfinite definitie).
Een constructieve manier om alle verzamelingen (qua grootte) te vinden.
kun je ook zó lezen: Elke verzameling heeft een kleinste element ("in\(A\neq\emptyset\to (\exists x)\left[x\in A\land (\forall y)(y\in x\to y\notin A)\right]\)
\(\in\)
- zin").Maar dat is niets anders dan zeggen dat de klasse van verzamelingen welgeordend is.
Dus (uniciteit, op isomorfie na (zie "cursus")) kunnen we de de klasse van verzamelingen als volgt construeren (transfinite definitie).
\(A_0 = \emptyset\)
\(A_{\alpha+1} = P(A_{\alpha})\)
, (\(\alpha\)
een ordinaal, P staat voor de machtsverzameling).\(A_{\alpha} = \cup_{\beta<\alpha}A_{\beta}\)
als \(\alpha\)
een limietordinaal is.Een constructieve manier om alle verzamelingen (qua grootte) te vinden.