arxiv:physics/ v1 [physics.ed-ph] 19 May 2005

Transcription

1 Visualizing proper-time in Speial Relativity arxiv:physis/05054v [physis.ed-ph] 9 May 005 Roberto B. Salgado Department of Physis, Syrause University, Syrause, New York 44 and Division of the Natural Sienes, Dillard University, New rleans, ouisiana 70 Dated: September, 004) We present a new visualization of the proper-time elapsed along an observer s worldline. By supplementing worldlines with light loks, the measurement of spae-time intervals is redued to the ounting of tiks. The resulting spae-time diagrams are pedagogially attrative beause they emphasize the relativisti view that time is what is measured by an observer s lok. I. INTRDUCTIN Einstein s speial relativity fores us to revise our ommon-sense notions of time. Indeed, loks in relative motion will generally disagree on the elapsed time interval measured between two meeting events. The disrepany is pratially undetetable for everyday relative speeds, but it is quite signifiant when the relative speeds are omparable to the speed of light. It is therefore neessary to distinguish these time intervals. Thus, we define for eah observer his proper-time as the elapsed time interval measured by his lok. The goal of this paper is to find a physially intuitive visualization of this onept of proper-time. Many tetbooks,,4,5,6 introdue proper-time by analyzing the propagation of a light in a light lok,,7,8,9,0, whih onsists of a pair of mirrors that fae eah other and are separated by a proper distane. ne tik of this lok is the duration of one round trip of a light ray bouning bak and forth between these mirrors. The analysis is usually done in the ontet of a simplified Mihelson-Morley apparatus whose arms may be regarded as light loks. Unfortunately, most of these presentations,,5 work in moving frames of referene without making the onnetion to the spae-time formulation, first introdued by Minkowski in 907 and later etended by Einstein. 4 et us reall a quote from J.. Synge:...We have in the speial theory of relativity the Minkowskian geometry of a flat 4- spae with indefinite metri... Unfortunately, it has been ustomary to avoid this geometry, and to reason in terms of moving frames of referene, eah with its own Eulidean geometry. As a result, intuition about Minkowskian spae-time is weak and sometimes faulty... 5 Indeed, when studying observers in relative motion, it is advantageous to draw a spaetime-diagram of the situation. However, we are immediately faed with an important question: how does one know where to mark off the tiks of eah lok? More preisely, given a standard of time marked on an observer s worldline, how does one alibrate the same standard on the other observer s worldline? ne approah is to use the invariane of the speed of light to algebraially demonstrate the invariane of the t se) light-se) FIG. : For inertial observers meeting at event, the orresponding tiks of their loks [synhronized at event ] trae out hyperbolas entered about event. spaetime-interval, from whih the equation of a hyperbola arises. 4, Then, for inertial observers that meet at a ommon event, it an be shown that the orresponding tiks on their loks [synhronized at event ] trae out hyperbolas on a spaetime diagram. See Figure.) ne this result is established, many of the results of speial relativity follow. This approah, however, is probably too sophistiated for a novie. Its onnetion with the standard tetbook approah, using the more familiar though provisional) physial onepts of time and spae, is not readily apparent. In this paper, we onnet the two approahes by drawing the spaetime-diagram of the Mihelson-Morley apparatus. Surprisingly, the only other spaetime-diagram of the apparatus is a rough sketh in Synge s Relativity: The Speial Theory. 6 The resulting diagram provides a visualization of proper-time whih epliitly inorporates the priniple of relativity and the invariane of the speed of light. The standard effets of time-dilation, length-ontration, and the relativity of simultaneity are easily inferred from the diagram. In addition, we show that standard alulations,,6,7,8,9 of the Clok Effet and the Doppler Effet an be redued to the ounting of tiks.

