elon lages lima (july 9, 1929 – may 7, 2017) was a brazilian mathematician whose research concerned differential topology, algebraic topology, and differential geometry. lima was an influential figure in the development of mathematics in brazil.