# Tag Info

21

That's a very good question. While it may seem "natural" that the world is ordered like a vector space (it is the order that we are accustomed to!), it's indeed a completely unnatural requirement for physics that is supposed to be built on local laws only. Why should there be a perfect long range order of space, at all? Why would space extend from here to ...

17

A physicist, me for example, identifies events by choosing a set of coordinates. For example I have a clock that I use to record time and a ruler that I can choose to measure distance. This allows me to set up some coordinates $(t, x, y, z)$ so I can assign every event to some point in my coordinate system. If I received a laser pulse from Mars at 16:05 ...

16

In hindsight, here is a short proof. The metric $g_{\mu\nu}$ is the flat constant metric $\eta_{\mu\nu}$ in both coordinate systems. Therefore, the corresponding (uniquely defined) Levi-Civita Christoffel symbols $$\Gamma^{\lambda}_{\mu\nu}~=~0$$ are zero in both coordinate systems. It is well-known that the Christoffel symbol does not transform as a ...

15

as you wrote, the spacetime invariant can be expressed as: $$ds^2=g_{\mu\nu}dx^{\mu}dx^{\nu}$$ and from that we normally get: $$ds^2=-c^2dt^2+dx^2+dy^2+dz^2$$ This is not because of some arbitrary imaginary time unit, this is because the metric ($g_{\mu\nu}$) is a diagonal matrix with the coefficients of each term of the $ds^2$ equation: $$g_{\mu\nu}=\left(\... 13 Remarks: In the following explanation 4-dimensional space-times M equipped with a metric of signature (3,1) are considered. There are several Wikipedia pages treating frames (sometimes called tetrads or Vielbeins) in GR. See for example, here, here and here There is a very good introductory chapter on the subject in chapter 5 of these notes by: R. ... 12 No, it really is arbitrary. The reason we use the right hand rule today (although it may have been chosen for different reasons of convenience in the past) is simply that our coordinate system of choice is right-handed. Mathematically, this means that we define the directions of the axes so that you have to use the right-hand rule to evaluate this cross ... 12 Why is there no curvature outside this spherically symmetric, non-rotating, uncharged body that still has mass? I suspect you're getting confused by the fact that the Ricci tensor R_{\mu\nu} = 0 and therefore the scalar curvature g^{\mu\nu}R_{\mu\nu} = 0. This is always the case in regions of space where the stress-energy tensor is zero. The curvature ... 11 Let's start at the beginning: The setting for relativity - be it special or general - is that spacetime is a manifold \mathcal{M}, i.e. something that is locally homeomorphic to Cartesian space \mathbb{R}^n (n = 4 in the case of relativity), but not globally. Such manifolds possess a tangent space T_p\mathcal{M} at every point, which is where the ... 11 What you're asking about is the existence of surfaces of simultaneity. In SR, surfaces of simultaneity can be defined by measurement procedures such as Einstein synchronization, and they turn out to depend on one's frame of reference. In GR it gets a lot tougher to do this. We don't even have global frames of reference. It turns out that what you need in ... 10 Here's what's really going on. In classical field theory, a basic set of objects that we often consider are scalar fields \phi:M\to \mathbb R where M is a manifold. Now we can ask ourselves the following question: Is there some natural notion of how a scalar field defined on a given manifold "transforms" under a coordinate transformation? I claim ... 10 It sounds like you're interested in when a spacetime admits a Cauchy surface. The answer is that every spacetime that is globally hyperbolic has this property. This was proved by Geroch in 1970 (article here, see Section 5). This includes most of the textbook relativistic spacetimes --- Schwarzschild, Kerr, FLRW, and many others. But there are some ... 9 1) OP is asking about the use of the word flat metric. It means a pseudo-Riemannian metric (of arbitrary signature) whose corresponding Levi-Civita Riemann curvature tensor vanishes. 2) However, the word Euclidean space may potentially cause confusion among mathematicians and physicists. For a mathematician an Euclidean space is always an affine space, ... 9 If you define x^0=ict, then I assume one takes x_\mu=x^\mu so that the metric is actually \eta_{\mu\nu}=\text{diag}(1,1,1,1)=\delta_{\mu\nu}, i.e. you're dealing with a Euclidean metric. Then$$ds^2=\delta_{\mu\nu}dx^\mu dx^\nu$$gives the usual outcome :$$ds^2=-c^2dt^2+d\vec{x}^2$$The usual conventions are as follows: Option one: One defines x^\... 9 There is an effortless way, if you accept geometrical reasoning. You know, that T = \frac 1 2 m \vec v^2 = \frac 1 2 m \lvert \vec v \rvert^2. Furthermore, spherical coordinates are orthogonal, therefore you can just write:$$\lvert \vec v \rvert = \sqrt{v_\phi^2 + v_\theta^2 + v_r^2}Geometrically, one easily finds: v_r = \dot r, v_\theta = r \dot ... 8 Even in curved spacetime, you can perform a coordinate transformation at any location ("move to a freely falling frame") such that your metric is locally flat , and takes the form $$ds^2 = -c^2 dt^2 + dx^2 + dy^2 + dz^2$$ If you consider a null trajectory where ds^2 is set to 0, then the above equation is the statement that "the ... 8 The question seems to conflate many different things: the invariance of a mathematical quantity (usually a scalar such as ds^2 for the separation of two events in special relativity) covariance of tensors (the values of components of tensors may be calculated from those in another frame but they're not the same thing) universality of equations in ... 8 If you're sitting outside the event horizon watching a clock fall in, you will never see the clock reach the event horizon. You will see the clock slow as it approaches the horizon and you'll see it running slower and slower. However there is no sense in which time stops at the event horizon. You can wait as long as you want, and you'll see the clock creep ... 8 If you compute |(dx^+)^2 - (dx^-)^2|, you will not find  |(dx^0)^2 - (dx^3)^2|. So, you cannot obtain x^+,x^- (even with a different normalization) from x^0,x^3 by a Lorentz transformation. None of the coordinates x^+,x^- is time-like, or space-like, they are both light-like, and the metrics is 2 dx^+dx^-= (dx^0)^2 - (dx^3)^2 8 It's sloppy language that is confusing you here. A Jacobian is not a transformation. The Jacobian of a transformation measures by how much the transformation expands or shrinks volume(/area/length/hypervolume/whatever) elements. Example: let x' = 2x. Then dx = dx'/2. The Jacobian is the 1/2, meaning nothing more than "a unit of the x' scale has a ... 8 A physicist would write your first equation x^a = x^\mu e_\mu^a. The notation x^a is invariant in your terminology. The a is an abstract index. It is ostensibly not supposed to be thought of as ranging over a set of numerical values, but is just a marker that indicates that x is a vector (i.e., rank 1,0 tensor.) Similarly for each \mu, e^a_\mu is ... 8 In the general case you want the Cartan-Karlhede algorithm. It is an algorithm for producing a complete set of classifying invariants for a metric, expressed as functions of the coordinates. Given the components of the metric g in the coordinates x_1, x_2, \ldots, the algorithm produces a list \begin{align} \Lambda & = \Lambda(x_i) \\ \Psi_k & = ... 8 Why do we need coordinate free in the first place? Let me tell you about a related experience I have had teaching students. When I ask them to define the scalar product then the vast majority will write down something along the lines of \vec{v}\cdot \vec{w} = v_x w_x + v_y w_y + v_z w_z \qquad (1)  i.e. a coordinate-based description. However, every ...