2 We feel that the resulting diagrams are pedagogially attrative sine they emphasize the relativisti view that time is measured by an observer s lok. In the last setion, we will onsider a simplified version of our lok, alled the longitudinal light lok. Although this enodes fewer features than the full light lok, the longitudinal light lok is easy to draw manually. In this paper, we have provided the detailed alulations used to draw the diagrams. However, we believe that one an first qualitatively onstrut the diagram for the novie, emphasizing the physial priniples first. Then, for those interested, one an ontinue quantitatively with the analytial onstrution. Following the standard onventions for spaetime diagrams, time runs upward on our spaetime diagrams. The sales of the aes are hosen so that light rays are drawn at 45 degrees. II. A SIMPIFIED MICHESN-MREY APPARATUS A. An apparatus at rest ur simplified Mihelson-Morley apparatus has a light soure at the origin and two mirrors, eah loated a distane along a set of perpendiular arms. First, let us draw the spaetime diagram of the apparatus in its inertial rest-frame, alled the A-frame. The oordinates, y, t) will be used to desribe the events from this frame. Sine relative motion will be taken to be along the -ais, the mirror along the -ais will be alled the longitudinal mirror and the mirror along the y-ais will be alled the transverse mirror. The worldlines of A s light soure and mirrors are desribed parametrially by t) = 0 A s light soure yt) = 0 A s transverse mirror t) = 0 yt) = t) = A s longitudinal mirror yt) = 0. Speial relativity tells us that, in all inertial frames, light travels through the vauum with speed in all spatial diretions, where the speed has the value 0 of m/s. et event, with oordinates 0, 0, 0), mark the emission of a flash of light from the soure. ne light ray emitted at event reahes the transverse mirror at event ) Y A : 0,, ) sine light travels with speed for a time / in order to reah the transverse mirror a distane away. Its 0 y Y A t X A worldline of the transverse mirror worldline of the soure worldline of the longitudinal mirror 0 FIG. : This is the spaetime diagram of a simplified Mihelson-Morley apparatus in its rest-frame. The - and y-aes are marked in units of. The t-ais is marked in units of /.) refletion is reeived bak at the soure at event : 0, 0, ). Similarly, one light ray reahes the longitudinal mirror at event X A :, 0, ), and its refletion is also reeived at event. Hene, the two rays, emitted at event and direted in different diretions, are reeived at a ommon event, whose oordinates are 0, 0, /). See Figure.) If one arranges another light ray to be emitted upon reeption for eample, by plaing suitably oriented mirrors at the soure), then this apparatus an serve as a simple lok the light lok. The reeption event marks one tik of this lok. This tik will be hosen to be the standard tik. The elapsed time logged by an observer sitting at the soure is equal to the number of tiks multiplied by /, the duration of one round trip of a light ray. If a finer sale of time is required, one an inrease the resolution by hoosing a smaller separation. In addition, the refletion events X A and Y A, whih are on mirrors equidistant from the soure, an be regarded as half-tiks of this lok. We define these half-tiks to be simultaneous events for this lok.

