Estoy tratando de entender este ejemplo en libro de geometría algebraica de Hartshorne
Para probar la parte irreductible, supongamos que $Y$ es un espacio irreductible y $Y'$ un subconjunto abierto de $Y$ $Y'=Y'_1\cup Y'_2$ $Y'_1,Y'_2$ apropiado subconjuntos cerrados. Entonces $Y=(Y-Y')\cup (Y'_1\cup Y'_2)$ contradicción porque $Y$ es irreducible.
¿Estoy correcto? Necesito ayuda también en la parte de la densidad, realmente estoy atrapado no sé siquiera cómo empezar.
Muchas gracias.