Trabalho de espaços

metricos
Aluno: Marcelo de Camargo Souza Macedo
Uma generalização da métrica do
táxi e isometrias relacionadas
 Introdução
A métrica do táxi foi dada em uma família de métricas do plano real por Minkowski. Usando esta métrica, a geometria do

táxi foi introduzida por Menger [5], e desenvolvida por Krause [4]. Na geometria do táxi, os círculos são quadrados em que

cada diagonal é paralela a um eixo de coordenadas. Em [8], Lawrance J. Wallen alterou a métrica de táxi redefinindo para se

livrar da simetria imperativa, e chamou-a de métrica de táxi (ligeiramente) generalizada. Na geometria generalizada do táxi,

os círculos são losangos em que cada diagonal também é paralela a um eixo de coordenadas.

Neste trabalho, definimos uma nova função de distância no plano real R2 . A função de distância de táxi de m-generalizada

que inclui a distância de táxi generalizada e assim a distância de táxi funciona como casos especiais, e mostramos que a

distância de táxi m-generalizada determina uma métrica em função de R2. Vemos que a métrica de táxi m-generalizada pode

ter qualquer losango como um círculo, em vez de losangos com diagonal paralela a um eixo coordenado. Em seguida, damos

algumas propriedades da métrica de táxi m-generalizada e determinamos isometrias euclidianas do plano que também

preservam a métrica de táxi m-generalizada. Vemos também que existem transformações que preservam a distância m-

generalizada do táxi, mas não preservam a distância euclidiana para alguns casos.
Exemplo de círculos, quadrados e losangos
2. A distância m-generalizada do táxi em R 2

A distância m-generalizada do táxi e a distância m-taxi entre dois pontos no plano cartesiano são definidas
como segue:
Definição 2.1
Sejam P1 = (x1, y1) e P2 = (x2, y2) dois pontos em R2 . Para qualquer número real m e números reais positivos a
e b na função dTg (m) : R2 × R2 → [0, ∞) definido por
dTg (m)(P1,P2)=(a|(x1−x2)+m(y1−y2)|+b|m(x1−x2)−(y1−y2)|)/(1+m2)1/2 (2.1)

é chamada de função de distância de táxi m-generalizada em R2, e o número real dTg (m) (P1,P2) é chamado
de m-distância de táxi generalizada entre os pontos P1 e P2. Como um caso especial, se a = b = 1, então a
função dT (m) : R2 × R2 → [0, ∞) definido por
dT (m)(P1,P2)=(|(x1−x2)+m(y1−y2)|+|m(x1−x2)−(y1−y2)|) /(1+m2)1/2 (2.2)

é chamada de função de distância m-taxi em R2 , e o número real dT (m)(P1,P2) é chamado de distância m-taxi
entre os pontos P1 e P2.
Observação 1
Estamos bastante familiarizados com a notação de dT para a função de distância do táxi. Em [2] e [3], dTg foi
usado para indicar a distância generalizada do táxi. Aqui, escolhemos a notação dTg(m) para indicar a função de
distância m-generalizada do táxi, e dT(m) para indicar a função de distância m-taxi para compatibilidade.
Claramente, existem infinitas funções de distância diferentes na família de funções de distância dTg(m) ,
dependendo dos valores a, b e m. Pode-se achar que a definição de dTg(m) não está bem definida, uma vez
que a distância m-generalizada do táxi entre dois pontos pode mudar também de acordo com os valores a e b.
Para remover essa confusão, temos que usar os valores a e b no nome da distância, assim como usamos m. Isso
pode ser feito facilmente; por exemplo, usando a notação m(a,b) em vez de m nas frases dTg(m) e distância de
táxi m-generalizada . Mas continuamos usando m para encurtar, supondo que os valores a e b sejam
inicialmente determinados e fixos, salvo indicação em contrário.
Observação 2
Em R2, a função de distância de táxi m-generalizada envolve a distância de táxi generalizada e, portanto, a
distância de táxi funciona como casos especiais: Para pontos P1 = (x1, y1) e P2 = (x2, y2), se m = 0 em dTg(m) ,
então
dTg (0)(P1, P2) = dTg (P1, P2) = a |x1 − x2| + b |y1 − y2| (2.3)

