20721

Мощность множества. Арифметика счетной мощности

Доклад

Математика и математический анализ

Пусть A некоторое счетное мнво тогда по определению A N.Из всякого бесконечного мнва можно выделить счетное подмново.Сумма конечного числа счетных мнв есть счетное мнво. Сумма счетного числа конечных мнв есть счетное мнво.

Русский

2013-07-31

59.5 KB

11 чел.

20. Мощность множества. Арифметика счетной мощности.

Мн-ва A и B назыв. эквивалентными, если существует биекция мн-ва A на мн-во B т.е  .  

Биекция – инъекция + сюръекция (одновременно).

Ф-ия (отображение)  назыв. сюръекцией (наложением), сюръективным отображением, если Im(F) = Y  (мн-во X отображ. на Y).   F: XY, Im(F)=

Отображение F назыв. инъективным, если .

Биективное отображение – взаимнооднозначное.  Иногда используют  запись «инъективное отображение X на Y».

Для того чтобы отображение было обратимым необх. и достаточно, чтобы отображ. было биективным. Обратимое отображение (x = ,y =), биективное отображ.-  x=(0;+ ),Y.

Отношение эквивалентности  разбивает все мн-во  на попарно-пересек. классы.

Мощностью мн-ва назыв. символ, который приписывают множествам, каждое из которых  эквивалентно некоторому заданному множеству.

Например, мн-во эквив. мн-ву натур.чисел назыв. счетным мн-вом и обознач.- a.

Тоже самое по Галканову.

Опр1: Если и ,то такое соответствие назыв. взаимнооднозначным соответствием между мн-вами A и B (1-1 –соответствие).

Примеры: 1-1 –соответствие между двумя конечными мн-вами возможно, если они сосотоят из одинакового кол-ва элементов. (A~N)

A={2,4,6,…,2n,…}- мн-во четн.чисел.  N={1,2,3,…,n,…}   

Между точками малой и большой окр-ти можно установить 1-1 соотв.

             

Опр: Если A~N, то оно назыв. счетным мн-вом.

Опр: Если между  мн-вом A и B установлено 1-1 соответствие, то они назыв.       

эквивалентными мн-вами .

Всем счетным мн-вам приписыв. буква – a, кот. называется их мощностью.

Если A~N,то =a.

Пример: мн-во всех четн., нечетн., натур. чисел имеют мощность a.

Три свойства отношения эквивалентности:

  1.  A~A – рефлексивность
  2.  A~BB~A – симметричность
  3.  A~B ^ B~C A~C – транзитивность

___

Теорема1.Для того, чтобы мн-во A было счетным необходимо и достаточно, чтобы оно было  представимо в виде A={a1,a2,…,an…}-(бескон.мно-во попарно-различн.эл-ов) т.е. его элементы представляют собой некоторую последовательность.

Док-во: 

1) НЕОБХОДИМОСТЬ. Пусть A – некоторое счетное мн-во, тогда по определению A~N.

из A берем a =a1, из A берем b =a2  и т.д. A={a1,a2,…}справедливость утверждения.

2) ДОСТАТОЧНОСТЬ. anA .  A-cчетное мн-во.

Т2.Из всякого бесконечного мн-ва можно выделить счетное подмно-во.()

Т3.Если A~сч.мн-во и A’, то A-счетно.

Т4.Сумма конечного числа  счетных мн-в есть счетное мн-во.

Т5. Сумма счетного числа конечных мн-в есть счетное мн-во.

Т6. Сумма счетного числа  счетных мн-в есть счетное мн-во.

Т7. Мн-во рацион.чисел – счетно.

Т8. Если к бесконечному мн-ву M прибавить конечное или счетное мн-во A новых элементов, то это не изменит его мощности. M+A~M.

Т9. Если бесконечное мн-во S – несчетно и AS –конечно или счетно, то S\A~S.

