General Relativity is the common name for the theory of gravitation published by Albert Einstein in 1915. According to general relativity the force of gravity is a manifestation of the local geometry of spacetime. Although the modern theory is due to Einstein, its origins go back to the axioms of Euclidean geometry and the many attempts over the centuries to prove Euclid's fifth postulate, that parallel lines remain always equidistant, culminating with the realisation by Bolyai and Gauss that this axiom need not be true. The general mathematics of non-Euclidean geometries was developed by Gauss' student, Riemann, but these were thought to be wholly inapplicable to the real world until Einstein had developed his theory of relativity.
The special theory of relativity (1905) modified the equations used in comparing the measurements made by differently moving bodies, in view of the constant value of the speed of light: this had the consequence that physics could no longer treat space and time separately, but only as a single four-dimensional system, "space-time," which was divided into "time-like" and "space-like" directions differently depending on the observer's motion. The general theory added to this that the presence of matter "warped" the local space-time environment, so that apparently "straight" lines through space and time have the properties we think of "curved" lines as having.
On May 29, 1919 observations by Arthur Eddington of shifted star positions during a solar eclipse confirmed the theory.
Foundations of Relativity and Special Relativity
This section outlines the major experimental results and mathematical advances that led to the formulation of General Relativity, and also sketches the more limited Special Theory of Relativity.
Gauss had realised that there is no prior reason that the geometry of space should be Euclidean. What this means is that if a physicist holds up a stick, and a cartographer stands some distance away and measures its length by a triangulation technique based on Euclidean geometry, then he isn't guaranteed to get the same answer as if the physicist brings the stick to him and he measures its length directly. Of course for a stick he could not in practice measure the difference between the two measurements, but there are equivalent measurements which do detect the non-Euclidean geometry of space-time directly; for example the Pound-Rebka experiment (1959) detected the change in wavelength of light from a cobalt source rising 22.5 meters against gravity in a shaft in the Jefferson Physical Laboratory at Harvard, and the rate of atomic clocks in GPS satellites orbiting the Earth has to be corrected for the effect of gravity.
Newton's theory of gravity had assumed that objects did in fact have absolute velocities: that some things really were at rest while others really were in motion. He realized, and made clear, that there was no way these absolutes could be measured. All the measurements one can make provide only velocities relative to one's own velocity (positions relative to one's own position, and so forth), and all the laws of mechanics would appear to operate identically no matter how one was moving. Newton believed, however, that the theory could not be made sense of without presupposing that there are absolute values, even if they cannot be determined. In fact, Newtonian mechanics can be made to work without this assumption: the outcome is rather innocuous, and should not be confused with Einstein's relativity which further requires the constancy of the speed of light.
In the nineteenth century Maxwell formulated a set of equations--Maxwell's field equations--that demonstrated that light should behave as a wave emitted by electromagnetic fields which would travel at a fixed velocity through space. This appeared to provide a way around Newton's relativity: by comparing one's own speed with the speed of light in one's vicinity, one should be able to measure one's absolute speed--or, what is practically the same, one's speed relative to a frame of reference that would be the same for all observers.
The assumption was whatever medium light was travelling through--whatever it was waves of--could be treated as a background against which to make other measurements. This inspired a search to determine the earth's velocity through this cosmic backdrop or "ether"--the "ether drift." The speed of light measured from the surface of the earth should appear to be greater when the earth was moving against the ether, slower when they were moving in the same direction. (Since the earth was hurtling through space and spinning, there should be at least some regularly changing mesurements here.) A test made by Michelson and Morley toward the end of the century had the astonishing result that the speed of light appeared to be the same in every direction.
(To get a sense of how strange this was, imagine a car is driving down the highway. You want to see how fast it is going, so you and a bunch of friends get in cars and drive after it at different speeds. You talk on cell phones and each keep an eye on your speedometer and the other car. Some of you will get closer to the other car; some will fall further behind. When one of your friends--Bill--notices that he is neither gaining nor losing distance on the other car, you can judge that the strange car's speed is the same as Bill's. Michelson and Morley's result would be like you and all of your friends discovering that you are each neither gaining nor losing time on the strange car, even though you are all going different speeds.)
Einstein synthesized these various results in his 1905 paper "On the Electrodynamics of Moving Bodies."
Outline of the Theory
The fundamental idea in relativity is that we cannot talk of the physical quantities of velocity or acceleration without first defining a reference frame, and that a reference frame is defined by choosing particular matter as the basis for its definition. Thus all motion is defined and quantified relative to other matter. In the special theory of relativity it is assumed that reference frames can be extended indefinitely in all directions in space and time. The theory of special relativity concerns itself with inertial (non-accelerating) frames while general relativity deals with all frames of reference. In the general theory it is recognised that we can only define local frames to given accuracy for finite time periods and finite regions of space (similarly we can draw flat maps of regions of the surface of the earth but we cannot extend them to cover the whole surface without distortion). In general relativity Newton's laws are assumed to hold in local reference frames. In particular free particles travel in straight lines in local inertial (Lorentz) frames. When these lines are extended they do not appear straight, and are known as geodesics. Thus Newton's first law is replaced by the law of geodesic motion.
We distinguish inertial reference frames, in which bodies maintain a uniform state of motion unless acted upon by another body, from non-inertial frames in which freely moving bodies have an acceleration deriving from the reference frame itself. In non-inertial frames there is a perceived force which is accounted for by the acceleration of the frame, not by the direct influence of other matter. Thus we feel g-forces when cornering on the roads when we use a car as the physical base of our reference frame. Similarly there are coriolis and centrifugal forces when we define reference frames based on rotating matter (such as the Earth or a child's roundabout). The principle of equivalence in general relativity states that there is no local experiment to distinguish non-rotating free fall in a gravitational field from uniform motion in the absence of a gravitational field. In short there is no gravity in a reference frame in free fall. From this perspective the observed gravity at the surface of the Earth is the force observed in a reference frame defined from matter at the surface which isn't free, but is acted on from below by the matter within the Earth, and is analogous to the g-forces felt in a car.
Mathematically, Einstein models space-time by a four-dimensional pseudo-Riemannian manifold, and his field equation states that the manifold's curvature at a point is directly related to the stress energy tensor at that point; the latter tensor being a measure of the density of matter and energy. Curvature tells matter how to move, and matter tells space how to curve. The field equation isn't uniquely proven, and there is room for other models, provided that they do not contradict observation. General relativity is distinguished from other theories of gravity by the simplicity of the coupling between matter and curvature, although we still await the unification of general relativity and quantum mechanics and the replacement of the field equation with a deeper quantum law. Few physicists doubt that such a theory of everything will give general relativity in the appropriate limit, just as general relativity predicts Newton's law of gravity in the non-relativistic limit.
Einstein's field equation contains a parameter called the "cosmological constant" <math>\Lambda</math> which was originally introduced by Einstein to allow for a static universe (ie one that isn't expanding or contracting). This effort was unsuccessful for two reasons: the static universe described by this theory was unstable, and observations by Hubble a decade later confirmed that our universe is in fact not static but expanding. So Λ was abandoned, but quite recently, improved astronomical techniques have found that a non-zero value of Λ is needed to explain some observations.
The field equation reads as follows:
- <math>R_{ik} - {g_{ik} R \over 2} + \Lambda g_{ik} = 8 \pi {G \over c^4} T_{ik}</math>
where <math>R_{ik}</math> is the Ricci curvature tensor[?], <math>R</math> is the Ricci curvature scalar[?], <math>g_{ik}</math> is the metric tensor, <math>\Lambda</math> is the cosmological constant, <math>T_{ik}</math> is the stress-energy tensor, <math>\pi</math> is pi, <math>c</math> is the speed of light and <math>G</math> is the gravitational constant which also occurs in Newton's law of gravity. <math>g_{ik}</math> describes the metric of the manifold and is a symmetric 4 x 4 tensor, so it has 10 independent components. Given the freedom of choice of the four spacetime coordinates, the independent equations reduce to 6.
Suggested further reading
- Sean M. Carroll, introduction to general relativity (http://arxiv.org/abs/gr-qc/9712019), prerequisite knowledge includes linear algebra (matrices) and calculus
- Kip Thorne, Stephen Hawking: Black Holes and Time Warps, Papermac (1995). A recent popular account, by a leading expert.
- Misner, Thorne, Wheeler: Gravitation, Freeman (1973). A classic graduate level text book, which, if somewhat long winded, pays more attention to the geometrical basis and the development of ideas in general relativity than some more modern approaches.
- Ray D'Inverno[?]: Introducing Einstein's Relativity, Oxford University Press (http://www.wikipedia.org/wiki/Oxford_University_Press) (1993). A modern undergraduate level text.
- Herman Bondi[?]: Relativity and Common Sense, Heinemann (1964). A school level introduction to the principle of relativity by a renowned scientist.
- W. Perret and G.B. Jeffrey, trans.: The Principle of Relativity: A Collection of Original Memoirs on the Special and General Theory of Relativity, New York Dover (1923).
- MIT 8.962 Course Notes (http://arcturus.mit.edu/8.962/notes.html) Notes and handouts from the MIT 8.962 course on General Relativity
Common misspelling and questions (FAQ)
eneral-relativity gneral-relativity geeral-relativity genral-relativity geneal-relativity generl-relativity genera-relativity generalrelativity general-elativity general-rlativity general-reativity general-reltivity general-relaivity general-relatvity general-relatiity general-relativty general-relativiy general-relativit egneral-relativity gneeral-relativity geenral-relativity genreal-relativity genearl-relativity generla-relativity genera-lrelativity generalr-elativity general-erlativity general-rleativity general-realtivity general-reltaivity general-relaitvity general-relatviity general-relatiivty general-relativtiy general-relativiyt general-relativit ggeneral-relativity geeneral-relativity genneral-relativity geneeral-relativity generral-relativity generaal-relativity generall-relativity general--relativity general-rrelativity general-reelativity general-rellativity general-relaativity general-relattivity general-relatiivity general-relativvity general-relativiity general-relativitty general-relativityy teneral-relativity feneral-relativity veneral-relativity yeneral-relativity beneral-relativity yeneral-relativity heneral-relativity beneral-relativity g3neral-relativity gwneral-relativity gsneral-relativity g4neral-relativity gdneral-relativity g4neral-relativity grneral-relativity gdneral-relativity geheral-relativity geberal-relativity gejeral-relativity gejeral-relativity gemeral-relativity gen3ral-relativity genwral-relativity gensral-relativity gen4ral-relativity gendral-relativity gen4ral-relativity genrral-relativity gendral-relativity gene4al-relativity geneeal-relativity genedal-relativity gene5al-relativity genefal-relativity gene5al-relativity genetal-relativity genefal-relativity generql-relativity generwl-relativity generzl-relativity generwl-relativity genersl-relativity generzl-relativity generao-relativity generak-relativity genera,-relativity generap-relativity genera.-relativity generap-relativity genera;-relativity genera.-relativity general0relativity generalprelativity general[relativity general-4elativity general-eelativity general-delativity general-5elativity general-felativity general-5elativity general-telativity general-felativity general-r3lativity general-rwlativity general-rslativity general-r4lativity general-rdlativity general-r4lativity general-rrlativity general-rdlativity general-reoativity general-rekativity general-re,ativity general-repativity general-re.ativity general-repativity general-re;ativity general-re.ativity general-relqtivity general-relwtivity general-relztivity general-relwtivity general-relstivity general-relztivity general-rela5ivity general-relarivity general-relafivity general-rela6ivity general-relagivity general-rela6ivity general-relayivity general-relagivity general-relat8vity general-relatuvity general-relatjvity general-relat9vity general-relatkvity general-relat9vity general-relatovity general-relatkvity general-relatifity general-relaticity general-relatigity general-relatigity general-relatibity general-relativ8ty general-relativuty general-relativjty general-relativ9ty general-relativkty general-relativ9ty general-relativoty general-relativkty general-relativi5y general-relativiry general-relativify general-relativi6y general-relativigy general-relativi6y general-relativiyy general-relativigy general-relativit6 general-relativitt general-relativitg general-relativit7 general-relativith general-relativit7 general-relativitu general-relativith general-relatyvity general-relayivity general-relatyivity general-relativityscame here today?" "Well?" Rameri took a most beautiful white rose out of his robe and said: "It is very childish, but I thought how it would be if I might put this like silk from Tyre, like a swan's breast, like golden star-beams--there, you, they would be jealous, for you are fairer than all of them." "How you flatter!" said Uarda, shyly blushing, and looking into his but one wish. Feel how my heart hammers and beats. I believe it will one, kiss." The girl drew back. "Now," she said seriously. "Now I see what you want. Old Hekt knows friends with me. He would look into my eyes, and if mine met his, then to kiss me he would seize my soul, and take it from me, and I must whirls before it, and the sea will not cover, and the sky will not you the kiss, and yet I would not wander restless, and without a soul!" "Is the old woman who told you that a good woman?" asked Rameri. Uarda shook her head. "She cannot be good," cried the prince. "For she has spoken a falsehood. shall give me yours to be mine, and so we shall neither of us be poorer-- thought the same kind of thing. When I was strong, I often had to go water-wheel stands. Thousands of drops fall from the earthenware pails .