que é a função de distância de táxi generalizada dTg . E se a = b = 1 e m = 0 em dTg(m) , ou se m = 0 em dT(m) ,

então
dT (0)(P1, P2) = dT (P1, P2) = |x1 − x2| + |y1 − y2| (2.4)

que é a conhecida função de distância de táxi dT . Além disso, se a = b, então dTg(m) é igual ao valor absoluto
m-generalizado da distância dm definida em [1]. Mas, se a ≠ b, veremos na Seção 2 que o círculo de táxi m-
generalizado é um losango, enquanto o círculo de valor absoluto m-generalizado é um octógono.
Daqui em diante, usamos equações que uma função de a’ = a/(1+m2)1/2 and b’ = b/(1+m2)1/2 para simplificar. A
seguinte proposição mostra que a partir de agora, a função da distância m-generalizada de táxi satisfaz as propriedades
de métrica.
Proposta 2.1
A função de distância de táxi m-generalizada determina uma métrica em R2.

Prova. Claramente, dTg(m) (P1,P2) = 0 se e somente se P1 = P2, e dTg(m) (P1,P2) = dTg(m) (P2,P1) para todos P1
e P2 em R2 . Então, vamos mostrar apenas q u e dTg (m) satisfaz a desigualdade triangular, ou seja, dTg(m)
(P1,P2) ≤ dTg(m) (P1,P3) + dTg(m) (P3,P2) para pontos Pi = (xi , yi), i = 1,2,3 em R2. Este fato pode ser
comprovado da seguinte forma:
dT (m)(P1, P2) = a’ |(x1 − x2) + m(y1 − y2)| + b’ |m(x1 − x2) − (y1 − y2)|
= a’ |(x1 − x3) + m(y1 − y3) + (x3 − x2) + m(y3 − y2)|+
b’ |m(x1 − x3) − (y1 − y3) + m(x3 − x2) − (y3 − y2)|
≤ a’ |(x1 − x3) + m(y1 − y3)| + b’ |m(x1 − x3) − (y1 − y3)|+
a’ |(x3 − x2) + m(y3 − y2)| + b’ |m(x3 − x2) − (y3 − y2)|
= dTg (m)(P1, P3) + dTg (m)P3, P1).
3. Algumas propriedades
Sejam P1 = (x1, y1) e P2 = (x2, y2) dois pontos no plano de coordenadas cartesianas. Seja lP 1 a linha que passa por P1 com
inclinação m, e seja lP2 seja a linha que passa por P2 e perpendicular à linha lP1 . Como as distâncias euclidianas de P 1 a lP2 e de
P2 a lP1 são dE (P1, lP2) = |(x1 − x2) + m(y1 − y2)| /(1 + m2)1/2 e dE (P2, lP1 ) = |m(x1 − x2) − (y1 − y2)| /(1 + m2)1/2, a distância m-
generalizada do táxi entre os pontos P 1 e P2 pode ser dada por

dTg (m)(P1, P2) = a dE (P1, lP2) + b dE (P2, lP1). (3.1)

