Kupera käyrä on euklidisen tason käyrä , joka on minkä tahansa tangenttiviivan toisella puolella.
Rajatun kuperan joukon raja on aina kupera käyrä.
Mikä tahansa suora jakaa euklidisen tason kahteen puolitasoon , jotka yhdessä antavat koko tason ja joiden leikkauspiste on sama kuin , käyrä "on toisella puolella ", jos se sisältyy kokonaan yhteen näistä puolitasoista. Tasokäyrää kutsutaan kuperaksi , jos se on minkä tahansa tangenttinsa toisella puolella [1] . Toisin sanoen kupera käyrä on käyrä, jolla on tukiviiva jokaisessa käyrän pisteessä.
Konveksi käyrä voidaan määritellä konveksin joukon rajaksi euklidisessa tasossa . Tämä tarkoittaa, että kupera käyrä on aina suljettu (eli sillä ei ole päätepisteitä) [2] .
Joskus käytetään heikompaa määritelmää, jossa kupera käyrä on kuperan joukon rajan osajoukko. Tässä suoritusmuodossa kuperalla käyrällä voi olla päätepisteitä.
Tiukasti kupera käyrä on kupera käyrä, joka ei sisällä segmenttejä . Vastaavasti tiukasti kupera käyrä on käyrä, joka leikkaa minkä tahansa suoran enintään kahdessa pisteessä [3] [4] , tai yksinkertainen suljettu käyrä kuperassa asennossa , mikä tarkoittaa, että mitään pistettä käyrällä ei voida esittää kuperana yhdistelmänä mikä tahansa muu sen pisteiden osajoukko.
Jokaisella kuperalla käyrällä on hyvin määritelty äärellinen pituus . Siten kupera käyrä on tasasuuntaavien käyrien osajoukko [2] .
Neljän pisteen lauseen mukaan missä tahansa käyrässä on vähintään neljä kärkeä, pistettä , joissa saavutetaan kaarevuuden paikallinen minimi tai maksimi [4] [5] .
Suljettu käyrä on kupera silloin ja vain, jos käyrällä ei ole kolmea erillistä pistettä siten, että tangentit näissä pisteissä ovat yhdensuuntaiset.
Käyrää kutsutaan yksinkertaiseksi , jos se ei leikkaa itseään. Suljettu säännöllinen taso yksinkertainen käyrä on kupera silloin ja vain, jos sen kaarevuus on joko aina positiivinen tai aina negatiivinen. Eli sen kaltevuuskulma (käyrän tangentin kulma akselin suhteen) on heikosti monotoninen käyrän parametroinnin funktio [1] .
Sileitä kuperia käyriä, joilla on aksiaalinen symmetria , kutsutaan joskus soikeiksi [6] . Kuitenkin äärellisessä projektitiivisessa geometriassa ovaalit määritellään joukoiksi, joissa millä tahansa pisteellä on yksi tangentti, mikä pätee euklidisessa geometriassa sileiden tiukasti kupereiden suljettujen käyrien tapauksessa.