by the property that in them the measurable distance between two points, , is expressed by the equation
|
If and are two Cartesian systems of co-ordinates, then
|
The right-hand side is identically equal to the left-hand side on account of the equations of the linear orthogonal transformation, and the right-hand side differs from the left-hand side only in that the are replaced by the . This is expressed by the statement that is an invariant with respect to linear orthogonal transformations. It is evident that in the Euclidean geometry only such, and all such, quantities have an objective significance, independent of the particular choice of the Cartesian co-ordinates, as can be expressed by an invariant with respect to linear orthogonal transformations. This is the reason that the theory of invariants, which has to do with the laws that govern the form of invariants, is so important for analytical geometry.
As a second example of a geometrical invariant, consider a volume. This is expressed by
|
By means of Jacobi's theorem we may write
|