Relación bien fundada

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]

  • En la teoría del orden, un orden parcial es llamado bien fundado si el orden estricto correspondiente es una relación bien fundada. Si el orden bien fundado es un orden total entonces es un buen orden.
  • Un conjunto X se dice regular si la relación de pertenencia ∈ está bien fundada en la clausura transitiva de X, ct X. Esto implica que no existen dentro de X conjuntos del tipo A={A}={{A}}=... En teoría axiomática de conjuntos, el axioma de regularidad afirma que todos los conjuntos son regulares.

Véase también

Propiedades de las relación binaria homogénea.
Relación reflexiva Relación simétrica Relación transitiva Relación total Relación bien fundada
Relación irreflexiva Relación antisimétrica Relación intransitiva

Referencias

  1. Lo segundo no implica lo primero, si no asumimos el axioma de elección.

Wikimedia foundation. 2010.

Mira otros diccionarios:

  • Relación transitiva — Ejemplo: Si a es mayor que b, y b es mayor que c, entonces, a es mayor que c. Una relación binaria R sobre un conjunto A es transitiva cuando se cumple: siempre que un elemento se relaciona con otro y éste último con un tercero, entonces el… …   Wikipedia Español

  • Relación Iglesia Católica-Estado argentino (1943-1955) — Saltar a navegación, búsqueda La relación de Iglesia Católica Estado argentino (1943 1955) es un tema que atrajo el interés de los historiadores por la peculiar articulación del peronismo histórico a la tradición católica así como por el salto… …   Wikipedia Español

  • Conjunto bien ordenado — En teoría de conjuntos, un conjunto bien ordenado es un conjunto no vacío totalmente ordenado tal que todo subconjunto no vacío tiene un elemento mínimo. Equivalentemente, puede decirse que un conjunto A es bien ordenado si es totalmente ordenado …   Wikipedia Español

  • Teoría del orden — La teoría del orden es una rama de la matemática que estudia varias clases de relaciones binarias que capturan la noción intuitiva del orden matemático. Este artículo da una introducción detallada a este campo e incluye algunas de las… …   Wikipedia Español

  • Orden total — En matemáticas, un orden total, orden lineal, orden simple, o simplemente orden en un conjunto X es una relación binaria sobre X que es antisimétrica, transitiva, y total; esto es, si se denota una tal relación por ≤, lo siguiente vale para… …   Wikipedia Español

  • Conjunto preordenado — En matemática, especialmente en teoría del orden, preórdenes son ciertas clases de relaciones binarias que se relacionan con los conjuntos parcialmente ordenados. El nombre quasiorden es también una expresión común para preórdenes. Muchas… …   Wikipedia Español

  • Conjunto parcialmente ordenado — En matemáticas, especialmente en teoría del orden, un conjunto parcialmente ordenado (o poset, del inglés partially ordered set) es un conjunto equipado con una relación binaria de orden parcial. Ésta formaliza el concepto intuitivo de orden,… …   Wikipedia Español

  • Condición de la cadena ascendente — La condición de la cadena ascendente (ACC por sus siglas en inglés) y la condición de la cadena descendente (DCC) son propiedades de finitud satisfechas por algunas estructuras algebraicas, principalmente, ideales en ciertos anillos… …   Wikipedia Español

  • Inducción transfinita — La inducción transfinita es una extensión de la inducción matemática a (grandes) conjuntos bien ordenados, tales como conjuntos de ordinales o cardinales. Definición formal Supóngase que si para todo β < α vale P(β), entonces P(α) vale también …   Wikipedia Español

  • Rodentia — Saltar a navegación, búsqueda ? Roedores Rango fósil: Paleoceno–Reciente Capibara …   Wikipedia Español

Compartir el artículo y extractos

Link directo
Do a right-click on the link above
and select “Copy Link”