Fixed point theory and applications