Ir al contenido

Lema de Tukey

De Wikipedia, la enciclopedia libre

El 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).

Definiciones

[editar]

Un 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 lema

[editar]

Sea un conjunto de carácter finito, entonces existe un elemento maximal para el conjunto ordenado .

Referencias

[editar]
  1. Cignoli, Roberto (2016). Teoría axiomática de conjuntos: Una introducción (pdf). Buenos Aires. pp. 72-73. ISSN 1851-1317. Consultado el 25/03/2.018. 

Bibliografía

[editar]
  • Cignoli Roberto (2016). Teoría axiomática de conjuntos: Una introducción. Universidad de Buenos Aires.