Tempo local (matemática)