La condición de Slater en la programación cónica

Question

Estoy leyendo algún PDF de programación cónica. Cuando definimos la dualidad y queremos saber cuándo se mantiene la dualidad fuerte utilizamos la condición de Slater. En algunas referencias el cono debe ser puntiagudo y en otras no es necesario que sea puntiagudo. ¿Podríais decirme si es necesario que el cono sea puntiagudo o no?

Answer 1

Hay (al menos) dos observaciones relevantes:

1. Sólo los conos puntiagudos definen un orden parcial.

2. Cuando un cono es cerrado, es puntiagudo si y sólo si su cono dual tiene un interior no vacío.