Se a ≥ b, seja = (sec α − tan α) para α ∈ [0, π/2); e se b ≥ a, seja = (sec β − tan β ) para β ∈ [0, π/2). Então temos o fato de que
se a = b, então α = β = 0 e a distância m-generalizada de táxi entre os pontos P 1 e P2 é um múltiplo constante do comprimento
euclidiano de um dos caminhos mais curtos de P 1 a P2 composto de segmentos de linha, cada um paralelo a um dos linhas com
inclinação m ou −1/m; se a ≥ b, então a distância m-generalizada do táxi entre os pontos P 1 e P2 é um múltiplo constante do
comprimento euclidiano de um dos caminhos mais curtos de P 1 a P2 composto de segmentos de linha, cada um paralelo a uma
das linhas com inclinação m, −1/m, [m(a 2 − b2) + 2ab]/[(a2 − b2) − 2abm] ou [m(a2 − b2) − 2ab]/[(a2 − b2) + 2abm]; se b ≥ a, então
a distância m-generalizada de táxi entre os pontos P 1 e P2 é constante b múltiplo do comprimento euclidiano de um dos
caminhos mais curtos de P1 a P2 composto de segmentos de linha, cada um paralelo a uma das linhas com inclinação m, −1/m,
[2abm − (a2 − b2)]/[m(a2 − b2) + 2ab] ou [(a2 − b2) + 2abm]/[2ab − m(a2 − b2)] (ver Figura 1 ). Embora existam, em geral, infinitos
caminhos mais curtos entre os pontos P 1 e P2, preferimos usar os da Figura 1 e chamar cada um deles de caminho básico.
Também chamamos cada uma das linhas mx − y = 0 e x + my = 0 um eixo de direção.
Figura 1: Os caminhos básicos entre os pontos P1
e P2 em relação à métrica de táxi m-generalizada.
Agora, examinamos o conjunto de distância mínima dos pontos P1 e P2 em . A distância mínima definida de P1 e
P2, M(P1, P2), é definida por

M(P1, P2) = {X: dTg (m)(P1, X) + dTg (m)(X, P2) = dTg (m)(P1, P2)}. (3.2)

No plano euclidiano, o conjunto de distâncias mínimas de P1 e P2 é o segmento de linha que une os pontos P1 e
P2. Não é difícil ver que o conjunto de distância mínima dos pontos P1 e P2 em relação à métrica de táxi m-
generalizada é geralmente uma região retangular (ou um segmento de linha) com a diagonal P 1P2 limitada pelas
linhas que passam por P1 e P2 sendo paralelas a um eixo de direção, que são mx − y − mxi + yi = 0 e x + my − xi −
myi = 0 para i ∈ {1, 2}, conforme mostrado na Figura 2.

Figura 2: Distância mínima definida de P1 e P2 em relação à métrica m-generalizada de táxi.

As duas proposições seguintes seguem diretamente da Equação (3.1) que é a interpretação geométrica da distância m-
generalizada do táxi.
Proposta 3.1
Sejam P1, P2 e P3 três pontos em tais que P3 ∈ M(P1, P2). Então, dTg (m)(P1, P3) ≤ dTg (m)(P1, P2). Além disso, dTg
(m)(P1, P3) = dTg (m)(P1, P2) se e somente se P3 = P2.
Se dTg(m)(P1, P3) = dTg(m)(P1, P2)
Vamos supor P3≠P2
Como P3 ∈ M(P1, P2)
Então dTg (m)(P1, P3) + dTg (m)(P3, P2) = dTg (m)(P1, P2)
Assim dTg (m)(P3, P2)=0 absurdo para P3≠P2
Logo P3=P2

Se P3=P2
Temos que geometricamente falando todos os pontos com distancia = dTg(m)(P1, P2) formam um
losango
Como P3=P2 Então P3 pertence a este losango
Assim sendo dTg(m)(P1, P3) = dTg(m)(P1, P2)
Proposta 3.2
Sejam P1, P2, P3 e P4 quatro pontos em R2. Para a = b, se M(P1, P2) e M(P3, P4) são congruentes, então dTg (m)
(P1, P2) = dTg (m)(P3, P4). Para a ≠ b, se M(P1, P2) e M(P3, P4) são lados congruentes e iguais de M(P1, P2) e
M(P3, P4) são paralelos, então dTg (m)(P1, P2) = dTg(m)(P3, P4).

Vamos denotar o plano real dotado da métrica de táxi m-generalizada por . Então o círculo unitário de táxi m
generalizado em é o conjunto de pontos (x, y) satisfazendo a equação

(a |x + my| + b |mx − y|)/(1 + m2)1/2 = 1. (3.3)

Pode-se ver pelo cálculo que o círculo unitário do táxi m generalizado é um losango com uma diagonal com
inclinação de m e com vértices A1 = (), A2 = (), A3 =() e A4=(), onde k = (1+m2)1/2 (veja Figura 3). Se a = b, então
m-generalizado círculo unitário táxi é um quadrado com vértices A1, A2, A3 e A4. Em , é fácil ver que a razão da
circunferência de um m-generalizado círculo do táxi ao seu diâmetro é πTg (m) = 4.
 Figura 3: O círculo unitário do táxi m generalizado para m = 1/4, a = 1/5, b = 1/3.

