To install click the Add extension button. That's it.

The source code for the WIKI 2 extension is being checked by specialists of the Mozilla Foundation, Google, and Apple. You could also do it yourself at any point in time.

4,5
Kelly Slayton
Congratulations on this excellent venture… what a great idea!
Alexander Grigorievskiy
I use WIKI 2 every day and almost forgot how the original Wikipedia looks like.
Live Statistics
Spanish Articles
Improved in 24 Hours
Added in 24 Hours
What we do. Every page goes through several hundred of perfecting techniques; in live mode. Quite the same Wikipedia. Just better.
.
Leo
Newton
Brights
Milds

De Wikipedia, la enciclopedia libre

En topología, una subbase para un espacio topológico X con topología T, es una subcoleción B de T la cual genera a T, en el sentido que T es la topología más pequeña que contiene a B. Una definición levemente diferente es usada por algunos autores y existen otras formulaciones equivalentes de la definición; estas son discutidas a continuación.

Definición

Sea X un espacio topológico con topología T. Una subbase de T es usualmente definida como una subcolección B de T que satisface una de las dos siguientes condiciones equivalentes:

  1. La subcolección B genera la topología T. Esto significa que T es la topología más pequeña que contiene a B: cualquier topología U en X que contiene a B también debe contener a T.
  2. La colección de conjuntos abiertos construida con X y todas la intersecciones finitas de los elementos de B forman una base para T. Esto significa que todo conjunto abierto propio no vacío en T puede ser escrito como una unión de intersecciones finitas de elementos de B.

Explícitamente, dado un punto x en un conjunto abierto propio U (vecindad de x) existen varios conjuntos finitos S1, …, Sn de B, tales que la intersección de estos conjuntos contiene a x y esta contenida en U.

(Note que si usamos la definición de intersección no vacía, entonces no es necesario incluir X en la segunda definición.)

Para alguna subcolección S del conjunto de partes P(X), existe una única topología que tiene a S como una subbase. En particular, la intersección de todas las topologías en X que contiene a S, satisface esta condición. En general, no siempre existe una única subbase para una topología dada.

Por lo tanto, podemos comenzar con la topología fija y encontrar subbases para dicha topología, y podemos también comenzar con una subcolección arbitraria del conjunto de partes P(X) y formar la topología generada por esa subcolección. Podemos libremente usar cualquiera de las definiciones equivalentes dadas anteriormente; ciertamente en muchos casos, una de las dos condiciones es más útil que la otra.

Definición alternativa

Algunas veces, una definición levemente diferente de subbase es dada, la cual requiere que la subbase B recubra a X. En este caso, X es un conjunto abierto en la topología generada porque es la unión de todos los {Bi} mientras Bi varia sobre B. Esto significa, que no pueden existir confusiones referentes al uso de la intersección no vacía, en la definición.

Sin embargo, con esta definición, las dos definiciones anteriores, no siempre son equivalentes. En otras palabras, existen espacio X con topología T, tales que existe una subcolección B de T, tal que T es la topología más pequeña que contiene a B, donde B no cubre a X todavía. En la práctica, es una rara ocurrecia; una subbase de un espacio que satisface el T1 debe ser una cobertura de este espacio.

Ejemplos

La topología usual en los números reales R tiene una subbase formada por todos los intervalos abiertos semi-infinitos de la forma o de la forma donde a y b son números reales. Juntos generan la topología usual desde las intersecciones para a < b. Una segunda subbase es formada tomando la subfamilia donde a y b son racionales. Esta segunda subbase también genera la topología usual, ya que los intervalos abiertos (a,b) con a, b racionales forman una base para la topología usual Euclidiana.

La subbase formada por todos los intervalos abiertos semi-infinitos de la forma , donde a es un número real, no genera la topología usual. La topología resultante no satisface el axioma T1 de separación, que hable de que todos los conjuntos abiertos que tiene una intersección no vacía.

La topología inicial definida por la familia de funciones fi : XYi, donde cada Yi tiene una topología, es la topología más gruesa en X, tal que cada fi es continua; ya que la continuidad puede ser definida por las imágenes inversas de los conjuntos abiertos; esto significa que la topología más débil en X es dada tomando todas las fi−1(Ui), donde Ui varia en todo el conjunto abieto de Yi, como una subbase.

Dos casos especiales muy importantes de la topología inicial son la topología producto, donde la familia de funciones es el conjunto de proyecciones desde el producto a cada factor, y el subespacio topológico, donde la familia consta de solo una función, la función de inclusión.

La topología compacta abierta, en el espacio de funciones continuas de X a Y tiene por una subbase el conjunto de funciones

donde K es un espacio compacto y U es abierto en Y.

Resultados

El Lema de la Subbase de Alexander dice:

Sea un espacio topológico y una subbase para la topología de . Supongamos que para cada colección de subbásicos que cubren a existe una subcolección finita que cubre a . Entonces es compacto.

Demostración: Supóngase que no es compacto. Entonces existe cubierta abierta (de conjuntos básicos) que no tiene una subcubierta finita.

Construyamos la familia Este conjunto está parcialmente ordenado y cada subcolección de ésta que este totalmente ordenada tiene una cota superior. Entonces, por el Lema de Zorn, una cubierta maximal, y esto implica que es una cubierta abierta de básicos que no tiene subcubierta finita.

Sea básico, entonces subbásicos tales que .

Afirmamos que al menos uno de los . Para probar esto supongamos que todos los .

Si cada , entonces: , y así se tiene que hay una subcubierta finita que cubre a y lo anterior implica que cubre a con finitos elementos de , en otras palabras, se cubre con finitos elementos de .

Pero

.

Si cada se cubre con finitos elementos de entonces también y como entonces sería cubierto con finitos elementos de , lo cual es una contradicción.

Ahora, si para cada existe un subbásico con , luego también tiene una cubierta de subbásicos para . Por hipótesis tenemos finitos subbásicos para cubrir a , lo que implica que hay finitos básicos para cubrir a , lo cual contradice la elección de . Entonces la familia es vacía y la suposición de que no es compacta es falsa, por lo tanto es compacto.


Este lema permite una demostración del Teorema de Tíjonov.

Referencias

  • Stephen Willard, General Topology, (1970) Addison-Wesley Publishing Company, Reading Massachusetts.
Esta página se editó por última vez el 5 ene 2022 a las 14:45.
Basis of this page is in Wikipedia. Text is available under the CC BY-SA 3.0 Unported License. Non-text media are available under their specified licenses. Wikipedia® is a registered trademark of the Wikimedia Foundation, Inc. WIKI 2 is an independent company and has no affiliation with Wikimedia Foundation.