Lema de TukeyEl Lema de Tukey (a veces citado como lema de Teichmüller-Tukey), enunciado por John Tukey y Oswald Teichmüller, es un lema que afirma que si es un conjunto de carácter finito, entonces existe un elemento maximal para el conjunto ordenado , esto es, un elemento maximal respecto a la inclusión.[1] Este axioma, en la teoría de conjuntos de Zermelo-Fraenkel, es una más de las formas equivalentes del axioma de elección. Su importancia radica en que puede utilizarse para demostrar fácilmente la existencia de bases de un espacio vectorial arbitrario, pues la familia de conjuntos vectores linealmente independientes es de carácter finito. Luego, este debe admitir un elemento maximal respecto a la inclusión (que ha de ser la base del espacio). DefinicionesUn conjunto es de carácter finito si para todo , si y solo si todos sus subconjuntos finitos pertenecen a . Una propiedad se dice de carácter finito si es un conjunto de carácter finito. Por ejemplo, la propiedad "ser totalmente ordenado", es de carácter finito. Enunciado del lemaSea un conjunto de carácter finito, entonces existe un elemento maximal para el conjunto ordenado . Referencias
Bibliografía
|