Трансцендентные числа. Что такое трансцендентность, или почему мы не можем познать самих себя. Отрывок, характеризующий Трансцендентное число

При передаче данных по каналам связи всегда возникают ошибки. Причины их могут быть самые различные, но результат оказывается один - данные искажаются и не могут быть использованы на приемной стороне для дальнейшей обработки. Борьба с возникающими ошибками ведется на разных уровнях семиуровневой модели OSI (в основном на первых четырех). Для борьбы с возникающими ошибками известно много различных способов. Все их можно подразделить на две группы: не использующие обратную связь и использующие обратную связь.

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

Нередко встречаются случаи, когда информация может пере­даваться не только от одного корреспондента к другому, но и в обратном направлении.

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

Возможны различные способы использования системы с обрат­ной связью в дискретном канале. Обычно их подразделяют на два типа: системы с информационной обратной связью и системы с управляющей обратной связью .

Системами с информационной обратной связью называются такие, в которых с приемного устройства на передающее поступает информация о том, в каком виде принято сообщение. На основании этой информации передающее устройство может вносить те или иные изменения в процесс передачи сообщения: например, повторить ошибочно принятые от­резки сообщения, изменить применяемый код (передав предвари­тельно соответствующий условный сигнал и убедившись в том, что он принят), либо вообще прекратить передачу при плохом со­стоянии канала до его улучшения.

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

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

Функциональная схема такой системы показана на рис. 8.37. Передаваемое сообщение, закодированное примитивным кодом, посылают в канал и одно­временно записывают в запоминающем устройстве (накопителе). Принятая ко­довая комбинация сразу не декодируется, запоминается в приемном накопи­теле и возвращается по обратному каналу на передающую сторону, где она сравнивается с переданной комбинацией. Если они совпадают, то передается следующая кодовая комбинация, в противном случае передается сигнал стирания.

При этом методе окончательный ошибочный прием кодовой комбинации возможен лишь тогда, когда ошибки в принятой комбинации компенсируются ошибками, возникающими в канале обратной связи. Другими словами, для того чтобы некоторый символ в переданной кодовой комбинации был окончательно принят ошибочно, необходимо и достаточно, чтобы, во-первых, произошла ошибка в прямом канале и, во-вторых, при ретрансляции произошла такая ошибка, которая изменит неправильный ретранслируемый символ на действи­тельно переданный. Это позволяет сразу вычислить вероятность необнаружен­ной, а следовательно, и неисправленной ошибки (в расчете на один символ):

где - вероятность ошибки в прямом канале; - вероятность противополож­ной ошибки в канале обратной связи.

Следовательно, если и велики, то система с полной ретрансляцией дает неудовлетворительные результаты. Практически данный метод имеет смысл в тех случаях, когда канал обратной связи обеспечивает весьма высокую вер­ность (например, при передаче сообщений на спутник с Земли), а прямой канал имеет низкую верность (например, при передаче сообщений со спутника на Землю ввиду того, что мощность передатчика на спутнике мала). Существен­ным недостатком системы с полной ретрансляцией является большая загрузка канала обратной связи. Существуют и более сложные системы с информа­ционной обратной связью, в которых используются помехоустойчивые коды.

Наиболее распространены системы с управляющей обратной связью (УОС) при использовании избыточных кодов для обнару­жения ошибок (рис. 8.38). Такие системы часто называют систе­мами с переспросом , или с автоматическим запросом ошибок , или с решающей обратной связью (РОС).

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

В системах с решающей обратной связью применяются процедуры обнаружения ошибок и переспроса также называемые решающей обратной связью или обнаружением ошибок с автоматическим запросом повторения (АЗП, ARQ - Automatic Repeat Request ). В этом случае код применяется только в режиме обнаружения ошибок, что позволяет достичь очень низкой вероятности необнаруженной ошибки при незначительном уровне вводимой избыточности.

Для реализации механизма ARQ передаваемые данные организуются в специальные блоки, которые называются кадрами.

Системами передачи дискретной информации с обратной связью (ОС) называют системы, в которых повторение ранее переданной происходит лишь после приема сигнала ОС. Системы с обратной связью делятся на системы с решающей ОС и информационной ОС.

Системы с решающей обратной связью

