Diferencies ente revisiones de «Xeometría alxebraica»

Puede paecer antinaturalmente restrictivu'l riquir qu'una función regular siempres s'estienda al espaciu ambiente, pero esta situación ye bien similar a la que se da nun [[Espaciu Normal|espaciu topolóxicu normal]], onde'l [[teorema d'estensión de Tietze]] garantiza qu'una función continua nun subconxuntu zarráu siempres puede estendese al espaciu topolóxicu ambiente.

 

 

Una y bones les funciones regulares en V provienen de les funciones regulares en <math>{\mathbb A}^n</math>, tendría d'haber una relación ente los sos aniellos coordenaos. Específicamente, coyendo una función de k[V] lo tamos faciendo en <math>k[{\mathbb A}^n]</math>, y diximos que yera la mesma qu'otra función si daben los mesmos valores cuando les evaluávamos en V. Esto ye lo mesmo que dicir que la so diferencia ye cero en V. D'esto podemos ver que k[V] ye'l cociente <math>k[{\mathbb A}^n]/I(V)</math>.