Крива

мини|десно|Парабола, една од најпростите криви (по правите линии) Крива — апстракција на обична претстава за линија, која обично не е права (иако технички може да биде).

Интуитивно кривата можеме да ја замислиме како трага од движењето на една точка. Оваа дефиниција стои во Евклидовото дело „Елементи“, напишано пред повеќе од 2300 години.

Во современата математика, дефиницијата за крива е формализирана како: слика на интервал во тополошки простор со непрекината функција. Во некои ситауции функцијата што ја определува кривата се нарекува параметризација, а кривата е параметарска крива. Ваквите криви понекогаш се нарекуваат тополошки криви за да се различат од поограничените криви како диференцијабилните. Оваа дефиниција ги опфаќа највеќето криви во математиката; значајни исклулчоци се кривите на нивоа (кои се унии на криви и изолирани точки) и алгебарските криви (подолу). Овие случаи понекогаш се нарекуваат имплицитни криви, бидејќи начелно се определени со импливитни равенки.

Сепак, класата на тополошки криви е многу широка и содржи некои криви што не личат на такви според нашето очекување, или што воопшто не можат да се нацртаат. Ваков случај се простороисполнувачките и фракталните криви. За да се обезбеди повеќе правилност, функцијата што определува крива се претполага за диференцијабилна, и кривата тогаш е диференцијабилна крива.

Една рамнинска алгебарска крива е нултото множество на полином во две неопределени. Поопшто земено, алгебарска крива е нултото множество на конечно множество од полиноми, кое го задоволува дополнителниот услов за биде алгебарско многуобразие со димензија еден. Ако коефициентите на полиномите припаѓаат на поле , кривата ќе биде определена на . In the common case of a реална алгебарска крива, каде е полето на реални броеви, алгебарска крива со конечна унија од тополошки криви. Кога земаме предвид комплексни нули, имаме комплексна алгебарска крива, која, од тополошко гледиште, не е крива, туку површина, и се нарекува Риманова површина. Иако не се криви во вообичаената смисла, алгебарските криви определени врз други полиња се долго изучувани. Од особено значење се алгебарските криви врз конечно поле кои наоѓаат широка примена во современата криптографија.

Историја мини|Мегалитските резби од Њугрејнџ покажуваат ран интерес за кривите. Интересот за кривите почнал долго пред математиката. Тоа може да се види од бројните предмети украсени со криви уште од праисториско време.Lockwood стр. ix

Историски гледано, поимот се користел наместо современиот поим . Оттука доаѓа поимот или . На пример, во Книга I од „Елементи“ на Евклид, линијата се дефинира како „бесширинска должина“ (Деф. 2), а како „линија која лежи рамно на точкиете во неа“ (Деф. 4). Евклидовата идеја за линија можеби е појасна од исказот „Крајностите на една линија се точки“, (Деф. 3).Heath стр. 153 Подоцнежните коментатори понатаму ги класификувале линиите на разни начини. На пример:Heath стр. 160 Сложени линии (линии што образуваат агол) Несложени линии Определени (линии кои не се протегаат бесконечно, како на пр. кружница) Неопределени (линии кои се протегаат бесконечно, како на пр. права или парабола)

мини|Кривите создадени со пресекување на конус (конусни пресеци) се проучувале во старогрчката математика. Старогрчките геометри проучувале многу видови криви. Една од причините е намерата да се решат проблеми нерешливо со стандардната конструкција со шестар и линијар. Овие криви се: Конусните пресеци, темелно проучувани од Аполониј од Перга Диоклева цисоида, проучувана од Диокле и користена како начин на удвојување на коцката.Lockwood стр. 132 Никомедова конхоида, проучувана од Никомед како начин на удвојување на коцката и трисекција на аголот.Lockwood стр. 129 Архимедова спирала, проучувана од Архимед како начин на трисецирање на аголот и квадрирање на кругот. Спирични пресеци, пресеци на торови проучувани од Персеј; како конусни пресеци проучувани од Аполониј од Перга.

