O 180 oeste é o mesmo que 180 leste?

Eu tive uma discussão sobre esse tópico com um colega de trabalho.

Estamos trabalhando na implementação de um sistema de validação GPS, e eu disse a ele que a longitude -180 (ou 180W) não é uma longitude válida porque uma longitude válida é o mesmo valor que um dos valores angulares das coordenadas esféricas, e a latitude é a outro.

Nas coordenadas esféricas:

O teta deve ser (-180,180]. O teta não contém o -180 como um valor válido

Phi deve ser [-90,90]. Phi contém ambos os valores como válidos

Ele me disse que deve haver 2 valores de meridiano 180 (positivo e negativo 180 graus, +180 e -180 ou 180E e 180W), e não há documento que especifique esse problema: [45, -180] é um local válido ? Não é a posição exata como [45.180] uma?

Qualquer ferramenta on-line que encontrei na rede ou no código disponível inclui ambos os meridianos com valores diferentes, mas no mundo real são os mesmos!

Minha pergunta é: Existe algum documento que especifique o meridiano de 180 pode ser positivo e negativo ou qualquer documento especifique que o meridiano de 180 deve ser exclusivo? Este colega de trabalho não aceita nenhuma demonstração matemática, portanto, qualquer coordenada esférica para sistema de coordenadas retangulares não será uma referência válida para essa pessoa.

Talvez as coordenadas da caixa delimitadora do WGS84 possam servir como prova? Ou você pode procurar artigos acadêmicos em torno da criação / geração / adoção do WGS84 como padrão.

Basicamente, 180 leste e oeste são os mesmos. Em outras palavras, [45.180] é exatamente o mesmo local que [45.180].

Em um banco de dados geográfico, isso tem algumas consequências práticas que devem orientar seu processo de validação.

Se você considerar pontos, supostamente adimensionais, esperaria uma bijeção entre qualquer coordenada e um local no elipsóide. Portanto, você precisa evitar ambiguidades se estiver localizado no antimeridiano do seu meridiano de prima. Nesse caso, usar (-180,180] é, portanto, a melhor prática.

Se você considerar outras características geométricas (por exemplo, linhas ou polígonos), terá problemas ao cruzar a linha de dados (como os habitantes de Fiji). A regra é então definida pelo formato dos dados. Por exemplo, a especificação GeoJSON sugere fortemente que todos os recursos geométricos devem ser divididos. Nesse caso, você precisa de coordenadas duplicadas (-180 e 180) na divisão para a continuidade do seu recurso (pense na topologia da estrada nas Ilhas Fiji).

Para armazenamento raster (imagem), as coordenadas dos pixels são no canto superior esquerdo ou no centro, mas os pixels não têm dimensão como pontos. Para uma grade completa e sem sobreposição, você precisa que o tamanho dos pixels seja uma fração inteira de 360 ​​°. Com as coordenadas superior esquerda, as coordenadas de pixels válidas devem idealmente ser [-180.180) para evitar sobreposição. De fato, se seu pixel superior esquerdo estava em 180 °, seu último pixel estaria do outro lado do 180º meridiano. Por outro lado, o uso de [-180.180) para coordenadas de pixels e o tamanho de pixe apropriado fornecem uma extensão de [-180.180]. Com as coordenadoras centrais, isso é mais complicado. Se você definir a condição (ou seja, [-180,180)) nas coordenadas de pixel, sua extensão ficará fora dos limites (ou seja, [-180-pixel_size / 2,180-pixel_size / 2)). Caso contrário, você pode corrigir [-180,180] para o extensão,