Riemannsche Fläche/Hyperelliptisch/Über C/Holomorphe Differentialformen/Fakt/Beweis
Beweis
Aus ergibt sich die algebraische Relation . Daher ist
und da und keine gemeinsame Nullstelle haben, ist eine solche Differentialform überall definiert.
Aus
ergibt sich die algebraische Relation
.
Daher ist
und da
und
keine gemeinsame Nullstelle haben, ist eine solche Differentialform überall definiert.