projectivized

Here it is shown that the image of the embedding map, that is, the set of projectivized length functions associated to these actions, has compact closure..