В приемнике системы правильно принятые комбинации накапливаются в накопителе и, если после приема блока хотя бы одна из комбинаций не будет принята, то формируется сигнал переспроса, единый на весь блок. Повторяется снова весь блок, а в приемнике системы из блока отбираются комбинации, не принятые при первой передаче. Переспросы производятся до тех пор, пока не будет приняты все комбинации блока. После приема всех комбинаций посылается сигнал подтверждения. Получив его, передатчик передает следующий блок комбинаций (системы с адресным переспросом - РОС-АП). Эти системы во многом аналогичны системам с накоплением, но в отличие от последних приемник их формирует и передает сложный сигнал переспроса, в котором указываются условные номера (адреса) не принятых приемником комбинаций блока. В соответствии с этим сигналом, передатчик повторяет не весь блок, как в системе с накоплением, а лишь не принятые комбинации (системы с последовательной передачей кодовых комбинаций - РОС-ПП).

Известны различные варианты построения систем РОС-ПП, основными из которых являются:

Системы с изменением порядка следования комбинаций (РОС-ПП). В этих системах приемник стирает лишь комбинации, по которым решающим устройством принято решение на стирание, и только по этим комбинациям посылает на передатчик сигналы переспроса. Остальные комбинации выдаются в ПИ по мере их поступления.

Системы с восстановлением порядка следования комбинаций (РОС-ПП). От систем РОС-ПП данные системы отличаются лишь тем, что приемник их содержит устройство, восстанавливающее порядок следования комбинаций.

Системы с переменным уплотнением (РОС-ПП). Здесь передатчик поочередно передает комбинации из последовательностей, причем число последних выбирается так, чтобы ко времени передачи комбинаций на передатчике уже был принят сигнал ОС по ранее переданной комбинации этой последовательности.

Системы с блокировкой приемника на время приема комбинаций после обнаружения ошибки и повторением или переносом блока из комбинаций (РОС-ПП).

Системы с контролем заблокированных комбинаций (РОС-ПП). В этих системах после обнаружения ошибки в кодовой комбинации и передачи сигнала переспроса производится контроль на наличие обнаруженных ошибок h -1 комбинаций, следующих за комбинацией с обнаруженной ошибкой.

Системы с информационной обратной связью

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

Важную роль при сравнении передачи сообщений с РОС и ИОС играют также длина используемого кода n и его избыточность s/t. Если избыточность невелика (s/n<0,3), то даже при бесшумном обратном канале ИОС практически не обеспечивает по достоверности преимущества перед РОС. Однако скорость передачи у систем с ИОС по-прежнему выше. Следует указать еще одно преимущество систем с ИОС, обусловленное различием в скорости. Каждому заданному значению эквивалентной вероятности ошибки соответствует оптимальная длина кода, при отклонении от которой скорость передачи в системе с РОС уменьшается. В системах с ИОС при s/n>0,3 передачу сообщений выгоднее вести короткими кодами. При заданной наперед достоверности скорость передачи от этого становится больше. Это выгодно с практической точки зрения, т.к осуществлять кодирование и декодирование при коротких кодах легче. С увеличением избыточности кода преимущество систем с ИОС по достоверности передачи возрастает даже при одинаковых по помехоустойчивости прямом и обратном каналах, особенно если передача сообщений и квитанции в системе с ИОС организована так, что ошибки в них оказываются некорректированными. Энергетический выигрыш в прямом канале системы с ИОС оказывается на порядок выше, чем в системе с РОС. Таким образом, ИОС во всех случаях обеспечивает равную или более высокую помехозащищенность передачи сообщений по прямому каналу, особенно при больших s и бесшумном обратном канале. ИОС наиболее рационально применять в таких системах, где обратный канал по роду своей загрузки может быть без ущерба для других целей использован для эффективной передачи квитирующей информации.

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

Число называется алгебраическим , если оно является корнем некоторого многочлена с целыми коэффициентами

a n x n +a n-1 x n-1 +... +a 1 x+a 0 (т. е. корнем уравнения a n x n +a n-1 x n-1 +... +a 1 x+a 0 =0 , где a n , a n-1 , ..., a 1 , a 0 --- целые числа, n 1 , a n 0 ).

Множество алгебраических чисел обозначим буквой .

