Given any space-time without singularities and any event , there is a natural continuous mapping of a two dimensional sphere into any space-like slice not containing . The set of future null geodesics (or the set of past null geodesics) forms a 2-sphere and the map sends a point in to the point in which is the intersection of the corresponding geodesic with . To require that , which maps a two dimensional space into a three dimensional space, satisfy the condition that any point in the image of has an odd number of preimages, is to place a very strong condition on . This is exactly what happens in any case where the odd image theorem holds for a transparent gravitational lens. It is argued here that this condition on is probably too restrictive to occur in general; and if it appears to hold in a specific example, then some should be calculated either analytically or numerically to provide either an illustrative example or counterexample.

生成讲解博客的中文版本

生成AI智能校验的中文版本