Хавьер Фресан - Мир математики: m. 35 Пока алгебра не разлучит нас. Теория групп и ее применение.

Тут можно читать онлайн Хавьер Фресан - Мир математики: m. 35 Пока алгебра не разлучит нас. Теория групп и ее применение. - бесплатно полную версию книги (целиком) без сокращений. Жанр: Математика, издательство «Де Агостини», год 2014. Здесь Вы можете читать полную версию (весь текст) онлайн без регистрации и SMS на сайте лучшей интернет библиотеки ЛибКинг или прочесть краткое содержание (суть), предисловие и аннотацию. Так же сможете купить и скачать торрент в электронном формате fb2, найти и слушать аудиокнигу на русском языке или узнать сколько частей в серии и всего страниц в публикации. Читателям доступно смотреть обложку, картинки, описание и отзывы (комментарии) о произведении.
  • Название:
    Мир математики: m. 35 Пока алгебра не разлучит нас. Теория групп и ее применение.
  • Автор:
  • Жанр:
  • Издательство:
    «Де Агостини»
  • Год:
    2014
  • Город:
    Москва
  • ISBN:
    978-5-9774-0730-4
  • Рейтинг:
    4.33/5. Голосов: 91
  • Избранное:
    Добавить в избранное
  • Отзывы:
  • Ваша оценка:
    • 80
    • 1
    • 2
    • 3
    • 4
    • 5

Хавьер Фресан - Мир математики: m. 35 Пока алгебра не разлучит нас. Теория групп и ее применение. краткое содержание

Мир математики: m. 35 Пока алгебра не разлучит нас. Теория групп и ее применение. - описание и краткое содержание, автор Хавьер Фресан, читайте бесплатно онлайн на сайте электронной библиотеки LibKing.Ru

В 1881 году французский ученый Анри Пуанкаре писал: «Математика — всего лишь история групп». Сегодня мы можем с уверенностью утверждать, что это высказывание справедливо по отношению к разным областям знаний: например, теория групп описывает кристаллы кварца, атомы водорода, гармонию в музыке, системы защиты данных, обеспечивающие безопасность банковских транзакций, и многое другое. Группы повсеместно встречаются не только в математике, но и в природе. Из этой книги читатель узнает об истории сотрудничества (изложенной в форме диалога) двух известных ученых — математика Андре Вейля и антрополога Клода Леви-Стросса. Их исследования объединила теория групп.

Мир математики: m. 35 Пока алгебра не разлучит нас. Теория групп и ее применение. - читать онлайн бесплатно полную версию (весь текст целиком)

Мир математики: m. 35 Пока алгебра не разлучит нас. Теория групп и ее применение. - читать книгу онлайн бесплатно, автор Хавьер Фресан
Тёмная тема
Сбросить

Интервал:

Закладка:

Сделать

Теперь выберем две точки Р и Q, лежащие на кривой, и соединим их прямой линией. Будем предполагать, что Р и Q несимметричны относительно оси абсцисс,

98

чтобы соединяющая их прямая не располагалась вертикально. Эта прямая пересечет кривую в точке, которую мы обозначим через PQ. Результатом операции над точками Р и Q будет точка Р + Q, симметричная PQ относительно оси абсцисс.

Результат операции сложения для точек P и Q эллиптической кривой Необходимо - фото 57

Результат операции сложения для точек P и Q эллиптической кривой.

Необходимо уточнить несколько моментов. Во-первых, прямая, проходящая через точки Р = (x 1, y 1) и Q = (х 2, у 2), пересекает кривую в некоторой третьей точке.

Так как мы предположили, что эта прямая не располагается вертикально, ее уравнение будет иметь вид у = mх + n, где m и n — вещественные числа. Подставив это выражение в уравнение нашей эллиптической кривой, получим:

(mx + n)² = x 3+ax+b.

Путем элементарных преобразований это уравнение можно привести к виду:

х 3-Ах² + Вх + С = 0, (**)

где A = m², В = a — 2mn, С = b — n². Следовательно, теперь нам нужно вычислить корни многочлена третьей степени с вещественными коэффициентами. Два корня уже известны: это абсциссы x 1и х 2точек Р и Q, так как обе эти точки одновременно лежат и на кривой, и на прямой. Используем следующую лемму.

Лемма. Если многочлен третьей степени с вещественными коэффициентами имеет два вещественных корня, то третий корень многочлена также будет вещественным.

99

Докажем лемму. Пусть

Р(х) = x 3+ Rx² + Sx + Т

многочлен третьей степени с вещественными коэффициентами. Обозначим его корни через x 1, х 2, х 3. Следовательно, Р(х) можно представить в виде

Р(х) = (х - x 1) (х - х 2) (х - х 3).

Выразим коэффициенты многочлена через его корни:

Р(х) = x 3— (х 1+x 2+х 3)х² +(x 1x 2+x 1x 3+x 2x 3)х — x 1x 2x 3.

К примеру, — R = x 1+ х 2+ х 3. Чтобы получить третий корень многочлена, нужно вычесть —R из первых двух. По условию, и коэффициент R, и корни x 1и х 2— вещественные числа, следовательно, x 3также будет вещественным числом.

По лемме, которую мы только что доказали, существует вещественное число х 3, которое удовлетворяет уравнению (**).