Легко видеть, что любое рациональное число является алгебраическим. Действительно, - корень уравнения qx-p=0 с целыми коэффициентами a 1 =q и a 0 =-p . Итак, .

Однако не все алгебраические числа рациональны: например, число является корнем уравнения x 2 -2=0 , следовательно, --- алгебраическое число.

Долгое время оставался нерешенным важный для математики вопрос: Существуют ли неалгебраические действительные числа? Только в 1844 году Лиувилль впервые привел пример трансцендентного (т. е. неалгебраического) числа.

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

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

Построим взаимно однозначное соответствие между и некоторым подмножеством . Это будет означать, что - конечно либо счетно. Но поскольку , то бесконечно, и значит, счетно.

Пусть - некоторое алгебраическое число. Рассмотрим все многочлены с целыми коэффициентами, корнем которых является , и выберем среди них многочлен P минимальной степени (т. е. не будет корнем никакого многочлена с целыми коэффициентами меньшей степени).

Например, для рационального числа такой многочлен имеет степень 1, а для числа - степень 2.

Разделим все коэффициенты многочлена P на их наибольший общий делитель. Получим многочлен, коэффициенты которого взаимно просты в совокупности (их наибольший общий делитель равен 1). Наконец, если старший коэффициент a n отрицателен, умножим все коэффициенты многочлена на -1 .

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

Можно доказать, что такой многочлен определяется однозначно: каждое алгебраическое число имеет ровно один минимальный многочлен.

Количество действительных корней многочлена не больше чем его степень. Значит, можно пронумеровать (например, по возрастанию) все корни такого многочлена.

Теперь всякое алгебраическое число полностью определяется своим минимальным многочленом (т. е. набором его коэффициентов) и номером, который отличает от других корней этого многочлена: (a 0 ,a 1 ,...,a n-1 ,a n ,k).

Итак, каждому алгебраическому числу мы поставили в соответствие конечный набор целых чисел, причем по этому набору восстанавливается однозначно (т. е. разным числам соответствуют разные наборы).

Пронумеруем в порядке возрастания все простые числа (нетрудно показать, что их бесконечно много). Получим бесконечную последовательность {p k } : p 1 =2 ,p 2 =3 , p 3 =5 , p 4 =7 , ... Теперь набору целых чисел (a 0 ,a 1 ,...,a n-1 ,a n ,k) можно поставить в соответствие произведение

(это число положительное и рациональное, но не всегда натуральное, ведь среди чисел a 0 , a 1 , ..., a n-1 , могут быть отрицательные). Заметим, что это число есть несократимая дробь, поскольку простые множители, входящие в разложения числителя и знаменателя, различны. Заметим также, что две несократимые дроби с положительными числителями и знаменателями равны тогда и только тогда, когда и их числители равны, и их знаменатели равны.

Рассмотрим теперь сквозное отображение:

(a 0 ,a 1 ,...,a n-1 ,a n ,k) =

Поскольку разным алгебраическим числам мы поставили в соответствие разные наборы целых чисел, а разным наборам --- разные рациональные числа, то мы, таким образом, установили взаимно однозначное соответствие между множеством и некоторым подмножеством . Поэтому множество алгебраических чисел счетно.

Так как множество действительных чисел несчетно, то мы доказали существование неалгебраических чисел.

Однако теорема существования не указывает как определить, является ли данное число алгебраическим. А этот вопрос иногда является весьма важным для математики.

В этом параграфе мы снова покинем прекрасное и уютное царство целых чисел, по которому разгуливали (чуть было не сказал - слонялись) изучая теорию сравнений. Если проследить историю возникновения и развития знаний человечества о числах, то выявится довольно парадоксальный факт - на протяжении почти всей своей многовековой истории человечество использовало на практике и пристально изучало исключительно малую долю всего множества живущих в природе чисел. Люди долгое время совершенно не подозревали о существовании, как выяснилось впоследствии, подавляющего большинства действительных чисел, наделенных удивительными и загадочными свойствами и называемых теперь трансцендентными. Судите сами (перечисляю ориентировочные этапы развития понятия действительного числа):

1) Идущая из глубины тысячелетий гениальная математическая абстракция натурального числа

