Welgefundeerde relatie

In de wiskunde heet een irreflexieve tweeplaatsige relatie $R$ op een klasse$X$ welgefundeerd, als elke niet-lege deelverzameling $S$ van $X$ een element $m$ bevat dat geen voorganger heeft, wat in dit verband betekent dat er geen element $s\in S,$ is waarvoor het paar $(s,m)$ tot de relatie $R$ behoort. Het is dus niet mogelijk dat er een hele keten van elementen is waarvan elk een voorganger heeft, die dus oneindig doorloopt.

Definitie

Een tweeplaatsige relatie $R\subseteq X\times X$, die irreflexief is, heet welgefundeerd, als voor alle $S\subseteq X,\ S\neq \varnothing$ er een $m\in S$ bestaat zodanig, dat voor alle $s\in S$

$(s,m)\notin R$

Men kan bewijzen, zij het onder de veronderstelling dat het keuzeaxioma geldt, dat de relatie $R$ dan en slechts dan welgefundeerd is, als er geen oneindig dalende keten is, anders gezegd als er in $X$ geen keten $x_{1},x_{2},\ldots$ is met $x_{n+1}Rx_{n}$ voor elke natuurlijke $n.$

Partiële orde

Een partiële orde is reflexief en volgens de definitie daarom niet welgefundeerd. Als echter de bijbehorende strikte partiële orde welgefundeerd is, wordt aanvullend de partiële orde zelf ook als welgefundeerd beschouwd.

Voorbeelden

• De relatie "voorganger" $\prec$ op de natuurlijke getallen, gedefinieerd als $n\prec m\Leftrightarrow n+1=m$ is welgefundeerd. Iedere niet-lege deelverzameling van natuurlijke getallen heeft immers een kleinste element, dat dus geen voorganger heeft.
• Om dezelfde reden is de relatie "kleiner dan" $<$ op natuurlijke getallen welgefundeerd.
• De relatie "kleiner dan" op positieve reële getallen is niet welgefundeerd. Neem het open interval $S=(1,2)$, dat alle reële getallen tussen $1$ en $2$ bevat, maar $1$ en $2$ zelf niet. Aangezien voor elk reële getal $r\in S$ een reëel getal tussen $1$ en $r$ bestaat, heeft deze verzameling $S$ geen element zonder voorganger. Inderdaad bevatten de positieve reële getallen oneindig dalende ketens, bijvoorbeeld: $1{,}1;1{,}01;1{,}001;\cdots$.