Servicios Personalizados
Revista
Articulo
Indicadores
- Citado por SciELO
- Accesos
Links relacionados
- Citado por Google
- Similares en SciELO
- Similares en Google
Compartir
Revista Colombiana de Matemáticas
versión impresa ISSN 0034-7426
Resumen
BOGOYA, Johan y MONTENEGRO, Carlos. UNA DEBILITACIÓN DEL AXIOMA DE ELECCIÓN PARA EL ÁRBOL BINARIO ESTÁNDAR. Rev.colomb.mat. [online]. 2006, vol.40, n.2, pp.111-117. ISSN 0034-7426.
El axioma de elección dice que para cada colección de conjuntos (es decir conjunto de conjuntos) X, existe una función f tal que f(x) ∈ x para todos los x ∈ X no vacíos, es decir, la función f selecciona un elemento de cada conjunto de la colección X; a dicha función la llamamos función electora. Se acostumbra debilitar dicho axioma imponiendo condiciones sobre el conjunto X como por ejemplo: "X es una colección de n-conjuntos, es decir que los elementos de X son conjuntos finitos de tamaño n" o debilitando la función electora f al cambiar la condición f(x) ∈ x por Ø 6= f(x) ¢ x, en este último caso decimos que f es una función selectora. Decimos que el criterio Sn es válido en un modelo M si todas las colecciones de n-conjuntos X en M, tienen una función selectora. En el presente trabajo se exhibe un modelo de permutación de soporte finito [2, capítulo 4] donde el criterio Sn es falso para todos los enteros n de la forma 2k, con k natural y es válido para el resto de los naturales.
Palabras clave : Logic; models; axiom of choice.