Modulus map

From Companal

Definition

The modulus map, denoted , is a map , denoted by:

It is defined as follows. If is a complex number with being respectively the real part and imaginary part, then:

Facts

The modulus map is an open map with respect to the usual topologies on and . Note that it is not an open map if thought of as a map .