Главная Обратная связь Поможем написать вашу работу!

Дисциплины:

Архитектура (936)
Биология (6393)
География (744)
История (25)
Компьютеры (1497)
Кулинария (2184)
Культура (3938)
Литература (5778)
Математика (5918)
Медицина (9278)
Механика (2776)
Образование (13883)
Политика (26404)
Правоведение (321)
Психология (56518)
Религия (1833)
Социология (23400)
Спорт (2350)
Строительство (17942)
Технология (5741)
Транспорт (14634)
Физика (1043)
Философия (440)
Финансы (17336)
Химия (4931)
Экология (6055)
Экономика (9200)
Электроника (7621)






Определение действительного числа бесконечной десятичной дробью. Плотность Q в R



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

Множество - совокупность некоторых объектов

Элементы множества - объекты составляющие множество

Числовые множества - множества элементами которых являются числа.

Задать множество значит указать все его элементы:

1 Способ:А={а: Р(а)} эти записи Читать- множество тех а таких что...

A={а-Р(а)} равноценны

Р(а) - предикат = высказывание об элементе, бывает ложно или истинно по отношению к кокретному элементу. Множество А состоит из тех а для которых предикат истина.

2 Способ: Конструирование из других множеств:

AÚB = {c: cÎA Ú cÎB}, AÙB = {c: cÎA Ù cÎB}, A\ B = {c: cÎA Ù сÏB}

U - универсальное множество (фиксированное)

U³A; U \ A = A’ = cA (A’ - дополнение множества A)

Свойства:

1. AÚ(BÚC)=(AÚB) ÚC - ассоциативность; AÚB=BÚA - коммутативность; AÚÆ=A; AÚU=U

2. AÚ (BÙC)=(AÚB) Ù(AÚC) & AÙ (BÚC)=(AÙB) Ú(AÙC) - дистрибутивность; АÙÆ=А

A” =A - закон исключающий третьего (AÚB)’=A’ÙB’; (AÙB)’=A’ÚB’; AÙA’= Æ

Иллюстрация свойств: Диаграммы Эйлера-Венна.

"=>" cÎ(AÚB)’ => cÏAÚB => cÏA & cÏB => cÎ A’ & cÎB’ => cÎA’ÙB’

"<=" cÎA’ÙB’ => cÎA’ & cÎB’ => cÏA & cÏB => cÏAÚB => cÎ(AÚB)’

Отображение множеств:

f:A®B (на множестве А задано отображение f со значением множества B)

aÎA; bÎB => b - образ элемента а при отображении f; a - прообраз элемента b при отображении f

Так как для каждого элемента из А ставится в соответствие элемент из В, значит А - область определения (Dom f=А), а область значенийB (Im f £B)

Для отображения задают: 1) способ 2) Dom 3) Im



Отображение f инъективно если f(x)=f(x’) => x=x’(разные переходят в разные)

Отображение f сурьективно если Im f =B(каждый переходит в каждый)

Если же отображение инъективно+сурьективно, то множества равномощны(содержат одинаковое кол-во элементов), а отображение биективно - взаимооднозначно.

Счетные множества - множества равномощные множеству натуральных чисел (N)

Теорема:Множество Q счетно.

Докозательство: Q=

Лемма 1: " nÎN Z/n - счетно.

Каждому элементу из N надо взаимноднозначно сопоставить элемент Z/n:

10®0/n 5®-2/n

2®+1/n 6®+3/n

3®-1/n 7®-3/n

4®+2/n ...

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

А1={а11, а12, а13,...}

А2={а21, а22, а23,...}

А3={а31, а32, а33,...}

...

Применяем диагональную нумерацию (а11 - 1; а21 - 2; а12 - 3; а31 - 4; а22 - 5...) и таким образом взаимнооднозначно сопоставляем каждому элементу из таблицы его номер, значит объединение счетного или конечного числа счетных множеств - счетно.

Часть может быть равномощна целому: (-1,1) равномощен R (через полуокружность и лучи)

Из Леммы1 и Леммы 2 получаем: Множество рациональных чисел счетно

Определение действительного числа бесконечной десятичной дробью. Плотность Q в R.

Действительные числа - множество чисел вида [a0],а1 a2 а3... где а0ÎZ а123,... Î{0,1,...,9}



Действительное число представляется в виде суммы целой и дробной части:

о],а1 а2 а3...ак (0) = ао + а1/10 + а2/100 + ... +ак/10k = [ао],а1 а2 а3...а’к (9), где а’кк-1

х=[хо],х1 х2 х3...хк...

у=[уо],у1 у2 у3...ук...

х’к - катое приближение икса с недостатком = [хо],х1 х2 х3...хк

у”к - катое приближение игрека с избытком = [уо],у1 у2 у3...ук + 1/10k

х’к+1 > х’к (х’к - монотонно растет)

у”к+1 £ у”k (у”k - не возрастает), т.к. у”к=[уо],у1 у2 у3...ук + 1/10к

у”к+1 = [уо],у1 у2 у3...ук ук+1 + 1/10к+1

у”к - у”к+1 = 1/10к - ук+1 + 1/10к+1 ³ 0

10 - ук+1 - 1 / 10к+1 ³ 0

9 ³ ук+1

Определение: 1) х > у <=> $ к: х’к > у”к

2) х = у <=> х’к не> у”к & у”к не> х’к

По определению получаем, что [1],(0)=[0],(9)

Свойства: 1)" х, у либо х<у, либо х>у, либо х=у

2) х>у & у>z => х>z

3) х не> х

Док-во (2): х>у у>z

х’к>у”к у’m>z”m

n=max{k;m}

х’n³х’к>у”к³у”n у’n³ у’m>z”m³z”n

у”n>у’n => х’n>z”n

Определение: Если АÌR и " х,уÎR $ аÎА: х<а<у, то А плотно в R

Теорема: Q плотно в R.

Доказательство: х > у х’к > у”к х ³ х’к у”к ³ у

х ³ х’к / 2 + х’к / 2 > х’к / 2 + у”к / 2 > у”к / 2 + у”к / 2 > у

Видим: х > х’к / 2 + у”к / 2 > у, где (х’к / 2 + у”к / 2)ÎQ

 


Просмотров 637

Эта страница нарушает авторские права




allrefrs.ru - 2021 год. Все права принадлежат их авторам!