3 B. An apparatus in motion Now, suppose an idential apparatus moves with spatial-veloity v parallel to the -ais of the A-frame. This moving inertial-frame will be alled the B-frame, and the oordinates, y, t ) will be used to desribe events from this frame. For simpliity, the origins of the primed and unprimed oordinate systems are taken to oinide at the emission event. In addition, the orresponding spatial aes are assumed to be spatiallyparallel within eah inertial-frame. Sine B s apparatus is idential to A s, the worldlines of B s light soure and mirrors are desribed parametrially by B s light soure t ) = 0 y t ) = 0 B s transverse mirror t ) = 0 y t ) = B s longitudinal mirror t ) = y t ) = 0. What does the spaetime diagram of this moving apparatus look like in the A-frame? In partiular, what are the, y, t) oordinates of the worldlines of the moving apparatus and of the events X B, Y B, and? Sine B s light soure and transverse mirror move with veloity v in the -diretion, they are desribed as: t) = vt B s light soure yt) = 0. B s transverse mirror t) = vt yt) =. ) Due to this mirror s motion, the light ray from event that meets this mirror must travel a longer distane in the A-frame. See Figure.) Using the Pythagorean theorem, we find this distane is v/) ) /, whih is traveled by light in time /) v/) ) /. Thus, the refletion event on B s transverse mirror is ) Y B : v,,. v/) v/) Similarly, the refleted ray is reeived by B s soure at: ) : v, 0,. v/) v/) Note that, in the A-frame, event the first tik of the moving lok ) ours later than the first tik of the stationary lok ). This is the time dilation effet. Now, let us onsider the longitudinal mirror. See Figure 4.) Reall that the refleted light rays for A s apparatus were reeived by A s soure at a ommon event. Aording to the priniple of relativity, the apparatuses annot distinguish their states of inertial motion. Thus, the refleted light rays for B s apparatus must also be reeived by B s soure at a ommon event, here,. y 0 trajetory of emitted light ray vt Y t Y trajetory of refleted light ray Y B t Y vt Y trajetory of B s transverse mirror 4 vt B trajetory of B s soure FIG. : n A s y-plane, the spatial trajetories of B s transverse arm and its assoiated light rays are drawn. The marked dot orresponds to the spatial oordinates of B s first tik, whih ours after an elapsed time t B in the A-frame. et t Y be the elapsed time for a light ray from event to reah B s transverse mirror. Using the Pythagorean theorem, it an be shown that t Y = /) v/) ) /. By symmetry, it follows that t B = /) v/) ) /, whih is longer than the duration of A s tik, /). This is alled the time dilation effet. The - and y-aes are marked in units of.) t B t X t A t 4 0 l vt X vt B emitted light ray worldline of B s soure worldline of B s longitudinal mirror l t B t X) t X X B 4 refleted light ray FIG. 4: n A s t-plane, the worldlines of B s longitudinal arm and its assoiated light rays are drawn. The marked dot orresponds to B s first tik. et l be the apparent length of B s longitudinal arm. et t X be the elapsed time for a light ray from event to reah B s longitudinal mirror. Sine t X = vt B + t B t X) and t B = /) v/) ) /, it an be shown that t X = /) + v/)/ v/)) /. Furthermore, sine t X = vt X + l, it follows that l = v/) ) /, whih is shorter than the proper length of A s idential apparatus. This is the length ontration effet. The -ais is marked in units of. The t-ais is marked in units of /.)

4 4 For light rays to be reeived at event, what is the required refletion event X B on B s longitudinal mirror? Event X B is the intersetion on the t-plane of the forward-direted light ray from event and the bakward-direted light ray toward event. Refer again to Figure 4.) After a little algebra, the refletion event X B is determined to be X B : v/), 0, v ) v/). v Thus, B s longitudinal mirror is desribed by: t) = vt + v/) B s longitudinal mirror yt) = 0. Note that, in the A-frame, the length of B s longitudinal arm is v/) ) /, whih is shorter than its proper length. This is the length ontration effet. This ompletes the onstrution of B s apparatus. As a hek, these results an be obtained diretly from the orentz transformation: t = t v/ v/) vt = v/) ) Y A stationary t Y B moving not length ontrated X B length ontrated 0 X A 6 y FIG. 5: This is A s spaetime diagram of B s idential apparatus, whih moves with veloity v = 0.8 along A s -ais. y = y For instane, given the worldlines for B s apparatus in, y, t )-oordinates Equation ), epressions for and y as funtions of t an be obtained: t) = vt B s light soure yt) = 0 t) = vt B s transverse mirror 4) yt) = t) = vt + v/) B s longitudinal mirror yt) = 0. Similarly, given the, y, t )-oordinates of B s tik and half-tiks, the, y, t)-oordinates of X B, Y B, and an be obtained. These results are summarized in Figure 5. In addition to the time-dilation and length-ontration effets, note that the events X B and Y B, whih are defined to be simultaneous aording to B s lok, are not simultaneous aording to A s lok. This is the relativity of simultaneity. In passing, we observe that the length-ontration fator v/) ) /, not found in the Galilean transformations, 4 enfores the requirement that the refletion our at event X B so that the refleted light ray is reeived at event. Without length ontration, the refletion ours at event X Gal, and the reeption event U Gal ours at the soure after event. See Figure 6.) Suh a result violates the priniple of relativity sine one s inertial state of motion ould now be deteted. Indeed, the Mihelson-Morley apparatus was used to measure the time differene between events U Gal and, as predited by the Galilean transformations. However, no time differene was eperimentally observed., Y A stationary t Y B U Gal moving X Gal not length ontrated 0 X A 6 y FIG. 6: This is A s spaetime diagram of B s idential apparatus without length ontration. bserve that without length ontration, the light rays refleted by the moving mirrors are not reeived simultaneously at ) by the moving soure.

