Le 180 ouest est-il le même que le 180 est?

J'ai eu une discussion sur ce sujet avec un collègue.

Nous travaillons à la mise en œuvre d'un système de validation GPS, et je lui ai dit que la longitude -180 (ou 180W) n'est pas une longitude valide car une longitude valide est la même valeur que l'une des valeurs angulaires des coordonnées sphériques, et la latitude est la un autre.

En coordonnées sphériques:

Theta doit être (-180,180]. Theta ne contient pas -180 comme valeur valide

Phi doit être [-90,90]. Phi contient les deux valeurs comme valides

Il m'a dit qu'il devait y avoir 2 valeurs de méridien 180 (positif et négatif 180 degrés, +180 et -180, ou 180E et 180W), et il n'y a aucun document spécifiant ce problème: [45, -180] est un emplacement valide ? La position exacte n'est-elle pas [45,180]?

Tout outil en ligne que j'ai trouvé sur le net ou le code disponible comprend les deux méridiens en tant que valeurs différentes, mais dans le monde réel, ce sont les mêmes!

Ma question est la suivante: existe-t-il un document spécifiant que le méridien 180 peut être positif et négatif ou tout document spécifiant que le méridien 180 doit être unique? Ce collègue n'accepte aucune démonstration mathématique, donc toute coordonnée sphérique vers le système de coordonnées rectangulaire ne sera pas une référence valide pour cette personne.

Peut-être que les coordonnées du cadre de délimitation pour WGS84 pourraient servir de preuve? Ou vous pouvez rechercher des articles savants concernant la création / génération / adoption de WGS84 en tant que norme.

Fondamentalement, 180 est et ouest sont les mêmes. En d'autres termes, [45,180] est exactement le même emplacement que [45,180].

Dans une base de données géographiques, cela a des conséquences pratiques qui devraient guider votre processus de validation.

Si vous considérez des points, supposément adimensionnels, vous vous attendriez à une bijection entre n'importe quelle coordonnée et un emplacement sur l'ellipsoïde. Par conséquent, vous devez éviter les ambiguïtés si vous vous trouvez sur l'antiméridien de votre méridien principal. Dans ce cas, l'utilisation de (-180,180] est donc la meilleure pratique.

Si vous considérez d'autres caractéristiques géométriques (par exemple des lignes ou des polygones), vous rencontrez des problèmes lorsque vous traversez la ligne de temps (comme les habitants des Fidji). La règle est ensuite définie par le format de données. Par exemple, la spécification GeoJSON suggère fortement que toutes les entités géométriques doivent être divisées. Dans ce cas, vous avez besoin de coordonnées en double (-180 et 180) à la scission pour la continuité de votre entité (pensez à la topologie routière aux Fidji).

Pour le stockage raster (image), les coordonnées des pixels sont en haut à gauche ou au centre, mais les pixels n'ont pas de points sans dimension. Pour une grille complète et sans chevauchement, vous avez besoin que la taille des pixels soit une fraction entière de 360 ​​°. Avec les coordonnées en haut à gauche, vos coordonnées de pixels valides devraient idéalement être [-180,180) pour éviter le chevauchement. En effet, si votre pixel supérieur gauche était à 180 °, votre dernier pixel serait de l'autre côté du 180e méridien. D'un autre côté, l'utilisation de [-180,180) pour les coordonnées des pixels et la taille de pixel appropriée vous donne une étendue de [-180,180]. Avec les coordiantes centrales, c'est plus délicat. Si vous définissez la condition (c.-à-d. [-180,180)) sur les coordonnées des pixels, votre étendue est hors limites (c.-à-d. [-180-pixel_size / 2,180-pixel_size / 2)). Sinon, vous pouvez corriger [-180,180] pour le Le degré,