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.

Zur bewiesenen Aussage