Logo
Unionpedia
Comunicación
Disponible en Google Play
¡Nuevo! ¡Descarga Unionpedia en tu dispositivo Android™!
Gratis
¡Más rápido que el navegador!
 

Relación bien fundada

Índice 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: 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,...

22 relaciones: Axioma de regularidad, Condición de la cadena ascendente, Conjunto bien ordenado, Conjunto finito hereditariamente, Emmy Noether, Forzado (matemáticas), Fundamental, Inducción estructural, Número ordinal (teoría de conjuntos), Números épsilon, Propiedad de la relación binaria homogénea, Regresión infinita, Relación antisimétrica, Relación de orden, Relación intransitiva, Relación irreflexiva, Relación reflexiva, Relación simétrica, Relación total, Relación transitiva, Teoría descriptiva de conjuntos, Tipo de dato algebraico.

Axioma de regularidad

En teoría de conjuntos, el axioma de regularidad o axioma de fundación es un axioma que postula que ciertos conjuntos «patológicos», como por ejemplo un conjunto que se contenga a sí mismo como elemento, no pueden existir.

¡Nuevo!!: Relación bien fundada y Axioma de regularidad · Ver más »

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 conmutativos.

¡Nuevo!!: Relación bien fundada y Condición de la cadena ascendente · Ver más »

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.

¡Nuevo!!: Relación bien fundada y Conjunto bien ordenado · Ver más »

Conjunto finito hereditariamente

En matemáticas y teoría de conjuntos, los conjuntos finitos hereditariamente se definen como conjuntos finitos cuyos elementos son todos conjuntos finitos hereditarios.

¡Nuevo!!: Relación bien fundada y Conjunto finito hereditariamente · Ver más »

Emmy Noether

Emmy Noether (pronunciado en alemán; Erlangen, Baviera, Alemania, 23 de marzo de 1882 - Bryn Mawr, Pensilvania, Estados Unidos, 14 de abril de 1935) fue una matemática alemana, de ascendencia judía, especialista en la teoría de invariantes y conocida por sus contribuciones de fundamental importancia en los campos de la física teórica y la álgebra abstracta.

¡Nuevo!!: Relación bien fundada y Emmy Noether · Ver más »

Forzado (matemáticas)

En la disciplina matemática de la teoría de conjuntos, el forzado es una técnica empleada para probar la consistencia y la independencia de diversos resultados.

¡Nuevo!!: Relación bien fundada y Forzado (matemáticas) · Ver más »

Fundamental

Fundamental puede hacer referencia a.

¡Nuevo!!: Relación bien fundada y Fundamental · Ver más »

Inducción estructural

La inducción estructurada es un método de demostración utilizado en lógica matemática, teoría de los grafos, computación y otras áreas.

¡Nuevo!!: Relación bien fundada e Inducción estructural · Ver más »

Número ordinal (teoría de conjuntos)

En teoría de conjuntos, un número ordinal, o simplemente ordinal, es un representante del tipo de orden de un conjunto bien ordenado.

¡Nuevo!!: Relación bien fundada y Número ordinal (teoría de conjuntos) · Ver más »

Números épsilon

En matemáticas, los números épsilon o números ε son una colección de números transfinitos cuya propiedad definitoria es que son puntos fijos de la aplicación exponencial definida sobre los números ordinales.

¡Nuevo!!: Relación bien fundada y Números épsilon · Ver más »

Propiedad de la relación binaria homogénea

En matemáticas, una relación binaria homogénea es una relación matemática \mathcal entre dos elementos que pertenecen al mismo conjunto.

¡Nuevo!!: Relación bien fundada y Propiedad de la relación binaria homogénea · Ver más »

Regresión infinita

Una regresión infinita es una serie infinita de entidades gobernada por un principio recursivo que determina cómo cada entidad de la serie depende de su predecesor o es producida por él.

¡Nuevo!!: Relación bien fundada y Regresión infinita · Ver más »

Relación antisimétrica

Una relación binaria R sobre un conjunto A es antisimétrica cuando se da que si dos elementos de A se relacionan entre sí mediante R, entonces estos elementos son iguales.

¡Nuevo!!: Relación bien fundada y Relación antisimétrica · Ver más »

Relación de orden

En matemáticas, una relación de orden u orden parcialAlgunos autores reservan la expresión orden parcial para aquellos órdenes que no sean totales.

¡Nuevo!!: Relación bien fundada y Relación de orden · Ver más »

Relación intransitiva

Una relación binaria R sobre un conjunto A es intransitiva cuando se cumple siempre que un elemento se relaciona con otro y este último con un tercero, entonces el primero no se relaciona con el tercero.

¡Nuevo!!: Relación bien fundada y Relación intransitiva · Ver más »

Relación irreflexiva

Una relación binaria R entre los elementos de un conjunto A es una relación irreflexiva, también llamada: antirreflexiva o antirrefleja, si ningún elemento del conjunto está relacionado consigo mismo: Para todo a que pertenezca a A, (a,a) no pertenece R. Que también puede expresarse No existe ningún elemento a en el conjunto A que cumpla que: (a,a) pertenezca a R.

¡Nuevo!!: Relación bien fundada y Relación irreflexiva · Ver más »

Relación reflexiva

En matemáticas, una relación reflexiva o refleja es una relación binaria R sobre un conjunto A, de manera que todo elemento de A está relacionado consigo mismo.

¡Nuevo!!: Relación bien fundada y Relación reflexiva · Ver más »

Relación simétrica

Una relación binaria R sobre un conjunto A, es simétrica cuando se da que si un elemento está relacionado con otro mediante R, entonces ese otro también está relacionado con él, a través de la misma "R".

¡Nuevo!!: Relación bien fundada y Relación simétrica · Ver más »

Relación total

Una relación binaria R sobre un conjunto A es una relación total (o relación conexa) cuando se cumple que para cada dos elementos a y b de A, o a está relacionado con b o b está relacionado con a, esto es: Nótese que esto implica una relación reflexiva, pues incluye los casos en que a y b son el mismo elemento.

¡Nuevo!!: Relación bien fundada y Relación total · Ver más »

Relación transitiva

Una relación binaria R sobre un conjunto A es transitiva cuando se cumple: siempre que un elemento se relaciona con otro y este último con un tercero, entonces el primero se relaciona con el tercero.

¡Nuevo!!: Relación bien fundada y Relación transitiva · Ver más »

Teoría descriptiva de conjuntos

En lógica matemática, la teoría descriptiva de conjuntos es el estudio de ciertas clases de subconjuntos de buen comportamiento de la recta real u otros espacios polacos.

¡Nuevo!!: Relación bien fundada y Teoría descriptiva de conjuntos · Ver más »

Tipo de dato algebraico

En matemáticas discretas es usual introducir definiciones de estructuras recursivas dando los casos de definición y un axioma de clausura indicando que ninguna otra cosa forma parte de lo definido.

¡Nuevo!!: Relación bien fundada y Tipo de dato algebraico · Ver más »

Redirecciona aquí:

Conjunto regular, Orden bien fundamentado.

SalienteEntrante
¡Hey! ¡Ahora tenemos Facebook! »