Serviços Personalizados
Journal
Artigo
Indicadores
Citado por SciELO
Acessos
Links relacionados
Citado por Google
Similares em SciELO
Similares em Google
Compartilhar
Revista Colombiana de Matemáticas
versão impressa ISSN 0034-7426
Resumo
BOGOYA, Johan e 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.
Palavras-chave : Logic; models; axiom of choice.