Последовательности в нормированных полях

⇐ ПредыдущаяСтр 5 из 7Следующая ⇒

Определение. Нормированным полем называется тройка á А, Р, nñ, где А – поле, Р – линейно упорядоченное поле, n – отображение А в Р, называемое нормой, удовлетворяющее условиям:

(1) n(а) ³ 0; n(а) = 0 « а = 0;

(2) n(ab) = n(а)n(b);

(3) n(a + b) £ n(а) + n(b).

Пример 1. Тривиальная норма: n(0) = 0; n(а) = 1 при а ¹ 0.

Пример 2. Естественная норма. А – линейно упорядоченное поле, Р = А, n(а) = ï аï.

Пример 3. p-адическая норма в поле рациональных чисел. Фиксируем простое число р и рациональное 0 < q < 1. Для произвольного рационального числа a существует единственное представление вида a = pⁿ× , где n – целое, а и b взаимно просты с р. Полагаем по определению n(a) = qⁿ, n(0) = 0.

Упражнение 1. Докажите, что нормы, определенные в примерах 1, 2, 3, действительно удовлетворяют определению нормы.

Теорема 1. Если á А, Р, nñ – нормированное поле, то

1°. n(1) = 1;

2°. n(–1) = 1;

3°. n(а) = n(–а);

4°. n(1/а) = 1/n(а);

5°. n(b/а) = n(b)/n(а);

6°. ï n(а) – n(b)ï £ n(а – b) £ n(а) + n(b);

7°. n(а) ³ n(b) – n(b – a).

Доказательство. 1°. Имеем n(1)× n(1) = n(1× 1) = n(1), откуда n(1) = 1 или n(1) = 0. Но второе исключено.

2°. Имеем n(–1)× n( –1) = n(1), откуда n(–1) = 1 или n(–1) = –1. Но второе также исключено.

5°. Следует из того, что n(а)n(b/а) = n(b).

6°. Имеем n(а) £ n(а – b) + n(b), откуда n(а) – n(b) £ n(а – b). Тогда n(b) – n(а) £
£ n(а – b), и ï n(а) – n(b)ï £ n(а – b).

Остальные утверждения очевидны или доказываются аналогично.

Определение. Пусть á А, Р, nñ – нормированное поле. Последовательность (a_n) называется ограниченной по норме n, если