Т10. Если елементы мн-ва A таковы, что A={ax1,x2,..xn}(x1,xn – индексы), и каждое из этих индексов пробегает счетное мн-во не зависимо от других, то мн-во A-счетно.

следствия из Т 1-10 :

1) Мн-во точек пл-ти с рац.координатами – есть счетное мн-во.

2) Мн-во точек n-мерного евклидова пр-ва с рац. координатами – есть счетное мн-во.

3) Мн-во векторов с m – натур. или рац. координатами – есть счетное мн-во.

4) Мн-во полиномов a0+a1x+a2x2+…+anxnc цел.коэффиц. - есть счетное мн-во.

5) Мн-во алгебраич.чисел счетно. (Число назыв. алгебраическим, если оно не явл. корнем многочлена с целыми коэффицентами, иначе оно трансцендентное).


 

А также другие работы, которые могут Вас заинтересовать

11490. Таблица чемпионата 299 KB
  Индивидуальное задание. На курсовую работу по дисциплине: ТЕХНОЛОГИЯ ПРОГРАММИРОВАНИЯ Тема: Таблица чемпионата Дата выдачи задания 17.01.2011 г. Срок представления законченной роботы 29.04.2011 г. Студент группы ИС10 3 Королёв Алексей Викторович к разработке. Этап
11491. Возрастная психология. Конспект лекций 978.5 KB
  Возрастная психология. Конспект лекций Непосредственной сдаче экзамена или зачета по любой учебной дисциплине всегда предшествует краткий период когда студент должен сосредоточиться систематизировать свои знания. Выражаясь компьютерным языком он должен вывести и
11492. Волновые явления на границе раздела двух сред при падении плоской электромагнитной волны 515 KB
  Лабораторная работа № 2 Волновые явления на границе раздела двух сред при падении плоской электромагнитной волны. ЦЕЛЬ РАБОТЫ Изучить волновые явления возникающие на границе раздела двух сред при падении плоско
11493. Физические принципы радиосвязи 899.5 KB
  Лабораторная работа №21 Физические принципы радиосвязи ЦЕЛЬ РАБОТЫ: 1.Изучить физические основы радиопередачи и радиоприема. 2.Научиться настраивать передающий и приемный стенды наблюдать осциллограммы процессов во всех блоках стендов. ПРИБОРЫ И ОБОРУДО
11494. Исследование механических характеристик электродвигателя постоянного тока с независимым возбуждением 329.5 KB
  Целью работы является исследование механических характеристик двигателя постоянного тока с независимым возбуждением в двигательном и тормозных режимах. Основные сведения Под механической характеристикой электродвигателя постоянного тока с независимым возбуждени...
11495. Информатика в 8 классе. Все уроки 2.76 MB
  Правила работы и безопасного поведения в компьютерном классе. Повторение структуры программы, типов данных, арифметических операций, организации ввода-вывода данных. Составление и Реализация алгоритмов с использованием операторов цикла. Применение текстового процессора в разработке документов из различных предметных областей...
11496. Алгоритмы растровой графики 153 KB
  Алгоритмы растровой графики Растром называется прямоугольная сетка точек формирующих изображение на экране компьютера. Каждая точка растра характеризуется двумя параметрами: своим положением на экране и своим цветом если монитор цветной или степенью яркости если м...
11497. Алгоритм вывода прямой линии 412 KB
  Алгоритм вывода прямой линии Поскольку экран растрового дисплея с электроннолучевой трубкой ЭЛТ можно рассматривать как матрицу дискретных элементов пикселов каждый из которых может быть подсвечен нельзя непосредственно провести отрезок из одной точки в другую.
11498. Текстовый редактор WORD. Поиск и замена фрагментов текста 43.5 KB
  ЛАБОРАТОРНАЯ РАБОТА № 4 Тема: Текстовый редактор WORD. Поиск и замена фрагментов текста. Режим поиска удобно использовать для того чтобы быстро найти в документе заданный фрагмент текста. Режим замены используется в тех случаях когда нужно не только найти какую...