Odd number theorem

The odd number theorem is a theorem in strong gravitational lensing which comes directly from differential topology.

The theorem states that the number of multiple images produced by a bounded transparent lens must be odd.

The gravitational lensing is a thought to mapped from what's known as image plane to source plane following the formula :

If we use direction cosines describing the bent light rays, we can write a vector field on

, will the bent light rays reach the observer, i.e., the images only form where

Then we can directly apply the Poincaré–Hopf theorem

{\displaystyle \chi =\sum {\text{index}}_{D}={\text{constant}}}

The index of sources and sinks is +1, and that of saddle points is −1.

So the Euler characteristic equals the difference between the number of positive indices

and the number of negative indices

For the far field case, there is only one image, i.e.,

So the total number of images is

The strict proof needs Uhlenbeck's Morse theory of null geodesics.

This astrophysics-related article is a stub.

You can help Wikipedia by expanding it.This topology-related article is a stub.

You can help Wikipedia by expanding it.