Гениальность этой абстракции поражает, а ее значение для развития человечества превосходит, наверное, даже изобретение колеса. Мы привыкли к ней настолько, что перестали восхищаться этим самым выдающимся достижением человеческого разума. Однако попробуйте, для пущей достоверности представив себя не студентом-математиком, а первобытным человеком, или, скажем, студентом-филологом, сформулировать точно, что общего имеется между тремя хижинами, тремя быками, тремя бананами и тремя ультразвуковыми томографами (что общего между тремя собутыльниками мы здесь не рассматриваем). Объяснять не математику, что такое натуральное число “три” - почти безнадежная затея, однако уже пятилетний человеческий детеныш внутренне ощущает эту абстракцию и в состоянии разумно оперировать с ней, выпрашивая у мамы три конфеты вместо двух.

2) Дроби, т.е. положительные рациональные числа

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

3) Отрицательные числа и ноль (согласно некоторым научным источникам

Отрицательные числа первоначально трактовались как долг при финансовых и бартерных расчетах, однако потом выяснилось, что без отрицательных чисел и в других областях человеческой деятельности никуда не денешься (кто не верит, пусть посмотрит зимой на градусник за окном). Число ноль, на мой взгляд, первоначально служило скорее не символом пустого места и отсутствием всякого количества, а символом равенства и завершенности процесса расчетов (сколько был должен соседу, столько ему и отдал, и вот теперь – ноль, т.е. жалко).

4) Иррациональные алгебраические числа

Иррациональные числа открыли в пифагорейской школе при попытке соизмерить диагональ квадрата с его стороной, но хранили это открытие в страшной тайне – как бы смуты не вышло! В это открытие посвящались только наиболее психически устойчивые и проверенные ученики, а истолковывалось оно как отвратительное явление, нарушающее гармонию мира. Но нужда и война заставили человечество учиться решать алгебраические уравнения не только первой степени с целыми коэффициентами. После Галилея снаряды стали летать по параболам, после Кеплера планеты полетели по эллипсам, механика и баллистика стали точными науками и везде нужно было решать и решать уравнения, корнями которых являлись иррациональные числа. Поэтому с существованием иррациональных корней алгебраических уравнений пришлось смириться, какими бы отвратительными они не казались. Более того, методы решения кубических уравнений и уравнений четвертой степени, открытые в 16 веке итальянскими математиками Сципионом дель Ферро, Никколо Тартальей (Тарталья – это прозвище, означающее в переводе – заика, настоящей его фамилии я не знаю), Людовиком Феррари и Рафаэлем Бомбелли привели к изобретению совсем уж “сверхъестественных” комплексных чисел, которым суждено было получить полное признание только в 19 веке. Алгебраические иррациональности прочно вошли в человеческую практику уже с 16 века.

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

Лишь только в 1844 году Лиувилль построил исторически первый пример трансцендентного числа, а математический мир удивился самому факту существования таких чисел. Лишь только в 19 веке гениальный Георг Кантор понял, используя понятие мощности множества, что на числовой прямой трансцендентных чисел подавляющее большинство. Лишь только в пятом параграфе этой небольшой книжки мы, наконец-то, обратим на трансцендентные числа свое внимание.

Пункт 24. Мера и категория на прямой.

В этом пункте я приведу некоторые предварительные сведения из математического анализа необходимые для понимания дальнейшего изложения. В математике придумано довольно много различных формализаций понятия “малости” множества. Нам понадобятся два из них - множества меры нуль и множества первой категории по Бэру. Оба эти понятия опираются на понятие счетности множества. Известно, что множество рациональных чисел счетно (| Q |= А 0), и что любое бесконечное множество содержит счетное подмножество, т.е. счетные множества самые “маленькие” из бесконечных. Между любым счетным множеством и множеством натуральных чисел N существует биективное отображение, т.е. элементы любого счетного множества можно перенумеровать, или, другими словами, любое счетное множество можно выстроить в последовательность. Ни один интервал на прямой не является счетным множеством. Это, очевидно, вытекает из следующей теоремы.

Теорема 1 (Кантор). Для любой последовательности { a n } действительных чисел и для любого интервала I существует точка р О I такая, что p № a n для любого n О N .

