Basic property study of power system topological spaces and the mappings on them