x
1

Relación bien fundada



En teoría de conjuntos, una relación bien fundada sobre una clase X es una relación binaria R sobre X tal que todo subconjunto no vacío de X tiene un elemento R-mínimo; esto es:

Para todo subconjunto no vacío S de X, hay un elemento m en S tal que ningún s en S cumple sRm.

Equivalentemente, si asumimos el axioma de elección, una relación es bien fundada si y sólo si X no contiene cadenas descendientes infinitas numerables: esto es, no hay secuencia infinita x0, x1, x2, ... de elementos de X tal que xn+1R xn para todo número natural n.[1]

Entre las relaciones bien fundadas que no son totalmente ordenadas están:

Ejemplos de relaciones que no son bien fundadas son:




Escribe un comentario o lo que quieras sobre Relación bien fundada (directo, no tienes que registrarte)


Comentarios
(de más nuevos a más antiguos)


Aún no hay comentarios, ¡deja el primero!