He also proved a very useful theorem illustrating the existence of the big bang singularity in a Robertson-Walker spacetime. I'm not (yet) geometrically sophisticated enough to grasp it, but O'Neill puts it like this: "On the spacelike slice of present galactic time the galaxies are diverging (shape tensor); since gravity attracts (Ricci tensor), they have been diverging no less rapidly in the past. Thus trouble can be expected in the sufficiently distant past" ([1], 431).Channel72 wrote:He's probably most well known for his work on black holes, and of course, Hawking Radiation.
The theorem itself is,
[1] O'Neill, B. (1983). Semi-Riemannian Geometry With Applications to Relativity. Elsevier.For a spacelike hypersurface S in a time-oriented n-dimensional Lorentz manifold, the convergence k reduces to a real-valued function on S:
k = <U,H> = trace(S_U)/(n-1),
where U is a future-pointing unit normal on S, and H is its mean normal curvature vector field.
...
Suppose Ric(v,v) >= 0 for every timelike tangent vector to M. Let S be a spacelike future Cauchy hypersurface with future convergence k >= b > 0. Then every future-pointing timelike curve starting in S has length at most 1/b.
(Hey, if the thread is "Einstein's maths," we may as well have some of it!
Do bear in mind that Einstein didn't invent his math; the field was founded decades earlier by Riemann.PaperJack wrote:So, 2500 years on, why nobody has debunked the Pythagorean theorem ?
Seriously, Pythagoras was clever, I know, have we really not moved on enough from 500 BC to debunk all this crap ?
Why do we defer to Pythagoras and Aristotle (two people amongst nearly 7 billion), is it fear of being wrong?
What is going on?
Although, I was discussing this with a history grad student yesterday: a big deal in preparing for a PhD in history is mastering not only the period you are specializing in, but also mastering the opinions, beliefs, arguments, cultural, and political backgrounds of all the historians who have also specialized in your period, and developing and defending critical beliefs regarding their opinions and arguments. Apprentice mathematicians (and, to a lesser extent, physicists, chemists, and other hard scientists) do not have to do this: we need only master a particular field and develop a critical view of the extant arguments, problems, and theorems in the specialty. In the course of mastering these, one is bound to learn about personalities and backgrounds of people in the field, but those are perfectly irrelevant when it comes to the validity of arguments (and the further back you go, the more accepted the arguments are).