<br />
<b>Deprecated</b>:  Function add_custom_image_header is <strong>deprecated</strong> since version 3.4.0! Use add_theme_support( 'custom-header', $args ) instead. in <b>/home/aron/public_html/blog/wp-includes/functions.php</b> on line <b>6131</b><br />
<br />
<b>Deprecated</b>:  Function add_custom_background is <strong>deprecated</strong> since version 3.4.0! Use add_theme_support( 'custom-background', $args ) instead. in <b>/home/aron/public_html/blog/wp-includes/functions.php</b> on line <b>6131</b><br />
{"id":515,"date":"2012-12-12T13:35:13","date_gmt":"2012-12-12T20:35:13","guid":{"rendered":"http:\/\/www.wall.org\/~aron\/blog\/?p=515"},"modified":"2012-12-14T17:34:16","modified_gmt":"2012-12-15T00:34:16","slug":"coordinates-dont-matter","status":"publish","type":"post","link":"https:\/\/www.wall.org\/~aron\/blog\/coordinates-dont-matter\/","title":{"rendered":"Coordinates don&#8217;t matter"},"content":{"rendered":"<p>In my <a title=\"Geometry is a Field\" href=\"http:\/\/www.wall.org\/~aron\/blog\/geometry-is-a-field\/\">last post<\/a> about spacetime, I explained how the geometry of spacetime is determined at each spacetime point by a set of 10 numbers.\u00a0 These 10 numbers are packaged together into a $$4 \\times 4$$ matrix called the metric, which is written as $$g_{ab}$$.\u00a0 The subscripts $$a$$ and $$b$$ stand in for any of the 4 coordinate directions (in a <a title=\"Time as the Fourth Dimension?\" href=\"http:\/\/www.wall.org\/~aron\/blog\/the-geometry-of-spacetime-i-distance\/\">4-dimensional spacetime<\/a>).\u00a0 Since the metric is symmetric, i.e. $$g_{ab} = g_{ba}$$, there are 10 possible numbers in this matrix.\u00a0 The value of these 10 numbers depends on your position and time,which makes them a <a title=\"Fields\" href=\"http:\/\/www.wall.org\/~aron\/blog\/fields\/\">field<\/a>, specifically the <em>gravitational field.<\/em><\/p>\n<p>However, there is an important caveat in all this.\u00a0 The coordinates which you use to describe a given spacetime are totally arbitrary.\u00a0 For example, a flat 2-dimensional Euclidean plane can be described using Cartesian coordinates $$-\\infty &lt; x &lt; +\\infty$$ and\u00a0$$-\\infty &lt; y &lt; +\\infty$$.\u00a0 In this coordinate system, the distance-squared is given by the Pythagorean formula $$!(ds)^2 = (dx)^2 + (dy)^2,$$ which can be <a title=\"Geometry is a Field\" href=\"http:\/\/www.wall.org\/~aron\/blog\/geometry-is-a-field\/\">written in terms of the metric<\/a> as $$!g_{xx} = 1; \\qquad g_{yy} = 1; \\qquad g_{xy} = 0.$$<\/p>\n<p>On the other hand, for applications involving rotations, it&#8217;s often useful to use polar coordinates: $$0 \\le r &lt; +\\infty$$ (the distance from the origin) and $$0 \\le \\theta &lt; 2\\pi$$ (the angle around the origin, measured in radians).\u00a0 They&#8217;re related to the original coordinate system by $$!x = r \\sin \\theta;\\\\ y = r \\cos \\theta.$$\u00a0 In polar coordinates, the distance-squared is given by $$!(ds)^2 = (dr)^2 + r^2 (d\\theta)^2,$$where the extra $$r^2$$ factor comes in because circles that are a greater distance from the origin have a larger circumference, so there&#8217;s more space as you move outwards.\u00a0 This can be written in terms of the metric like this: $$!g_{rr} = 1; \\qquad g_{\\theta\\theta} = r^2; \\qquad g_{r\\theta} = 0.$$<\/p>\n<p>(Note: I&#8217;ve given these coordinate systems their traditional coordinate names to make them look more familiar, but this is actually just a redundancy to make it easier for humans to think about it.\u00a0 I could have written the two coordinates as $$(x^0, x^1)$$\u2014the superscript being a coordinate index, not an exponent\u2014and then you could <em>tell <\/em>whether it was Cartesian or polar coordinates just by inspecting the formula for the metric.)<\/p>\n<p>Now the point is, these two coordinate systems describe the <em>same<\/em> geometry in a <em>different<\/em> coordinate system.\u00a0 If we were playing pool (or billiards) on a planar surface, and you wanted to describe how billiard balls bounce off of each other, you could equally well describe it using either coordinate system.\u00a0 The physics would be the same.<\/p>\n<p>Of course, the language you use to describe the system differs.\u00a0 Suppose that I analyze a collision using Cartesian coordinates, while you use polar coordinates.\u00a0 And suppose we had to communicate to each other what happened.\u00a0 If you say to me, &#8220;The cue ball had a velocity in the $$x^1$$ direction&#8221;, then I&#8217;ll get confused because $$x^1$$ means something different to me than it does to you.\u00a0 These kind of statements <em>vary <\/em>under a change of coordinate system, they are &#8220;relative&#8221; to your coordinate-perspective.\u00a0 So if you want to communicate with me, you have to find a way to describe what&#8217;s going on which does not refer to coordinates in any way.\u00a0 For example, you could say &#8220;The cue ball hit the 3 ball, which knocked the 8 ball into a pocket.&#8221;\u00a0 Since the two balls and the pocket are unique physical objects, we can all agree on whether or not this happened, no matter what coordinate system we use.\u00a0 These kind of statements are <em>invariant<\/em> under a change of coordinate system.\u00a0 The goal of coordinate-invariant physics is to describe everything in this sort of way.<\/p>\n<p>Here&#8217;s another way in which coordinate systems can let you down: when you use polar coordinates, there are places where the coordinates go kind of funny.\u00a0 For example, when you&#8217;re going around the origin clockwise in the direction of increasing $$\\theta$$, and you arrive at $$\\theta = 2\\pi$$, you immediately teleport back to $$\\theta = 0$$ since you&#8217;ve come full circle.\u00a0 Even stranger, space seems to come to an end at $$r = 0$$ (the origin) since there&#8217;s no such thing as negative $$r$$.\u00a0 And if you&#8217;re sitting right at $$r = 0$$, the different values of $$\\theta$$ all refer to the same point as each other.\u00a0 However, in reality we know that nothing weird is happening to the geometry at any of these points, since nothing strange happens in Cartesian coordinates.\u00a0 (A similar issue comes up in black hole physics.\u00a0 The <a href=\"http:\/\/en.wikipedia.org\/wiki\/Schwarzschild_coordinates\">original set of coordinates<\/a> found by Schwarzschild blow up at the event horizon, but actually <a title=\"Firewalls\" href=\"http:\/\/www.wall.org\/~aron\/blog\/firewalls\/\">nothing unusual happens there<\/a> in classical general relativity.)<\/p>\n<p>The upshot of all this for general relativity is the following: I told you above that you can describe general relativity using the metric $$g_{ab}$$, which involves 10 numbers at each point.\u00a0 But this description actually has some redundancy in it, since there&#8217;s infinitely many possible coordinates systems you could use (one for each way of labelling the points uniquely with four numbers), and the metric looks different in each one\u2014it isn&#8217;t an invariant object.<\/p>\n<p>When a theory has redundancy like this, we say there is a <em>gauge symmetry<\/em>.\u00a0 A regular symmetry says that two <em>different <\/em>states (i.e. configurations) of a system behave in the exact same way as each other.\u00a0 A gauge symmetry is stronger than a regular symmetry: it says that the two configurations are actually the <em>same<\/em> physical state of affairs.\u00a0 In general relativity, the choice of coordinates is a gauge-symmetry.\u00a0 It is a mere human convention which doesn&#8217;t correspond to any actual physical thing in Nature.<\/p>\n<p>Of course, even if you aren&#8217;t doing general relativity, you can still use whatever coordinate system you like!\u00a0 Most games of billiards can be understood in the <a title=\"Pillar of Science III: Approximate Models\" href=\"http:\/\/www.wall.org\/~aron\/blog\/pillar-of-science-iii-approximate-models\/\">approximation<\/a> where space is flat (unless you like to spice up your games with black holes and gravity waves, like the cool kids do!)\u00a0 In flat space time, all coordinates are equal, but <em>some are more equal than others.\u00a0 <\/em>Although nothing stops you from calculating in horrible coordinates, the laws of physics look especially simple in ordinary <a title=\"Time as the Fourth Dimension?\" href=\"http:\/\/www.wall.org\/~aron\/blog\/the-geometry-of-spacetime-i-distance\/\">Minkowski coordinates<\/a>, where the <a title=\"The Ten Symmetries of Spacetime\" href=\"http:\/\/www.wall.org\/~aron\/blog\/the-ten-symmetries-of-spacetime\/\">symmetries of spacetime<\/a> look especially simple.\u00a0 Since <a href=\"http:\/\/en.wikipedia.org\/wiki\/Newton%27s_laws_of_motion#Newton.27s_first_law\">Newton&#8217;s First Law<\/a> of motion holds in these coordinates, we call it an <a href=\"http:\/\/en.wikipedia.org\/wiki\/Inertial_frame_of_reference\">inertial frame<\/a>.\u00a0 (Here I&#8217;m ignoring the downward pull of gravity, since in billards we&#8217;re only interested in horizontal motions.)<\/p>\n<p>However, if you&#8217;re doing general relativity, then there&#8217;s a property of spacetime which <em>forces <\/em>you to describe physics in a coordinate-invariant way; at least if you want the equations of the theory to look <a title=\"Pillar of Science II: Elegant Hypotheses\" href=\"http:\/\/www.wall.org\/~aron\/blog\/pillar-of-science-ii-elegent-hypotheses\/\">elegant and lovely<\/a> instead of like horrendous cludge.\u00a0 This property is called <em>curvature<\/em>\u2014but we&#8217;re out of time for today.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>In my last post about spacetime, I explained how the geometry of spacetime is determined at each spacetime point by a set of 10 numbers.\u00a0 These 10 numbers are packaged together into a $$4 \\times 4$$ matrix called the metric, &hellip; <a href=\"https:\/\/www.wall.org\/~aron\/blog\/coordinates-dont-matter\/\">Continue reading <span class=\"meta-nav\">&rarr;<\/span><\/a><\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[3],"tags":[],"class_list":["post-515","post","type-post","status-publish","format-standard","hentry","category-physics"],"_links":{"self":[{"href":"https:\/\/www.wall.org\/~aron\/blog\/wp-json\/wp\/v2\/posts\/515","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.wall.org\/~aron\/blog\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.wall.org\/~aron\/blog\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.wall.org\/~aron\/blog\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.wall.org\/~aron\/blog\/wp-json\/wp\/v2\/comments?post=515"}],"version-history":[{"count":32,"href":"https:\/\/www.wall.org\/~aron\/blog\/wp-json\/wp\/v2\/posts\/515\/revisions"}],"predecessor-version":[{"id":546,"href":"https:\/\/www.wall.org\/~aron\/blog\/wp-json\/wp\/v2\/posts\/515\/revisions\/546"}],"wp:attachment":[{"href":"https:\/\/www.wall.org\/~aron\/blog\/wp-json\/wp\/v2\/media?parent=515"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.wall.org\/~aron\/blog\/wp-json\/wp\/v2\/categories?post=515"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.wall.org\/~aron\/blog\/wp-json\/wp\/v2\/tags?post=515"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}