Topologia di Zariski

Da Wikipedia, l'enciclopedia libera.

In matematica, e più precisamente in geometria algebrica, la topologia di Zariski (dal nome del matematico Oscar Zariski) è una topologia sullo spazio affine \mathbb{A}^n_k i cui chiusi sono tutti e soli gli insiemi algebrici, cioè i luoghi dove si annullano contemporaneamente i polinomi di un ideale di k[x_1, \dots, x_n].[1] Si può costruire la topologia di Zariski anche sullo spazio proiettivo \mathbb{P}^n_k considerando come chiusi gli insiemi algebrici proiettivi.

Peculiarità[modifica | modifica sorgente]

Sia X uno spazio affine o proiettivo con la topologia di Zariski, allora:

Limitatezza[modifica | modifica sorgente]

La topologia di Zariski segue facilmente dalle prime proprietà dell'anello dei polinomi ed è utile in molte situazioni; tuttavia, senza una scelta accurata dei morfismi accettati, porta a risultati poco interessanti: ad esempio, due curve algebriche sono sempre omeomorfe, solo per avere la stessa cardinalità. Naturalmente, questo omeomorfismo non è un morfismo nel senso della geometria algebrica, ma questa scelta si pone al di sopra della topologia, non è intrinseca.

Note[modifica | modifica sorgente]

  1. ^ M. Manetti, op. cit., p. 40

Bibliografia[modifica | modifica sorgente]

matematica Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica