8/16/2019 Filtros Ultrafiltros
1/3
Roberto Steven Vargas PenaOtra persona
Carlos Ernesto Isaza CarvajalDepartamento de Matemáticas
Universidad acional de Colombia!" de ma#o de $%!&
'I()ROS * U()R+'I()ROS
En este breve doc,mento de-inimos lo .,e en teor/a de conj,ntos
es ,n -iltro # ,n ,ltra-iltro0
+demás damos lo .,e consideramos dos res,ltados generales
m,# importantes1 empezando
con ,n lema .,e relaciona ,n ,ltra-iltro con ,n má2imal #
terminando con ,n teorema .,e
,tiliza -,ertemente el (ema de 3orn0
!0 De-inici4n 'iltro5
$0 De-inici4n ,ltra-iltro5
60 (ema5
70 )eorema8
Si * es ,n -iltro sobre 9 entonces e2iste ,n -iltro V ⊆:ma2imal
.,e contiene a *0
Demostraci4n8
Sean 9 ,n conj,nto no vac/o # * ⊆ P;9< tal .,e * es ,n
-iltro sobre 90
Sea (8= >S ∈ P;P;9
