In non-commutative geometry, Gelfand duality is the construction of multiplicative linear functionals of a commutative C*-algebra, which can be viewed as the space of all its irreducible complex representations.

When encountered with a non-commutative C*-algebra, we can speak of the space of pure states, which is the generalization of multiplicative linear functionals in commutative cases. The GNS construction can then be viewed as a map from the space of states to the space of all representations, and also from the space of pure states to the space of all irreducible representations.

My question is, is the "GNS map" surjective, or injective? What should be viewed as the non-commutative topological space, the space of all irreducible representations, or the space of pure states? And why?