Duale kegel

Een duale kegel C {\displaystyle C^{*}} van een deelverzameling C {\displaystyle C} in een Euclidische ruimte R n {\displaystyle \mathbb {R} ^{n}} is de verzameling

C = { y R n : y x 0 x C } , {\displaystyle C^{*}=\left\{y\in \mathbb {R} ^{n}:y\cdot x\geq 0\quad \forall x\in C\right\},}

waar "·" het inwendig product is.

C {\displaystyle C^{*}} is altijd een convexe kegel, zelfs als C {\displaystyle C} niet convex is, of zelfs ook maar een kegel.