زمان محلی (ریاضیات)