(Harshorne 1.8) Sea ser una variedad afín de dimensión en . Dejar ser una hipersuperficie en , y supongamos que . Entonces cada componente irreducible de tiene dimensión .
Si tengo otra variedad afín con dimensión con . Asumir . Entonces tiene dimensión . Dejar ser un componente irreducible de , entonces por arriba, tiene dimensión .
Pero que si está estrictamente contenida en , entonces no debería tener dimensión ¿en cambio? Entonces, ¿qué salió mal?
La Union no es una variedad en el sentido de Hartshorne, porque es reducible. Entonces el ejercicio no se aplica a él, y no hay contradicción.