Integres Schema/Injektive Restriktionen/Fakt/Beweis

Aus Wikiversity
Zur Navigation springen Zur Suche springen
Beweis

Sei nicht . Die Menge

ist offen nach Fakt und wegen der Reduziertheit nicht leer. Wegen der Irreduzibilität von ist ebenfalls nicht leer und somit ist die Restriktion von auf ebenfalls nicht .