5 5 For larity, it is useful to introdue the standard abbreviations. et γ denote the time-dilation fator γ = v/), 5) and let k denote the Doppler-Bondi fator 9,6 k = + v/) v/). 6) With these abbreviations, the oordinates of X B, Y B, and an be epressed as X B : k, 0, k ) Y B : γv,, γ ) : γv, 0, γ ). For the eamples used throughout this paper, the B- frame moves with veloity v = 0.8 relative to the A- frame. For this hoie, we have γ = 5/ and k =. Then, given a starting emission event on the ais of eah worldtube, one traes out the paths of the light rays and their refletions, whih are drawn upward with a slope of 45 degrees in this diagram. For simpliity, the starting emission event is taken to be the intersetion of the two soures. Refer again to Figure 7.) We now make a series of observations. The original pair of refletion events X A and Y A and X B and Y B, respetively) are among the events on the irle of mutual intersetions of the worldtube of the light lok and the light ones of its zeroth and first tiks. We etend our definition of simultaneity aording to this lok to that irle of events. In fat, one an etend this simultaneity to events on the unique [hyper]plane that ontains this irle [respetively, sphere]. Physially, this [hyper]plane represents all of spae at a partiular instant for this light lok. As before, the events that are simultaneous to this light lok are generally different from those events determined to be simultaneous by the other light lok. With this notion of simultaneity, the light ones an be interpreted in a omplementary way. For eah light lok, a simultaneous slie of its ones represents a irular [respetively, spherial] wavefront traveling at the speed III. CIRCUAR IGHT CCKS A. A generalized apparatus Generalizing the analysis of the last setion, it is easy to see that: With any relative orientation of the arms one would obtain the same results:. ight rays emitted by the soure at event to mirrors a distane away would be reeived bak at the soure at a time / later.. The refletion events at the mirrors are simultaneous aording to that soure. So, instead of a pair of equidistant mirrors, onsider a whole olletion of mirrors plaed inside a irle [generally, a sphere] of radius. Heneforth, this will be alled the irular light lok. 7 What would the spaetime diagram of this light lok look like? In this ase, one would have a hollow worldtube to desribe the olletion of mirrors for eah lok. In addition, for eah tik of a given lok, one would draw the portion of its light one ontained inside the lok s worldtube. These ones represent events in spaetime traed out by the olletion of light rays that reflet off the mirrors from tik to tik. See Figure 7.) In partiular, the stationary light lok will be drawn with a irular ross-setion. The moving one will be drawn tilted with an elliptial ross-setion sine it is length-ontrated in the diretion of relative motion. y Y A t Y B XA XB FIG. 7: Two irular light loks in relative motion. For eah light lok, the intersetion of the worldtube and the light ones from two onseutive tiks is a irle of simultaneous events for that lok. The white dots represent events at the soure that are simultaneous with the orresponding irle of intersetion. Note that the moving irular mirror is length-ontrated in this inertial frame.

