In this way we have pointed out unique and definite properties in nature which correspond to perpendicularity. We shall find that this discovery of definite unique properties defining perpendicularity is of critical importance in the theory of congruence which is the topic for the next lecture.
I regret that it has been necessary for me in this lecture to administer such a large dose of four-dimensional geometry. I do not apologise, because I am really not responsible for the fact that nature in its most fundamental aspect is four-dimensional. Things are what they are; and it is useless to disguise the fact that ‘what things are’ is often very difficult for our intellects to follow. It is a mere evasion of the ultimate problems to shirk such obstacles.
CHAPTER VI
CONGRUENCE
The aim of this lecture is to establish a theory of congruence. You must understand at once that congruence is a controversial question. It is the theory of measurement in space and in time. The question seems simple. In fact it is simple enough for a standard procedure to have been settled by act of parliament; and devotion to metaphysical subtleties is almost the only crime which has never been imputed to any English parliament. But the procedure is one thing and its meaning is another.
First let us fix attention on the purely mathematical question. When the segment between two points A and B is congruent to that between the two points C and D, the quantitative measurements of the two segments are equal. The equality of the numerical measures and the congruence of the two segments are not always clearly discriminated, and are lumped together under the term equality. But the procedure of measurement presupposes congruence. For example, a yard measure is applied successively to measure two distances between two pairs of points on the floor of a room. It is of the essence of the procedure of measurement that the yard measure remains unaltered as it is transferred from one position to another. Some objects can palpably alter as they move—for example, an elastic thread; but a yard measure does not alter if made of the proper material. What is this but a judgment of congruence applied to the train of successive positions of the yard measure? We know that it does not alter because we judge it to be congruent to itself in various positions. In the case of the thread we can observe the loss of self-congruence. Thus immediate judgments of congruence are presupposed in measurement, and the process of measurement is merely a procedure to extend the recognition of congruence to cases where these immediate judgments are not available. Thus we cannot define congruence by measurement.
In modern expositions of the axioms of geometry certain conditions are laid down which the relation of congruence between segments is to satisfy. It is supposed that we have a complete theory of points, straight lines, planes, and the order of points on planes—in fact, a complete theory of non-metrical geometry. We then enquire about congruence and lay down the set of conditions—or axioms as they are called—which this relation satisfies. It has then been proved that there are alternative relations which satisfy these conditions equally well and that there is nothing intrinsic in the theory of space to lead us to adopt any one of these relations in preference to any other as the relation of congruence which we adopt. In other words there are alternative metrical geometries which all exist by an equal right so far as the intrinsic theory of space is concerned.
Poincaré, the great French mathematician, held that our actual choice among these geometries is guided purely by convention, and that the effect of a change of choice would be simply to alter our expression of the physical laws of nature. By ‘convention’ I understand Poincaré to mean that there is nothing inherent in nature itself giving any peculiar rôle to one of these congruence relations, and that the choice of one particular relation is guided by the volitions of the mind at the other end of the sense-awareness. The principle of guidance is intellectual convenience and not natural fact.
This position has been misunderstood by many of Poincaré’s expositors. They have muddled it up with another question, namely that owing to the inexactitude of observation it is impossible to make an exact statement in the comparison of measures. It follows that a certain subset of closely allied congruence relations can be assigned of which each member equally well agrees with that statement of observed congruence when the statement is properly qualified with its limits of error.
This is an entirely different question and it presupposes a rejection of Poincaré’s position. The absolute indetermination of nature in respect of all the relations of congruence is replaced by the indetermination of observation with respect to a small subgroup of these relations.