ñòàòüèGNU Free Documentation License ìàòåðèàëû âçÿòû èç Âèêèïåäèè Ñòàòüÿ áûëà èçìåíåíà. Îðèãèíàë ñòàòüè.

Äëèíà êðèâîé

Ìàòåðèàë èç Ýíöèêëîïåäèè â ñâîáîäíîé ýíöèêëîïåäèè
Ïåðåéòè ê: íàâèãàöèÿ, ïîèñê

Äëèíà êðèâîé (èëè, ÷òî òî æå, äëèíà äóãè êðèâîé) â ìåòðè÷åñêîì ïðîñòðàíñòâå â ÷èñëîâàÿ õàðàêòåðèñòèêà ïðîòÿæ¸ííîñòè ýòîé êðèâîé[1]. Èñòîðè÷åñêè âû÷èñëåíèå äëèíû êðèâîé íàçûâàëîñü ñïðÿìëåíèåì êðèâîé (îò ëàò. rectificatio, ñïðÿìëåíèå). Åñëè äëèíà êðèâîé ñóùåñòâóåò è êîíå÷íà, òî ãîâîðÿò, ÷òî êðèâàÿ ñïðÿìëÿåìàÿ, â ïðîòèâíîì ñëó÷àå â íåñïðÿìëÿåìàÿ.

Ñîäåðæàíèå

[ïðàâèòü] Îïðåäåëåíèå

[ïðàâèòü] Åâêëèäîâî ïðîñòðàíñòâî

Äëÿ åâêëèäîâà ïðîñòðàíñòâà äëèíà îòðåçêà êðèâîé îïðåäåëÿåòñÿ êàê òî÷íàÿ âåðõíÿÿ ãðàíü äëèí âïèñàííûõ â êðèâóþ ëîìàíûõ. Äëÿ íàãëÿäíîñòè ðàññìîòðèì òð¸õìåðíîå ïðîñòðàíñòâî. Ïóñòü íåïðåðûâíàÿ êðèâàÿ \gamma çàäàíà ïàðàìåòðè÷åñêè:

 x=x(t),\quad y=y(t),\quad z=z(t)\qquad\qquad , (1)
Ïðèáëèæåíèå êðèâîé ëîìàíûìè

ãäå ~a \leqslant t \leqslant b. Ðàññìîòðèì âñåâîçìîæíûå ðàçáèåíèÿ èíòåðâàëà çíà÷åíèé ïàðàìåòðà [a,b] íà m îòðåçêîâ: ~a=x_0<x_1<\dots<x_m=b. Ñîåäèíèâ òî÷êè êðèâîé ~\gamma(x_0), \dots, \gamma(x_m) îòðåçêàìè ïðÿìûõ, ìû ïîëó÷èì ëîìàíóþ ëèíèþ. Òîãäà äëèíà îòðåçêà êðèâîé îïðåäåëÿåòñÿ êàê òî÷íàÿ âåðõíÿÿ ãðàíü ñóììàðíûõ äëèí âñåõ òàêèõ ëîìàíûõ.

Âñÿêàÿ íåïðåðûâíàÿ êðèâàÿ èìååò äëèíó, êîíå÷íóþ èëè áåñêîíå÷íóþ. Åñëè âñå ôóíêöèè â (1) ÿâëÿþòñÿ ôóíêöèÿìè îãðàíè÷åííîé âàðèàöèè, òî äëèíà êðèâîé ñóùåñòâóåò è êîíå÷íà.  ìàòåìàòè÷åñêîì àíàëèçå âûâîäèòñÿ ôîðìóëà äëÿ âû÷èñëåíèÿ äëèíû s îòðåçêà êðèâîé, çàäàííîé óðàâíåíèÿìè (1), ïðè óñëîâèè, ÷òî âñå òðè ôóíêöèè íåïðåðûâíî äèôôåðåíöèðóåìû:

