Křivka

Křivka je v matematice geometrický jednorozměrný objekt, případně zobrazení z přímky do nějakého prostoru (tzv. parametrizovaná křivka). Jednoduché příklady křivek jsou přímka nebo kružnice.

Formální definice 
Je-li M nějaký matematický prostor (například Eukleidovský prostor, varieta, topologický prostor) a I interval reálných čísel, pak křivkou  rozumíme spojité zobrazení I do M. Toto se někdy také nazývá parametrické vyjádření křivky. Pokud má smysl mluvit o derivaci k (tj. pokud cílový prostor je Eukleidovský prostor nebo hladká varieta a derivace existuje v každém bodě), nazývá se křivka hladká nebo diferencovatelná. Hladká křivka je regulární, pokud její derivace není v žádném bodě nulová. Křivka se nazývá uzavřená, pokud I je uzavřený interval [a,b] a . Množina  se nazývá (geometrický) obraz křivky. Mají-li složky  křivky k na otevřeném intervalu  spojité derivace až do -tého řádu, pak říkáme, že se jedná o křivku -té třídy. Má-li křivka všechny derivace, říkáme někdy, že je třídy nekonečno, neboli nekonečně diferencovatelná.

Někdy se slovem křivka myslí jenom její obraz křivky (v dřívější definici), tj. množina bodů . Ta se někdy také nazývá neparametrická křivka.

Rovinná křivka 
Rovinnou křivkou rozumíme zobrazení intervalu reálných čísel I do (euklidovské) roviny

pro , kde  a  jsou spojité funkce.

Předpokládáme obvykle, že funkce  jsou na intervalu  spojité a mají na tomto intervalu po částech spojité derivace . Někdy se předpokládá, že funkce  jsou pouze spojité, pak se ale překvapivě může stát, že obrazem křivky je např. celý čtverec.

Křivka je regulární, pokud pro žádné  nejsou derivace  současně nulové. Křivku, která (kromě krajních bodů) neprotíná sama sebe (tj. je prostá uvnitř definičního intervalu) označujeme jako jednoduchou. Pokud platí současně , tzn. počáteční bod křivky splývá s bodem koncovým, pak křivku označíme jako uzavřenou.

Rovnici obrazu rovinné křivky lze často (ale ne vždy) vyjádřit ve formě funkční závislosti kartézských proměnných , tzn.
,
popř. implicitně
.

Křivku označíme jako rektifikovatelnou, pokud má konečnou délku, kterou lze vyjádřit jako

Jordanova křivka 
Jednoduchou uzavřenou rovinnou křivku označujeme jako Jordanovu křivku. Jordanova křivka je homeomorfním obrazem kružnice. Rozděluje rovinu na dvě souvislé oblasti. Tu, která je omezená a jednoduše souvislá označujeme jako vnitřek křivky (nebo lépe vnitřní, Jordanovu oblast), zbytek roviny pak jako vnějšek křivky (vnější oblast).

Orientace křivky 
Na neparametrické hladké křivce můžeme zvolit dvě orientace. Formálně to je volba báze jejího (jednorozměrného) tečného prostoru v každém bodě. Tvoří-li uzavřená křivka hranici určité oblasti , pak řekneme, že je kladně orientovaná vzhledem k , pokud oblast  zůstává po levé straně křivky (při pohybu po kladně orientované křivce jde o pohyb proti směru hodinových ručiček). Formálněji, křivka je kladně orientována, pokud normálový vektor k oblasti  a tečný vektor ke křivce určen její orientací tvoří kladnou bázi tečného prostoru (souřadnice těchto vektorů napsány ve sloupcích vedle sebe tvoří matici, která má kladný determinant). V opačném případě se jedná o záporně orientovanou křivku.

Příklady rovinných křivek 
 přímka
 kuželosečky
 cykloida
 Archimédova spirála
 řetězovka

Prostorová křivka 
Prostorovou křivkou rozumíme zobrazení intervalu reálných čísel I do (trojrozměrného euklidovského) prostoru

pro , kde x, y a z jsou spojité funkce.

Uvedené rovnice křivky bývají obvykle zapisovány ve vektorovém tvaru
, ,
kde  představuje rádiusvektor.

Křivku v prostoru lze také zadat jako průnik dvou ploch, např.

nebo

Jsou-li rovnice popisující křivku (v kartézské soustavě souřadnic) algebraické, pak křivku označujeme jako algebraickou (např. přímka nebo kuželosečky). Pokud uvedené rovnice nejsou algebraické, pak říkáme, že křivka je transcendentní (např. sinusoida nebo řetězovka).

Příklady prostorových křivek 
 přímka
 šroubovice

Délka křivky 

Délka křivky se v diferenciální geometrii definuje pomocí vhodných parametrizací této křivky. Obecně však nemusí být definována, resp. je nekonečná.

Oblouk křivky 
Obloukem křivky  od bodu  do bodu  se nazývá délka části křivky mezi  a . Pokud je křivka hladká (tj. k má spojité (1.) derivace), dá se vyjádřit vzorcem

kde  je i-tá složka křivky.

Výhoda oblouku je, že ho lze použít jako parametr pro tzv. přirozenou parametrizaci křivky (obloukem).

Diferenciál

nazýváme diferenciál (prvek, element) oblouku nebo lineární prvek (element) křivky.

Křivky vyplňující prostor 
Obrazem křivky mohou být překvapivě i množiny, které mají větší topologickou dimenzi než jedna. Kupříkladu Hilbertova křivka je spojité zobrazení úsečky na čtverec, tj. spojitá křivka, která vyplní celý (dvourozměrný) čtverec.

Na obrázku je prvních 6 iterací konstrukce Hilbertovy křivky. Hilbertova křivka je pak limitou těchto křivek. Je spojitá, ale není prostá. Její složky jsou spojité funkce, které nemají derivaci v žádném bodě. Jiný známý příklad křivky, která vyplní čtverec je Sierpińského křivka.

Klasifikace, který topologický prostor je spojitým obrazem intervalu [0,1], řeší Hahnova–Mazurkiewiczova věta:
 Neprázdný Hausdorffův topologický prostor X je spojitým obrazem intervalu [0,1] právě když je kompaktní, souvislý, lokálně souvislý a separabilní.
Speciálně tedy každá kompaktní souvislá varieta se dá „vyplnit“ křivkou.

Příklady 
 Bézierova křivka
 Racionální Bézierova křivka
 B-spline křivka

Odkazy

Literatura 
 
 REKTORYS, Karel. a spol.: Přehled užité matematiky I. 7. vyd. Praha : Prometheus, 2003. .

Související články 
 Lagrangeova interpolace
 C1 kubická interpolace
 C2 kubická interpolace
 Hermitova kubika
 Algoritmus de Casteljau
 Racionální Algoritmus de Casteljau
 Afinní transformace souřadnic
 Výpočet průsečíku křivek

Externí odkazy 
 
 
 Některé rovinné křivky - lemniskáta, Archimédova spirála, atd. (pdf)
 Historický vývoj pojmu křivka (disertační práce, pdf)

Křivky