Доказательство. Процесс. Берем отрезок (именно отрезок, вместе с концами) I 1 М I такой, что a 1 П I 1 . Из отрезка I 1 берем отрезок I 2 М I 1 такой, что a 2 П I 2 и т.д. Продолжая процесс, из отрезка I n -1 берем отрезок I n М I n -1 такой, что a n П I n . В результате этого процесса получаем последовательность вложенных отрезков I 1 Й I 2 Й … Й I n Й … пересечение
которых, как известно с первого курса, непусто, т.е. содержит некоторую точку
. Очевидно, что p № a n при всех n О N .

Я не думаю, что читатели ранее не встречались с этим изящным доказательством (хотя в моей практике встречались и очень темные студенты), просто идея этого доказательства далее будет использована при доказательстве теоремы Бэра и поэтому ее полезно напомнить заранее.

Определение. Множество А плотно в интервале I , если оно имеет непустое пересечение с каждым подинтервалом из I . Множество А плотно, если оно плотно в R . Множество А нигде не плотно, если оно не плотно ни в каком интервале на действительной прямой, т.е. каждый интервал на прямой содержит подинтервал, целиком лежащий в дополнении к А .

Легко понять, что множество А нигде не плотно тогда и только тогда, когда его дополнение A ў содержит плотное открытое множество. Легко понять, что множество А нигде не плотно тогда и только тогда, когда его замыкание
не имеет ни одной внутренней точки.

Нигде не плотные множества на прямой интуитивно ощущаются маленькими в том смысле, что в них полным полно дыр и точки такого множества расположены на прямой довольно редко. Некоторые свойства нигде не плотных множеств сформулируем скопом в виде теоремы.

Теорема 2. 1) Любое подмножество нигде не плотного множества нигде не плотно.

2) Объединение двух (или любого конечного числа) нигде не плотных множеств нигде не плотно.

3) Замыкание нигде не плотного множества нигде не плотно.

Доказательство. 1) Очевидно.

2) Если A 1 и A 2 нигде не плотны, то для каждого интервала I найдутся интервалы I 1 М (I \ A 1) и I 2 М (I 1 \ A 2). Значит, I 2 М I \(A 1 И A 2), а это означает, что A 1 И A 2 нигде не плотно.

3) Очевидно, что любой открытый интервал, содержащийся в A ў , содержится также и в
.

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

Определение. Множество, которое можно представить в виде конечного или счетного объединения нигде не плотных множеств, называется множеством первой категории (по Бэру). Множество, которое нельзя представить в таком виде, называется множеством второй категории.

Теорема 3. 1) Дополнение любого множества первой категории на прямой является плотным.

2) Никакой интервал в R не является множеством первой категории.

3) Пересечение любой последовательности плотных открытых множеств является плотным множеством.

Доказательство. Три сформулированных в теореме свойства являются по существу эквивалентными. Докажем первое. Пусть

– представление множества А первой категории в виде счетного объединения нигде не плотных множеств, I – произвольный интервал. Далее - процесс как в доказательстве теоремы Кантора. Выберем отрезок (именно отрезок, вместе с концами) I 1 М (I \ A 1). Это возможно сделать, так как в дополнении к нигде не плотному множеству A 1 внутри интервала I всегда найдется целый подинтервал, а он, в свою очередь, содержит внутри себя целый отрезок. Выберем отрезок I 2 М (I 1 \ A 2). Выберем отрезок I 3 М (I 2 \ A 3) и т.д. Пересечение вложенных отрезков
не пусто, следовательно, дополнение I \ A не пусто, а это означает, что дополнение A ў плотно.

Второе утверждение теоремы непосредственно следует из первого, третье утверждение также следует из первого, если только сделать над собой усилие и перейти к дополнениям последовательности плотных открытых множеств.

Определение. Класс множеств, содержащий всевозможные конечные или счетные объединения своих членов и любые подмножества своих членов, называется s - идеалом.

Очевидно, что класс всех не более чем счетных множеств является s -идеалом. После небольших размышлений, легко понять, что класс всех множеств первой категории на прямой также является s -идеалом. Еще один интересный пример s -идеала дает класс так называемых нуль-множеств (или множеств меры нуль).