($сÎ P⁺)(" nÎ N ) n(a_n) < c.

Определение. Пусть á А, Р, nñ – нормированное поле. Последовательность (a_n) называется фундаментальной по норме n, если

(" eÎ P⁺)($n₁Î N )(" n, kÎ N ) (n ³ n₁& k ³ n₁® n(a_k – a_n) < e).

Определение. Пусть á А, Р, nñ – нормированное поле. Последовательность (a_n) называется сходящейся к элементу а поля А по норме n, если

(" eÎ P⁺)($n₁Î N )(" nÎ N ) (n ³ n₁® n(a_n – a) < e).

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

Определение. Пусть á А, Р, nñ – нормированное поле. Последовательности (a_n) и (b_n) называются эквивалентными по норме n, если последовательность (a_n – b_n) нулевая по норме n.

Нетрудно заметить, что это определение корректно, то есть введенное отношение между последовательностями действительно является отношением эквивалентности. Рефлексивность и симметричность проверяются тривиально. Транзитивность следует из того, что

n(a_n – c_n) = n((a_n – b_n) + (b_n – c_n)) £ n(a_n – b_n) + n(b_n – c_n).

Определение. Последовательность, все элементы которой равны друг другу, называется стационарной.

В приведенных определениях оборот «по норме n» можно опускать, если речь идет о естественной норме, то есть абсолютной величине.

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

Теорема 2. Пусть á А, Р, nñ – нормированное поле, Р₁– подполе поля Р. Если поле Р архимедовски упорядочено, то определения ограниченной, фундаментальной, сходящейся, эквивалентных последовательностей по норме n относительно подполя Р₁ эквивалентны соответствующим определениям безотносительно к подполю Р₁.

Доказательство. В определении ограниченной последовательности из существования элемента с в поле Р вытекает существование подходящего элемента в подполе Р₁. Действительно, возьмем произвольный положительный элемент а Ï Р₁. Из архимедовости поля Р следует, что существует такое натуральное п, что na > c. Этот элемент паÏ Р₁ можно взять вместо с.

В остальных определениях условия, относящиеся к произвольным eÎ P₁⁺, требуется распространить на все eÎ P⁺. Для этого достаточно показать, что для любого eÎ P⁺ найдется e₁Î P₁⁺ такой, что e₁< e. Тогда если неравенства, указанных в определениях, выполняются для e₁, то они будут выполняться и для e. Итак, пусть задано eÎ P⁺. Возьмем произвольный e₂Î P₁⁺. Существует такое натуральное п, что ne > e₂. Тогда e > n^–1e₂, и можно взять e₁ = n^–1e₂.

Если поле Р не является архимедовски упорядоченным, то определения ограниченной, фундаментальной, сходящейся, эквивалентных последовательностей по норме n относительно подполя Р₁ могут существенно отличаться от соответствующих определений безотносительно к подполю Р₁.

Пример 4. Рассмотрим поле рациональных функций Q (x) с неархимедовским линейным порядком, введенным в примере 2.3.3. Нормирование выберем естественное. Рассмотрим последовательности рациональных чисел (п) и .

Последовательность (п) неограниченно возрастает относительно поля Q, но ограничена в поле Q (x). Действительно, n < x для всех п, так как п – х = < 0 согласно определению порядка, данному в этом примере.

Последовательность сходится к нулю относительно поля Q, но не сходится к нулю относительно поля Q (x). Действительно,

для всех п.

Последовательность является фундаментальной относительно поля Q, но не является фундаментальной относительно поля Q (x). Действительно,

для всех п, k.

Наконец, последовательность не эквивалентна стационарной последовательности (0)_п в поле Q (x).

Упражнения. В условиях примера 4 рассмотрим последовательности a = (a_n);
b = (b_n); b¢ = (b¢ _n); g = (c_n); d = (d_n) с общими членами вида:

a_n = 0; b_n = 1/n; c_n = x + 1/n; d_n = 1 – 1/n.

Докажите, что:

2. Каждая из этих последовательностей фундаментальна относительно поля Q.

3. Последовательности a, b, d ограничены относительно поля Q, последовательности b¢, g не ограничены относительно поля Q.

4. Последовательность b относительно поля Q сходится к любому элементу поля Q (х) вида r/x, где rÎ Q.

5. Последовательность с общим членом b_nc_n не является фундаментальной относительно поля Q.

6. Последовательности b и g сходятся относительно поля Q, но последовательность с общим членом b_nc_n не сходится относительно поля Q.

7. Последовательности a и b эквивалентны относительно поля Q, но последовательности с общими членами а_nc_n и b_nc_n не эквивалентны относительно поля Q.

8. Последовательность d сходится к 1 относительно поля Q, ее каждый член меньше
1 – 1/х, но 1 > 1 – 1/х.

9. Последовательность b сходится к 1/x относительно поля Q, но последовательность с общим членом 1/b_n не сходится к х относительно поля Q.

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

В то же время поле Р нельзя заменить на подполе Р₁ в следующих свойствах. Сходящаяся последовательность имеет не более одного предела. Фундаментальная последовательность ограничена. Если две последовательности эквивалентны, то одна из них ограничена тогда и только тогда, когда ограничена другая. Произведение фундаментальных последовательностей есть фундаментальная последовательность. Если две последовательности сходятся к а и b соответственно, то их произведение сходится к ab.

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

Теорема 3. Пусть А₁ – подполе линейно и архимедовски упорядоченного поля А. Для любой последовательности (a_n) элементов поля А существует эквивалентная ей последовательность элементов поля А₁.

Доказательство. Всякое линейно упорядоченное поле есть расширение поля рациональных чисел. Поэтому теорему достаточно доказать для случая, когда А₁ есть поле рациональных чисел.

Последовательность сходится к нулю. Значит, последовательности (a_n) и
(a_n + 1/n) эквивалентны. По теореме 3.3.6 для каждого п можно найти рациональное b_n такое, что a_n < b_n< a_n + 1/n. Тогда последовательность (b_n) эквивалентна (a_n), и теорема доказана.

Поле действительных чисел

Определение. Системой действительных чисел называется линейно и архимедовски упорядоченное поле, всякая фундаментальная последовательность элементов которого сходится.

В соответствии с этим определением имеем следующее аксиоматическое построение, которое даем в компактном виде. Система действительных чисел – это алгебра á R, +, ×, 0, 1, > ñ, удовлетворяющая следующим аксиомам, разбитым на три группы:

I. Аксиомы поля:

(R1) á R, +, ×, 0, 1ñ – поле.

II. Аксиомы порядка:

(R2) á R, > ñ – строго и линейно упорядоченное множество;

(R3) a > b Þ a + c > b + c;

(R4) a > b, c > 0 Þ a × c > b × c;

(R5) a > 0, b > 0 Þ ($nÎ N ) n * a > b.

III. Аксиома непрерывности:

(R6) Всякая фундаментальная последовательность элементов R сходится.

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

Так как всякое линейно упорядоченное поле содержит подполе рациональных чисел, то поле действительных чисел есть расширение поля рациональных чисел.

Теорема 1. Всякое действительное число есть предел последовательности рациональных чисел.

Доказательство. Всякое действительное число r есть предел стационарной последовательности (r, …, r). Согласно теореме 4.1.3 существует эквивалентная ей последовательность рациональных чисел, что доказывает теорему.

В предыдущем разделе изложены начала теории последовательностей в нормированных полях. Эта теория позволяет строго доказать основные свойства системы действительных чисел, которые мы здесь опускаем. В частности, можно доказать, что для любого положительного действительного a и натурального п существует единственное положительное действительное число b такое, что b^п = a. Используя этот результат, можно доказать следующее утверждение.

Теорема 2. Поле á R, +, ×, 0, 1ñ можно линейно и строго упорядочить единственным способом.

Доказательство. Пусть R ⁺ и R ⁺⁺– положительные части поля R. Пусть aÎ R ⁺. Существует действительное b такое, что b² = a. Тогда b ¹ 0, и по свойствам положительных элементов b²Î R ⁺⁺. Значит, aÎ R ⁺⁺. Отсюда R ⁺ Í R ⁺⁺ и по теореме 2.3.7 R ⁺ = R ⁺⁺.

Теорема 3. Теория действительных чисел непротиворечива.

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

⇐ Предыдущая 1 2 3 456 7 Следующая ⇒