Dejemos que denotan una familia de subconjuntos abiertos de un esquema que no es afín, por lo que . ¿Puede esta cobertura transformarse de alguna manera en una cobertura afín de ?
Respuesta
¿Demasiados anuncios?Es un hecho que el conjunto de subconjuntos abiertos afines de un esquema forman una base. Así que sí, sus conjuntos abiertos se pueden dividir en abiertos afines.
La idea es más o menos la siguiente. En la situación afín, los subconjuntos abiertos afines forman una base de para todos . Consideremos ahora la situación general. Tomemos un subconjunto abierto (quizás no afín) de . Sea . Por definición de "esquema", existe una vecindad abierta afín . está abierto en para que podamos encontrar algún barrio de contenida en . Así que encontramos una vecindad afín de contenida en .