Аксиоматика вещественных чисел

Автор работы: Пользователь скрыл имя, 27 Февраля 2011 в 12:38, реферат

Описание работы

Алгебраические свойства вещественных чисел.
Отношение порядка.
Аксиома непрерывности вещественных чисел

Файлы: 1 файл

lek1.doc

— 489.00 Кб (Скачать файл)

     Аксиоматика вещественных чисел.

     Алгебраические  свойства вещественных чисел.

  1. На множестве вещественных чисел определена операция сложения, удовлетворяющая следующим аксиомам:
  2. Введем операцию умножения:
  3. Дистрибутивность. Распределительный закон.

     Множество, элементы которого удовлетворяют a, b, c – числовое поле.

     Примеры: множество вещественных и рациональных чисел.

     Отношение порядка.

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

  1. выполняется

     Из  этих аксиом следует, что для любого а и b , выполняются три случая:

  1. a <b
  2. (a =b)
  3. b<a

     Множество, на котором вводится отношение порядка, удовлетворяющее аксиомам 1-6, называется линейной упорядоченностью. И множество  вещественных чисел, и множество  рациональных чисел – линейно  упорядоченное поле 

     Аксиома непрерывности вещественных чисел

     Пусть , причем и : , тогда

     Множеством  вещественных чисел называется линейно  упорядоченное непрерывное числовое поле.

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

     Представление (модель) вещественного числа. 

     Можно доказать, что аксиомам удовлетворяют десятичные дроби, причем конечные (периодические) соответствуют рациональным числам, а бесконечные (непериодические) – иррациональным числам.

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

     Свойство  числового множества (следует из свойства упорядоченности).

     Множество - ограничено сверху, если .

     Число M – верхняя граница множества X.

     Любое число  - точка верхней границы, т.к.

     Итак, верхних границ бесконечно много.

     Наименьшая  из всех верхних границ – верхняя грань множества Х (sup X – супремум икс)

       

     Множество - ограничено снизу, если .

     Число В – верхняя граница множества X.

     Любое число  - точка нижней границы, т.к.

     Наибольшая  из всех нижних границ – нижняя грань  множества Х (inf X).

       

     Множество называется ограниченным, если оно ограничено и снизу и сверху.

       

     Теорема: Любое непустое, ограниченное сверху (снизу) множество, имеет верхнюю (нижнюю) грань.

     Понятие абсолютной величины вещественного  числа.

     На  упорядоченном числовом множестве  введем понятие модуля (абсолютной величины) вещественного числа:

     

     

     Свойства:

 

    Решение простейших неравенств с модулем.

    Эквивалентность неравенств:

    геометрический  смысл:

    Понятие e окрестности в точке х0

    e окрестности в точке х0 (Ue (x0)) – симметричный интервал радиуса e с центром в точке х0

     

    Приколотой e окрестности в точке х0 называется e окрестности этой точки без самой х0

     

    Открытые  и замкнутые множества

    Множество - называется открытым, если для любой точки этого множества найдется такая , которая целиком содержится в этом множестве.

    , точки,  обладающие этими свойствами, называются  внутренними точками.

    (a,b) –  открытое множество:

    Точка x X B любой окружности содержит – граничной точки множества X 

    Точки a и  b – граничные [a;b] или (a;b).

                Граничные точки могут и принадлежать, и  не принадлежать множеству отрицательных. Множество своих границ не содержит.

Точка x называется предельной точкой X, если любое - окружности содержит хотя бы точек X.

      (x-предельная  для X) ( (x)  ( x, x) (x, (x) )

точки a,b являются предельными как для отрезка, так и для интервала ( [a;b] и (a;b) )

            a,b отрезку x

            a,b X

      Граничных точек – 2

      Предельных  – целый отрезок (интервал)

Точка изолирована – если найдётся (x), которая .

      Совокупность  предельных и изолированных точек  – называется точками соприкосновения  множества X. 

Множество X замкнутое, если оно содержит все свои точки прикосновения. 

Замкнутым множеством является сегмент [a;b].

      Открытость и замкнутость – не альтернативные понятия. Существуют множества, не являющиеся ни открытыми, ни замкнутыми.

Например, [a;b) или (a;b].

Или одновременно открытые и замкнутые (Æ). 

Принципы  существования предельной точки (Вейерштрасс) 

Всякое ограниченное бесконечное множество определяет хотя бы одну предельную точку.  Для неограниченных бесконечных множеств это утверждение неверно.

(Множество целых  чисел предельных точек не  имеет, так как состоит их  одних изолированных точек).

                                                                        _________________________

Для распространения  принципа Вейерштрасса на неограниченное множество вводятся новые объекты: +бесконечность, - , которые числами не являются. Вводятся правила действия над ними.

Бессмысленно:  

          Понятие функции. 

Основной объект - функция

Основной предмет - предел. 

Функция – закон, по которому элементу  ставится 

в соответствии ед. элемент .

Д/з1Область  определения  функции  

Д/з2Область значения функции   (f) – E[f]  C Y, такое, что

                              

(Каждый элемент множества E имеет прообраз во множестве. 

Замечание 1: в определении не требуется, чтобы каждый элемент X имел

          прообраз в Y.

          Говорят, что функция  отображает множества X во

          множество Y. Всегда отображает множество X на

          множестве E.

          Не требуется, чтобы элементы E имели единственный прообраз во множестве X.

Д/з: Отображение, осуществляемых функций , называется взаимно однозначным отображением множества X на Y , если каждый элемент Y имеет единственный прообраз множества X.   .

Информация о работе Аксиоматика вещественных чисел