8

In general, you can't know whether two coordinate systems describe the same geometry. This is a slightly surprising result, but it comes down to various computability results on the decidability of the equivalence of expressions: I think the key thing is Richardson's theorem which says that it is undecidable, in general, whether two expressions are ...

7

The tensor equations you mention are not invariant, they are covariant. Big difference. Both are differential equations, which transform linearly under nonlinear transformations from one manifold to another because they are differential equations at a point. The nonlinear transformation from one manifold to another induces a linear transformation of the ...

7

You're assuming that the Kruskal–Szekeres (U,V) coordinates have to be defined in terms of the Schwarzschild (r,t) coordinates, but there is nothing special or fundamental about the Schwarzschild coordinates. General covariance says that we can use any coordinates we like. If the K-S coordinates had been the ones originally chosen by Schwarzschild, then ...

7

Why don't we chose a random point in the void present between galaxy clusters and define it as the absolute origin? Why don't we choose a random bachelor and define him as married? The point is this: if you understand the concept bachelor, you know that there is no married bachelor. And, if you understand the term absolute origin, you know that such a ...

7

There are two mathematical concepts which are both called vector. The first one, the vector from linear vector space is the basic "multicomponent object" which you seem to mainly talk about. The second notion of a vector is of a member of the so-called "tangent bundle" of a manifold. The second notion is the one which is defined equivalently with the ...

7

This axiom is a "smoothness" property of manifolds. You could define a manifold without this property simply as a space which is locally Euclidean. However, then something which looks smooth in one chart may be highly non-smooth in another chart. For example a smooth curve in one chart may be discontinuous in another chart (since the representation in the ...

7

Actually the result is even stronger: Given a timelike geodesic $\gamma$ and a point $p \in \gamma$, there is a neighborhood $U \ni p$ equipped with coordinates, $x^0,x^1,x^2,x^3$ such that in the portion of $\gamma$ included in $U$, exactly along $\gamma$, the derivatives of the metric vanish in the said coordinates. Equivalently the Christoffel symbols \$\...

Only top voted, non community-wiki answers of a minimum length are eligible