Lankide:Uxiaintx/Proba orria

Hau proba bat da:

Every vacuum initial data set $(M, g, k)$ has a development $f : M \to (M, g)$ such that $g$ has zero Ricci curvature, and such that every inextendible timelike curve in the Lorentzian manifold $(M, g)$ intersects $f (M)$ exactly once. $(M, g, k)$ hasierako huts-datu multzo bakoitzak $f : M \to (M, g)$ garapen bat du, non $f : M \to (M, g)$ -k 0 balioko Ricci kurbadura duen, eta halako moldez non $(M, g)$ Lorentziar barietateko denbora-kurba hedaezin bakoitzak $f (M)$ behin baino ez duen ebakitzen.