6 6 of light. Hene, the light one an also be interpreted as a sequene of wavefronts traveling at the speed of light. 8 B. Visualizing proper-time By ontinuing this light-lok onstrution along eah inertial observer s worldtube, an aurate visual representation of the proper time elapsed for eah observer is obtained. From suh a diagram, however, it may not be evident that the two observers are equivalent. First, we demonstrate their symmetry with the Doppler Effet. See Figure 8.) Suppose these inertial observers emit light signals at one-tik intervals. From the diagram, eah observer reeives those signals from the other observer at three-tik intervals. In other words, the reeived frequeny is one-third of the original frequeny, in aordane with the Doppler effet for two observers separating with speed v = 0.8. In general, a light ray emitted by a soure at its first tik after separation reahes the reeiver at the reeiver s kth tik after separation, where k is the Doppler-Bondi fator defined in equation 6. This is the basis of the Bondi k- alulus. 9,6,9,0 Net, we demonstrate their symmetry with the timedilation effet. Refer again to Figure 8.) Consider the signal emitted at the first tik. As just noted, this signal is reeived by the reeiver at his third tik. Aording to the soure of that signal, that distant reeption event is simultaneous with his fifth tik. In other words, the apparent elapsed time assigned to a distant event is fivethirds as long as the proper elapsed time measured by the inertial observer who visits that distant event. In general, the apparent elapsed time assigned to a distant event is γ times as long as the proper elapsed time measured by the inertial observer who meets that distant event, where γ is the time-dilation fator defined in equation 5. In addition, the soure measures the apparent distane to that reeption event to be vt apparent = v γk tiks). For v = 0.8, this is ) 5 vγk tiks = 0.8) ) tik) = 4 tiks = 4 light-tiks. Sine is the radius of the worldtube and tik = /), this distane an be epressed as four worldtube diameters. This suggests the diagrams in Figure 9. f ourse, this is just the alulation of the square-interval in terms of the temporal and spatial oordinates ) ) = proper time apparent time ) tiks) = 5 tiks) 4 tiks), apparent distane whih an be regarded as the spaetime version of the Pythagorean theorem. bserve that, for a onstant value of the proper-time, the admissible pairs of temporal and spatial oordinates loate events on a hyperbola. γk k FIG. 8: Symmetry of the observers: The Doppler and Time- Dilation effets. For a relative speed of v = 0.8, we have γ = 5/ and k =. proper-time apparent-time apparent-distane apparent-distane proper-time apparent-time FIG. 9: Symmetry of the observers: The spaetime analogue of the Pythagorean Theorem: proper-time) = apparent-time) apparent-distane/). k γk

7 7 C. The Clok Effet With this pitorial devie, we present a visual representation of the Clok Effet. See Figure 0.) In addition, the two observers are ertainly inequivalent. The kink in the non-inertial worldline auses the sequene of simultaneous events to hange disontinuously, leading to the apparent break in the non-inertial worldtube. This is not to say that the non-inertial worldtube atually breaks. Rather, it is an artifat of how the diagram was drawn. In order to draw the true worldtube, a more areful analysis with a detailed model of the apparatus is needed. We refer the reader to some artiles on the Clok Effet that disuss this kink in the non-inertial observer s worldline. 0,9,0 D. A brief summary et us summarize the logial development up to this point. Given the simplified Mihelson-Morley apparatus in relative motion, the invariane of the speed of light so that all light rays are drawn at an angle of 45 degrees) is used to draw the light rays assoiated with the perpendiular arm. Invoking the priniple of relativity so that the duration of the round-trip defines the same standard tik), we dedue the effet of time dilation. Again using the invariane of the speed of light, we draw the light rays assoiated with the parallel arm. Again invoking the priniple of relativity, we dedue the effets of length ontration and the relativity of simultaneity. Generalizing these results to arbitrary diretions, we obtain the irular light lok. By ontinuing this onstrution along a pieewise-inertial worldline, we obtain a visual representation of the proper-time elapsed along that worldline. IV. NGITUDINA IGHT CCKS FIG. 0: The Clok Effet. A non-inertial observer travels away with veloity v = 0.8 for tiks, then returns with veloity v = 0.8 for another tiks. Between the departure and reunion events, he has logged 6 tiks for his entire trip, whereas the inertial observer has logged 0 tiks. From the diagram, the non-inertial observer travels away with veloity v = 0.8 for tiks, then returns with veloity v = 0.8 for another tiks. Between the departure and reunion events, he has logged 6 tiks for his entire trip. n the other hand, the inertial lok logs first tiks) seond tiks) + = 0 tiks 0.8/) 0.8/) between the same departure and reunion events. Clearly, the diagram reveals that more time elapses for the inertial observer that meets both events. et us now onsider a simplified two-dimensional version of the light lok diagram. Consider the worldlines of the soure and of one longitudinal mirror, that is, the longitudinal light lok. As before, the moving light lok appears length-ontrated in the diretion of relative motion. In this ase, we have the following diagrams. See Figures and.) Although these figures are muh easier to draw, it is unfortunate that the role of length ontration appears here so prominently. Reall that event was determined using the invariane of the speed of light and the priniple of relativity, whih required that the transverse and longitudinal refletions be reeived simultaneously at the soure. However, without the transverse diretion, the role of invariane may not be evident. In this setion, we will draw attention to a ertain geometri property of this diagram and use it to emphasize instead the invariane of the spaetime interval.