мини|лево|Аналитичката геометрија овозможува определување на криви како Декартовиот лист со помош на равенки наместо со геометриско конструирање. Фундаментален напредок во теоријата на кривите е направен со воведувањето на аналитичка геометрија од страна на Рене Декарт во XVII век. Ова овозможува опишување на кривите со равенки наместо со сложени геометриски конструкции. Ова не само што овозможило дефинирање и проучување на нови криви, туку и правење на формална разлика помеѓу алгебарски криви кои се определуваат со полиномни равенки и трансцендентните криви, кои не можат. Претходно кривите се опишувале како „геометриски“ или „механички“ според тоа како може да се создадат.

Јоханес Кеплер ги применил конусните пресеци во астрономијата.

Исак Њутн работел на ран пример на варијационо сметање. Решенијата на традиционални проблеми како прашањата за брахистохроната и тавтохроната, вовеле нови начини на гледање на својствата на кривите (во случајов, циклоидата). Синџирката е наречена по решението на проблемот со висечки ланци, проблем кој станал рутински решлив по пат на диференцијално сметање.

Во XVIII век се појавила теоријата за рамнински алгебарски криви воопшто. Њутн ја проучувал кубната рамнинска крива, во општо впишување на реалните точки во „овали“. Исказот на Безуовата теорема покажал низа аспекти кои не биле непосредно достапни за геометријата од тоа време, во врска со сингуларни точки и сложени решенија.

Почнувајќи од XIX век на теоријата за кривите се гледа како на посебен случај на прва димензија од теоријата за многуобразијата и алгебарските многуобразија. Сепак, многу прашања и понатаму се однесуваат особено на кривите, како она за простороисполнувачките криви, Жордановата теорема и Шеснаесеттиот проблем на Хилберт.

Тополошка крива Тополошка крива може да се определи со непрекината функција од интервал на реалните броеви во тополошки простор . Поточно речено, the curve is the слика of Меѓутоа, во некои контексти, самата се нарекува крива, особено кога сликата не изгледа на она што го подразбираме како крива и недоволно ја карактеризира

На пример, сликата на Пеановата крива или, поопшто земено, простороисполнувачка крива целосно го исполнува квадратот, и затоа не дава никакви сознанија за тоа како е определена .

Кривата е затворена или е јамка ако and . Така, затворената крива е сликата на непрекинатото пресликување на кружница. Незатворената крива може да се нарече и отворена крива.

Доколку доменот на една тополошка крива е затворен и ограничен интервал , кривата се нарекува патека, наречена и тополошки лак (или само ).

Кривата е проста ако е слика на интервал или кружница по инјективна непрекината функција. Со други зборови, ако кривата е определена од непрекината функција со интервал како домен, кривата е проста ако и само ако било кои две различни точки на интервалот имаат различни слики, освен можеби кога точките се завршници на интервалот. Интуитивно, проста крива е крива која „не се самопресекува и не ѝ недостасуваа точки“ (непрекината несамопресекувачка крива).

мини|лево|исправено=0.75|Завојницата е пример за искосена крива. Рамнинска крива е крива за која е Евклидовата рамнина—ова се примерите што први се среќаваат—или во некои случаи проективната рамнина. е крива за која е барем тридимензионална; е просторна крива која не лежи на ниедна рамнина (на пример, завојница). Овие дефиниции за рамнина, простор и искосени криви важат и за реалните алгебарски криви, иако гореспоменатата дефиниција за крива не важи (реална алгебарска крива може да биде несврзана). Постар поим за просторна крива е „крива со двојна закривеност“ бидејќи таа се криви на два начина (со закривеност и усуканост).

мини|Змејска крива со позитивна плоштина. Простата затворена рамнинска крива се нарекува Жорданова крива. Таа се дефинира и како несамопресекувачка непрекината јамка на рамнината. Жордановата теорема вели дека комплементот во рамнина на Жордановата крива се состои од две несврзани составници (т.е. кривата ја дели рамнината на две непресекувачки области кои се обете сврзани). Ограниченат аобласт во Жодрановата крива се нарекува Жорданов домен.