Assim, a métrica m-taxi tem losangos com diagonal com inclinação de m, como círculos, em vez de losangos
com diagonal paralela a um eixo coordenado, e a métrica m-taxi tem quadrados com diagonal com inclinação
de m, como círculos, em vez de quadrados com diagonal paralela a um eixo de coordenadas.
A seguinte proposição fornece uma equação que relaciona a distância euclidiana à distância m-generalizada de
táxi entre dois pontos no plano de coordenadas cartesianas:
Proposta 3.3
Para quaisquer dois pontos P1 e P2 em R2 que não estejam em uma linha vertical, se n é a inclinação da linha
que passa por P1 e P2, então

dE (P1, P2) = µ(n) dTg (m)(P1, P2) (3.4)

onde µ(n) =(1+n2)1/2/(a’ |1 + mn| + b’ |m − n|). Se P1 e P2 estão em uma linha vertical, então

dE (P1, P2) = [1/(a’ |m| + b’)]dT (m)(P1, P2). (3.5)

Prova. Seja P1 = (x1, y1) e P2 = (x2, y2) tal que x1 ≠ x2. Então n = (y2 − y1)/(x2 − x1). Claramente, dT (m)(P1, P2)
= |x1 − x2|(a’ |1 + mn| + b’ |m − n|) e dE(P1,P2)=|x1−x2|(1+n2) 1/2, assim temos dE (P1, P2)=µ(n) dT (m)(P1,
P2), onde µ(n) =(1+n2)1/2/(a’ |1 + mn| + b’ |m−n|). Se x1 = x2, então dTg (m)(P1, P2) = |x1 − x2|(a’ |m| + b’) e
temos a Equação (3.5).

Os dois corolários a seguir seguem diretamente da Proposição 3.2 ou Proposição 3.3:

Corolário 3.1
Sejam P1, P2, P3 e P4 quatro pontos em R2. Se as linhas P1P2 e P3P4 são coincidentes ou paralelas ou
simétricas em relação a uma linha paralela a um eixo de direção; além disso, P1P2 e P3P4 são perpendiculares
entre si para a = b, então

dTg (m)(P1, P2) = dTg (m)(P3, P4) se e somente se dE (P1, P2) = dE (P3, P4). (3.6)
Corolário 3.2
Se P1, P2 e X são três pontos colineares distintos em R2, então

dTg (m)(P1, X)/dTg (m)(X, P2) = dE (P1, X)/dE (X, P2). (3.7)

Como consequência do Corolário 3.2, fica claro que os teoremas de Tales, Menelau e Ceva são verdadeiros
em .
4. Isometrias em
Observe que pela Proposição 3.2 e Corolário 3.1, a distância m-generalizada do táxi entre dois pontos é
invariante em todas as translações. Além disso, a distância m-generalizada de táxi entre dois pontos é
invariante sob rotação de π radiano em torno de um ponto para a ≠ b; e rotações de π/2, π e 3π/2 radianos em
torno de um ponto para a = b. Além disso, se a ≠ b, então a distância m-generalizada do táxi entre dois pontos é
invariante sob as reflexões em linhas paralelas à mx − y = 0 ou x + my = 0; se a = b, então a distância m-
generalizada do táxi entre dois pontos é invariante sob reflexões em linhas paralelas a mx − y = 0, x + my = 0, (1
+ m)x −(1 − m)y = 0 , ou (1 − m)x +(1 + m)y = 0. Por outro lado, se denotarmos reflexão na linha l por σl , e
rotação em torno de um ponto C através do ângulo θ por ρC,θ , usando definição de coordenadas da distância
m -generalizada do táxi para quaisquer pontos P1 e P2, pode-se obter que dTg (m)(P1, P2) = dTg (m)(σl (P1), σl
(P2)) para l ∈ {mx − y = 0, x + my = 0} e dTg (m)(P1, P2) = dTg (m)(ρO,θ (P1), ρO,θ (P2)) para θ ∈ {0, π}; além
disso, se a = b então as equações valem também para l ∈ {(1 + m)x −(1 − m)y = 0, (1 − m)x + (1 + m)y = 0} e θ ∈ (
, }.

