Distancia

línea recta que une dos puntos

Idioma

Descargar en PDF

Vigilar

Editar

Para otros usos de este término, véase Distancia (desambiguación).

En las matemáticas, la distancia entre dos puntos del espacio euclídeo equivale a la longitud del
segmento de la recta que los une, expresado numéricamente. En espacios más complejos, como
los definidos en la geometría no euclidiana, el «camino más corto» entre dos puntos es un
segmento recto con curvatura llamada geodésica.

Plano de Manhattan. La distancia euclidiana (segmento verde), no se corresponde con el

«camino más corto posible» ente dos puntos de dicha ciudad, además de no existir solo un
camino de menor longitud.

En física, la distancia es una magnitud escalar, que se expresa en unidades de longitud.

Distancia en la geometría con coordenadas

Editar

Distancia en la recta

Editar

Existe una biyección (una correspondencia elemento a elemento) entre los puntos de una recta y
el conjunto {\displaystyle \mathbb {R} } \mathbb{R} de los números reales, de modo que a
cada número real le corresponde un solo punto, y a cada punto, exactamente un número real.
Para hacer esto se precisa de un punto O y fijo de la recta y otro punto U, tal que por definición 1
es la abscisa de U. Se denota U(1). Están a la derecha los puntos de abscisa positiva, a la
izquierda los puntos de abscisa negativa, y el origen O, tiene abscisa 0. Tal recta provista de
abscisas para su puntos se denomina recta real.
Si {\displaystyle A(x_{1})}{\displaystyle A(x_{1})} y {\displaystyle B(x_{2})}{\displaystyle
B(x_{2})} son dos puntos de la recta real, entonces la distancia entre los puntos A y B es {\
displaystyle d(A,B)=|x_{2}-x_{1}|}{\displaystyle d(A,B)=|x_{2}-x_{1}|} [1]

Distancia de dos puntos en el plano

Editar

Si {\displaystyle A(x_{1},y_{1})}{\displaystyle A(x_{1},y_{1})} y {\displaystyle

B(x_{2},y_{2})}{\displaystyle B(x_{2},y_{2})} son dos puntos de un plano cartesiano,
entonces la distancia entre dichos puntos es calculable de la siguiente manera: Creese un tercer
punto, llamese {\displaystyle P(x_{2},y_{1})}{\displaystyle P(x_{2},y_{1})} a partir del cuál se
forma un triángulo rectángulo. Prosiguiendo a usar el Teorema de Pitágoras , con el segmento
AB cómo hipotenusa.{\displaystyle H^{2}=(cat_{1})^{2}+(cat_{2})^{2}}{\displaystyle
H^{2}=(cat_{1})^{2}+(cat_{2})^{2}}. Prosiguiendo a reemplazar la fórmula por los elementos
de cada segmento y realizando el procedimiento:

{\displaystyle d(AB)^{2}=AP^{2}+BP^{2}}{\displaystyle d(AB)^{2}=AP^{2}+BP^{2}}

{\displaystyle d(AB)^{2}=(x_{2}-x_{1})^{2}+(y_{2}-y_{1})^{2}}{\displaystyle
d(AB)^{2}=(x_{2}-x_{1})^{2}+(y_{2}-y_{1})^{2}}

{\displaystyle {\sqrt {d(AB)^{2}}}={\sqrt {(x_{2}-x_{1})^{2}+(y_{2}-y_{1})^{2}}}}{\

displaystyle {\sqrt {d(AB)^{2}}}={\sqrt {(x_{2}-x_{1})^{2}+(y_{2}-y_{1})^{2}}}}

{\displaystyle d(AB)={\sqrt {(x_{2}-x_{1})^{2}+(y_{2}-y_{1})^{2}}}}{\displaystyle

d(AB)={\sqrt {(x_{2}-x_{1})^{2}+(y_{2}-y_{1})^{2}}}} [2]

Distancia en espacio métrico

Editar

Desde un punto de vista formal, para un conjunto de elementos {\displaystyle X}X se define
distancia o métrica como cualquier función matemática o aplicación {\displaystyle d(a,b)}d(a,b)
de {\displaystyle X\times X}X \times X en {\displaystyle \mathbb {R} }\mathbb{R} que
verifique las siguientes condiciones:

No negatividad:
{\displaystyle \forall a,b\in X\;:\quad d(a,b)\geq 0}{\displaystyle \forall a,b\in X\;:\quad d(a,b)\
geq 0}

{\displaystyle a,b\in X,\quad d(a,b)=0\quad \Longleftrightarrow \quad a=b}{\displaystyle a,b\in

X,\quad d(a,b)=0\quad \Longleftrightarrow \quad a=b}

- Es decir, la distancia es cero si solo si se induce sobre el mismo punto

Simetría:

{\displaystyle \forall a,b\in X\;:\quad d(a,b)=d(b,a)}{\displaystyle \forall a,b\in X\;:\quad

d(a,b)=d(b,a)}

Desigualdad triangular:

{\displaystyle \forall a,b,c\in X\;:\quad d(a,b)\leq d(a,c)+d(c,b)}{\displaystyle \forall a,b,c\in

X\;:\quad d(a,b)\leq d(a,c)+d(c,b)} [3]

Si dejamos de exigir que se cumpla esta última condición, al concepto resultante se le denomina
pseudodistancia o pseudométrica.

La distancia es el concepto fundamental de la Topología de Espacios Métricos. Un espacio

métrico no es otra cosa que un par {\displaystyle (X,d)}(X,d), donde {\displaystyle X}X es un
conjunto en el que definimos una distancia {\displaystyle d}d.