Дефиницијата за крива опфаќа фигури кои обично не би ги нарекле криви. На пример, сликата на крива може да покрива квадрат на рамнина (простороисполнувачка крива), а проста крива може да има позитивна плоштина. Фракталните криви може да имаат својства кои делуваат чудно во вообичаена смисла. На пример, една фрактална крива може да има Хаусдорфова димензија поголема од еден (погл. Кохова снегулка), па дури и позитивна плоштина. Пример зџа ова е змејската крива, која има многу други наобични својства.

Диференцијабилна крива

Општо речено, е крива што се дефинира како месна слика на инјективна диференцијабилна функција од интервал на реалните броеви во диференцијабилно многуобразие , често

Поуточнето, диференцијабилната крива е подмножество од каде секоја точка на има околина таква што е дифеоморфно на интервалот од реални броеви. Со други зборови, диференцијабилната крива е диференцијабилно многуобразие со една димензија.

Диференцијабилен лак Во Евклидовата геометрија, лак (симбол: ⌒) е сврзано подмножество на диференцијабилна крива.

Лаковите на линија се нарекуваат отсечки, полуправи или прави, зависно од тоа дали се ограничени.

Чест пример за крив лак е лак на кружница, наречен кружен лак.

Кај сфера (или сфероид), лакот на голема кружница (или голема елипса) се нарекува голем лак.

Должина на крива

Ако е во -димензионален Евклидов простор, и ако е инјективна и непрекинато диференцијабилна функција, тогаш должината на се дефинира како величината

Должината на една крива е независна од параметризацијата .

Поточно речено, должината на график на непрекинато диференцијабилна функција определена на затворен интервал е

што интуитивно може да се замисли како примена на Питагоровата теорема во инфинитезимален размер непрекинато по целата должина на кривата.

Поопшто земено, ако е метрички простор со метрика , тогаш должината на крива ја определуваме со

каде супремумот се зема на сите и сите разбивања од .

Исправлива крива е крива со конечна должина. Една крива се нарекува (или единичнобрзинска или параметризирана од должината на лакот) ако за било кој така што , имаме

Ако е Липшицово непрекината функција, тогаш таа е автоматски исправлива. Покрај тоа, во овој случај, можеме да ја определиме брзината (или метрички извод) на во како

и потоа да покажеме дека

Диференцијална геометрија

Иако првите примери за криви што ги среќаваме се претежно рамнински криви (на секојдневен јазик криви линии во дводимензионален простор), има очигледни примери како завојницата кои постојат во три димензии во природата. Геометријата и класичната механика имаат потреба да работат со криви во просторот за било колку димензии. општата релативност, a светска линија е крива во време-просторот.

Ако е диференцијабилно многуобразие, тогаш можеме да го дефинираме поимот за диференцијабилна крива во . Оваа општа идеја е доволна да опфати многу примени на криви во математиката. Од месна гледна точка можеме да речеме дека е Евклидов простор. Од друга страна, полезно е да појдеме поопшто, со тоа што (на пример) е можно да се дефинираат допирните вектори на со ова поимување за крива.

Ако е мазно многуобразие, мазна крива во е мазно пресликување

.

Ова е основен поим. Постојат и повеќе или помалку ограничени идеи. Ако е многуобразие (т.е. многуобразие чии преодни пресликувања на картата се пати непрекинато диференцијабилни), тогаш кривата во е таква крива за која се претполага дека е само (т.е. пати непрекинато диференцијабилна). Ако е аналитичко многуобразие (т.е. бесконечно диференцијабилно, а картите можат да се изразат како степенски ред), а е аналитичко пресликување, тогаш за се вели дека е аналитичка крива.

За една диференцијабилна крива се вели дека е ако нејзиниот извод никогаш не се губи. (Правилна крива никогаш не забавува до мирување или не се враќа кон себе.) За две диференцијабилни криви

и

се вели дека се еквивалентни ако има биективно пресликување