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
[editovat | editovat zdroj]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
[editovat | editovat zdroj]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
[editovat | editovat zdroj]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
[editovat | editovat zdroj]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
[editovat | editovat zdroj]Prostorová křivka
[editovat | editovat zdroj]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
[editovat | editovat zdroj]Délka křivky
[editovat | editovat zdroj]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[zdroj?]
[editovat | editovat zdroj]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).
nazýváme diferenciál (prvek, element) oblouku nebo lineární prvek (element) křivky[zdroj?].
Křivky vyplňující prostor
[editovat | editovat zdroj]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.
![](http://upload.wikimedia.org/wikipedia/commons/3/3a/Hilbert_curve.png)
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
[editovat | editovat zdroj]Odkazy
[editovat | editovat zdroj]Literatura
[editovat | editovat zdroj]- LOMTATIDZE, Lenka. Historický vývoj pojmu křivka. Brno: Akademické nakladatelství CERM, 2007. Dostupné online. ISBN 978-80-7204-492-4.
- REKTORYS, Karel. a spol.: Přehled užité matematiky I. 7. vyd. Praha : Prometheus, 2003. ISBN 80-7196-179-5.
Související články
[editovat | editovat zdroj]- 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
[editovat | editovat zdroj]Obrázky, zvuky či videa k tématu křivka na Wikimedia Commons
Slovníkové heslo křivka ve Wikislovníku
- Některé rovinné křivky - lemniskáta, Archimédova spirála, atd. (pdf)
- Historický vývoj pojmu křivka (disertační práce, pdf)[nedostupný zdroj]