En el caso de que tuviéramos un par {\displaystyle (X,d)}(X,d) y {\displaystyle d}d fuera una
pseudodistancia sobre {\displaystyle X}X, entonces diríamos que tenemos un espacio
pseudométrico.

Si {\displaystyle (X,d)}(X,d) es un espacio métrico y {\displaystyle E\subset X}E \subset X,

podemos restringir {\displaystyle d}d a {\displaystyle E}E de la siguiente forma: {\displaystyle
d':E\times E\longrightarrow \mathbb {R} }d': E \times E \longrightarrow \mathbb{R} de forma
que si {\displaystyle x,y\in E}x,y \in E entonces {\displaystyle d'(x,y)=d(x,y)}d'(x,y)=d(x,y) (es
decir, {\displaystyle d'=d|_{E\times E}}d'=d|_{E \times E}). La aplicación {\displaystyle d'}d' es
también una distancia sobre {\displaystyle d}d, y como comparte sobre {\displaystyle E\times
E}E \times E los mismos valores que {\displaystyle d}d, se denota también de la misma manera,
es decir, diremos que {\displaystyle (E,d)}(E,d) es subespacio métrico de {\displaystyle (X,d)}
(X,d).
Distancia de un punto a un conjunto

Editar

Si {\displaystyle (X,d)}(X,d) es un espacio métrico, {\displaystyle E\subset X}E \subset X, {\

displaystyle E\neq \varnothing }E \ne \varnothing y {\displaystyle x\in X}x\in X, podemos
definir la distancia del punto {\displaystyle x}x al conjunto {\displaystyle E}E de la siguiente
manera:

{\displaystyle d(x,E):=\inf\{d(x,y):y\in E\}}d(x,E):= \inf \{d(x,y): y \in E\}.[4]

Es de destacar las siguientes tres propiedades:

En primer lugar, en las condiciones dadas, siempre existirá esa distancia, pues {\displaystyle d}d
tiene por dominio {\displaystyle X\times X}X \times X, así que para cualquier {\displaystyle y\in
E}y \in E existirá un único valor real positivo {\displaystyle d(x,y)}d(x,y). Por la completitud de
{\displaystyle \mathbb {R} }\mathbb{R} y como la imagen de d está acotada inferiormente por
0, queda garantizada la existencia del ínfimo de ese conjunto, esto es, la distancia del punto al
conjunto.

Si {\displaystyle x\in E} x \in E entonces {\displaystyle d(x,E)=0}d(x,E)=0.

Puede ser que {\displaystyle d(x,E)=0}d(x,E)=0 pero {\displaystyle x\notin E}x \notin E, por
ejemplo si {\displaystyle x}x es un punto de adherencia de {\displaystyle E}E. De hecho, la
clausura de {\displaystyle E}E es precisamente el conjunto de los puntos de {\displaystyle X}X
que tienen distancia 0 a {\displaystyle E}E.

Los casos de distancia de un punto a una recta o de distancia de un punto a un plano no son más
que casos particulares de la distancia de un punto a un conjunto, cuando se considera la distancia
euclidiana.

Puede utilizarse el siguiente método: Dado un punto (n,m) que no pertenece a la recta f(x), 1)
Hallar la ecuación de la recta perpendicular a f(x) que pasa por (n,m). Esto acarrea dos pasos:
hallar la pendiente (pendiente perpendicular) y hallar la ordenada al origen (reemplazando el
punto (n,m) y despejando). 2) Hallar la intersección entre estas dos rectas. Esto acarrea dos
pasos: hallar la x de la intersección por igualación, hallar la y de la intersección sustituyendo la x
en cualquiera de las dos ecuaciones. Con esto se obtiene el punto (o,p) 3) Hallar la distancia
entre (n,m) y (o,p).
Distancia entre dos conjuntos

Editar

Si {\displaystyle (X,d)}(X,d) es un espacio métrico, {\displaystyle A\subset X}A\subset X y {\

displaystyle B\subset X}B \subset X, {\displaystyle A\neq \varnothing }A \ne \varnothing, {\
displaystyle B\neq \varnothing }B \ne \varnothing, podemos definir la distancia entre los
conjuntos {\displaystyle A}A y {\displaystyle B}B de la siguiente manera:

{\displaystyle d(A,B):=\inf\{d(x,y):x\in A,y\in B\}}d(A,B):= \inf \{d(x,y): x \in A, y \in B\}.[5]

Por la misma razón que antes, siempre está definida. Además {\displaystyle
d(A,A)=0}d(A,A)=0, pero puede ocurrir que {\displaystyle d(A,B)=0}d(A,B)=0 y sin embargo
{\displaystyle A\neq B}A \ne B. Es más, podemos tener dos conjuntos cerrados cuya distancia
sea 0 y sin embargo sean disjuntos, e incluso que tengan clausuras disjuntas.

Por ejemplo, el conjunto {\displaystyle A:=\{(x,0):x\in \mathbb {R} \}}A:= \{(x,0): x \in \
mathbb{R}\} y el conjunto {\displaystyle B:=\{(x,e^{x}):x\in \mathbb {R} \}}B:= \{(x,e^x): x \
in \mathbb{R}\}. Por un lado, {\displaystyle A=\operatorname {cl} (A)}A=\operatorname{cl}
(A), {\displaystyle B=\operatorname {cl} (B)}B=\operatorname{cl}(B) y {\displaystyle A\cap
B=\varnothing }A \cap B = \varnothing, y por otro {\displaystyle d(A,B)=0}d(A,B)=0.

La distancia entre dos rectas, la distancia entre dos planos, etc. no son más que casos particulares
de la distancia entre dos conjuntos cuando se considera la distancia euclidiana.