8 8 A. A simple onstrution l X A X B FIG. : Two longitudinal light loks. The apparent length l of the moving apparatus was shown to be v/) ) /. Refer to the diagram of two longitudinal light loks. See Figure.) Consider the triangles X A and X B, whih are formed from the timelike intervals from event to the first tiks and their assoiated light rays. Sine, on a spaetime diagram, events and are at equal intervals from event, they lie on a retangular hyperbola asymptoti to the light one of event. From this, it an be shown that these triangles whih are related by orentz transformations) have the same area. In fat, we will show in Setion IV B that this area is proportional to the square-interval of one tik. Using the similarity of triangles X A F and X B and the relation k = X B )/X A ), we obtain the useful orollary that X A F) X A ) = /k. With this property, we an now draw the longitudinal light lok with the emphasis on the invariane of the interval, rather than on length ontration. Given the standard tik for the stationary observer events,, and X A ) and the worldline of a moving observer line F), one an determine the standard tik for the moving observer events, X B and ) as follows. Measure X A F)/X A ). [For a lassroom ativity, one might use a sheet of graph paper with its aes aligned with the future light one of event.] Calulate k using the orollary X A F)/X A ) = /k. In the net setion, we show that k is equal to the Doppler-Bondi fator.) hyperbola τ = t /) X B F X A FIG. : The Clok Effet with the longitudinal light loks. FIG. : Sine and are points of this hyperbola, the triangles X A and X B have the same area. et k = X B)/X A). Using the similarity of the triangles X AF and X B, it follows that X AF)/X A) = /k. With these fats, given,, X A, and F, one an easily determine X B and. It will be shown that k is preisely the Doppler-Bondi fator.)

9 9 S Determine the refletion event X B along the outgoing light ray using the relation k = X B )/X A ). Determine the reeption event by traing the refleted light ray bak onto the moving worldline. This displays the time dilation effet. Determine the worldline of the longitudinal mirror by drawing through X B the parallel to F. This displays the length ontration effet. Finally, determine a set of simultaneous events for this lok by first ompleting the parallelogram with sides X B and X B and then drawing the diagonal through X B. This displays the relativity of simultaneity. B. An invariant area The following alulation reveals that this area of the triangles used in the previous setion is proportional to the square-interval of one tik. Sine we will be disussing an aspet of the geometry of the spaetime diagram, it is onvenient to work with a more natural set of oordinates /, t), where now eah oordinate has the same units. Consider the segment drawn from the emission event to any event T with oordinates /, t). See Figure 4.) Regard that segment as the hypotenuse of a Eulidean right triangle whose sides are parallel to the light one of hyperbola τ = t /) = ξη T =, t) ξ = t+/ X P =, ) FIG. 4: The legs of triangle XT have measure ξ = ) / t + /) and η = ) / t /). η = t / Q = t, t) event. The legs of this triangle have measure ξ = t + / η = t /. These are alled the Dira light-one oordinates, of event T in the A-frame. In these oordinates, the Eulidean area of this triangle is simply ξη/, whih is equal to t /) )/4. That is, the Eulidean area of triangle XT is equal to one-fourth of the square-interval from event to event T. et us epliitly verify that this area is invariant under orentz transformations. Using Equation, the lightone oordinates of event T in the B-frame are ξ = t + / η = t / = γ v ) ) t + / ) t + / = k = γ = k + v ) t / = k ξ ) ) t / = kη, where k is Doppler-Bondi fator defined in Equation 6. Thus, the quantity ξη/ is orentz invariant. It is instrutive to interpret this geometrially. For onreteness, let us start with T = and X = X B. In this ase, we seek the orentz transformation that sets to be at rest in the B-frame. Imagine sliding down along the hyperbola until is vertial. As that happens, X B slides down the light one, saling the ξ-leg down by a fator k and saling the η-leg up by a fator k. Thus, the area of triangle X B is invariant. We etend this result to the parallelogram formed with light rays X B and X B, i.e., the area of intersetion between the interior of s future light-one and the interior of s past light-one. Clearly, this area is invariant and is proportional to the square-interval of one tik. In fat, this result generalizes to higher-dimensions: the analogous volume of intersetion between the lightone interiors is also invariant and is proportional to the square-interval of one tik. We show this for the - and 4-dimensional ase. The Eulidean volume of a one with an elliptial base is πab)h/, where a and b are the semimajor and semi-minor aes of the elliptial base, and h is the altitude of the one. In four dimensions, the hypervolume of a one with an ellipsoidal base is 4πab /)h/4. Sine we orient the base so that b is a length along the transverse diretion, it is unhanged under a orentz transformation. Regarding SX in Figure 4 as the t-ross-setion of the light one of event, observe that its area is a)h/ = ah. Using the symmetries of the parallelogram, the area of SX is equal to the area of XT. Thus, ah is invariant. It follows that the volume of intersetion between the light-one interiors is invariant.

