Algebraïsche verzameling

In de wiskunde is een algebraïsche verzameling over een lichaam (Nederlands) of veld (België) K {\displaystyle K} een verzameling in K n {\displaystyle K^{n}} ( n {\displaystyle n} -tupels van elementen van K {\displaystyle K} ) van oplossingen van een stelsel van m {\displaystyle m} polynomiale vergelijkingen in n {\displaystyle n} variabelen.

f k ( x 1 , , x n ) = 0 ,     k = 1 , 2 , , m {\displaystyle f_{k}(x_{1},\ldots ,x_{n})=0,\ \ k=1,2,\ldots ,m}

De getallen n {\displaystyle n} en m {\displaystyle m} zijn positief en geheel en de f k {\displaystyle f_{k}} zijn polynomen in n {\displaystyle n} variabelen.

De algebraïsche verzameling is deel van K n {\displaystyle K^{n}} , zodat voor bijvoorbeeld het lichaam/veld K {\displaystyle K} van de reële getallen er eventueel wel veel complexe oplossingen kunnen zijn, maar de algebraïsche verzameling toch leeg kan zijn.

Zie ook