Mostrar páginaRevisões anterioresLinks reversosVoltar ao topo === Seja $(X,\tau)$ um espaço topológico. $D \subset X$ é denso se, e somente se, para todo aberto não vazio $A$, $A \cap D \neq \emptyset$. === \\ $D$ sendo denso em $X$, então, por definição, $\overline{D} = X$. Seja $x \in X$ e $A$ uma [[topologia:vizinhaca|vizinhança]] aberta de $x$ tal que $x \in A$. Como $x \in X=\overline{D}$, assim, $A \cap D \neq \emptyset$. Reciprocamente, suponha que $\overline{D} \neq X$ e seja $x \notin \overline{D}$. Então existe uma vizinhança aberta $A$ de $x$ tal que $D \cap A = \emptyset$. Absurdo! Logo, $D$ é denso em $X$. dem/demoprop.txt Última modificação: 2021/05/03 16:15por marcia