На ваш вопрос отвечает ст. 152.1 ГК РФ:
1. Обнародование и дальнейшее использование изображения гражданина (в том числе его фотографии, а также видеозаписи или произведения изобразительного искусства, в которых он изображен) допускаются только с согласия этого гражданина. После смерти гражданина его изображение может использоваться только с согласия детей и пережившего супруга, а при их отсутствии - с согласия родителей.
Такое согласие не требуется в случаях, когда:
1) использование изображения осуществляется в государственных, общественных или иных публичных интересах;
2) изображение гражданина получено при съемке, которая проводится в местах, открытых для свободного посещения, или на публичных мероприятиях (собраниях, съездах, конференциях, концертах, представлениях, спортивных соревнованиях и подобных мероприятиях), за исключением случаев, когда такое изображение является основным объектом использования;
3) гражданин позировал за плату.
2. Изготовленные в целях введения в гражданский оборот, а также находящиеся в обороте экземпляры материальных носителей, содержащих изображение гражданина, полученное или используемое с нарушением пункта 1 настоящей статьи, подлежат на основании судебного решения изъятию из оборота и уничтожению без какой бы то ни было компенсации.
3. Если изображение гражданина, полученное или используемое с нарушением пункта 1 настоящей статьи, распространено в сети "Интернет", гражданин вправе требовать удаления этого изображения, а также пресечения или запрещения дальнейшего его распространения.
Ситуация здесь требует определённой правовой грамотности даже не от вас, а от судьи. Как вы можете видеть, есть первый и четвертый абзацы, которые и защищают вас от разного рода фиксаций, если вы этого не желаете. В то же время, есть второй абзац, обладающий весьма широкой трактовкой, в результате которой выходит, что фактически фиксировать вас можно в 90% мест. НО! Нужно понимать, что этот абзац-исключение законодатель ввёл специально для того, чтобы в указанных местах была возможность осуществлять видеонаблюдение в целях фиксации возможных правонарушений.
Если конкретно по поводу именно съёмки людей, без публикации, то по закону здесь действует пункт 2: "изображение гражданина получено при съемке, которая проводится в местах, открытых для свободного посещения, или на публичных мероприятиях, за исключением случаев, когда такое изображение является основным объектом использования". А именно его часть, где говорится, "за исключением случаев, когда такое изображение является основным объектом использования", - то есть, если вы снимаете в публичном месте само публичное место и в кадр попал человек, то у него к вам претензий быть не может, но если вы в публичном месте снимаете в основном человека, то такое уже противоправно. Установить, что именно вы снимаете, может экспертиза.
>использование изображения осуществляется в государственных, общественных или иных публичных интересах;
Пункт совершенно неясен. Вот конкретный мой запрос: человек курит в подъезде, в этом подъезде он и живет. Это запрещено административной статьей, следовательно, он нарушает. Доказать это нарушение я могу только фотоматериалами: логично, что пока вызванный мной участковый до подъезда доедет, курильщик уже докурит и уйдет домой. Могу ли сфотографировать его, пока он курит? Законно или незаконно это делать? Судя по этим пунктам, нет. Так как же тогда быть?
ОСНОВНАЯ ТЕОРЕМА АЛГЕБРЫ Теорема, заключающаяся в том, что всякий многочлен степени n (n>0): f(z) = a0zn + a1zn-1 + … + an , где a0 / 0, над полем комплексных чисел имеет по крайней мере один корень z1, так что f(z1)=0. Из О.Т.А. и из теоремы Безу вытекает, что многочлен f(z) имеет в поле комплексных чисел ровно n корней (с учётом их кратностей). Действительно, согласно теореме Безу f(z) делится на z – z1 (без остатка), т.е. f(z) = f1(z)(z – z1), а отсюда многочлен f1(z) (n – 1)- й степени по О.Т.А. также имеет корень z2 и т.д. В конечном счёте мы придём к заключению, что f(z) имеет ровно n корней: f(z) = a0(z – z1)(z – z2) (z – zn). О.Т.А. называется так потому, что основное содержание алгебры в XVII-XVIII вв. сводилось к решению уравнений.
О.Т.А. была доказана впервые в XVII в. французским математиком Жираром, строгое же доказательство было дано в 1799 г. немецким математиком Гауссом. ТЕОРЕМА БЕЗУ Теорема об остатке от деления произвольного многочлена на линейный двучлен.Она формулируется следующим образом: остаток от деления произвольного многочлена f(x) на двучлен x – a равен f(a). Т.Б. названа по имени впервые сформулировавшего и доказавшего её французского математика XVIII в. Безу. Из Т.Б. вытекают следующие следствия: 1) если многочлен f(x) делится (без остатка) на x – a, то число a является корнем f(x); 2) если число a является корнем многочлена f(x), то f(x) делится (без остатка) на двучлен x – a; 3) если многочлен f(x) имеет по крайней мере один корень, то этот многочлен имеет ровно столько корней, какова степень этого многочлена (при этом учитывается кратность корней). ТЕОРЕМА ЧЕВЫ Если прямые, соединяющие вершины треугольника АВС с точкой О, лежащей в плоскости треугольника, пересекают противоположные стороны (или их продолжения) соответственно в точках A’ B’ C’, то справедливо равенство: (*) При этом отношение отрезков рассматривается как положительное, если эти отрезки имеют одинаковое направление, и отрицательное – в противном случае.
Т.Ч. можно записать и в такой форме: (ABC’)*(BCA’)*(CAB’) = 1, где (АВС’) – простое отношение трёх точек A, B и C’. Справедлива и обратная теорема: если точки C’, A’, B’ расположены соответственно на сторонах AB, BC и СА треугольника или их продолжениях так, что выполняется равенство (*), то прямые АА’, BB’ и CC’, пересекаются в одной точке или параллельны (пересекаются в несобственной точке). Прямые AA’, BB’ и СС’, пересекающиеся в одной точке и проходящие через вершины треугольника, называются прямыми Чевы или чевианами.
Т.Ч. носит проективный характер. Т.Ч. метрически двойственна теореме Менелая.
Т.Ч. названа по имени итальянского геометра Джованни Чева, доказавшего её (1678). ТЕОРЕМА КОСИНУСОВ 1. Т.К. плоской тригонометрии – утверждение о том, что во всяком треугольнике квадрат любой его стороны равен сумме квадратов двух других его сторон без удвоенного произведения этих сторон на косинус угла между ними: c2 = a2 + b2 – 2abcosC , где a, b, c – длины сторон треугольника, а C – угол, заключённый между сторонами a и b. Т.К. часто используется при решении задач элементарной геометрии и тригонометрии 2. Т.К. для стороны сферического треугольника: косинус одной стороны сферического треугольника равняется произведению косинусов двух других его сторон плюс произведение синусов тех же сторон на косинус угла между ними: cosa = cosb*cosc + sinb*sinc*cosA 3. Т.К. для угла сферического треугольника: косинус угла сферического треугольника равен произведению косинусов двух других углов, взятому с противоположным знаком, плюс произведение синусов двух других углов на косинус стороны, противолежащей первому углу: cosA =-cosBcosC + sinBsinCcosa. ТЕОРЕМА ЭЙЛЕРА 1. Т.Э. в теории сравнений утверждает, что если (a, m)=1, то, где f(m) – функция Эйлера (количество целых положительных чисел взаимнопростых с m, не превосходящих m). 2. Т.Э. о многогранниках утверждает, что для всякого многогранника нулевого рода справедлива формула: В + Г – Р = 2, где В – число вершин, Г – число граней, Р – число рёбер многогранника.
Однако впервые такую зависимость подметил ещё Декарт.
Поэтому Т.Э. о многогранниках исторически правильнее называть теоремой Декарта-Эйлера.
Число В + Г – Р называется эйлеровой характеристикой многогранника.
Т.Э. применяется и для замкнутых графов. ТЕОРЕМА ФАЛЕСА Одна из теорем элементарной геометрии о пропорциональных отрезках.Т.Ф. утверждает, что если на одной из сторон угла от его вершины последовательно отложить равные между собой отрезки и через концы этих отрезков провести параллельные прямые, пересекающие вторую сторону угла, то на второй стороне угла отложатся также равные между собой отрезки.
Частный случай Т.Ф. выражает некоторые свойства средней линии треугольника. ВЕЛИКАЯ ТЕОРЕМА ФЕРМА Утверждение П. Ферма о том, что уравнение xn + yn = zn (где n – целое число большее двух) не имеет решений в целых положительных числах.Несмотря на утверждение П. Ферма о том, что ему удалось найти удивительное доказательство В.Ф.Т которое он не приводит из-за недостатка места (это замечание написано было П. Ферма на полях книги Диофанта), до недавнего времени (середина 90-х) В.Т.Ф. в общем виде доказана не была. МАЛАЯ ТЕОРЕМА ФЕРМА Частный случай теоремы Эйлера, когда модуль m=p – простое число.
М.Т.Ф. формулируется так: если p простое число, то ap=a(mod p). В том случае, когда a не делится на p, из М.Т.Ф. следует: ap-1=1(mod p). М.Т.Ф. была открыта французским учёным Пьером Ферма. НЕРАВЕНСТВО ГЁЛЬДЕРА Для конечных сумм имеет вид: , или в интегральной форме: , где p > 1 и. Н.Г. часто применяется в математическом анализе.
Н.Г. является обобщением неравенства Коши в алгебраической форме и неравенства Буняковского в интегральной форме, в которые Н.Г. обращается при p = 2. ФОРМУЛА КАРДАНО Формула, выражающая корни кубического уравнения: x3+px+q=0 (*) через его коэффициенты. К виду (*) приводится всякое кубическое уравнение.Ф.К. записывается так: . Выбирая произвольно значение первого кубического радикала, следует выбрать то значение второго радикала (из трёх возможных), которое в произведении с выбранным значением первого радикала даёт (-p/3). Таким образом получают все три корня уравнения (*). До сих пор не ясно, кому принадлежит Ф.К.: Дж. Кардано, Н. Тарталье или С. Ферро. Ф.К. относится к XVI в. НЕРАВЕНСТВО КОШИ Неравенство, имеющее место для конечных сумм; очень важное и наиболее употребительное в различных областях математики и математической физики неравенство.
Впервые было установлено Коши в 1821 г. Интегральный аналог Н.К.: , установлен русским математиком В.Я. Буняковским. ТЕОРЕМА МЕНЕЛАЯ Если прямая пересекает стороны треугольника АВС или их продолжения в точках C’, A’ и B’ , то справедливо соотношение: (*) Отношение отрезков берётся положительным, если прямая пересекает сторону треугольника, и отрицательным, если прямая пересекает продолжение стороны.
Справедливо и обратное выражение: если выполняется равенство (*), где A, B, C – вершины треугольника, а A’, B’, C’ лежат на одной прямой.
Т. М. можно сформулировать в виде критерия расположения трёх точек A’, B’ и C’ на одной прямой: для того, чтобы 3 точки A’, B’ и C’ лежали на одной прямой, необходимо и достаточно, чтобы выполнялось соотношение (*), где A, B, C – вершины треугольника, а A’, B’, C’ принадлежат соответственно прямым BC, AC и AB. Т. М. была доказана древнегреческим учёным Менелаем (I в.) для сферического треугольника и, по-видимому, была известна Евклиду (III в. до н.э.). Т. М. является частным случаем более общей теоремы Карно. НЕРАВЕНСТВО МИНКОВСКОГО Неравенство для p-х степеней чисел, имеющее вид: , где целое p>1, а ak и bk – неотрицательные числа.
Н.М. является обобщением известного «неравенства треугольника», утверждающего, что длина одной стороны треугольника не больше суммы длин двух других его сторон; для n-мерного пространства расстояние между точками x=(x1, x2, …, xn) и y=(y1, y2, …, yn) определяется числом Н.М. было установлено немецким математиком Г. Минковским в 1896 г. ФОРМУЛЫ МОЛЬВЕЙДЕ Формулы плоской тригонометрии, выражающие следующую зависимость между сторонами (их длинами) и углами треугольника: ; , где a, b, c – стороны, а A, B, C – углы треугольника.
Ф.М. названы по имени немецкого математика К. Мольвейде, использовавшего их, хотя эти формулы были известны и другим математикам.БИНОМ НЬЮТОНА Название формулы, выражающей целую неотрицательную степень двучлена a+b в виде суммы степеней его слагаемых.
Б.Н. имеет вид: , где Cnk – биноминальные коэффициенты, равные числу сочетаний из n элементов по k, т.е. или. Если биноминальные коэффициенты для различных n=0, 1, 2, …, записать в последовательно идущие строки, то придём к треугольнику Паскаля. В случае произвольного действительного числа (а не только целого неотрицательного) Б.Н. обобщается в биноминальный ряд, а в случае увеличения числа слагаемых с двух на большее число – в полиномиальную теорему.ПОЛИНОМИАЛЬНАЯ ТЕОРЕМА Обобщение формулы бинома Ньютона на случай возведения в целую неотрицательную степень n суммы k слагаемых (k>2): , где суммирование в правой части распространено на всевозможные наборы целых неотрицательных чисел a1, a2, …, ak, дающих в сумме n. Коэффициенты A(n)a1, a2, … ,ak носят название полиномиальных и выражаются следующим образом: При k=2 полиномиальные коэффициенты становятся биноминальными коэффициентами.
ТЕОРЕМА ПОЛЬКЕ Формулируется так: три отрезка произвольной длины, лежащие в одной плоскости и исходящие из общей точки под произвольными углами друг к другу, могут быть приняты за параллельную проекцию пространственного ортогонального репера i, j, k (|i| = |j| =|k|). Теорема была сформулирована немецким геометром К. Польке (1860) без доказательства, а затем была обобщена немецким математиком Г. Шварцем, который дал её элементарное доказательство.
Теорему Польке-Шварца можно формулировать так: любой невырожденный четырёхугольник с его диагоналями можно рассматривать как параллельную проекцию тетраэдра, подобного любому данному.
Т.П. имеет большое практическое значение (любой четырёхугольник с его диагоналями можно принять, например, за изображение правильного тетраэдра) и является одной из основных теорем аксонометрии.ТЕОРЕМА ПТОЛЕМЕЯ Теорема элементарной геометрии, устанавливающая зависимость между сторонами и диагоналями четырёхугольника, вписанного в окружность: во всяком выпуклом четырёхугольнике, вписанном в окружность, произведение диагоналей равно сумме произведений его противоположных сторон, т.е. имеет место равенство: AC*BD = AB*CD + BC*AD Т.П. названа по имени древнегреческого учёного Клавдия Птолемея, доказавшего эту теорему.
Т.П. используется при решении задач по элементарной геометрии, при доказательстве частного случая теоремы сложения синусов.ФОРМУЛА СИМПСОНА Формула для вычисления объёмов тел с двумя параллельными основаниями: , где Qн – площадь нижнего основания, Qв – площадь верхнего основания, Qс – площадь среднего сечения тела. Под средним сечением тела здесь понимается фигура, полученная от пересечения тела плоскостью, параллельной плоскостям оснований и находящейся на равном расстоянии от этих плоскостей.
Через h обозначена высота тела. Из Ф.С как частный случай, получаются многие известные формулы объёмов тел, изучаемых в школе (усечённой пирамиды, цилиндра, шара и др.). ТЕОРЕМА СИНУСОВ Теорема плоской тригонометрии, устанавливающая зависимость между сторонами a, b, c произвольного треугольника и синусами противолежащих этим сторонам углов: , где R – радиус описанной около треугольника окружности.
Для сферической тригонометрии Т.С. аналитически выражается так: . ТЕОРЕМА СТЮАРТА Заключается в следующем: если A, B, C – три вершины треугольника, а D – любая точка на стороне BC, то имеет место соотношение: AD2*BC = AB2*CD + AC2*BD – BC*BD*CD , Т.С. названа по имени доказавшего её английского математика М. Стюарта и опубликовавшего её в труде «Некоторые общие теоремы» (1746, Эдинбург). Теорему сообщил Стюарту его учитель Р. Симсон, который опубликовал эту теорему лишь в 1749 г. Т.С. применяется для нахождения медиан и биссектрисс треугольников.
ТЕОРЕМА ТАНГЕНСОВ (ФОРМУЛА РЕГИОМОНТАНА) Формула плоской тригонометрии, устанавливающая зависимость между длинами двух сторон треугольника и тангенсами полусуммы и полуразности противолежащих им углов.Т.Т. имеет вид: , где a, b – стороны треугольника, A, B – соответственно противолежащие этим сторонам углы. Т.Т. также называют формулой Региомонтана по имени немецкого астронома и математика Иоганна Мюллера (по-латински Regiomontanus), установившего эту формулу. И. Мюллера называли «Кёнигсбержец»: по-немецки König – король, Berg – гора, а по-латински «король» и «гора» в родительном падеже – regis и montis.
Отсюда «Региомонтан» - латинизированная фамилия И. Мюллера. «Толковый словарь математических терминов», О.В. Мантуров ФОРМУЛЫ И ТЕОРЕМЫ НА VADIMSOFT-BEST. NAROD.RU.
Что будем делать с полученным материалом:
Если этот материал оказался полезным для Вас, Вы можете сохранить его на свою страничку в социальных сетях:
Мы уже убедились в том, что если числовая последовательность имеет предел, то элементы этой последовательности приближаются к нему максимально плотно. Даже на очень маленькой дистанции всегда можно найти два элемента, чья дистанция будет еще меньше. Это называется фундаментальной последовательностью, или последовательностью Коши. Можем ли мы утверждать, что данная последовательность имеет предел? Если она формируется на
Если мы возьмем квадрат со стороной, равной единице, то легко сможем просчитать его диагональ с помощью теоремы Пифагора: $d^2=1^2+1^2=2$, то есть значение диагонали будет равно $\sqrt 2$. Теперь у нас есть два числа, 1 и $\sqrt 2$, представленные двумя отрезками. Однако у нас не получится установить соотношение между ними, как мы делали это раньше. Невозможно
Определить, где находится точка Р - внутри или снаружи некой фигуры - иногда очень просто, как например для фигуры, изображенной на рисунке: Однако для более сложных фигур, как, например, для той, что представлена ниже, сделать это сложнее. Для этого придется нарисовать линию карандашом. Однако при поиске ответов на подобные вопросы мы можем использовать один простой,
Ее обычно формулируют так: всякое натуральное число, отличное от 1, единственным образом представляется в виде произведения простых чисел или так: всякое натуральное число единственным образом представляется в виде произведения степеней разных простых чисел последнее разложение часто называют каноническим, хотя и не всегда, требуя при этом, чтобы простые множители входили в это разложение в порядке возрастания.
Эта теорема чрезвычайно полезна для решения задач на остатки степеней, и хотя она является вполне серьезной теоремой из теории чисел и не входит в школьный курс, ее доказательство может быть проведено на нормальном школьном уровне. Оно может быть проведено различными способами, и одно из самых простых доказательств опирается на формулу бинома, или бинома Ньютона, которая
Нередко в методической литературе можно встретить понимание косвенного доказательства как доказательства от противного. На самом деле это очень узкое толкование этого понятия. Метод доказательства от противного является одним из наиболее известных косвенных методов доказательства, но далеко не единственным. Другие косвенные методы доказательства хотя и часто применяются на интуитивном уровне, но это применение редко осознается, и
Часто учителя, используя скалярное произведение векторов, чуть ли не моментально доказывают теорему Пифагора и теорему косинусов. Это, конечно, заманчиво. Однако требуется комментарий. В традиционном изложении дистрибутивность скалярного произведения векторов доказывается позже теоремы Пифагора, ибо последняя применяется в этом доказательстве, хотя бы и косвенно. При этом возможны варианты этого доказательства. В школьных учебниках геометрии, как и
В июне этого года безвременно скончался Дмитрий Германович Фон-Дер-Флаасс (1962–2010), замечательный математик и педагог, светлый и обаятельный человек. Наши читатели не раз встречали это имя - журнал «Квант» часто публиковал его задачи. Дмитрий Германович успешно работал в большой науке, но это была лишь часть его деятельности. Вторую составляли математические олимпиады школьников: он работал в жюри Всесоюзных и Всероссийских олимпиад, а в последние годы - и Международных. Читал лекции в различных математических лагерях и школах, был одним из тренеров нашей команды на Международной математической олимпиаде.
Мы предлагаем вашему вниманию запись (с небольшими сокращениями и с сохранением авторского стиля) лекции, прочитанной Д. Фон-Дер-Флаассом во Всероссийском детском центре «Орленок» в 2009 году.
Был такой античный софист Горгий. Знаменит он тем, что сформулировал три теоремы. Первая теорема звучит так: ничто в мире не существует. Вторая теорема: а ежели что и существует, то непознаваемо для человека. Третья теорема: а ежели все-таки что-то познаваемо, то непередаваемо ближнему.
Другими словами, нет ничего, а ежели что-то есть, то мы об этом ничего не узнаем, а ежели даже что-то и узнаем, рассказать никому не сможем.
И вот эти четыре теоремы - это, собственно говоря, основные проблемы современной математики.
Первая теорема Горгия
Начнем с первой - ничто в мире не существует, или, в переводе на язык математики, математика занимается непонятно чем. В некотором смысле это действительно так. Ведь математических объектов в мире не существует. Самое простое, с чего все начинается и чем математики все время пользуются, - это натуральные числа. Что такое натуральные числа, все мы знаем - это 1, 2, 3, 4 и так далее. И вот то, что мы все понимаем смысл слов «и так далее» - это большая загадка. Потому что «и так далее» означает, что чисел «бесконечно много». В нашем мире нет места для того, чтобы было бесконечно много чего-то. Но все мы уверены, что когда мы думаем о натуральных числах, мы все думаем об одном и том же. Если у меня после 7 следует 8, то и у вас после 7 будет следовать 8. Если у меня 19 - простое число, то у вас 19 будет простое число. Вот почему? Вроде бы в мире этого объекта нет, но мы о нем знаем и все знаем примерно одно и то же. Это, конечно, загадка не математическая, это загадка философская, и пусть философы ее обсуждают. Нам достаточно того, что, к счастью, мы все-таки имеем представление о математических объектах и оно одно и то же у всех, кто начинает о них задумываться. И поэтому математика возможна. Но большая философская проблема остается.
Если, как это принято у математиков, задуматься об этом всерьез, т. е. попытаться как-то строго об этом подумать, то тогда возникают проблемы, о которых я сейчас расскажу. Возникли они на памяти человечества совсем недавно, буквально в последнюю сотню лет.
Кроме натуральных чисел есть еще много чего в математике. Есть наша евклидова плоскость, на которой мы рисуем всякие треугольники, углы, доказываем о них теоремы. Есть действительные числа, есть комплексные числа, есть функции, есть еще что-то более страшное... Где-то на рубеже XIX–XX веков была проделана очень большая работа (хотя началась она, конечно, немного раньше), люди поняли, что все многообразие математических объектов в принципе можно свести к единому понятию - понятию множества. Конечно, если мы просто имеем интуитивное представление о том, что такое множество и что такое «и так далее», мы сможем построить в принципе всю математику.
Что такое множество? Ну, это просто множество чего-то. Вопрос в том - что с множествами можно делать? Если у нас есть какое-то множество, то что означает, что оно у нас есть? Это означает, что про любой элемент нашего мира, мира математических объектов, мы можем спросить, а он в этом множестве лежит или не лежит, и получить ответ. Ответ однозначный, совершенно не зависящий от нашей воли. Вот это то первое, базовое, что можно с множествами делать, - узнавать, принадлежит элемент множеству или не принадлежит.
Конечно, нужно еще сами эти множества как-то строить. Чтобы из них, в конце концов, построилось все богатство математических объектов. Как их можно строить? Можно, скажем, построить пустое множество: Ø. Самое первое, самое простое. Про него мы что знаем? Что про какой бы элемент мы ни спросили, принадлежит ли он этому множеству или нет, ответ всегда будет - нет, не принадлежит. И этим пустое множество уже однозначно определено. Все вопросы о нем получают мгновенный ответ. Ура!
Теперь у нас уже есть вот это само пустое множество. И мы можем построить множество, которое ничего не содержит, кроме пустого множества: {Ø}. Опять же, что значит, что мы имеем это множество? Это значит, что про любой элемент мы можем спросить, он этому множеству принадлежит или нет. И если этот элемент - пустое множество, то ответ будет - «да». А если этот элемент любой другой, то ответ будет - «нет». Итак, это множество тоже задано.
С этого все начинается. Можно использовать еще несколько интуитивных операций. Если у нас есть два множества, то мы можем их объединить. Можно сказать, что теперь будет множество, в котором будут элементы из того или из другого множества. Опять же, ответ на вопрос, принадлежит ли элемент полученному множеству или нет, однозначен. Значит, объединение мы можем построить. И так далее.
В какой-то момент приходится отдельно объявить, что все-таки у нас есть какое-то множество, в котором элементов бесконечно много. Поскольку мы знаем, что натуральные числа есть, мы верим, что бесконечное множество существует. Объявляем, что множество натуральных чисел у нас тоже доступно. Как только появляется бесконечное множество, так дальше уже можно пуститься во все тяжкие и определять уже все что угодно. Можно определить целые числа. Целое число - это либо ноль, либо натуральное число, к которому приставлен или не приставлен знак минус. Все это, (может, и не так очевидно, как я говорю), можно проделать и на языке теории множеств.
Можно определить рациональные числа. Что такое рациональное число? Это пара из двух чисел - числителя и (ненулевого) знаменателя. Нужно только определить, как их складывать, как их умножать между собой. И каковы условия, когда такие пары считать одним и тем же рациональным числом.
Что такое действительное число? Вот интересный шаг. Вы можете сказать, например, что это бесконечная десятичная дробь. Вполне хорошее будет определение. А что это значит - бесконечная десятичная дробь? Это значит, у нас есть какая-то бесконечная последовательность цифр, т. е. просто для каждого натурального числа мы знаем, какая цифра стоит на этом месте нашего действительного числа. Все такие последовательности образуют действительные числа. Опять же, мы можем определить, как их складывать, как их умножать, и так далее.
Кстати, математики предпочитают определять действительные числа не так, а вот каким образом. Возьмем все рациональные числа - мы их уже имеем. А теперь объявим, что действительное число - это множество тех рациональных чисел, которые его строго меньше. Вот такое очень хитрое определение. На самом деле, оно очень похоже на предыдущее. Например, если у нас есть действительное число 3,1415926... (там дальше идет бесконечная цепочка цифр, которую я наизусть не знаю), то какие, например, будут рациональные числа, меньшие его? Обрежем дробь на втором знаке после запятой. Получим число 3,14, оно меньше нашего. Обрежем дробь на четвертом знаке после запятой - получим 3,1415, еще одно рациональное число, меньшее нашего. Ясно, что если мы знаем все рациональные числа, меньшие нашего числа, то это число единственным образом определено. Наглядно можно представить себе такую картинку, как на рисунке 1. Прямая - это все действительные числа, среди них где-то наше неизвестное, а слева от него много-много рациональных, которые его меньше. Все остальные рациональные будут, соответственно, его больше. Интуитивно понятно, что имеется единственная щелочка между этими двумя наборами рациональных чисел, и вот эту щелочку мы будем называть действительным числом. Это пример того, как, начиная с понятия множества, вся математика помаленьку раскручивается.
Зачем это нужно? Понятно, что на практике, конечно, никто этим не пользуется. Когда математик изучает, скажем, функции комплексного переменного, он не вспоминает каждый раз, что комплексное число - это пара действительных, что действительное - это бесконечное множество рациональных, что рациональное - это пара целых и так далее. Он уже работает с вполне сформированными объектами. Но в принципе все можно расписать до самых основ. Будет очень длинно и не читаемо, но тем не менее это в принципе возможно.
А дальше чем математики занимаются? Они доказывают разные свойства этих объектов. Чтобы что-то доказать, нужно уже что-то знать, какие-то первоначальные свойства всех этих объектов. И более того, математики должны быть полностью согласны насчет того, с каких первоначальных свойств начинать. Чтобы любой результат, полученный одним математиком, был принят всеми остальными.
Можно выписать несколько вот таких первоначальных свойств - они называются аксиомами, - и после этого из них доказывать все остальные свойства все более и более сложных математических объектов. Но вот уже с натуральными числами начинаются трудности. Аксиомы-то есть, и мы чувствуем интуитивно, что они верны, но оказывается, бывают такие утверждения про натуральные числа, которые из этих аксиом не выводятся, но которые, тем не менее, верны. Скажем, натуральные числа удовлетворяют некоторому свойству, но из тех аксиом, которые приняты за основные, оно получено быть не может.
Сразу возникает вопрос, а откуда мы знаем тогда, что это свойство верно для натуральных чисел? Если мы его не можем вот так взять и доказать? Трудный вопрос. Получается примерно так. Если обходиться только аксиомами натуральных чисел, то об очень многих вещах в принципе даже невозможно и говорить. Например, невозможно говорить о произвольных бесконечных подмножествах натуральных чисел. Тем не менее, люди представляют себе, что это такое, и в принципе интуитивно понимают, какими свойствами эти подмножества определяются. Поэтому про некоторые свойства натуральных чисел, которые из аксиом не выводимы, люди могли знать, что они верны. И вот, математик Курт Гёдель, видимо, был первым, кто в явном виде показал некое свойство натуральных чисел, которое интуитивно верно (т. е. против того, что оно верно, математики не возражают), но при этом оно не выводимо из тех аксиом натуральных чисел, которые тогда были приняты.
Частично, и на самом деле в очень большой степени (достаточной для большинства областей математики), с этой проблемой справились, аккуратно доведя все до множеств и выписав некоторый набор аксиом теории множеств, которые интуитивно очевидны и верность этих аксиом математиками, в общем-то, не оспаривается.
Скажем, аксиома объединения. Если у нас есть набор каких-то множеств, то мы можем сказать: а давайте образуем множество, которое содержит все элементы вот этих множеств из этого набора. Нет никаких разумных возражений против того, что такое множество существует. Есть и более хитрые аксиомы, с которыми проблем немножко больше. Мы сейчас рассмотрим три хитрые аксиомы в теории множеств, про которые в принципе могут возникнуть сомнения.
Например, есть такая аксиома. Допустим, что у нас есть множество каких-то элементов, и допустим, что по каждому из них мы можем однозначно определить значение некой функции на этом элементе. Аксиома говорит, что мы можем применить эту функцию к каждому элементу этого множества, и то, что получится, вместе снова будет образовывать множество (рис. 2). Самый простой пример: функция, переводящая x в x 2 , ее мы умеем считать. Скажем, если у нас есть какой-то набор натуральных чисел, то мы можем каждое из них возвести в квадрат. Получится снова какой-то набор натуральных чисел. Такая интуитивно очевидная аксиома, согласны? Но вот, проблема в том, что эти функции могут быть определены очень сложным образом, множества могут быть очень большими. Бывает и такая ситуация: про нашу функцию мы умеем доказывать, что она однозначно определена, но сосчитать конкретное значение этой функции для каждого элемента множества - это чрезвычайно трудно или даже бесконечно трудно. Хотя мы знаем, что какой-то ответ уж точно есть, причем он однозначен. Даже в таких сложных ситуациях эта аксиома считается по-прежнему применимой, и как раз вот в таком самом общем виде она служит одним из источников проблем в теории множеств.
Вторая аксиома, которая, с одной стороны, очевидна, а с другой, приносит проблемы, - это аксиома взятия всех подмножеств данного множества. Она говорит, что если у нас какое-то множество есть, то у нас есть и множество, состоящее из всех подмножеств данного. Для конечных множеств это, разумеется, очевидно. Если у нас есть конечное множество из N элементов, то подмножеств у него будет всего 2 N . В принципе мы их можем даже все выписать, если мы не очень ленивы. С самым простым бесконечным множеством, у нас проблем тоже нет. Смотрите: возьмем множество натуральных чисел 1, 2, 3, 4, 5, 6, 7 и так далее. Почему нам очевидно, что семейство всех подмножеств множества натуральных чисел существует? Потому что мы знаем, что это за элементы. Как можно представить себе подмножество натуральных чисел? Давайте поставим единички у тех элементов, которые мы берем, а нолики - у тех, которые не берем, ну и так далее. Можно представить себе, что это бесконечная двоичная дробь (рис. 3). С точностью до маленьких поправок (вроде того, что некоторые числа могут представляться двумя разными бесконечными двоичными дробями) оказывается, что действительные числа - это примерно то же самое, что подмножества натуральных чисел. И поскольку интуитивно мы знаем, что с действительными числами все в порядке, они есть, наглядно их можно представлять как непрерывную прямую, то в этом месте с нашей аксиомой о множестве всех подмножеств данного множества тоже все в порядке.
Если дальше подумать, то становится уже немножко боязно. Тем не менее, математики считают, что эта аксиома всегда выполняется: если у нас какое-то множество есть, то значит, есть и множество всех его подмножеств. Иначе очень трудно было бы некоторые конструкции проделать.
И еще одна аксиома, с которой было больше всего проблем, потому что в нее сначала не верили. Может быть, вы даже слышали ее название - аксиома выбора. Ее можно сформулировать многими разными способами, некоторыми - очень сложными, некоторыми - очень простыми. Я сейчас расскажу самый наглядный способ сформулировать аксиому выбора, при котором будет действительно очевидно, что она верна. Пусть у нас есть набор каких-то множеств. Они могут на самом деле быть и пересекающимися между собой, но это не важно - пусть для простоты они пока не пересекающиеся. Тогда мы можем построить произведение всех этих множеств. Что это означает? Элементами этого произведения будут вот такие штуки - мы из каждого возьмем по одному элементу и образуем из них всех одно множество (рис. 4). Каждый способ выбрать по одному элементу из множества дает элемент произведения этих множеств.
Конечно, если среди этих множеств оказалось пустое, из которого выбрать нечего, то произведение их всех тоже будет пусто. А аксиома выбора утверждает такой совершенно очевидный факт - если все эти множества не пустые, то и произведение будет непустое. Согласны, что факт очевиден? И это, видимо, послужило, в конце концов, одним из самых сильных аргументов в пользу того, что действительно аксиома выбора верна. В других формулировках аксиома выбора звучит совсем не так очевидно, как в этой.
Наблюдения за тем, как математики доказывают свои утверждения, пытаясь перевести всю математику на язык теории множеств, показали, что во многих местах математики, сами того не замечая, эту аксиому используют. Как только это заметили, сразу стало понятно, что ее нужно выделить в отдельное утверждение - раз уж мы ее используем, то мы ее должны откуда-то взять. Либо мы должны ее доказать, либо мы должны объявить, что это базовый очевидный факт, который мы берем за аксиому и которым разрешаем пользоваться. Выяснилось, что это действительно базовый факт, что доказать его, используя только все остальные факты, невозможно, опровергнуть его тоже невозможно, и поэтому если уж его принимать, то принимать именно как аксиому. А принимать, конечно, надо, потому что в такой форме он и вправду очевиден.
Тут и возникли большие проблемы, потому что как только этот факт в явном виде сформулировали и сказали «будем его использовать», математики тут же кинулись его использовать и, используя его, доказали большое количество совершенно интуитивно неочевидных утверждений. И даже, более того - утверждений, которые интуитивно кажутся неверными.
Вот самый наглядный пример такого утверждения, которое доказали с помощью аксиомы выбора: можно взять шар, разделить его на несколько кусков и сложить из этих кусков два точно таких же шара. Что здесь означает «разделить на несколько кусков», допустим, на 7? Это значит, что про каждую точку мы говорим, в какой из этих семи кусков она попадает. Но это не то, что разрезать шар ножиком - это может быть гораздо сложнее. Например, вот такой трудно представимый, но легко объяснимый способ разрезать шар на два куска. Давайте возьмем в один кусок все точки, у которых все координаты рациональные, а в другой кусок - все точки, у которых есть иррациональная координата. Про каждую точку мы знаем, в какой из кусков она попала, т. е. это законное разделение шара на два куска. Но наглядно это представить себе очень трудно. Каждый из этих кусков, если издали на него посмотреть, будет выглядеть как шар целиком. Хотя один из этих кусков будет на самом деле очень маленький, а другой - очень большой. Так вот, доказали с помощью аксиомы выбора, что шар можно так разрезать на 7 кусков, а потом эти куски немножко передвинуть (именно передвинуть в пространстве, не искореживая никак, не искривляя) и собрать снова так, что получатся два шара, в точности таких же, как и тот, что был в самом начале. Это утверждение, хотя и доказано, звучит как-то дико. Но потом все-таки поняли, что лучше уж смириться с такими следствиями аксиомы выбора, чем вообще от нее отказываться. Иначе никак: либо мы отказываемся от аксиомы выбора, и тогда нам не удастся ее использовать вообще нигде, и очень многие важные красивые и интуитивно понятные математические результаты окажутся недоказуемыми. Либо мы ее берем - результаты становятся благополучно доказуемыми, но заодно у нас появляются такие вот уродцы. Но люди ко многому привыкают, и к этим уродцам они тоже привыкли. В общем, с аксиомой выбора сейчас вроде проблем нет.
Получается так, что у нас есть набор аксиом для теории множеств, есть наша математика. И более-менее кажется, что все, что могут люди сделать в математике, может быть выражено на языке теории множеств. Но тут возникает та же самая проблема, которую в свое время обнаружил Гёдель в арифметике. Если у нас есть некий достаточно богатый набор аксиом, которые описывают наш мир множеств (который есть мир всей математики), обязательно найдутся утверждения, про которые мы никак не сможем узнать, верны они или нет. Утверждения, которые из этих аксиом доказать мы не сможем, и опровергнуть тоже не сможем. Теория множеств сильно развивается, и сейчас она ближе всего к этой проблеме: часто приходится сталкиваться с ситуацией, когда некоторые вопросы звучат вполне естественно, ответ на них получить хочется, но доказано, что ответа мы никогда не узнаем, потому что и тот ответ, и другой ответ из аксиом выведен быть не может.
Что делать? В теории множеств как-то пытаются с этим бороться, а именно, пытаются придумывать новые аксиомы, которые по какой-то причине все-таки можно еще добавить. Хотя, казалось бы, все, что человечеству интуитивно очевидно, уже сведено к тем аксиомам теории множеств, которые были выработаны в начале XX века. А теперь оказывается, что хочется все-таки еще чего-то. Математики тренируют свою интуицию дальше, чтобы какие-то новые утверждения вдруг показались почему-то всем математикам интуитивно очевидными, и тогда их можно было бы принять в качестве новых аксиом в надежде, что с их помощью ответы на какие-то из таких вопросов могут быть получены.
О том, как все это происходит, конечно, рассказать я не могу, там чрезвычайно сложные утверждения, и нужно очень глубоко вкопаться в теорию множеств, во-первых, для того, чтобы понять, что они утверждают, а во-вторых, чтобы понять, что эти утверждения действительно можно считать интуитивно очевидными и принять за аксиомы. Вот этим занимается сейчас одна из самых загадочных областей математики - теория множеств.
Вторая теорема Горгия
Вторая теорема Горгия звучит так - если что и существует, то непознаваемо для человека. Сейчас я покажу несколько примеров утверждений, которые под эту категорию попадают.
С теорией множеств была проблема, имеем ли мы вообще право задавать вопросы вроде такого: «верна ли аксиома выбора?». Если мы хотим просто заниматься математикой, не вступая в противоречия, то мы в принципе можем и принять аксиому выбора, и принять, что она не верна. И в том и в другом случае мы сможем развивать математику, получая одни результаты в одном случае, другие - в другом, но никогда не придем к противоречию.
А вот теперь другая ситуация. Есть, видимо, результаты, ответ на которые очевидно существует, и очевидно он однозначно определен, но человечество его, может быть, никогда не узнает. Самый простой пример - это так называемая (3N + 1)-проблема, о которой я сейчас расскажу. Возьмем любое натуральное число. Если оно четно, то разделим его пополам. А если оно нечетно, то умножим его на 3 и прибавим 1. С полученным числом проделаем то же самое, и так далее. Например, если мы начнем с тройки, получится
Если мы начнем с семерки, немножко дольше будет продолжаться процесс. Уже начиная с некоторых маленьких чисел, эта цепочка может оказаться достаточно длинной, но все время она будет заканчиваться единичкой. Есть гипотеза, что с какого бы числа мы ни начали, если мы будем такую цепочку строить, то всегда обязательно доберемся до 1. В этом и состоит (3N + 1)-проблема - верна ли эта гипотеза?
Мне кажется, что все нынешние математики верят, что она верна. И некоторые самые безрассудные даже пытаются ее доказать. Но ни у кого ничего не вышло. И не выходит уже много десятков лет. Так что это одна из привлекательных задач. Серьезные математики, конечно, относятся к ней свысока - просто как к забавной головоломке. Неизвестно, что там будет, да и кому нужно знать, что там будет. Но несерьезным математикам все-таки интересно, справедлива гипотеза или нет. И пока ее не доказали, совершенно все что угодно тут может произойти. Во-первых, очевидно, что у этого вопроса ответ однозначный: да или нет. Либо правда, что, начиная от любого натурального числа, мы сползем к единице, либо неправда. Интуитивно ясно, что тут уже ни от какого выбора аксиом, ни от какой воли человеческой ответ не зависит. Так вот, есть предположение, что человечество никогда не узнает ответ на этот вопрос.
Конечно, если кто-то докажет эту гипотезу, то тогда мы узнаем ответ. Но что значит докажет? Это значит, что он объяснит нам, по каким причинам любое натуральное число сходится к 1, и эти причины окажутся для нас понятными.
Может случиться, что кто-то докажет, что некоторое семидесятитрехзначное число обладает именно такими свойствами, что запустив от него эту цепочку, мы обязательно будем получать сколь угодно большие числа. Или докажет, что эта цепочка зациклится где-то в другом месте. Опять же, это будет причиной, почему гипотеза неверна.
А вот у меня, например, такой страшный кошмар: а что, если это утверждение верно, но без всякой на то причины? Верно, а причины, которую один человек может понять и объяснить другому, у этого утверждения нет вовсе. Тогда мы никогда не узнаем ответа. Потому что останется только перебрать все натуральные числа и для каждого проверить гипотезу. А это, естественно, вне наших сил. Закон сохранения энергии не позволяет проделать бесконечное количество операций за конечное время. Или конечность скорости света. В общем, физические законы не позволяют нам проделать бесконечное количество операций за конечное время и узнать результат.
Очень многие нерешенные задачи как раз относятся именно к этой области, т. е. в принципе их очень хотят решить. Некоторые из них скорее всего решат. Вы все наверняка слышали название «гипотеза Римана». Может быть кто-нибудь из вас даже смутно понимает, что эта гипотеза гласит. Я лично понимаю очень смутно. Но с гипотезой Римана, по крайней мере, более менее ясно, что она верна. Все математики в нее верят, и, я надеюсь, ее докажут в ближайшее время. А есть некоторые утверждения, которые никто не может пока ни доказать, ни опровергнуть, и даже в гипотезе нет уверенности, какой из двух ответов верен. Возможно, что на какие-нибудь из этих вопросов человечество в принципе никогда ответов не получит.
Третья теорема Горгия
Третья теорема - ежели что-то и познаваемо, то непередаваемо ближнему. Тут как раз самые жгучие проблемы у современной математики и самые, может быть, муссируемые. Человек что-то доказал, но рассказать это доказательство другому человеку он не способен. Или убедить другого человека в том, что он действительно это доказал. Так бывает. Самый первый пример из этой области и самый известный публике -это проблема четырех красок. Но это еще не самая тяжелая ситуация, которая здесь возникает. Я сейчас скажу немножко про проблему четырех красок, а потом покажу ситуации более безумные.
Что такое проблема четырех красок? Это вопрос из теории графов. Граф - это просто некоторые вершины, которые могут быть соединены между собой ребрами. Если мы эти вершины сможем нарисовать на плоскости, и ребрами соединить так, чтобы ребра между собой не пересекались, получится граф, который называется плоским. Что такое раскраска графа? Мы красим его вершины в разные цвета. Если мы это сделали так, что соседние по ребру вершины всегда разного цвета, раскраска называется правильной. Хочется правильно покрасить граф, использовав как можно меньше различных цветов. Вот, например, на рисунке 5 у нас есть три вершины, которые попарно соединены - значит, никуда не денешься, эти вершины будут обязательно иметь три разных цвета. Но вообще для покраски этого графа хватает четырех цветов (а трех не хватает, можете проверить).
Сто лет стояла проблема: правда ли, что любой граф, который можно нарисовать на плоскости, можно раскрасить в четыре цвета? Кто-то верил и пытался доказать, что четырех цветов всегда хватит, кто-то не верил и пытался придумать пример, когда четырех цветов не хватит. Еще была такая неприятность: проблема очень легко формулируется. Поэтому многие люди, даже несерьезные математики, накинулись на нее и стали пытаться ее доказывать. И предъявляли огромное количество якобы доказательств или якобы опровержений. Посылали их математикам, кричали в газетах: «Ура! Я доказал проблему четырех красок!» - и даже выпускали книжки с ошибочными доказательствами. Словом, большой был шум.
В конце концов ее доказали К. Аппель и В. Хакен. Схему доказательства я вам сейчас примерно опишу. И заодно мы увидим, почему это доказательство непередаваемо другим. Начали люди с того, что всерьез стали изучать, как устроены плоские графы. Они предъявили список из нескольких десятков конфигураций и доказали, что в каждом плоском графе какая-то из этих конфигураций обязательно найдется. Это первая половина доказательства. А вторая половина доказательства - для каждой из этих конфигураций можно проверить, что если она в нашем графе есть, то его удастся раскрасить в четыре цвета.
Более точно, дальше доказательство идет от противного. Предположим, что наш граф нельзя раскрасить в четыре цвета. Из первой половины мы знаем, что в нем есть какая-то конфигурация из списка. После этого для каждой из этих конфигураций проводится такое рассуждение. Предположим, что наш граф содержит эту конфигурацию. Выкинем ее. По индукции, то, что осталось, в четыре цвета красится. И проверяем, что как бы мы ни раскрасили оставшееся в четыре цвета, вот эту саму конфигурацию докрасить нам удастся.
Самый простой пример докрашиваемой конфигурации - вершина, которая соединена всего с тремя другими. Понятно, что если в нашем графе есть такая вершина, то мы можем оставить раскрашивание ее напоследок. Раскрасим все остальное, а потом посмотрим, к каким цветам присоединена эта вершина, и выберем четвертый. Для других конфигураций рассуждения аналогичные, но более сложные.
Теперь, как все это было проделано? Проверить, что каждая из такого большого количества конфигураций всегда докрашивается, руками невозможно - надо слишком много времени. И вот эту проверку поручили компьютеру. А он, перебрав большое количество случаев, действительно проверил, что это так. В результате появилось доказательство проблемы четырех красок.
Первоначально выглядело оно вот как. Человеческая часть рассуждения, записанная в толстой книге, и к ней прилагались фразы, что окончательная проверка того, что все раскрашивается, была поручена компьютеру, и даже текст компьютерной программы приводился. Эта программа все просчитала и все проверила - действительно, все нормально, и значит, теорема четырех красок доказана.
Тут же поднялся шум - можно ли такому доказательству верить. Ведь большая часть доказательства проведена компьютером, а не человеком. «А вдруг компьютер ошибся?» - говорили такие недалекие люди.
И проблемы с этим доказательством действительно начались, но они оказались не в компьютерной части, а в человеческой. В доказательстве были найдены недочеты. Понятно, что такой длины текст, содержащий сложные переборы, конечно, может содержать ошибки. Ошибки эти были найдены, но, к счастью, их удалось исправить.
Осталась компьютерная часть, которую с тех пор уже тоже проверили не на одном компьютере, переписывая даже программы, просто проделав тот же перебор. Ведь если сказано, что именно следует перебирать, то каждый может написать свою программу и проверить, что результат будет такой, как надо. И мне, например, кажется, что использование таких вот больших компьютерных переборов в доказательстве - это как раз не проблема. Почему? А вот по той же причине, которая на примере проблемы четырех красок уже проявилась - что к компьютерным доказательствам доверия гораздо больше, чем к человеческим, а не меньше. Кричали, что компьютер - это же машина, а вдруг она где-то сломалась, сбилась, что-то там неправильно посчитала... А вот этого как раз быть не может. Потому что если компьютер случайно где-то засбоил, и произошла ошибка - нолик случайно заменился на единичку, - это не приведет к неверному результату. Это приведет к отсутствию результата, просто программа в конце концов сломается. Какая типичная операция, которую компьютер выполняет? Взяли из такого-то регистра такое-то число и передали по нему управление туда-то. Естественно, что если в этом числе произошло изменение в один бит, управление передалось вообще неизвестно куда, там написаны какие-то команды, которые очень скоро просто все разрушат.
Может быть, конечно, ошибка в написании программы для компьютера, но это уже человеческая ошибка. Человек может прочитать программу и проверить, правильная она или нет. Так же человек может прочитать чужое доказательство и проверить, правильное оно или нет. Но у человека гораздо больше шансов ошибиться, чем у компьютера. Если вы читаете чужое достаточно длинное доказательство, и в нем есть ошибка, то есть все шансы, что вы ее не заметите. Почему? В первую очередь потому, что раз сам автор доказательства сделал эту ошибку - значит, она психологически обоснована. То есть, он не просто так ее сделал, по случайности - это в принципе такое место, где типичный человек может сделать такую ошибку. Значит, и вы можете сделать ту же самую ошибку, читая это место и соответственно ее не заметив. Поэтому проверка человеком, человеческого же доказательства - это гораздо менее надежный способ проверки, чем проверка результата работы компьютерной программы с помощью запуска ее еще раз на какой-то другой машине. Второе практически гарантирует, что все нормально, а первое - это как повезло.
И вот с этой проблемой - найти ошибку в записанном людьми математическом тексте, - становится все труднее, а иногда и вообще невозможно - это серьезная проблема современной математики. С ней нужно бороться. Как - сейчас пока никто не знает. А проблема большая и всерьез возникла именно сейчас - тому несколько примеров существует. Вот, возможно, менее известный, но один из самых современных. Это старинная гипотеза Кеплера. Говорит она об укладывании шариков в трехмерном пространстве.
Давайте сначала посмотрим, что происходит в двумерном пространстве, т. е. на плоскости. Пусть у нас есть одинаковые кружочки. Как плотнее всего нарисовать их на плоскости, чтобы они не пересекались? Есть ответ - надо поместить центры кружков в узлы шестиугольной решетки. Это утверждение не совсем тривиальное, но легкое.
А в трехмерном пространстве как бы вы стали плотно упаковывать шарики? Сначала разложим на плоскости шарики так, как показано на рисунке 6. Потом сверху положим еще один такой же слой, вдавливая до упора, как показано на рисунке 7. Потом сверху еще один такой же слой, и так далее. Интуитивно очевидно, что это и есть самый плотный способ уложить шарики в трехмерном пространстве. Кеплер утверждал (и, похоже, первым сформулировал), что эта упаковка должна быть самой плотной упаковкой в трехмерном пространстве.
Произошло это в XVII веке, с тех пор эта гипотеза и стоит. В начале XXI века появилось ее доказательство. И любой из вас может его достать и прочитать. Оно в открытом доступе лежит в Интернете. Это статья в двести с чем-то страниц. Она написана каким-то одним человеком, и тоже содержит как некоторые чисто математические рассуждения, так и компьютерный счет.
Сначала автор математическими рассуждениями пытается свести задачу к проверке конечного числа случаев. После этого, иногда используя компьютер, он это конечное, но очень большое число случаев проверяет, все сходится, и - ура! - гипотеза Кеплера доказана. И вот проблема с этой статьей - ее никто не может прочитать. Потому что она тяжелая, потому что местами не совсем понятно, что перебор действительно полный, потому что просто скучно ее читать. Двести страниц скучных вычислений. Человек ее прочитать не в силах.
Вообще говоря, все верят, что эта статья содержит доказательство этой теоремы. Но с другой стороны, никто до сих пор не проверил это честно, в частности, эта статья не опубликована ни в одном рецензируемом журнале, т. е. никакой уважающий себя математик не готов поставить подпись под утверждением, что «да, все верно, и гипотеза Кеплера доказана».
И это не единственная ситуация, и в других областях математики такое тоже встречается. Совсем недавно я напоролся на список нерешенных проблем в теории множеств, в теории моделей, в разных областях. И вот к одной гипотезе там комментарии такие: она якобы опровергнута в статье вот такой-то, но никто в это не верит.
Вот такая ситуация. Человек доказал утверждение, но передать это другому, рассказать это другому он не в силах.
Самый страшный пример - это, конечно, классификация конечных простых групп. Я не буду формулировать точно, что это такое, что такое группы, что такое конечные группы, если захотите - узнаете сами. Конечные группы все в некотором смысле собираются из простых блоков, которые называются простыми группами, а те уже нельзя разобрать на более мелкие блоки. Этих конечных простых групп бесконечно много. Полный их список выглядит так: это семнадцать бесконечных серий, к которым еще в конце добавлены 26 отдельных групп, которые построены каким-то отдельным способом и ни в какую серию не входят. Утверждается, что этот список содержит все конечные простые группы. Задача страшно нужная для математики. Поэтому в 70-е годы, когда появились некоторые особенные идеи и надежды на ее решение, на задачу накинулись несколько сот математиков из разных стран, из разных институтов, каждый брался за свой кусочек. Были и, так сказать, архитекторы этого проекта, которые примерно представляли, как все это вместе потом будет собрано в единое доказательство. Понятно, что люди торопились, конкурировали. В результате, кусочки, которые они делали - это в совокупности около 10000 журнальных страниц, и это только то, что опубликовано. А есть еще и статьи, которые существовали или в виде препринтов, или в виде машинописных копий. Я сам одну такую статью читал в свое время, она так никогда и не была опубликована, хотя включает в себя заметный кусочек этого полного доказательства. И вот эти 10000 страниц разбросаны в разных журналах, написаны разными людьми, с разной степенью понятности, и обычному математику, не связанному с этим и не являющемуся одним из архитекторов этой теории, мало того что невозможно прочитать все 10000 страниц, так еще и очень трудно понять само устройство доказательства. К тому же с тех пор некоторые из этих архитекторов просто умерли.
Объявили, что классификация завершена, хоть доказательство и существует лишь в виде текста, который никто прочитать не может, и это привело к следующей неприятности. Новые математики с меньшей охотой стали идти в теорию конечных групп. Все меньше и меньше людей этим занимается. И вполне может случиться, что через 50 лет уже вообще на Земле не найдется человека, который будет способен что-то понять в этом доказательстве. Будут ходить легенды: наши великие предки умели доказывать, что все конечные простые группы перечислены вот в этом списке, и что других нет, но сейчас это знание утеряно. Вполне реалистичная ситуация. Но, к счастью, не один я считаю эту ситуацию реалистичной, поэтому с ней борются, и я слышал, что даже организовали специальный проект «Философские и математические проблемы, связанные с доказательством классификации конечных простых групп». Есть люди, которые пытаются это доказательство привести к читаемому виду, и, может быть, когда-нибудь это действительно получится. Есть люди, которые пытаются разобраться, что же делать со всеми этими трудностями. Человечество помнит об этой задаче, и, значит, оно с ней, в конце концов справится. Но тем не менее вполне может быть, что будут появляться другие такие же сложные теоремы, которые могут быть доказаны, но доказательство которых никто не способен прочитать, никто не способен никому рассказать.
Четвертая теорема
Ну и теперь четвертая теорема, о которой я немного расскажу, может быть даже самая страшная - «ежели даже и сможет рассказать, то никто не заинтересуется». Некий осколок от этой проблемы уже прозвучал. Людям перестало интересно заниматься конечными группами. Все меньше и меньше людей этим занимаются, и масса знаний, которая сохранилась в виде текстов, уже никому не нужна, ее никто не умеет читать. Это тоже беда, которая грозит многим областям математики.
Понятно, что некоторым областям математики везет. Например, та же самая теория графов и комбинаторика. Чтобы серьезно начать ими заниматься, нужно знать совсем немного. Вы немножко узнали, порешали олимпиадные задачки, один шаг - и перед вами уже нерешенная проблема. Есть за что взяться - ура, беремся, интересно, занимаемся. Но есть области математики, в которых даже для того, чтобы почувствовать, что эта область действительно красива, и что ей хочется заниматься, нужно очень многое узнать. И при этом по дороге еще много другого красивого узнаешь. Но тебя не должны эти красоты, встреченные по дороге, отвлечь, и в конце концов ты добираешься вот туда, в самые дебри, уже там видишь красоту, и уже тогда, узнав очень многое, становишься способен заниматься этой областью математики. И вот эта трудность - проблема для таких областей. Чтобы область математики развивалась, нужно, чтобы ею занимались. Достаточному числу людей это должно быть настолько интересно, чтобы они преодолели все трудности, забрались туда и уже после этого продолжили этим заниматься. И сейчас математика доходит до такого уровня сложности, что для многих областей именно это становится основной проблемой.
Как человечество со всеми этими проблемами будет справляться - я не знаю, но посмотреть будет интересно.
Вот, собственно, и все.
Грандиозное событие
Как-то в новогоднем выпуске рассылки о том, как произносить тосты, я вскользь упомянул, что в конце ХХ века произошло одно грандиозное событие, которого многие не заметили - была, наконец-то доказана так называемая Великая теорема Ферма . По этому поводу среди полученных писем я обнаружил два отклика от девушек (одна из них, насколько помню - девятиклассница Вика из Зеленограда), которых удивил данный факт.
А меня удивило то, насколько живо девочки интересуются проблемами современной математики. Поэтому, думаю, что не только девочкам, но и мальчикам всех возрастов - от старшеклассников до пенсионеров, тоже будет интересно узнать историю Великой теоремы.
Доказательство теоремы Ферма - великое событие. А т.к. со словом "великий" не принято шутить, то знать историю теоремы, мне кажется, каждый уважающий себя оратор (а все мы, когда говорим - ораторы) просто обязан.
Если так получилось, что вы не любите математику так, как люблю ее я, то некоторые углубления в детали просматривайте беглым взором. Понимая, что не всем читателям нашей рассылки интересно блуждать в математических дебрях, я постарался не приводить никаких формул (кроме самого уравнения теоремы Ферма) и максимально упростить освещение некоторых специфических вопросов.
Как Ферма заварил кашу
Французский юрист и по совместительству великий математик XVII века Пьер Ферма (1601-1665) выдвинул одно любопытное утверждение из области теории чисел, которое впоследствии получило название Великой (или Большой) теоремы Ферма. Это одна из самых известных и феноменальных математических теорем. Наверно, ажиотаж вокруг нее был бы не так силен, если бы в книге Диофанта Александрийского (III век) "Арифметика", которую Ферма частенько штудировал, делая пометки на ее широких полях, и которую любезно сохранил для потомков его сын Сэмюэл, не была обнаружена примерно следующая запись великого математика:
"Я располагаю весьма поразительным доказательством, но оно слишком велико, чтобы его можно было разместить на полях".
Она-то, эта запись, и явилась причиной последующей грандиозной суматохи вокруг теоремы.
Итак, знаменитый ученый заявил, что доказал свою теорему. Давайте же зададимся вопросом: действительно ли он ее доказал или банально соврал? Или есть другие версии, объясняющие появление той записи на полях, не дававшей спокойно спать многим математикам следующих поколений?
История Великой теоремы увлекательна, как приключение во времени. В 1636 году Ферма заявил, что уравнение вида Хn+Yn=Zn не имеет решений в целых числах при показателе степени n>2. Это собственно и есть Большая теорема Ферма. В этой, казалось бы, простой с виду математической формуле Вселенная замаскировала невероятную сложность.
Несколько странным является то, что почему-то теорема опоздала с появлением на свет, поскольку ситуация назрела давно, ведь ее частный случай при n=2 - другая знаменитая математическая формула - теорема Пифагора, возникла на двадцать два столетия раньше. В отличие от теоремы Ферма, теорема Пифагора имеет бесконечное множество целочисленных решений, например, такие пифагоровы треугольники: (3,4,5), (5,12,13), (7,24,25), (8,15,17) … (27,36,45) … (112,384,400) … (4232, 7935, 8993) …
Синдром Великой теоремы
Кто только не пытался доказать теорему Ферма. Любой свежеоперившийся студент считал своим долгом приложиться к Великой теореме, но доказать ее всё никак никому не удавалось. Сначала не удавалось сто лет. Потом еще сто. Среди математиков стал развиваться массовый синдром: "Как же так? Ферма доказал, а я что, не смогу что ли?" и некоторые из них на этой почве свихнулись в полном смысле этого слова.
Сколько бы теорему не проверяли - она всегда оказывалась верна. Я знал одного энергичного программиста, который был одержим идеей опровергнуть Великую теорему, пытаясь найти хотя бы одно ее решение методом перебора целых чисел с использованием быстродействующего компьютера (в то время чаще именовавшегося ЭВМ). Он верил в успех своего предприятия и любил приговаривать: "Еще немного - и грянет сенсация!". Думаю, что в разных местах нашей планеты имелось немалое количество такого сорта смелых искателей. Ни одного решения он, конечно же, не нашел. И никакие компьютеры, хоть даже со сказочным быстродействием, никогда не смогли бы проверить теорему, ведь все переменные этого уравнения (в том числе и показатели степени) могут возрастать до бесконечности.
Самый виртуозный и плодотворный математик XVIII века Леонард Эйлер, архив записей которого человечество разгребало почти целый век, доказал теорему Ферма для степеней 3 и 4 (вернее, он повторил утерянные доказательства самого Пьера Ферма); его последователь в теории чисел, Лежандр - для степени 5; Дирихле - для степени 7. Но в общем виде теорема оставалась недоказанной.
В начале XX века (1907) состоятельный немецкий любитель математики по фамилии Вольфскель завещал сто тысяч марок тому, кто предъявит полное доказательство теоремы Ферма. Начался ажиотаж. Математические кафедры были завалены тысячами доказательств, но все они, как вы догадываетесь, содержали в себе ошибки. Говорят, что в некоторых университетах Германии, в которые в большом количестве поступали "доказательства" теоремы Ферма, были заготовлены бланки примерно такого содержания:
Уважаемый __________________________!
В Вашем доказательстве теоремы Ферма на ____ странице в ____ строчке сверху
в формуле:__________________________ обнаружена следующая ошибка:,
Которые рассылались незадачливым соискателям премии.
В то время в кругу математиков появилось полупрезрительное прозвище - фермист. Так называли всякого самоуверенного выскочку, которому не хватало знаний, но зато с лихвой хватало амбиций для того, чтобы второпях попробовать силенки в доказательстве Великой теоремы, а затем, не заметив собственных ошибок, гордо хлопнув себя в грудь, громко заявить: "Я первый доказал теорему Ферма!". Каждый фермист, будь он хоть даже десятитысячным по счету, считал себя первым - это и было смешным. Простой внешний вид Великой теоремы так сильно напоминал фермистам легкую добычу, что их абсолютно не смущало, что даже Эйлер с Гауссом не смогли справиться с ней.
(Фермисты, как ни странно, существуют и ныне. Один из них хоть и не считал, что доказал теорему, как классический фермист, но до недавних пор предпринимал попытки - отказался верить мне, когда я сообщил ему, что теорема Ферма уже доказана).
Наиболее сильные математики, может быть, в тиши своих кабинетов тоже пробовали осторожно подходить к этой неподъемной штанге, но не говорили об этом вслух, дабы не прослыть фермистами и, таким образом, не навредить своему высокому авторитету.
К тому времени появилось доказательство теоремы для показателя степени n
