Expansive geometry