Professional Documents
Culture Documents
Otra persona
Carlos Ernesto Isaza Carvajal
Departamento de Matemticas
Universidad Nacional de Colombia
17 de mayo de 2016
FILTROS Y ULTRAFILTROS
1. Definicin Filtro
2. Definicin ultrafiltro
3. Lema
4. Teorema:
(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 .
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.