Документ взят из кэша поисковой машины. Адрес оригинального документа : http://kvant.mccme.ru/pdf/2001/02/32.pdf Дата изменения: Fri Dec 23 19:26:18 2005 Дата индексирования: Tue Oct 2 00:13:23 2012 Кодировка: Windows-1251 Поисковые слова: m 5

КАЛЕЙДОСКОП

'КВАНТА'

Есть такая функция!
Профессор логики упомянул во время лекции, что, насколько ему известно, ни в одном естественном языке два утверждения никогда не означают отрицания. Из задних рядов раздалось саркастическое: Ну да, конечно!.

Существует ли многочлен, все значения которого положительные числа, причем среди этих значений есть сколь угодно малые числа? Да, существует! Правда, это многочлен не от одной, а от нескольких переменных:
f x, y = x2 + xy - 1

построить соответствующий квадрат n n со стороной 1 2 . Образуется последовательность квадратов
K n K , общая точка которых образ точки t. ______________ 1 2 3 K

придуманы или прошло уже слишком много времени читайте дальше. Вот ответы на поставленные вопросы. а) Годится функция
1, если x - рац иональное, f (x ) = -1 , если x - иррациональное.

Почему? Во-первых, сумма квадратов всегда неотрицательна. Во-вторых, эта сумма не может равняться нулю, поскольку равенства x = 0 и xy = 1 несовместны. В-третьих, рассмотрев x = 1/n и y =n, где n = = 1, 2, 3, ..., убеждаемся, что вели2 2 чина x2 + xy - 1 = 1 n может быть сколь угодно малой. _____________

>C

>

C

2

.

>

C

В 1 890 году Джузеппе Пеано (18581932) поразил мир кривой, которая целиком покрывает некоторый квадрат (т.е. проходит через все точки этого квадрата, причем через некоторые по нескольку раз). Простой пример кривой Пеано построил в 1891 году Давид Гильберт (1862 1943). Первые пять шагов этой красивой конструкции показаны на рисунках. Как видите, на n-м шаге Гильберт разбивает отрезок 0; 1 на 4n равных отрезочков, которые извилисто размещаются по одному в каждом из 4n равных квадратиков. Чтобы определить образ любой данной точки t отрезка 0; 1 , нужно для каждого натурального числа n разбить отрезок 0; 1 на отрезочки длиной 1 4 n , отметить, какому из них принадлежит точка t (или каким двум если точка t попала в точности на границу), и

Существует ли: а) разрывная во всех точках функция, модуль которой непрерывная функция; б) функция, непрерывная лишь в точке x = 0 и разрывная во всех других точках; в) функция, среди значений которой на любом (сколь угодно малом) интервале есть сколь угодно большие значения; г) непостоянная периодическая функция, среди положительных периодов которой нет наименьшего; д) функция, непрерывная в иррациональных и разрывная в рациональных точках; е) не монотонное ни на каком интервале взаимно однозначное соответствие между двумя отрезками; ж) определенная на 0; 1 функция g x , множеством значений которой является отрезок 0; 1 и множество значений которой не меняется при ограничении на любой интервал? (Поскольку последнее условие довольно трудно для восприятия, поясню: для любого числа 0 y 1 множество решений уравнения g x = = y должно быть всюду плотно на отрезке 0; 1 .)

б) Такова функция xf x ,где f x функция из п.а). в) Например, функция, которая равна 0 для любого иррационального x и равна n для любого рационального числа x = = m/n, где m целое, n натуральное, НОД m, n = 1 . г) Годится функция f x из п. а). Впрочем, в большинстве учебников математического анализа рассматривают не ее, а функцию Дирихле (18051859)

>C

>C

>

C

>C

D (x ) =

1 + f (x 2

)

=

1, если x - рациональное, = 0, если x - иррациональное.

>C

>C

Наверное, сейчас читателю стоит остановиться и самому придумать соответствующие примеры: ответ на все эти вопросы утвердительный. А если все примеры

д) Например, функция Римана (1826 1866), которая равна 0 для любого иррационального x и равна 1 n для любого рационального числа x = m n , где m целое, n натуральное, НОД m, n = 1 . Можно доказать (хотя для школьника это доказательство довольно сложно и лучше его оставить до студенческих времен), что не существует функции, непрерывной во всех рациональных и разрывной во всех иррациональных точках. е) Рассмотрите функцию из п. б) на отрезке [1; 1]. ж) Такую функцию впервые построил Анри Леон Лебег (18751941). Пусть 0 x 1 и

>C

x = 0, a1 a 2 a 3 K

десятичное представление числа x.