Agora, declaramos a seguir três proposições como resultados de nossas observações acima:
Proposta 4.1
Toda translação é uma isometria de .
Proposta 4.2
Em , o conjunto de reflexões isométricas em linhas através da origem é

STg(m)= 
Proposta 4.3
Em , o conjunto de rotações isométricas em torno da origem para θ ∈ [0, 2π) é
STg(m)=

A proposição a seguir afirma que não há outra isometria euclidiana preservando a distância m-generalizada do
táxi:
Proposta 4.4
Seja φ : → seja uma isometria euclidiana preservando a distância de táxi m-generalizada tal que φ (O) = O.
Então

φ ∈ RTg (m) ou φ ∈ STg (m).

Prova. Dada uma isometria euclidiana φ : → tal que φ (O) = O. Suponha que φ (A1) ∈ (A1, A2), então φ (A2) ∈
[A3, A4] desde dTg (φ (A1), φ (A2)) = 2. Então φ (A3) ∈ [A1, A2], e temos dTg (φ (A1), φ (A3)) < 2, o que é uma
contradição, pois dTg (A1, A3) = 2. Assim, φ (A1) ∉ (A1, A2). Da mesma forma, pode-se ver que φ (Ai) ∉ (Aj,
Aj+1) para i, j ∈ {1, 2, 3, 4} e (assuma que A5 = A1). Agora, fica claro que φ (Ai) ∈ {A1, A2, A3, A4} para i ∈ {1, 2,
3, 4}. Para a ≠ b, se φ (A1) = Ai, então φ (A2) = Ai+1 para i ∈ {1, 3}, e φ é uma rotação com o ângulo θ = . Se φ
(A1) = Ai+1, então φ (A2) = Ai para i ∈ {2, 4}, e φ é uma reflexão na linha mx − y = 0 ou x + my = 0. Para a = b, se
φ (A1) = Ai, então φ (A2) = Ai+1 para i ∈ {1, 2, 3, 4} , e φ é uma rotação com o ângulo θ = . Se φ (A1) = Ai+1,
então φ (A2) = Ai para i ∈ {2, 4}, e φ é uma reflexão na linha mx − y = 0, x + my = 0, (1 + m) x − (1 − m)y = 0 ou (1
− m)x + (1 + m)y = 0.
Consequentemente, temos o grupo ortogonal OTg(m)(2) = RTg(m) STg(m). Observe que existem mais quatro
isometrias de tal que

1(A1;A2;A3;A4) = (A2;A1;A4;A3), ’1 (A1;A2;A3;A4) = (A4;A3;A2;A1), 2 (A1;A2;A3;A4) = p(A2;A3;A4;A1), ’2

(A1;A2;A3;A4) = (A4;A1;A2;A3) e i (O) = ’i (O) = O: i (x;y) = (Ui;Vi), ’i (x;y) = (-Ui; -Vi), onde U1= , V1=, U2=, V2=.
Pode-se verificar que essas transformações não preservam a distância euclidiana para a b, enquanto
preservam a distância m-generalizada de táxi! Se a = b, então

.
Teorema 4.1
Seja f: seja uma isometria euclidiana preservando a distância m-generalizada do táxi. Então existe um único T a
∈ T (2) e φ ∈ OTg (m)(2) tal que f = Ta ◦ φ.

Prova. Suponha que f (O) = A onde a = (a1, a2). Defina φ = T−a ◦ f . É claro que φ é uma isometria e φ (O) = O.
Assim, obtemos φ ∈ OTg (m)(2) pela Proposição 4.4, e f = Ta ◦ φ . A prova da unicidade é trivial.

Finalmente, pelo Teorema 4.1 determinamos que o grupo de isometrias euclidianas preservando a distância m-
generalizada do táxi é o produto semidireto do grupo de translação T (2) que consiste em todas as translações
e o grupo de simetria do círculo unitário m-generalizado do táxi OTg (m) (2).
Referências