s=\int\limits_a^b \sqrt{{x'}^2(t) + {y'}^2(t) + {z'}^2(t)}\, dt (2)

Ôîðìóëà ïîäðàçóìåâàåò, ÷òî a \leqslant b è äëèíà îòñ÷èòûâàåòñÿ â ñòîðîíó âîçðàñòàíèÿ ïàðàìåòðà t. Åñëè ðàññìàòðèâàþòñÿ äâà ðàçíûõ íàïðàâëåíèÿ îòñ÷¸òà äëèíû îò òî÷êè êðèâîé, òî ÷àñòî óäîáíî ïðèïèñàòü äóãå íà îäíîì èç ýòèõ íàïðàâëåíèé çíàê ìèíóñ.

 n-ìåðíîì ñëó÷àå âìåñòî (2) èìååì àíàëîãè÷íóþ ôîðìóëó:

s=\int\limits_a^b \sqrt{\sum\limits_{k=1}^n {f'_k}^2 (t)} \, dt.

Ìîæíî òàêæå âû÷èñëèòü äëèíó êðèâîé \gamma ÷åðåç êðèâîëèíåéíûé èíòåãðàë I ðîäà:

s= \int\limits_\gamma d\gamma

[ïðàâèòü] Äëèíà äóãè êàê ïàðàìåòð

Êðèâàÿ äîïóñêàåò áåñ÷èñëåííîå ìíîæåñòâî ðàçëè÷íûõ ñïîñîáîâ ïàðàìåòðè÷åñêîãî çàäàíèÿ óðàâíåíèÿìè âèäà (1). Ñðåäè íèõ îñîáîå çíà÷åíèå èìååò òàê íàçûâàåìàÿ åñòåñòâåííàÿ ïàðàìåòðèçàöèÿ, êîãäà ïàðàìåòðîì ñëóæèò äëèíà äóãè êðèâîé, îòñ÷èòûâàåìàÿ îò íåêîòîðîé ôèêñèðîâàííîé òî÷êè.

Ñðåäè ïðåèìóùåñòâ òàêîé ïàðàìåòðèçàöèè:

  1. Ïðîèçâîäíàÿ ðàäèóñ-âåêòîðà \frac{d\mathbf{r}} {dt} èìååò åäèíè÷íóþ äëèíó è ïîýòîìó ñîâïàäàåò ñ åäèíè÷íûì âåêòîðîì êàñàòåëüíîé.
  2. \frac{d^2\mathbf{r}} {dt^2} ïî äëèíå ñîâïàäàåò ñ êðèâèçíîé êðèâîé, à ïî íàïðàâëåíèþ â ñ å¸ ãëàâíîé íîðìàëüþ.

[ïðàâèòü] Åâêëèäîâà ïëîñêîñòü

Åñëè ïëîñêàÿ êðèâàÿ çàäàíà óðàâíåíèåì y=f(x), òî å¸ äëèíà ðàâíà:

s=\int\limits_a^b \sqrt{1 + {f'}^2(x)}\, dx.

 ïîëÿðíûõ êîîðäèíàòàõ (r, \varphi):

s=\int\limits_a^b \sqrt{r^2+\left(\frac{dr}{d\varphi}\right)^2} \, d\varphi.

[ïðàâèòü] Ðèìàíîâî ïðîñòðàíñòâî

 n-ìåðíîì ðèìàíîâîì ïðîñòðàíñòâå ñ êîîðäèíàòàìè x^1 \cdots x^n êðèâàÿ çàäà¸òñÿ ïàðàìåòðè÷åñêèìè óðàâíåíèÿìè:

 x^i=x^i(t) \qquad\qquad , ((3))

Äëèíà êðèâîé â ðèìàíîâîì ïðîñòðàíñòâå çàäà¸òñÿ ôîðìóëîé:

s = \int\limits_a^b \sqrt{ g_{ij}{dx^i\over dt}{dx^j\over dt}}\,dt,

ãäå : g_{ij} â ìåòðè÷åñêèé òåíçîð. Ïðèìåð: êðèâàÿ íà ïîâåðõíîñòè â \mathbb{R}^3.

[ïðàâèòü] Îáùåå ìåòðè÷åñêîå ïðîñòðàíñòâî

 áîëåå îáùåì ñëó÷àå ïðîèçâîëüíîãî ìåòðè÷åñêîãî ïðîñòðàíñòâà (X,\rho) äëèíîé S êðèâîé íàçûâàåòñÿ âàðèàöèÿ çàäàþùåãî êðèâóþ îòîáðàæåíèÿ, òî åñòü äëèíà êðèâîé \gamma:[a,b]\to X îïðåäåëÿåòñÿ ñîãëàñíî ôîðìóëå:

s=\sup \sum\limits_{k=0}^m \rho(\gamma(x_{k+1}),\gamma(x_k)),

ãäå âåðõíÿÿ ãðàíü áåð¸òñÿ, êàê è ðàíåå, ïî âñåì ðàçáèåíèÿì a=x_0<x_1<\dots<x_m=b îòðåçêà [a,b].

[ïðàâèòü] Èñòîðèÿ

Çàäà÷à ñïðÿìëåíèÿ îêàçàëàñü ãîðàçäî ñëîæíåå, ÷åì âû÷èñëåíèå ïëîùàäè, è â àíòè÷íûå âðåìåíà åäèíñòâåííîå óñïåøíîå ñïðÿìëåíèå áûëî âûïîëíåíî äëÿ îêðóæíîñòè. Äåêàðò äàæå âûñêàçûâàë ìíåíèå, ÷òî «îòíîøåíèå ìåæäó ïðÿìûì è êðèâûì íåèçâåñòíî, è äàæå, äóìàþ, íå ìîæåò áûòü ïîçíàíî ëþäüìè».

Ïåðâûì äîñòèæåíèåì ñòàëî ñïðÿìëåíèå ïàðàáîëû Íåéëà (1657), âûïîëíåííîå Ôåðìà è ñàìèì Íåéëîì. Âñêîðå áûëà íàéäåíà äëèíà àðêè öèêëîèäû (Ðåí, Ãþéãåíñ). Äæåéìñ Ãðåãîðè (åù¸ äî îòêðûòèÿ ìàòåìàòè÷åñêîãî àíàëèçà) ñîçäàë îáùóþ òåîðèþ íàõîæäåíèÿ äëèíû äóãè, êîòîðàÿ íåìåäëåííî áûëà èñïîëüçîâàíà äëÿ ðàçëè÷íûõ êðèâûõ.

[ïðàâèòü] Ñì. òàêæå

[ïðàâèòü] Ëèòåðàòóðà

[ïðàâèòü] Ïðèìå÷àíèÿ

Ïðîñòðàíñòâà èì¸í

Âàðèàíòû
Ïðîñìîòðû
Äåéñòâèÿ