Определение. Множество А М R называется множеством меры нуль (нуль-множеством), если А можно покрыть не более чем счетной совокупностью интервалов, суммарная длина которых меньше любого наперед заданного числа e >0 , т.е. для любого e >0 существует такая последовательность интервалов I n , что
и е Ѕ I n Ѕ < e .

Понятие нуль-множества является другой формализацией интуитивного понятия “малости” множества: нуль-множества - это множества маленькие по длине. Очевидно, что отдельная точка является нуль-множеством и что любое подмножество нуль-множества само является нуль-множеством. Поэтому тот факт, что нуль-множества образуют s -идеал вытекает из следующей теоремы.

Теорема 4 (Лебег). Любое счетное объединение нуль-множеств является нуль-множеством.

Доказательство. Пусть A i – нуль-множества, i = 1, 2, ... . Тогда для каждого i существует последовательность интервалов I ij (j =1, 2, ...) такая, что
и
. Множество всех интервалов I ij покрывает А и сумма их длин меньше e , так как
. Значит, А – нуль-множество.

Никакой интервал или отрезок не является нуль-множеством, т.к. справедлива

Теорема 5 (Гейне – Борель). Если конечная или бесконечная последовательность интервалов I n покрывает интервал I , то

S Ѕ I n Ѕ і Ѕ I Ѕ .

Я не буду приводить здесь доказательство этой интуитивно очевидной теоремы ибо его можно найти в любом мало-мальски серьезном курсе математического анализа.

Из теоремы Гейне-Бореля следует, что s -идеал нуль-множеств, подобно s -деалам не более чем счетных множеств и множеств первой категории не содержит интервалов и отрезков. Общим между этими тремя s -идеалами является также то, что они включают в себя все конечные и счетные множества. Кроме того, существуют несчетные множества первой категории меры нуль. Наиболее знакомый пример такого множества - канторово совершенное (*) множество c М , состоящее из чисел, в троичной записи которых нет единицы. Вспомните процесс построения канторова совершенного множества: отрезок делится на три равные части и средний открытый интервал выкидывается. Каждая из двух оставшихся третей отрезка снова делится на три равные части и средние открытые интервалы из них выкидываются и т.д. Очевидно, что оставшееся после этого процесса множество нигде не плотно, т.е. первой категории. Легко подсчитать, что суммарная длина выкинутых средних частей равна единице, т.е. с имеет меру нуль. Известно, что с несчетно, т.к. несчетно множество бесконечных последовательностей, состоящих из нулей и двоек (каждый элемент с представляется троичной дробью в которой после запятой идет именно последовательность из нулей и двоек).

Предлагаю читателям самостоятельно проверить, что существуют множества первой категории, не являющиеся нуль-множествами, и существуют нуль-множества, не являющиеся множествами первой категории (впрочем, если вас затруднит придумывание соответствующих примеров, не отчаивайтесь, а просто дочитайте этот пункт до теоремы 6).

Таким образом, картинка соотношений между рассматриваемыми тремя s -идеалами такова:

Итак, мы ввели два понятия малости множеств. Нет ничего парадоксального, что множество, малое в одном смысле, может в другом смысле оказаться большим. Следующая теорема неплохо иллюстрирует эту мысль и показывает, что в некоторых случаях, введенные нами понятия малости могут оказаться диаметрально противоположными.

Теорема 6. Числовую прямую можно разбить на два дополняющих друг друга множества А и В так, что А есть множество первой категории, а В имеет меру нуль.

Доказательство. Пусть a 1 , a 2 ,…, a n ,… – занумерованное множество рациональных чисел (или любое другое счетное всюду плотное подмножество R ). Пусть I ij – открытый интервал длины 1/2 i+j c центром в точке a i . Рассмотрим множества:

, j =1,2,...;

; A = R \ B = B ў .

Очевидно, что для любого e >0, можно выбрать j так, что 1/2 j < e . Тогда

,

следовательно, В – нуль-множество.

Далее,
– плотное открытое подмножество R т.к. оно есть объединение последовательности открытых интервалов и содержит все рациональные точки. Это означает, что его дополнение G j ў нигде не плотно, следовательно
– множество первой категории.

Не правда ли, удивительный результат! Из доказанной теоремы следует, что каждое подмножество прямой, оказывается, можно представить в виде объединения нуль-множества и множества первой категории. В следующем пункте мы рассмотрим конкретное разбиение R на два подмножества, одно из которых - трансцендентные числа Лиувилля - меры нуль, но второй категории по Бэру. Скорей в следующий пункт!

