Riemannsche Fläche/Kompakt/Invertierbare Garbe/Globaler Schnitt/Nichtnegativer Grad/Fakt/Beweis

Beweis

Der nichttriviale Schnitt ${}s$ definiert einen Modulhomomorphismus ${}{\mathcal {O}}_{X}\longrightarrow {\mathcal {M}}$ , ${}1\longmapsto s$ , der injektiv ist. Daher folgt die Aussage aus Fakt.