Aunque estoy (ligeramente) en desacuerdo con la caracterización que Nate hace de los geómetras en sus comentarios, creo que en realidad contiene algunas nociones profundas que merece la pena debatir.
El quid de la cuestión es, cómo se define un círculo y cómo se define una línea ? Y en la aparente paradoja de la pregunta original, la resolución es que hay (al menos) dos formas diferentes de distinguir los círculos de las líneas, lo que, en conjunto, permite que un objeto sea simultáneamente una línea en una definición pero un círculo en la otra.
En el topológico el círculo y la recta son dos ejemplos de variedades unidimensionales lisas conectadas. Como se trata de topología, se permite que todo sea elástico/flácido, así que la única diferencia que realmente nos importa entre el círculo y la recta es que la segunda es simplemente conexa, mientras que la primera no lo es. Más concretamente, se puede encontrar (trivialmente) un bucle cerrado en el círculo que no se pueda deformar continuamente hasta un punto, mientras que cualquier bucle cerrado en la recta debe "retroceder" lo suficiente como para que se pueda reducir continuamente hasta un punto.
Una segunda descripción del círculo y la línea procede del geométrico categoría. (En geometría, una línea es, intuitivamente, la curva más recta posible, por la que entendemos "una curva que minimiza localmente la distancia entre dos puntos". Es un caso especial interesante de la Teorema de Cartan-Hadamard que, en una variedad simplemente conexa de curvatura no positiva (en particular, el espacio euclidiano plano habitual), los rayos (geodésicos) que parten del mismo punto en dos direcciones diferentes divergen para siempre y nunca se cruzan. (De hecho, la divergencia de los rayos geodésicos es una caracterización de la curvatura no positiva; compárese también con el caso de la curvatura positiva en una esfera, donde dos grandes círculos cualesquiera se cruzan exactamente en dos puntos). Como el mundo en el que vivimos es más o menos plano, nuestra intuición común es que una línea no debe intersectarse. Por supuesto, si pensamos en viajar por el esferoide oblato que es la Tierra, podemos llegar a una conclusión algo diferente.
La situación de Portal está precisamente a la altura de romper la hipótesis del teorema de Cartan-Hadamard en topología. Como ya se ha dicho, el teorema de Cartan-Hadamard exige que el espacio sea simplemente conexo. Al permitir que el Portal, que es una identificación dos subconjuntos distintos del espacio euclidiano habitual, que recoger una topología no trivial. Y por lo tanto el teorema de Cartan-Hadamard puede fallar. Por lo tanto su cuerda se permite que sea simultáneamente un línea en el sentido de que es una curva lo más recta posible y una círculo en el sentido de que es una curva que vuelve a su punto de partida, e intrínsecamente tiene topología no trivial.