Beringter Raum/Modul/Injektiv/Welk/Fakt

Es sei ${}(X,{\mathcal {O}}_{X})$ ein beringter Raum und ${}{\mathcal {I}}$ ein injektiver ${}{\mathcal {O}}_{X}$-Modul.

Dann ist ${}{\mathcal {I}}$ welk.

Zum Beweis, Alternativen Beweis erstellen