10 0 V. FINA REMARKS By drawing the spaetime diagram of a Mihelson- Morley apparatus, we have obtained an aurate visualization of the proper-time elapsed along a pieewiseinertial observer s worldline. Measurements of spaetime intervals have been redued to the ounting of tiks, emphasizing the relativisti view that time is measured by an observer s lok. We believe that the resulting diagram an be used to disuss speial relativity in a qualitative way whih emphasizes the physis first and the algebra seond. We feel this ould easily be inorporated into the standard tetbook treatments of speial relativity, whih often disuss the Mihelson-Morley eperiment. The ideas presented in this paper are being implemented in a series of interative omputer programs whih will be posted to our website. 4 VI. ACKNWEDGMENTS Part of this work was supported by a Truman State University Curriulum Development Grant. Eletroni address: salgado@physis.syr.edu A. Einstein, Zur Elektrodynamik bewegter Körper, Ann. Phys. eipzig), 7, ); reprinted as A. Einstein, n the Eletrodynamis of Moving Bodies 905) in The Priniple of Relativity, by A. Einstein, H.A. orentz, H. Minkowski, and H. Weyl Dover, New York, 9), pp R.P. Feynman, R.B. eighton, M. Sands, The Feynman etures on Physis, vol. I Addison-Wesley, Reading MA, 96). D. Halliday, R. Resnik, J. Walker, Fundamentals of Physis Wiley, New York, 99); P.G. Hewitt, Coneptual Physis Harper Collins, New York, 99). 4 E.F. Taylor and J.A. Wheeler, Spaetime Physis W.H. Freeman, New York, 966). 5 N.D. Mermin, Spae and Time in Speial Relativity MGraw-Hill, New York, 968). 6 A.P. Frenh, Speial Relativity W.W. Norton, New York, 968); T.A. Moore, A Traveler s Guide to Spaetime MGraw-Hill, New York, 995). 7 M. von aue, Jahrbuh der Radioaktivitat und Elektronik 4, p. 6, 97). 8 R.F. Marzke and J.A. Wheeler, Gravitation as Geometry I: The Geometry of Spae-Time and the Geometrodynamial Standard Meter, in Gravitation and Relativity, edited by H.-Y. Chui and W.F. Hoffman Benjamin, New York, 964), pp ; C.W. Misner, K.S. Thorne, and J.A. Wheeler, Gravitation W.H. Freeman, New York, 97); 9 B. Bertotti, The Theory of Measurement in General Relativity, in Evidene for gravitational theories: Proeedings of the International Shool of Physis Enrio Fermi, edited by C. Møller Aademi Press, New York, 96), pp. 74-0; S.A. Basri, perational Foundation of Einstein s General Theory of Relativity, Rev. Mod. Phy., 7, ); J.. Anderson and R. Gautreau, perational Approah to Spae and Time Measurements in Flat Spae, Am. J. Phy., 7, ). 0 H. Arzeliés, Relativisti Kinematis Pergamon Press, ford, 966). A.B. Arons, Development of Conepts of Physis Addison- Wesley, Reading, Massahusetts, 965). A.A. Mihelson and E.W. Morley, n the Relative Motion of the Earth and the uminiferous Ether, Am. J. Si., rd Ser., 4, ). H. Minkowski, Spae and Time 909) in The Priniple of Relativity by H.A. orentz, A. Einstein, H. Minkowski, and H. Weyl, Dover Publiations, New York, 9). 4 A. Einstein, n the Foundations of the Generalized Theory of Relativity and the Theory of Gravitation 94) in The Colleted Papers of Albert Einstein: Volume 4, Prineton University Press, Prineton, 996). 5 J.. Synge, Intuition, geometry, and physis in relativity, Annali di Matematia pura ed appliata, 54, ). 6 J.. Synge, Relativity: The Speial Theory North-Holland, Amsterdam, 96), pp A. Shild, The Clok Parado in Relativity Theory, Am. Math. Monthly 66, ). 8 W. Rindler, Essential Relativity Van Nostrand Reinhold, New York, 977). 9 G.F.R. Ellis and R.M. Williams, Flat and Curved Spae- Times ford University Press, ford, England, 988). 0 In 98, the 7 th Conférene Générale des Poids et Mesures defined the speed of light to be eatly m/s and used this to define the meter. Impliitly, it is assumed that the impulses transferred to the mirrors upon refletion are negligible so that these mirrors maintain their separation from the soure. This is the usual onvention for aligning the spatial aes. In speial relativity, the - and - aes are not parallel in spaetime. However, in the A-frame, the spatial-projetion of the -ais is parallel to the -ais, and onversely for the B-frame. By ontrast, in Galilean relativity, the orresponding spatial aes are parallel in both the spatial and spaetime senses. Stritly speaking, we should prove that, for a moving objet, lengths along its transverse diretions are unhanged. We refer the reader to Feynman, Mermin 5, and Arons for a symmetry argument. 4 The Galilean transformations are t = t, = vt, y = y. 5 W.K.H. Panofsky and M. Phillips, Classial Eletriity and Magnetism Addison-Wesley, Reading, Massahusetts, 955). 6 H. Bondi, Relativity and Common Sense Dover, New York, 96); H. Bondi, Some Speial Solutions of the Einstein Equations, in etures on General Relativity: Brandeis 964 Summer Institute on Theoretial Physis, vol., by A. Trautman, F.A.E. Pirani, and H. Bondi Prentie- Hall, Englewood Cliffs, New Jersey, 965), pp After writing this paper, I learned that this is some-

