Interior (topología)

De Wikipedia, la enciclopedia libre

(Redirigido desde Interior)

[editar] Definición y Caracterizaciones

Sea (X,\mathcal{T}) un espacio topológico, y A \subset X . Se define el interior de A (notado int(A) o Ao) como el abierto más grande contenido en A, es decir, V = int(A) si y sólo si es abierto y todo otro abierto que contenga a A, contiene también a V. Constructivamente, se define int(A)=\cup \{V \in \mathcal{T}: V \subset A\}. Notar que esta construcción garantiza la existencia de este abierto maximal, pues la unión de abiertos es un abierto. También se puede caracterizar el interior por medio de los entornos, de la siguiente manera: int(A)=\{x\in A:  \exists V \in N_x, V\subset A\} , donde Nx representa el conjunto de todos los entornos del punto x. En espacios métricos se puede explicitar aún más: int(A)=\{x \in X: \exists \epsilon >0, B(x, \epsilon) \subset A \} .

[editar] Propiedades

Las siguientes son las principales propiedades del interior:

  1. A es abierto si y sólo si int(A) = A
  2. int(int(A)) = int(A)
  3. A \subset B \Rightarrow int(A)\subset int(B)
  4. int(\varnothing)=\varnothing, int(X)=X (pues ambos son conjuntos abiertos)
  5. int(A)\cap int(B)=int(A \cap B)
  6. int(A) \cup int(B) \subset int(A \cup B) (pudiendo ser estricto)
  7. int(A) = (adh(Ac))c

Hay conjuntos de interior vacío, y cuya adherencia es todo el espacio, como por ejemplo \mathbb{I}, \mathbb{Q} .

Herramientas personales
Crear un libro