Positiv graduierte Algebra/C/Kontrahierbar/Triviale Fundamentalgruppe/Fakt

Es sei ${}R$ eine positiv-graduierte endlich erzeugte ${}{\mathbb {C} }$-Algebra.

Dann ist ${}X={\left(\operatorname {Spek} {\left(R\right)}\right)}_{\mathbb {C} }$ kontrahierbar und die Fundamentalgruppe ${}\pi _{1}(X)$ ist trivial.

Zum Beweis, Alternativen Beweis erstellen