General Relativity: The Theoretical Minimum, Leonard Susskind (1940-) & André Cabannes, 2023, 373 pages, Dewey 530.11, ISBN 9781541601772
Susskind sheds light on a weighty subject. Clear and concise. The book is largely about coordinate transformations. Requires first reading books 1 and 3 in the series, or equivalent on matrix algebra, vector calculus, Lagrangian mechanics, special relativity and fields.
10 lectures (Susskind gave in a continuing-studies class for adults):
1 Acceleration is equivalent to uniform gravity; tensor analysis.
2 Tensor math, to change frames of reference among various states of acceleration or gravity.
GRAVITY is Riemannian geometry in Minkowskian spacetime:
3 Flatness & curvature
4 Geodesics & gravity
5 Metric for a gravitational field.
BLACK HOLES are point masses in Minkowskian spacetime:
6 Black holes
7 Falling into a black hole
8 Formation of a black hole
9 Einstein field equations
10 Gravitational waves
Special relativity: Moving clocks run slow. Particles that decay in less than a second may make it here from the sun, over 8 minutes in our frame of reference. p. xi.
General relativity: Acceleration and uniform gravity are equivalent. Masses warp space and time. p. xi.
FICTITIOUS FORCES
In accelerated frames of reference, there are fictitious forces that have real effects. Consider a man of mass m in an elevator undergoing upward acceleration g: In the stationary frame of reference of the building, the forces on him are 2mg upward from the floor, and 1mg downward from Earth's gravitational pull, for a net acceleration of g upward. In the accelerated frame of the elevator, there's also a fictitious downward force of mg, yielding 0 net acceleration in the elevator frame. Then if the man in the elevator drops an apple, it accelerates downward at 2g, from the perspective of the elevator frame, while as seen from the inertial, building, frame, it's seen to accelerate downward at 1g. p. 10.
EQUIVALENCE OF ACCELERATION AND GRAVITATION
A uniform gravitational force field can't be distinguished from the effects of an accelerated reference frame. To the man in the elevator, accelerating upward at 1g on Earth, or not accelerating at all on a planet with twice Earth's gravity, or accelerating upward at 2g far from any planet, all feel the same. p. 11.
EFFECT OF GRAVITY ON LIGHT pp. 15-17
Emit a pulse of light at speed c horizontally from one side of the elevator to the other, a distance x away. Seen from the inertial frame, it moves horizontally, arriving at time t = x/c. Seen from the frame of the elevator accelerating upward at g, what was a horizontal line in the inertial frame is a parabola: height = -.5gt^2.
Substituting for t, height = -.5gx^2/c^2.
We have assumed the light pulse is emitted when the elevator's speed is zero, at time t=0.
Gravitation has the same effect as acceleration. Light bends in a gravitational field.
RIEMANN GEOMETRY
If coordinates are curved, it's not easy to say whether vectors at separate points are equal. p. 96.
If coordinates are curved or not perpendicular, the distance dS between neighboring points is given by
(dS)^2 = the sum over all pairs of coordinates, of (a factor depending on the coordinates)*(the small change in the one coordinate)*(the small change in the other coordinate)
Written
(dS)^2 = g_mn(X) dX^m dX^n
where the summation over all coordinates m and n is implied. Superscripts m and n are merely indices. As are subscripts. Superscript 2 does mean squared. For example, a small distance dS along the locally horizontal surface of the Earth is given by
dS^2 = (R dtheta)^2 + (R cos theta dphi)^2
Here there are no dtheta*dphi terms because lines of latitude theta and longitude phi are everywhere perpendicular.
R is Earth's radius.
Latitude theta and longitude phi are measured in radians, to make the above distance formula true.
In a flat geometry there is a set of coordinates (X1, X2) such that dS^2 = dX1^2 + dX2^2. p. 88.
The g_mn is called the metric tensor. The above one is just a 2-dimensional matrix. The metric tensor is symmetric: g_mn = g_nm. p. 80. Its eigenvalues are always greater than zero. p. 82.
Where coordinates are perpendicular, as above, the elements of tensor g are nonzero only on its diagonal, where m=n.
CONTRAVARIANT vs. COVARIANT VECTORS
A displacement (of some small distance in some direction) is a /contravariant/ vector: if its coordinates were in centimeters, and we /divide/ the unit by 10 to millimeters, the coordinates /multiply/ by 10. By contrast, a gradient, such as degrees of temperature change per unit distance in some direction, is a /covariant/ vector: if we /divide/ the unit by 10, the components of the vector along the axes each also /divide/ by 10. p. 45.