$ds^2$ es en realidad una abreviatura de $d\vec s\cdot d\vec s$, que es la abreviatura de $g_{ab}ds^a ds^b$.
Por lo tanto, la cantidad real a tener en cuenta no es un escalar, pero el desplazamientode vectores $d\vec s$.
Y los vectores no están "firmados" (como los escalares son) y no puede ser ordenado (como escalares).
Es el vector de la $(3\hat x - 4\hat y)$ positivo o negativo o cero? Ni una cosa ni otra.
Es el vector de la $(3\hat x - 4\hat y)$ mayor que, menor que, o igual a $(4\hat x - 3\hat y)$ ? Ni una cosa ni otra.
(Cuando uno utiliza $-\vec v$, significa que el vector que añadir a $\vec v$ conseguir $\vec 0$.)
Lo que puede ser firmado?
- La magnitud $\|d\vec s\|=\sqrt{d\vec s\cdot d\vec s}$ es un escalar no negativo, el cual es firmado (aquí, cero o positivo). [En algunos tratamientos en la relatividad, podría ser puro imaginario.]
- Un componente a lo largo de una dirección (por ejemplo, $ds_x=d\vec s\cdot \hat x$) es un escalar, el cual es firmado.
Así, lo que yo estoy diciendo es que el "$ds=\pm \sqrt{(ds)^2}$" en realidad no tiene sentido (o es ambiguo)... a menos que usted está preguntando acerca de uno de los de arriba y tal vez debería haber mejor notación.
La cuestión es realmente acerca de la geometría en general, no específica a la relatividad.
Supongamos que estamos tratando con el espacio Euclidiano.
Dado que sólo "$ds^2=1$" ( $d\vec s\cdot d\vec s=1$), a continuación, $d\vec s$ es un vector unitario.
Si usted también sabe que $d\vec s$ tiene sólo un $x$-componente, entonces cualquiera de las $d\vec s= \hat x$ o $d\vec s = -\hat x$.
Si $ds_x\equiv d\vec s\cdot \hat x \ >0$, a continuación, $d\vec s= \hat x$, de lo contrario, desde entonces, $ds_x<0$, a continuación, $d\vec s= -\hat x$.
Específico para su problema de la relatividad de einstein,
la pregunta real es, por tanto,
Dado $d\vec s\cdot d\vec s=c^2 d\tau^2$,
es el espacio-tiempo-vector de desplazamiento $d\vec s=c d\tau \ \hat \tau$ o $d\vec s=-c d\tau \ \hat \tau$?
Como un problema puramente matemático, usted necesita más información. Ambos son aceptables "soluciones".
La invocación de la física de la entrada masiva de las partículas tienen futuro-timelike de 4 velocidades (punto de que en el futuro-lightcone) [es $ds_{\tau}>0$ con las habituales convenciones], entonces se puede concluir $d\vec s=c d\tau \ \hat \tau$.