Propiedad de intersección finita
En la topología general, una rama de las matemáticas, una familia no vacía A de subconjuntos de un conjunto X{displaystyle X} se dice que tiene Finite intersection property (FIP) si la intersección sobre cualquier subcollección finita A{displaystyle A} no es vacío. Tiene fuerte propiedad de intersección finita (SFIP) si la intersección sobre cualquier subcollección finita A{displaystyle A} es infinito. Los conjuntos con la propiedad de intersección finita también se llaman sistemas centrados y Filtros.
La propiedad de intersección finita se puede utilizar para reformular la compacidad topológica en términos de conjuntos cerrados; esta es su aplicación más destacada. Otras aplicaciones incluyen demostrar que ciertos conjuntos perfectos son incontables y la construcción de ultrafiltros.
Definición
Vamos X{textstyle X} ser un juego A{fnMicrosoft {fnMitcal} {A}} a nonempty family of subsets of X{textstyle X}; es decir, A{fnMicrosoft {fnMitcal} {A}} es un subconjunto del conjunto de energía X{textstyle X}. Entonces... A{fnMicrosoft {fnMitcal} {A}} se dice que tiene la propiedad de intersección finita si cada subfamilia finita no vacía tiene intersección no vacía; se dice que tiene la propiedad de intersección finita fuerte si esa intersección es siempre infinita.
En símbolos, A{fnMicrosoft {fnMitcal} {A}} tiene el FIP si, para cualquier elección de un subconjunto finito no vacío B{fnMicrosoft {fnMitcal} {B}} de A{fnMicrosoft {fnMitcal} {A}}, debe existir un punto
En el estudio de los filtros, la intersección común de una familia de conjuntos se llama núcleo, de la misma etimología que el girasol. Las familias con núcleo vacío se llaman libres; aquellos con kernel no vacío, arreglados.
Familias de ejemplos y no ejemplos
El conjunto vacío no puede pertenecer a ninguna colección con la propiedad de intersección finita.
Una condición suficiente para la propiedad de intersección FIP es un kernel no vacío. El contrario es generalmente falso, pero sostiene para las familias finitas; es decir, si A{displaystyle {fnMithcal}} es finito, entonces A{displaystyle {fnMithcal}} tiene la propiedad de intersección finita si y sólo si se fija.
Intersección por pares
La propiedad de intersección finita es estrictamente más fuerte que la intersección de pares; la familia {}{}1,2},{}2,3},{}1,3}}{displaystyle {fnMicrosoft Sans} tiene intersecciones pares, pero no la FIP.
Más generalmente, dejar n▪ ▪ N∖ ∖ {}1}{textstyle nin mathbb {N} setminus {1}} ser un entero positivo mayor que la unidad, [n]={}1,...... ,n}{textstyle [n]={1,dotsn}, y A={}[n]∖ ∖ {}j}:j▪ ▪ [n]}{fnMicrosoft {fnMitcal} {A}={n]setminus {j}:jin [n]}. Entonces cualquier subconjunto de A{displaystyle {fnMithcal}} con menos que n{textstyle n} elementos tiene intersección no vacía, pero A{fnMicrosoft {fnMitcal} {A}} carece de la FIP.
![{textstyle [n]={1,dotsn}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1ff8dab8de6a285ae9141ac46ca8e10e6961cafd)
![{textstyle {mathcal {A}}={[n]setminus {j}:jin [n]}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f46730240cf8cf4b0255365086adf864da461b9c)
Construcciones de tipo final
Si A1⊇ ⊇ A2⊇ ⊇ A3⋯ ⋯ {displaystyle A_{1}supseteq A_{2}supseteq A_{3}cdots es una secuencia decreciente de conjuntos no vacíos, entonces la familia A={}A1,A2,A3,...... }{textstyle {mathcal {}=left{1},A_{2},A_{3},ldots right}} tiene la propiedad de intersección finita (y es incluso un π–sistema). Si las inclusiones A1⊇ ⊇ A2⊇ ⊇ A3⋯ ⋯ {displaystyle A_{1}supseteq A_{2}supseteq A_{3}cdots son estrictos, entonces A{fnMicrosoft {fnMitcal} {A}} Admite también la fuerte propiedad de intersección finita.
Más generalmente, cualquier A{fnMicrosoft {fnMitcal} {A}} que está totalmente ordenado por la inclusión tiene el FIP.
Al mismo tiempo, el núcleo de A{fnMicrosoft {fnMitcal} {A}} puede estar vacío: si Aj={}j,j+1,j+2,...... }{textstyle A_{j}={j,j+1,j+2,dots }, entonces el núcleo de A{displaystyle {fnMithcal}} es el set vacío. Del mismo modo, la familia de intervalos {}[r,JUEGO JUEGO ):r▪ ▪ R}{displaystyle left{[r,infty):rin mathbb {R} right} también tiene el (S)FIP, pero núcleo vacío.
Did you mean:
"Generic#34; sets and properties
La familia de todos los subconjuntos de Borel [0,1]{displaystyle [0,1]} con la medida Lebesgue 1{textstyle 1} tiene la FIP, al igual que la familia de comeagre conjuntos. Si X{textstyle X} es un conjunto infinito, luego el filtro Fréchet (la familia {}X∖ ∖ C:Cfinito}{textstyle {Xsetminus C:C{text{ finite}}}) tiene el FIP. Todos estos filtros son gratuitos; están cerrados hacia arriba y tienen intersección infinita vacía.
![[0,1]](https://wikimedia.org/api/rest_v1/media/math/render/svg/738f7d23bb2d9642bab520020873cccbef49768d)
Si X=()0,1){displaystyle X=(0,1)} y, para cada entero positivo i,{displaystyle i,} el subconjunto Xi{displaystyle X_{i} es precisamente todos los elementos X{displaystyle X} tener dígitos 0{displaystyle 0} en el i{displaystyle i}T lugar decimal, luego cualquier intersección finita Xi{displaystyle X_{i} no es vacía — sólo tomar 0{displaystyle 0} en esos lugares y lugares finitos 1{displaystyle 1} en el resto. Pero la intersección Xi{displaystyle X_{i} para todos i≥ ≥ 1{displaystyle igeq 1} está vacío, ya que ningún elemento de ()0,1){displaystyle (0,1)} tiene cero dígitos.
Ampliación del conjunto de suelo
La propiedad de intersección finita (fuerte) es una característica de la familia A{fnMicrosoft {fnMitcal} {A}}, no el terreno X{textstyle X}. Si una familia A{fnMicrosoft {fnMitcal} {A}} en el set X{textstyle X} admite el (S)FIP y X⊆ ⊆ Y{textstyle Xsubseteq Y}, entonces A{fnMicrosoft {fnMitcal} {A}} es también una familia en el conjunto Y{textstyle Sí. con la FIP (resp. SFIP).
Filtros y topologías generados
Si K⊆ ⊆ X{displaystyle Ksubseteq X} son conjuntos con Kل ل ∅ ∅ {displaystyle Kneq varnothing } entonces la familia A={}S⊆ ⊆ X:K⊆ ⊆ S}{displaystyle {mathcal {}={Ssubseteq X:Ksubseteq S} tiene el FIP; esta familia se llama el filtro principal X{textstyle X} generados por K{textstyle K}. El subconjunto B={}I⊆ ⊆ R:K⊆ ⊆ IyIun intervalo abierto}{displaystyle {mathcal {B}={Isubseteqmathbb {R}:Ksubseteq I{text{ y }I{text{ an open interval}}} tiene el FIP por mucho la misma razón: los núcleos contienen el conjunto no vacío K{textstyle K}. Si K{textstyle K} es un intervalo abierto, entonces el conjunto K{textstyle K} es en realidad igual a los núcleos de A{fnMicrosoft {fnMitcal} {A}} o B{fnMicrosoft {fnMitcal} {B}}, y así es un elemento de cada filtro. Pero en general el núcleo de un filtro no necesita ser un elemento del filtro.
Un filtro adecuado en un conjunto tiene la propiedad de intersección finita. Cada subbase de vecindad en un punto en un espacio topológico tiene el FIP, y lo mismo ocurre con cada base de vecindad y cada filtro de vecindad en un punto (porque cada uno es, en particular, también una subbase de vecindad).
Relación con los sistemas π y los filtros
Un sistema π es una familia de conjuntos no vacía que está cerrada bajo intersecciones finitas. El conjunto
El cierre ascendente de π π ()A){displaystyle pi ({mathcal {A})} dentro X{textstyle X} es el conjunto
Para cualquier familia A{fnMicrosoft {fnMitcal} {A}}, la propiedad de intersección finita es equivalente a cualquiera de los siguientes:
- El sistema π generado por A{displaystyle {fnMithcal}} no tiene el conjunto vacío como elemento; es decir, ∅ ∅ ∉ ∉ π π ()A).{displaystyle varnothing notin pi ({mathcal {A}). }
- El set π π ()A){displaystyle pi ({mathcal {A})} tiene la propiedad de intersección finita.
- El set π π ()A){displaystyle pi ({mathcal {A})} es un prefiltro (propietario).
- La familia A{displaystyle {fnMithcal}} es un subconjunto de algún prefiltro (propietario).
- El cierre ascendente π π ()A)↑ ↑ X{textstyle pi ({mathcal {A})}{uparrow X} es un filtro (proper) en X{textstyle X}. En este caso, π π ()A)↑ ↑ X{displaystyle pi ({mathcal {A})}{uparrow X} se llama filtro en X{textstyle X} generados por A{fnMicrosoft {fnMitcal} {A}}, porque es el mínimo (con respecto a ⊆ ⊆ {displaystyle ,subseteq ,}) filtro en X{displaystyle X} que contiene A{displaystyle {fnMithcal}} como subconjunto.
- A{displaystyle {fnMithcal}} es un subconjunto de algún filtro (proper).
Aplicaciones
Compacidad
La propiedad de intersección finita es útil para formular una definición alternativa de compacidad:
Theorem—Un espacio es compacto si y sólo si cada familia de subconjuntos cerrados que tienen la propiedad de intersección finita tiene intersección no vacía.
This formulation of compactness is used in some proofs of Tychonoff 's theorem.
Incontabilidad de espacios perfectos
Otra aplicación común es demostrar que los números reales son incontables.
Theorem—Vamos X{displaystyle X} ser un espacio Hausdorff compacto no vacío que satisface la propiedad que ningún conjunto de un punto está abierto. Entonces... X{displaystyle X} es incontable.
Todas las condiciones del enunciado del teorema son necesarias:
- No podemos eliminar la condición de Hausdorff; un conjunto contable (con al menos dos puntos) con la topología indiscreta es compacta, tiene más de un punto, y satisface la propiedad que ningún punto se abre, pero no es incontable.
- No podemos eliminar la condición de compactidad, como muestra el conjunto de números racionales.
- No podemos eliminar la condición de que un conjunto de puntos no pueda abrirse, como cualquier espacio finito con los espectáculos discretos de topología.
Lo demostraremos si U⊆ ⊆ X{displaystyle Usubseteq X} no es vacía y abierta, y si x{displaystyle x} es un punto X,{displaystyle X. entonces hay un barrio V⊂ ⊂ U{displaystyle Vsubset U} cuyo cierre no contiene x{displaystyle x} ()x{displaystyle x}Puede o no estar U{displaystyle U}). Elija Sí.▪ ▪ U{displaystyle yin U} diferente x{displaystyle x} (si x▪ ▪ U{displaystyle xin U} entonces debe existir tal Sí.{displaystyle y} por otra parte U{displaystyle U} sería un punto abierto; si x∉ ∉ U,{displaystyle xnotin U,} esto es posible ya que U{displaystyle U}no es vacía). Luego por la condición de Hausdorff, elija barrios descomunales W{displaystyle W. y K{displaystyle K} de x{displaystyle x} y Sí.{displaystyle y} respectivamente. Entonces... K∩ ∩ U{displaystyle Kcap U} será un barrio Sí.{displaystyle y} contenidas en U{displaystyle U} cuyo cierre no contiene x{displaystyle x} como se desee.
Ahora supongamos f:N→ → X{displaystyle f:mathbb {N} to X} es una bijeción, y dejar {}xi:i▪ ▪ N}{displaystyle left{x_{i}:iin mathbb {N} right} denota la imagen f.{displaystyle f.} Vamos X{displaystyle X} ser el primer set abierto y elegir un barrio U1⊂ ⊂ X{displaystyle U_{1}subset X. cuyo cierre no contiene x1.{displaystyle x_{1}.} En segundo lugar, elegir un barrio U2⊂ ⊂ U1{displaystyle U_{2}subset U_{1} cuyo cierre no contiene x2.{displaystyle x_{2}.} Continúe con este proceso de elección de un barrio Un+1⊂ ⊂ Un{displaystyle U_{n+1}subset U_{n} cuyo cierre no contiene xn+1.{displaystyle x_{n+1}.} Luego la colección {}Ui:i▪ ▪ N}{displaystyle left{U_{i}:iin mathbb {N} right} satisfice la propiedad de intersección finita y por lo tanto la intersección de sus cierres no es vacía por la compactidad de X.{displaystyle X.} Por lo tanto, hay un punto x{displaystyle x} en esta intersección. No xi{displaystyle x_{i}} puede pertenecer a esta intersección porque xi{displaystyle x_{i}} no pertenece al cierre de Ui.{displaystyle U_{i}. Esto significa que x{displaystyle x} no es igual a xi{displaystyle x_{i}} para todos i{displaystyle i} y f{displaystyle f} no es subjetivo; una contradicción. Por lo tanto, X{displaystyle X} es incontable.
Corollary—Cada intervalo cerrado [a,b]{displaystyle [a,b]} con <math alttext="{displaystyle aa.b{displaystyle a meantb}<img alt="a es incontable. Por lo tanto, R{displaystyle mathbb {R} es incontable.
![[a,b]](https://wikimedia.org/api/rest_v1/media/math/render/svg/9c4b788fc5c637e26ee98b45f89a5c08c85f7935)
Corollary—Cada espacio perfecto, localmente compacto Hausdorff es incontable.
Vamos X{displaystyle X} ser un espacio perfecto, compacto, Hausdorff, entonces el teorema inmediatamente implica que X{displaystyle X} es incontable. Si X{displaystyle X} es un espacio Hausdorff perfecto, localmente compacto que no es compacto, entonces la compactación de un punto X{displaystyle X} es un espacio Hausdorff perfecto y compacto. Por lo tanto, la compactación de un punto X{displaystyle X} es incontable. Desde la eliminación de un punto de un conjunto incontable todavía deja un conjunto incontable, X{displaystyle X} es incontable también.
Ultrafiltros
Vamos X{displaystyle X} no vacía, F⊆ ⊆ 2X.{displaystyle Fsubseteq 2^{X} F{displaystyle F} tener la propiedad de intersección finita. Entonces existe un U{displaystyle U} ultrafiltro (en 2X{displaystyle 2^{X}. F⊆ ⊆ U.{displaystyle Fsubseteq U.} Este resultado es conocido como el ultrafiltro lemma.