11 times alled the Fokker lok. A.D. Fokker, Aelerated spherial light wave loks in hronogeometry, Nederl. Akad. Wetensh. Pro. Ser. B 59, ). 8 H.M. Shey, Epanding Wavefronts in Speial Relativity: A Computer-Generated Film, Am. J. Phy. 7, ); W. Moreau, Wave front relativity, Am. J. Phy. 6, ). 9 N.D. Mermin, An introdution to spae-time diagrams, Am. J. Phy. 65, ). 0. Marder, Time and the Spae-Traveller University of Pennsylvania Press, Philadelphia, 97). S. Daubin, A Geometrial Introdution to Speial Relativity, Am. J. Phy. 0, ); J. Aharoni, The Speial Theory of Relativity ford University Press, ford, 965), pp. 0-; D. Bohm, The Speial Theory of Relativity W.A. Benjamin, New York, 965), pp. 5-5; Y.S. Kim and M.E. Noz, Dira s light-one oordinate system, Am. J. Phy. 50 8), ); N.D. Mermin, Spae-time intervals as light retangles, Am. J. Phy. 66, ). P.A.M. Dira, Forms of Relativisti Dynamis, Rev. Mod. Phys., 9 949);. Parker and G.M. Shmieg, Speial relativity and diagonal transformations, Am. J. Phy. 8, 8 969);. Parker and G.M. Shmieg, A useful form of the Minkowski diagram, Am. J. Phy. 8, ); E.N. Glass, orentz boots and Minkowski diagrams, Am. J. Phy. 4 ), ). Indeed, sine a proper orentz transformation has unit determinant, spaetime volume is invariant. 4