Son estas dos definiciones de la base equivalente?

Question

Conferencia definición de la nota

Deje $(X, \mathcal{T})$ ser topológica del espacio, Un $basis$ $\mathcal{T}$ es una colección de $\mathcal{B}$ de abrir conjuntos de la satisfacción de las siguientes: Para cada conjunto abierto $U$, y para cada elemento $x \in U$, existe un conjunto $\beta$ tal que $x \in \beta$ $\beta \subset U$

La mayoría de los libros de texto de la definición:

Si $X$ es un conjunto, una base para una topología en $X$ es una colección de $\mathcal{B}$ de los subconjuntos de a $X$ tal que

1. para cada una de las $x \in X$. hay al menos una base de elemento $B$ contiene $x$

2. si $x$ pertenece a la intersección de dos bases elemento $B_1$$B_2$, entonces no es una base de elemento $B_3$ tal que $B_3$ contiene $x$, y se encuentra en la intersección de las $B_1$ $B_2$

Si es así, ¿cómo puedo demostrarlo ?

Answer 1

Tenga en cuenta que la primera definición se refiere a una base para una determinada topología, y el segundo, a un conjunto $\mathcal{B}$ que funcionará como base para una topología, no se da, sino que lo determina o generados por $\mathcal{B}$.

La fundamental cosa sobre una base, decir $\mathcal{B}$, es que cualquier conjunto abierto en la topología para que $\mathcal{B}$ es una base es una unión de elementos de $\mathcal{B}$.

Aviso en la primera definición, el hecho de que para cualquier conjunto abierto $V$ tiene un conjunto básico $U_{x}$ intercala entre cada punto de $x$ $V$ hace que cada conjunto abierto una unión de elementos de la base, yo.e: $V=\bigcup_{x\in V} U_{x}$, una unión de conjuntos básicos.

La segunda definición es acompañado generalmente por algo un largo de las líneas de:

La topología $\mathcal{T}$ generado por la base de $\mathcal{B}$ está definido por: Un conjunto $V$ se llama abrir en $X$ (que es $V\in\mathcal{T}$) si para cada una de las $x\in V$ no es un porcentaje ($B_{x}\in\mathcal{B}$tal que $x\in B_{x}\subset V$.

Observe que en este caso también cualquier conjunto abierto en la topología $\mathcal{T}$ generado por la base de $\mathcal{B}$ será una unión de elementos de $\mathcal{B}$. El hecho de que una topología definida en la forma descrita anteriormente es en realidad bien definida (me refiero en realidad cerrada bajo uniones e intersecciones finitas) depende exclusivamente de que los dos requisito para ser un base que se cumplan. Yo lo veo como esto:

Queremos crear una topología en la que ciertos conjuntos de nuestra selección están abiertas, para que sea una topología tenemos que cerrar nuestro conjunto bajo arbitraria sindicatos y finito intersecciones. Pero si tenemos suerte y nuestro sistema cumple con los dos requisitos dados en la definición de una base, cierre bajo arbitraria de los sindicatos es suficiente, cierre bajo finito intersecciones es ya de cuidado fuera. Esto es visto a través de un argumento similar a la presentada anteriormente, dado $B_{1},B_{2}\in\mathcal{B}$, para cualquier $x\in B_{1}\cap B_{2}$ no es un porcentaje ($B_{x}\in\mathcal{B}$tal que $x\in B_{x}\subset B_{1}\cap B_{2}$, haciendo que este conjunto de ($B_{1}\cap B_{2}$) de una unión de elementos de $\mathcal{B}$. Recapulating: quiero incluir $B_{1}\cap B_{2}$ en mi topología, pero si $\mathcal{B}$ es una base, ya he incluido cuando he añadido todos los sindicatos de todos los elementos de a $\mathcal{B}$ a mi topología.

Tratando de darle algo de intuición en el punto de hablar de las bases, tal vez usted puede tratar y formalizar una prueba de la equivalencia que quieres ahora.