Слово «трансцендентный» обычно ассоциируется с трансцендентальной медитацией и разнообразной эзотерикой. Но чтобы употреблять его правильно, нужно как минимум отличать его от термина «трансцендентальный», а как максимум - вспомнить его роль в работах Канта и других философов.

Это понятие произошло от латинского transcendens - «переступающий», «превосходящий», «выходящий за пределы». В целом он обозначает то, что принципиально недоступно для эмпирического познания или не основано на опыте. Предпосылки термина возникли еще в философии неоплатонизма - основатель направления Плотин создал учение о Едином - всеблагом первоначале, которое невозможно познать ни усилием мысли, ни с помощью чувственного опыта. «Единое не есть сущее, но родитель его» - объясняет философ.

Полнее всего термин «трансцендентный» был раскрыт в философии Иммануила Канта, где он использовался для характеристики , существующих независимо от сознания и действующих на наши органы чувств, оставаясь при этом принципиально непознаваемыми, как на практике, так и в теории. Противоположность трансцендентности - : она означает либо неотъемлемость, внутреннюю связь какого-либо качества объекта с самим объектом, либо познаваемость объекта на личном опыте. Например, если предположить, что Вселенная создана по какому-то высшему замыслу, сам замысел для нас трансцендентен - мы можем только строить гипотезы о нем. Но если этот замысел существует в действительности, его последствия для нас имманентны, проявляясь в физических законах и обстоятельствах, в которые мы попадаем. Поэтому в некоторых теологических концепциях Бог трансцендентен и находится вне созданного им бытия.

Некоторые вещи-в-себе все же доступны априорному познанию: например, пространство и время, идеи Бога, добра и красоты, логические категории. То есть трансцендентальные объекты - это, образно говоря, «предустановленные по умолчанию» в нашем разуме

Представление о трансцендентности существует и в математике: трансцендентное число - это число, которое не может быть вычисленным при помощи алгебры или выраженным алгебраически (то есть, не может быть корнем многочлена с целыми коэффициентами, не тождественного нулю). В их число входят, например, числа π и e.

Понятие, близкое к «трансцендентному», но иное по значению - «трансцендентальное». Изначально оно обозначало просто область отвлеченных умственных категорий, а впоследствии его развил Кант, попав в собственную ловушку: построить философскую систему только на эмпирических данных оказалось невозможно, а никаких других источников опыта, кроме эмпирики он не признавал. Чтобы выкрутиться, философу пришлось допустить, что некоторые вещи-в-себе все же доступны априорному познанию: например, пространство и время, идеи Бога, добра и красоты, логические категории. То есть трансцендентальные объекты - это, образно говоря, «предустановленные по умолчанию» в нашем разуме - при этом информация о них существует сама по себе и не следует из нашего опыта.

Существует и еще одно родственное понятие - трансценденция. В широком смысле слова оно означает переход границы между двумя разнородными областями, в особенности переход из сферы посюстороннего в сферу потустороннего, трансцендентного. Для простоты возьмем пример из фантастики: параллельный мир для обычного человека - трансцендентное явление. Но когда герой попадает в этот параллельный мир или каким-то образом оказывается способен его воспринимать, это трансценденция. Или более сложный пример из экзистенциальной философии: Жан-Поль Сартр считал, что человек трансцендентен, поскольку он выходит за рамки любого возможного собственного опыта: мы можем изучать себя и окружающий мир с разных сторон, но никогда даже не приблизимся к полному познанию себя. Но одновременно человек обладает способностью к трансценденции: он трансцендирует любую вещь, придавая ей какое-либо значение. Трансценденция - важный элемент и в религии: она помогает человеку освободиться от своей материальной природы и прикоснуться к чему-то запредельному.

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

Как говорить

Неправильно «Я записалась на занятия по трансцендентной медитации». Правильно - «трансцендентальной».

Правильно «Когда я захожу в храм, я испытываю чувство слияния с чем-то трансцендентным».

Правильно «Искусство трансцендирует знакомые нам предметы из материального мира, наполняя их высшим смыслом».