Distancia

Denomínase **distancia** á lonxitude do camiño máis curto entre dúas entidades. 

A partir da definición de distancia, vista como unha aplicación que satisfai certos axiomas, pódense definir outras nocións de distancia, como a distancia entre dúas partes, ou a distancia dun punto a unha parte, sen que esta última cumpra coa definición primaria de distancia.

## Definición 
Chamamos **distancia** nun conxunto  a calquera aplicación  definida no produto  e con valores no conxunto ℝ dos números reais positivos ou cero,
:d :E\times E\to\R^+verificando as seguintes propiedades:

Un conxunto equipado cunha distancia chámase espazo métrico.

## Propiedades simples 
* Se  é un subconxunto de  e se  ℝ+ é unha distancia na aplicación , entón a restrición de  a  é unha distancia en .
* Se  e  son distancias respectivamente en  e  e se  é o produto  e , entón a aplicación  ℝ+ definida por
::d((a_1,a_2),(b_1,b_2))=d_1(a_1,b_1)+d_2(a_2,b_2)
:é unha distancia en . Para xeneralizacións, consulte Produto de espazos métricos.
* Se   e  son distancias en  entón   +   tamén o é.

## Casos especiais 
### Distancia ultramétrica 
A distancia dise que é *ultramétrica* se a maiores cumpre:

Un exemplo de tal distancia ocorre crucialmente na teoría de  valoracións -adicas. 

A interpretación xeométrica da desigualdade do triángulo nun espazo ultramétrico conduce á afirmación de que todos os triángulos son isósceles; ademais, todas as bólas de raio dado definidas neste conxunto constitúen unha partición deste conxunto; ao aumentar este raio desde 0, o espazo está equipado cunha estrutura xerárquica de proximidade, utilizábel no agrupamento xerárquico.

## Exemplos de distancias clásicas 
### Distancia nos espazos vectoriais 
miniatura|Visualización dalgunhas distancias e semidistancias: distancias dos puntos do plano en relación co punto de orixe e con outro punto de referencia

Nun espazo vectorial normado (E,\|\cdot\|), a distancia  "inducida pola" norma \|\cdot\| defínese como:
:\forall (x,y) \in E\times E\quad d(x,y) = \|y-x\|.

En particular, en ℝ (polo tanto tamén nos seus subconxuntos), a distancia entre dous puntos pódese definir de varias maneiras, aínda que xeralmente vén dada pola distancia euclidiana  (ou 2-distancia). 

Dados dous puntos de ,  e , expresamos as diferentes distancias do seguinte xeito:

|}

A 2-distancia permítenos xeneralizar a aplicación do teorema de Pitágoras a un espazo de dimensión . Esta é a distancia máis "intuitiva".

A -distancia  raramente se usa fóra dos casos  = 1, 2 ou . A distancia  ten a divertida peculiaridade de permitir a definición rigorosa de esferas cúbicas (ver oxímoro). A distancia 1 permite definir esferas octaédricas.

### Distancia (Xeometría) 
Denomínase **distancia entre dous puntos** A(x_1,y_1) e B(x_2,y_2) á lonxitude do segmento de recta que ten por extremos A e B. Exprésase matematicamente como:

:d=\sqrt{(x_2-x_1)^2+(y_2-y_1)^2}.

A distancia entre un punto P e unha recta R é a lonxitude do camiño máis curto que une o punto P(x_1,y_1) coa recta R = Ax + By + C. Matematicamente exprésase como:

:d=\frac{Ax_1+By_1+C}{\sqrt{A^2+B^2}}.

A distancia entre dúas rectas paralelas é a lonxitude do camiño máis curto entre unha delas e un punto calquera da outra.

A distancia entre un punto P e un plano L é a lonxitude do camiño máis curto entre o punto P(x_1,y_1,z_1) e o plano L = Ax + By + Cz + D. Matematicamente exprésase como:

:d=\frac{Ax_1+By_1+Cz_1+D}{\sqrt{A^2+B^2+C^2}}.

### Distancia discreta 
En calquera conxunto, a distancia discreta *d* defínese por: se *x* = *y* entón *d*(*x*, *y*) = 0 e, en caso contrario, *d*(*x*, *y*) = 1.

## Distancia entre conxuntos
miniatura|As distancias entre estes tres conxuntos non satisfán a desigualdade do triángulo:d(A,B)>d(A,C)+d(C,B)
Existen varias formas de medir a distancia física entre obxectos que constan de máis dun punto:
* Pódese medir a distancia entre puntos representativos como o centro de masa; isto úsase para distancias astronómicas como a Distancia Terra-Lúa.
* Pódese medir a distancia entre os puntos máis próximos dos dous obxectos; neste sentido, a altitude dun avión ou nave espacial é a súa distancia á Terra. O mesmo sentido de distancia utilízase na xeometría euclidiana para definir distancia dun punto a unha recta, distancia dun punto a un plano ou, de xeito máis xeral, distancia perpendicular entre subespazos afíns.
: Aínda máis xeralmente, esta idea pódese usar para definir a distancia entre dous subconxuntos dun espazo métrico. A distancia entre os conxuntos  e  é o ínfimo das distancias entre dous dos seus respectivos puntos:d(A,B)=\inf_{x\in A, y\in B} d(x,y). 
* A distancia de Hausdorff entre dous subconxuntos dun espazo métrico pódese considerar como unha medida de ata que punto están en superposición perfecta. De forma algo máis precisa, a distancia de Hausdorff entre  e  é a distancia de  ao punto máis afastado de  ou a distancia de  ao punto máis afastado de , a que sexa maior. (Aquí o "punto máis afastado" debe ser interpretado como un supremo.) A distancia de Hausdorff define unha métrica no conxunto de subconxuntos compactos dun espazo métrico.

## Xeodésicas
miniatura|Triángulos xeodésicos en espazos de curvatura positiva (arriba), negativa (media) e cero (inferior).
En xeometría, unha **xeodésica** é unha curva que representa nalgún sentido o camiño (arco) máis curto  entre dous puntos dunha superficie, ou máis xeralmente nunha variedade de Riemann. O termo tamén ten significado en calquera variedade diferenciable cunha conexión. É unha xeneralización da noción de "liña recta".

En xeometría métrica, unha xeodésica é unha curva que é localmente un minimizador de distancia. Máis precisamente, unha curva  desde un intervalo *I* dos reais ata o espazo métrico *M* é unha **xeodésica** se hai unha constante  tal que para calquera  existe unha veciñanza *J* de *t* en *I* tal que para calquera  temos

: d(\gamma(t_1),\gamma(t_2)) = v \left| t_1 - t_2 \right| .

Isto xeneraliza a noción de xeodésica para as variedades de Riemann. Porén, en xeometría métrica a xeodésica a miúdo está equipada con parametrización natural, é dicir, na identidade anterior *v*&nbsp;=&nbsp;1 e daquela temos

: d(\gamma(t_1),\gamma(t_2)) = \left| t_1 - t_2 \right| .

Se a última igualdade se satisfai para todo , a xeodésica denomínase **xeodésica minimizadora** ou **camiño máis curto**.

En xeral, un espazo métrico pode non ter xeodésicas, agás as curvas constantes. No outro extremo, dous puntos calquera dun espazo de métrica intrínseca están unidos por unha secuencia minimizadora de curvas rectificadas, aínda que esta secuencia minimizadora non ten por que converxer nunha xeodésica.

## Notas 
## Véxase tamén 
### Bibliografía 
* 
### Outros artigos 
* Espazo métrico
* Converxencia uniforme
* Norma (matemáticas)