The equivalence between (1) and (2) follows from fact, the equivalence between (2) and (3) follows from fact. The properties (3) and (4) are equivalent due to the compatibility of the norms with scalars.
