Está en la página 1de 3

Roberto Steven Vargas Pena

Otra persona
Carlos Ernesto Isaza Carvajal
Departamento de Matemticas
Universidad Nacional de Colombia
17 de mayo de 2016

FILTROS Y ULTRAFILTROS

En este breve documento definimos lo que en teora de conjuntos es un filtro y un ultrafiltro.


Adems damos lo que consideramos dos resultados generales muy importantes, empezando
con un lema que relaciona un ultrafiltro con un mximal y terminando con un teorema que
utiliza fuertemente el Lema de Zorn.

1. Definicin Filtro

2. Definicin ultrafiltro

3. Lema

4. Teorema:

Si Y es un filtro sobre X entonces existe un filtro V -maximal que contiene a Y.


Demostracin:
Sean X un conjunto no vaco y Y P(X) tal que Y es un filtro sobre X.
Sea L:= {S P(P(X)): S es filtro sobre X tal que Y S}

(YL).

Tomemos cualquier cadena del orden parcial (L, ). Sea h L tal que dados A,B h, A B
o B A. Veamos que Uh es cota superior de h.

Afirmacin 1: Uh L:
En efecto, Uh P(P(X)), ya que Uh P(X). Porque dado J Uh existe A h P(X) tal que J
A (definicin de unin) y como A L (A h L), entonces, A P(X), luego J P(X).
Por otra parte Uh cumple:
a. Uh:
Si Uh por definicin de unin existir a A Uh L tal que A, contradiccin porque
A es filtro sobre X, en particular A. Luego Uh.
b. Si J, K Uh entonces J K Uh:
Supongamos que J, K Uh, por de definicin de unin existen A, B h tales que J A y K
B. Como A, B h entonces A B o B A (h es cadena), sin prdida de generalidad pongamos
que A B. Luego, como J A B y K B entonces J, K B. Como B es filtro sobre X (B
h L), en particular B cumple b (dados T, M B; entonces TM B), entonces J K B.
Luego, J K Uh.

c. Si J Uh y J K entonces K Uh:
Supongamos que J Uh y J K, por de definicin de unin existe A h tal que J A.
Como A h L entonces A L, por tanto A en particular cumple c (Si Z A y Z T
entonces T A), por tanto, como J K y J A entonces K A. Luego K Uh.
As, como Uh P(P(X)) y Uh cumple a,b y c, entonces, Uh es filtro sobre X. Y adems como
toda S L , Y S entonces Y Uh, por tanto Uh L .

Afirmacion2: A Uh para todo A h.


En efecto, dado A h si T A entonces T Uh, porque existe A h tal que T A (definicin
pertenencia de unin).

As, por Afirmacion1 y Afirmacion2 a cualquier cadena h del orden parcial (L, ) le encontramos
una cota superior Uh, luego por lema de Zorn existe V-maximal en (L, ) y como V L en
particular Y V.
Ntese que V es un ultra filtro por Lema anterior.

Estos resultados nos dicen que cualquier utrafiltro sobre un conjunto dado X es un
maximal y adems que cualquier filtro sobre X puede ser extendido a un ultrafiltro en X.

5. Bibliografa:

5.1 Karel Hrbacek, Thomas Jech. (1999), Introduction to Set Theory, Tercera edicin.