initial topology

coarsest topology making certain functions continuous