Espaço métrico

Origem: Wikipédia, a enciclopédia livre.
Ir para: navegação, pesquisa
Question book.svg
Esta página ou se(c)ção não cita fontes fiáveis e independentes (desde Agosto de 2012). Por favor, adicione referências e insira-as no texto ou no rodapé, conforme o livro de estilo. Conteúdo sem fontes poderá ser removido.
Um conjunto munido de uma métrica é um espaço métrico; entre as muitas métricas possíveis encontra-se a métrica de Manhattan.

Em matemática, um espaço métrico (X,d)\, é um conjunto X\, munido de uma Métrica (ou distância), isto é, uma função d:X\times X\to \R\, tal que para quaisquer x,y,z\in X,

Exemplos[editar | editar código-fonte]

  • (\R^n,d), onde d((x_1,\ldots,x_n),(y_1,\ldots,y_n))=\sqrt{(y_1-x_1)^2+\cdots+(y_n-x_n)^2}, é o espaço de dimensão n\, com a distância usual (espaço vetorial euclidiano).
  • (X,d)\,, onde d(x,y)= \left \{ \begin{matrix} 0, & \mbox{se }x=y \\ 1, & \mbox{se }x\neq y \end{matrix} \right. é denominado de espaço métrico discreto.
  • Qualquer subconjunto de um espaço métrico é um espaço métrico (para a mesma distância)
  • Seja V o conjunto das funções contínuas de domínio [a,b] e contra-domínio real. Então d(f,g) = \max|f(x) - g(x)|\, torna V um espaço métrico (a condição de continuidade é importante para garantir que essa métrica seja definida).

Propriedades[editar | editar código-fonte]

Um espaço métrico é topologizável, isto é admite uma estrutura natural de espaço topológico. Usando a notação B(x, r)\, para representar a bola aberta de raio r, B(x, r) = \{ y \ | \ d(x, y) < r \} \,, podem-se escrever várias formas equivalentes de definir esta topologia:

  • Um conjunto A é aberto quando \forall x \in A \ , \ \exists \epsilon > 0 \ , \ B(x, \epsilon) \subset A\,.
  • A topologia gerada pelas bolas abertas.

Note-se, em particular, que as bolas abertas são conjuntos abertos, e essa topologia é Hausdorff.

Referências[editar | editar código-fonte]

Ícone de esboço Este artigo sobre matemática é um esboço. Você pode ajudar a Wikipédia expandindo-o.