New fixed point theorem and its application to ODE
We prove a fixed point theorem that combines the contraction mapping principle and some Knaster-Tarski-like theorem. As a consequence we obtain an existence theorem to initial value problem for ordinary differential equation with discontinuous vector field. This theorem generalizes Carathéodory's existence theorem.