θ(s) = угол, образованный между < t(s), ось ОХ>.
Так что обычная кривизна k(s) кривой определяется как дифференциал функции θ, то есть:
k(s) = θ'(s).
На самом деле k{s) измеряет удаленность кривой от касательной прямой. Кривизна Гаусса, которая в некотором роде обобщает это понятие для поверхностей, может быть определена различными способами, самый простой из них задан выражением:
К=k · k2,
где k1 и k2 — это главные кривизны в каждой точке пространства.
Изометрия — это математическое преобразование двух пространств, которое оставляет инвариантными расстояния между точками. Пример изометрии в евклидовом пространстве из трех измерений — это вращения. Итак, следствие из Theorema Egregium в том, что у двух поверхностей существуют изометрии, только если у них одинаковая гауссова кривизна. Очень показателен следующий пример: сфера с радиусом R имеет постоянную гауссову кривизну, равную R-2, в то время как плоскость имеет нулевую кривизну. Как следствие Theorema Egregium, лист бумаги невозможно согнуть или повернуть так, чтобы получилась часть сферы, не сминая или не надрезая его. И наоборот, поверхность сферы не может быть представлена как плоскость без искажения расстояний.
У этого факта есть важный вывод для картографии: нельзя построить карту Земли, на которой масштаб был бы одинаковым в каждой точке плоскости. Следовательно, все обычно используемые проекции изменяют масштаб в различных точках и дают некоторое искажение. Идеальной карты Земли не существует и не может существовать.
В дифференциальной геометрии четко показано, что на поверхностях, не являющихся плоскими, самая короткая линия, которая соединяет две точки, необязательно прямая, как это происходит в евклидовых пространствах. Именно поэтому пришлось ввести новое понятие (геодезическая линия), которое обозначает кратчайшую линию, соединяющую две точки поверхности. Этот принцип используется в воздушной и морской навигации для установления самых коротких маршрутов без прямых линий. Рассмотрим следующий рисунок.
На самом деле кратчайшее расстояние от аэропорта Мадрида до аэропорта Нью-Йорка — это расстояние, пройденное по кривой, нарисованной сверху от прямой, которая соединяет эти два города на карте. Очевидно, что на плоскости это не так, но на поверхности, подобной сферической (как Земля), геодезическая линия, то есть кратчайшая между двумя точками, не является прямой.
Общая теория относительности — это устоявшееся название для обозначения гравитационной теории, опубликованной Альбертом Эйнштейном в 1915 году. В соответствии с общей теорией относительности сила гравитации — это локальное проявление геометрии времени-пространства. Релятивистскую модель в обычном евклидовом пространстве построить невозможно. В теории относительности необходимо, чтобы пятый постулат Евклида о параллельных прямых не имел единственного решения. Как мы уже видели, Гаусс, Лобачевский и Бойяи доказали, что эта аксиома не зависит от предыдущих и что от нее можно отказаться, не получив противоречия. Риман разработал общую математику для неевклидового пространства в своей докторской диссертации, руководителем которой был Гаусс. Без этих математических инструментов Эйнштейн не смог бы создать свои труды. Именно его вклад сделал неевклидову геометрию популярной, открыл ее настоящую ценность. До Эйнштейна считалось, что это лишь абстрактная теория, поэтому Гаусс ничего и не опубликовал на эту тему.
В изучении поверхностей Гаусс широко использовал параметрическое представление, введенное Эйлером, осуществляя внутреннее представление поверхности как двумерное изображение. Координаты точки (х, y, z) заданы тремя уравнениями в зависимости от двух параметров: х = х(u, v); у = у(u, v); z = z(u, v). Можно сказать, что стилистически «Общие исследования о кривых поверхностях» — самая совершенная работа Гаусса. Ее аналитическое, прямое и очень лаконичное изложение позволяет представить каждую геометрическую идею в полной форме. Как признавался сам Эйнштейн, «теории относительности не существовало бы без геометрии Гаусса».
Ключевым в жизни Гаусса был 1831 год. За год до этого его сын Ойген уехал в США из-за семейных размолвок, а в этом году умерла Минна, вторая супруга ученого, — возможно, от туберкулеза, и его дочь Тереза взяла на себя ведение хозяйства. В конце этого же года в Гёттинген приехал Вильгельм Вебер, чтобы занять место преподавателя физики. С этого момента павший было духом Гаусс вновь нашел в науке спасение от своих семейных бед.
Как в научных, так и в дружеских отношениях между Гауссом и Вебером царила полная гармония; Вебер познакомил математика с новыми областями исследования, часть из которых была экспериментальной. Плодотворное сотрудничество, да и само присутствие коллеги помогли Гауссу пережить этот тяжелый период. Он всегда интересовался физикой, но многие его исследования, исключая сделанные в области астрономии и геодезии, носили сугубо теоретический характер. Прежде чем познакомиться с Вебером, Гаусс занялся вариационным исчислением, которое было одной из центральных тем XVIII века. Оно может быть рассмотрено как математическая задача, но является базовым для многих задач физики. Вариационные задачи — это задачи на оптимизацию, в них речь идет о нахождении лучшего значения, но здесь оптимум — это не значение, а функция.
Мы привыкли рассматривать задачи на оптимизацию, которые математически формулируются как:
Min: ƒ(х)
а:х е S,
где S — множество значений, между которыми мы можем искать решение, что называется допустимым множеством. Функция ƒ также называется целевой функцией. С математической точки зрения не существует никакой разницы, заключается задача в максимизации или минимизации, поскольку можно совершить замену, всего лишь изменив знак целевой функции, так что следующая проблема равносильна предыдущей:
Min: -ƒ(х)
а:х е S,
В зависимости от типа функции ƒ и свойств допустимого множества у нас получится тот или иной тип задачи. Решение этого типа задач может быть как числом, так и вектором (рядом), в случае функции, определенной в пространстве с несколькими измерениями.
Вильгельм Вебер (1804-1891) — немецкий физик первой половины XIX века. Получил образование в Университете.Галле и остался в нем преподавать до 1831 года, когда перешел в Гёттингенский университет. Там ученый подружился с Гауссом, с которым сотрудничал в исследованиях по электричеству и магнетизму.
В 1833 году они изобрели новый тип телеграфа — зеркальный гальванометр Гаусса — Вебера. Позже физика исключили из Гёттингенского университета за оппозицию к властям.
В 1843 году он начал преподавать в Лейпцигском университете и остался там до 1849 года, затем вернулся в Гёттинген и через некоторое время был назначен директором астрономической обсерватории этого города — на должность, которую до него занимал Гаусс. Вебер работал над установлением абсолютных единиц измерения электрического тока и посвятил последние годы жизни изучению электродинамики, разработав ее основы для последующего создания электромагнитной теории света.
Рассмотрим простой пример. Булочник каждый день печет один вид буханок хлеба. С одной стороны, он хочет удовлетворить своих клиентов и испечь достаточно хлеба, а с другой — он не хочет создать избыток товара, который не найдет покупателя в этот же день. Сделав исследования спроса и предложения, мы можем найти решение, которое принесет булочнику наибольшую прибыль, и вполне можно предположить, что решение будет натуральным числом. Если он печет несколько видов хлеба, например ржаной, кукурузный и пшеничный, решение будет не одним числом, а множеством из трех чисел, которое укажет, сколько буханок каждого типа ему нужно выпечь. Решение будет вектором.