Es sei
eine
endliche Gruppe,
die auf dem
linear operiere.
Es sei
der zugehörige
Invariantenring.
Zeige, dass der
Bahnenraum
, versehen mit der
Bildtopologie
des
(euklidischen)
, mit dem
-Spektrum
, versehen mit der
natürlichen Topologie,
übereinstimmt.