Подставив это число в равенство у = mx + n, получим координату у 3точки PQ. Осталось найти координаты симметричной ей точки — для этого заменим ординату на противоположную. Результатом операции над точками (x 1, y 1) и (х 2, у 2) будет точка (х 3, —у 3).

Мы показали, что точки Р = (0, 1) и Q = (1, 0) принадлежат эллиптической кривой y² = x 3—2х + 1. Вычислим координаты точки Р + Q. Для этого сначала нужно найти уравнение прямой, проходящей через Р и Q. Несложно показать, что эта прямая задается уравнением у = —х + 1. Получим уравнение:

(—х +1) 2 = x 3—2х +1 ↔ х²—2х + 1 = x 3—2х + 1 ↔ х² = x 3↔ х² (х — 1) = 0.

Решениями этого уравнения будут х = 0 (дважды) и х = 1. Так как x 1= 0 и х 2= 1, искомой точкой будет x 3= 0.

Подставив это значение в уравнение у = —х + 1, получим у = 1.

Таким образом, результатом операции над Р и Q будет точка Р + Q с координатами (0, —1).

Заметим, что в этом случае результатом операции над двумя целочисленными решениями уравнения вновь будет целочисленное решение.

В общем случае это верно тогда, когда коэффициенты уравнения являются целыми числами. Доказательство этого утверждения, по сути, ничем не отличается от доказательства приведенной выше леммы.

Мы преодолели первое препятствие: мы показали, что если прямая проходит через две несимметричные точки эллиптической кривой, то она также пересечет кривую в третьей точке. Но что произойдет, если точки Р и Q симметричны?

100

Они будут иметь координаты Р = (x 1, y 2) и Q = (х 1—у 2), а соединяющая их вертикальная линия будет задаваться уравнением х = х 1Подставив в уравнение эллиптической кривой х = x 1получим у² = х 1 3+ ах 1+b. Мы исключили переменную х и получили, что y² равно вещественному числу. Это уравнение имеет всего два решения, ух и — yv следовательно, прямая, соединяющая Р и Q, не будет пересекать эллиптическую кривую ни в одной другой точке. PQ не существует! Как же справиться с этой проблемой? Решение подскажут художники Возрождения, которые изобрели перспективу. Чтобы сделать свои полотна более реалистичными, они изображали параллельные прямые сходящимися в удаленной точке, называемой точкой схода. Последуем примеру художников и будем считать, что наша вертикальная прямая пересекает эллиптическую кривую в третьей точке О, расположенной на бесконечности. Эта точка будет играть роль точки схода.

Фреска Троица работы Мазаччо 14011428 первого художника эпохи - фото 58

Фреска «Троица» работы Мазаччо (1401-1428) — первого художника эпохи Возрождения, который использовал в своих работах математические законы перспективы, чтобы придать им ощущение глубины.

101

Точка О будет иметь реальный математический смысл, если мы введем третью переменную z так, что уравнение эллиптической кривой примет вид y²z = x 3+ axz² + bz 3.

Теперь все члены уравнения имеют третью степень. Это в некотором смысле означает, что отличить тройку (х, у, z) от любой из кратных ей ненулевых троек (Λх, Λy, Λz) невозможно: если мы подставим эти значения в уравнение, то всегда сможем сократить общий множитель Λ 3. Мы получили координаты, которые называются однородными и обозначаются (х: у: z), чтобы указать, что две точки, которые на первый взгляд кажутся различными, как, например (1: 2: 3) и (2: 4: 6), в действительности совпадают, так как имеют кратные координаты. Можно предполагать, что координата z принимает только значения 0 и 1. При z = 1 уравнение кривой примет вид y² = x 3+ ах + b и мы получим те же самые точки, которые рассматривали вначале. При z = 0 имеем x 3= 0, следовательно, х также равен 0. Так как три координаты не могут быть равны нулю одновременно, у должен быть отличным от нуля. Однако все точки вида (0: у: 0) равны, так как имеют кратные координаты, следовательно, можно предположить, что у — 1. Имеем новую точку (0:1: 0), которая не принадлежит кривой y² = x 3+ ах + b. Это и будет наша точка О!

Подведем итог: сначала мы доказали, что любая прямая, не расположенная вертикально и проходящая через две точки эллиптической кривой, также пересечет кривую в третьей точке. Теперь, введя бесконечно удаленную точку, мы показали, что это же утверждение верно и для вертикальной прямой. Следовательно, можно определить операцию над любыми несовпадающими точками Р и Q. Но что, если эти точки совпадают? Начнем с того, что рассмотрим две различные точки Р и Q и будем постепенно приближать точку Q к точке Р. Прямые, соединяющие Р и Q, также будут смещаться. Пределом этих прямых будет касательная к кривой, которая в окрестностях точки Р не будет пересекать кривую ни в одной другой точке.

Читать дальше
Тёмная тема
Сбросить

Интервал:

Закладка:

Сделать


Хавьер Фресан читать все книги автора по порядку

Хавьер Фресан - все книги автора в одном месте читать по порядку полные версии на сайте онлайн библиотеки LibKing.




Мир математики: m. 35 Пока алгебра не разлучит нас. Теория групп и ее применение. отзывы


Отзывы читателей о книге Мир математики: m. 35 Пока алгебра не разлучит нас. Теория групп и ее применение., автор: Хавьер Фресан. Читайте комментарии и мнения людей о произведении.


Понравилась книга? Поделитесь впечатлениями - оставьте Ваш отзыв или расскажите друзьям

Напишите свой комментарий
x