Project Gutenberg #77427
The Analysis of Matter
Bertrand Russell
1927Russell's philosophical treatment of physics and matter, prepared section by section from Project Gutenberg HTML.
Project Gutenberg #77427 Public domain in the United States Cover source Local typographic cover created for MojiMori from public-domain source metadata
186
words at B2 or above
A1
A2
B1
B2
C1
C2
C2+
highlighted
at or above your level
AI Summary
Chapter VIII — GEODESICS Central question What is the relativistic replacement for straight-line motion? Main argument Russell uses geodesics to show how free motion can be described in curved space-time without...
essential relatedness of any perceived field of events to all other events requires that this relatedness of all events should conform to the ascertained disclosure derived from the limited field. For we can only know that distant events are spatio-temporally connected with the events immediately perceived by knowing what these relations are. In other words, these relations must possess a systematic uniformity in order that we may know of nature as extending beyond isolated cases subjected to the direct examination of individual perception.... This doctrine leads to the rejection of Einstein's interpretation of his formulæ, as expressing a casual heterogeneity of spatio-temporal warping, dependent upon contingent adjectives."
Thus whereas Eddington seems to regard it as necessary to adopt Einstein's variable space, Whitehead regards it as necessary to reject it. For my part, I do not see why we should agree with either view: the matter seems to be one of convenience in the interpretation of formulæ. Nevertheless, Dr Whitehead's arguments deserve careful examination.
The main force of the above passages is epistemological: the question involved is the Kantian one, How is knowledge possible? I do not wish to deal with this question in its general form. But without going into theory of knowledge, there is what may be called a common-sense answer. Einstein enables us to predict what in fact can be predicted about astronomical occurrences, and that seems all that ought to be demanded of him. Dr Whitehead objects to the "casual" heterogeneity of space-time in Einstein's system. In a sense, this adjective is justified, since the character of space-time[Pg 79] in any region depends upon circumstances which can only be ascertained empirically—namely, the distribution of matter in the neighbourhood. But in another sense the adjective is not justified, since Einstein's law of gravitation gives the rule according to which space-time is affected by the neighbourhood of matter. To say that we cannot, by the help of this rule, know in advance the geometry of a region we have not explored, seems an insufficient objection, since we also cannot know what astronomical occurrences will take place unless we know the distribution of matter. Einstein, like other people, assumes the permanence of matter; this is a point to be considered in another connection, but it has no particular relevance to the present issue. The way the heavenly bodies move depends upon the distribution of matter in their neighbourhood, which is, in Dr Whitehead's phrase, "casual." Even by assuming Euclidean geometry we cannot make astronomical predictions unless we assume that we know the important facts about the distribution of matter in the region concerned. Whether we put the consequences of these facts into our geometry or not does not seem to make any real difference to the possibility of physical knowledge. In all theoretical physics, there is a certain admixture of facts and calculations; so long as the combination is such as to give results which observation confirms, I cannot see that we can have any a priori objection. Dr Whitehead's view seems to rest upon the assumption that the principles of scientific inference ought to be in some sense "reasonable." Perhaps we all make this assumption in one form or another. But for my part I should prefer to infer "reasonableness" from success, rather than set up in advance a standard of what can be regarded as credible.
I do not therefore see any ground for rejecting a variable geometry such as Einstein's. But equally I see no ground for supposing that the facts necessitate it. The question is, to[Pg 80] my mind, merely one of logical simplicity and comprehensiveness. From this point of view, I prefer the variable space in which bodies move in geodesics to a Euclidean space with a field of force. But I cannot regard the question as one concerning the facts.
The conclusion would seem to be, therefore, that, when physics is considered, as we are now considering it, as a deductive system, we do well to adopt the Einsteinian interpretation: free particles move in geodesics, and the law of gravitation is a law as to how geodesics are shaped in the l neighbourhood of matter. This view is essentially simple, though it leads to complicated mathematics. It accords with the facts, and it puts the law of gravitation in a recognizable place among physical principles, instead of leaving it, as heretofore, an isolated and unrelated law. I propose, therefore, to continue to adopt Einstein's view as to the best way of interpreting the principles of physics, without suggesting that no other way is logically possible.
There is one matter of great theoretical importance, which is not very clear in the usual accounts of relativity. How do we know whether two events are to be regarded as happening to the same piece of matter? An electron or a proton is supposed to preserve its identity throughout time; but our fundamental continuum is a continuum of events. One must therefore suppose that one unit of matter is a series of events, or a series of sets of events. It is not clear what is the theoretical criterion for determining whether two events both belong to one such series. We may assume, I suppose, that two events which overlap—i.e. which are both present at some point of space-time—must belong to one unit of matter. (It is not to be assumed that an event which belongs to one unit of matter belongs to no other.) We may also assume that two events which have a space-like interval, or have a zero interval without overlapping, do not belong to one unit of[Pg 81] matter. But when two events have a time-like interval, there is no obvious criterion. Any two such events can be connected by a geodesic in which any two points have a time-like separation; therefore, so far as the laws of dynamics are concerned, they might both belong to the same material unit. Yet sometimes we think they do, and sometimes we think they do not. It is evidently part of the business of physics to tell us how we are to decide this question in a given case. What can we say about it?[26]
The decision must depend upon intermediate history—i.e. upon the existence of some series of intermediate events (or sets of events) following each other according to some law. If there exists any law which is in fact obeyed by strings of events, such a law can be used to define what we mean by one material unit. We know that there are such laws, but their importance in this connection is not emphasized, because it has hardly been realized that there is a problem owing to the substitution of events for bits of matter as the fundamental stuff of physics. For common sense, there is a more or less vague law of what may be called qualitative continuity. If you look persistently in a given direction, what you see, as a rule, alters gradually; there are exceptions, such as explosions, but they are rare. (I am not talking of a theoretical gradualness, but of one that is obvious to untrained perception.) If you see, say, a well-defined red patch, whose shape and tint do not alter greatly while you are looking, you conclude that there is a material object there, especially if you can touch it whenever you choose. Common sense achieves in this way a considerable measure of constancy in its objects. More is achieved by reducing matter to molecules, more still by reducing it to atoms, and yet more by reducing it to protons and electrons. But physicists would not feel pleased with[Pg 82] electrons and protons but for the fact that their tables and chairs, their laboratories and their books, consist, on the whole, of the same electrons and protons on different occasions. Qualitative continuity remains the basis of the whole proceeding. Suppose, one evening, you were to say to an astronomer: How do you know that that white patch in the sky is the moon? He would stare at you, and think you mad. He would not reply: because the course and phases of the moon have been worked out by astronomical theory, and that is where the moon ought to be, and the shape it ought to have, at the present moment in this latitude and longitude. What he would say is: Why, can't you see it's the moon? To which the right answer would be: Yes, I can, but I didn't suppose you could, because you ought to have got beyond such a crude criterion.
Moreover, there are identities in physics which are not material. A wave has a certain identity; if this were not the case, our visual perceptions would not have the intimate connection they in fact do have with physical objects. Suppose we see several lamps simultaneously: we are able to distinguish them because each sends out its own light-waves, which preserve their individuality until they reach the eye. Our chief reason for not regarding a wave as a physical object seems to be that it is not indestructible. But this is not our only reason, since, if it were, we might regard the energy of a wave as a physical object. We do not regard energy as a "thing," because it is not connected with the qualitative continuity of common-sense objects: it may appear as light or heat or sound or what not. But now that energy and mass have turned out to be identical, our refusal to regard energy as a "thing" should incline us to the view that what possesses mass need not be a "thing." We seem driven, therefore, to the view advocated by Eddington, that there are certain invariants, and that (with some degree of inaccuracy) our senses and our common sense have singled them out as deserving names. The correct theoretical definition of a single piece of matter will thus depend upon the mathematical invariants resulting from our formula for interval. This topic, however, demands a new chapter.
FOOTNOTES: [26] This subject is considered again in Chap. XIV. from a somewhat different standpoint.
[Pg 84] CHAPTER IX INVARIANTS AND THEIR PHYSICAL INTERPRETATION
THERE is a point of view specially associated with Professor Eddington, which it is necessary to consider at this stage, since it arises naturally in the attempt to develop physics as a self-contained deductive system. According to this view, practically all theoretical physics is a vast tautology or convention, the only part excepted, so far, being the part which involves quantum-theory. This is not the whole of Professor Eddington's view on the subject, as he has shown when not writing simply as a technical physicist;[27] but it is what we may call his "professional" view.[28]
Let us begin with the conservation of momentum and of energy (or mass). Here we start from a proposition of pure mathematics. To explain this proposition will require certain preliminaries. It will be remembered that we had: We put: And we write for the minor of in this determinant, divided by . Also: which = 0 if and =1 if .
The next step is the definition of the "three-index symbols," which are:[Pg 85] We can now define the tensor which Einstein uses for his law of gravitation. It is , where: summed for all values of and from 1 to 4. Einstein takes as the law of gravitation in empty space. For the moment, we are not concerned with the law of gravitation, but with certain identities. We put:
Further, there is a rule for raising or lowering suffixes in any tensor, of which an illustration is: so that— Generalizing the notion of the "divergence" of a vector, we obtain a general definition of the divergence of any tensor. Taking a tensor of the form for purposes of illustration, its "divergence" has four components: where: and similarly for , etc. These definitions have been given in order to enunciate the proposition:[29] [Pg 86]which Eddington calls "the fundamental theorem of mechanics."
In order to see the