На бирже курсовых и дипломных проектов можно найти образцы готовых работ или получить помощь в написании уникальных курсовых работ, дипломов, лабораторных работ, контрольных работ, диссертаций, рефератов. Так же вы мажете самостоятельно повысить уникальность своей работы для прохождения проверки на плагиат всего за несколько минут.

ЛИЧНЫЙ КАБИНЕТ 

 

Здравствуйте гость!

 

Логин:

Пароль:

 

Запомнить

 

 

Забыли пароль? Регистрация

Повышение уникальности

Предлагаем нашим посетителям воспользоваться бесплатным программным обеспечением «StudentHelp», которое позволит вам всего за несколько минут, выполнить повышение уникальности любого файла в формате MS Word. После такого повышения уникальности, ваша работа легко пройдете проверку в системах антиплагиат вуз, antiplagiat.ru, etxt.ru или advego.ru. Программа «StudentHelp» работает по уникальной технологии и при повышении уникальности не вставляет в текст скрытых символов, и даже если препод скопирует текст в блокнот – не увидит ни каких отличий от текста в Word файле.

Результат поиска


Наименование:


курсовая работа Счетные множества

Информация:

Тип работы: курсовая работа. Добавлен: 11.05.2012. Сдан: 2011. Страниц: 6. Уникальность по antiplagiat.ru: < 30%

Описание (план):


    Введение 

     На  каждом шагу нам приходиться сталкиваться с тем трудно определяемым понятием, которое выражается словом совокупность. Например,  можно говорить о совокупности людей присутствующих в данный момент времени в данной комнате, о совокупности гусей плавающих на деревенском пруду, страусов живущих в Сахаре и тому подобное.
     В каждом из этих случаев можно было бы вместо слова совокупность употребить слово множество. Итак, под словом множество подразумевается совокупность, коалиция, собрание каких-то элементов объединенных определенными свойствами или свойством.
     В математике постоянно приходиться  иметь дело с различными множествами: например множество точек прямой, являющихся вершинами какого-нибудь многоугольника, множество перестановок n элементного множества, множество сочетаний из 15 элементов по 7 и так далее. Так что множества играют особую, даже можно сказать важную роль в математике в частности, и в жизни человека в целом.
     Изучение  множеств и их свойств занимается такой раздел математике как «теория множеств» Этот раздел имеет сравнительно небольшую историю. Первые серьёзные работы в этой области, принадлежащие Г. Кантору, появились в конце прошлого века. Тем немение, в настоящие время теория множеств представляет собой весьма обширную область математики.
     Одним из немаловажных понятий теории множеств является понятие счетного множества. Но прежде чем ввести это понятие, необходимо усвоить и разъяснить некоторые элементарные понятия и определения. 

     Определение 1. Множество называется конечным, если количество элементов этого множества есть конечное число. Если же количество элементов множества есть число бесконечное, то множество называется бесконечным.
Так же для сравнения двух бесконечных  множеств необходимо следующие определения. 

     Определение 2. Пусть А и В два множества. Правило j которое каждому элементу а множества А соотносит один и только один элемент b множества В, причем каждый элемент b В оказывается соотнесенным одному и только одному а А, называется взаимно однозначным соответствием между множеством А и множеством В. 

     Определение 3. Если между множеством А и множеством В можно установить взаимно однозначное соответствие, то говорят, что эти множества эквивалентны или, что они имеют одинаковую мощность, и обозначают этот факт следующим образом
А ~ В. 

     Итак, мы обладаем математическим аппаратом  необходимым для ввода и усвоения понятия счетного множества. К чему и приступаем.   
 
 
 
 
 
 
 
 
 
 
 

I. Определение счетного множества. Примеры. Критерий счетного множества. 

     Определение 1.Пусть N множество всех натуральных чисел
N={1, 2, 3, . . .},
тогда всякое множество А эквивалентное  множеству N будет называться исчислимым, или счётным множеством.
     Таким образом, если множество А счетное, то между множеством А и множеством натуральных чисел N можно установить взаимно однозначное соответствие, или, как говорят, можно занумеровать элементы множества А, понимая под номером каждого элемента а I А соответствующее ему при указанном соответствии натуральное число.
     Так же из определения счётного множества следует очевиднейший вывод, что все счётные множества эквивалентны между собой.
Вот несколько  примеров счётных множеств:
А={1, 4, 9, 16, . . . ,n
, . . .};
 

B={3, 6, 9, 12, . . . ,3n, . . . }; 

C={
,
};
 

D={1, 8, 27, 64, . . . ,n
, . . . };
 

     Теорема 1. Для того чтобы множество Х  было счётным необходимо и достаточно, чтобы его можно было «перенумеровать», то есть представить в форме последовательности:
Х={x
, x
, x
, . . . ,x
, . . . } .
 

     Доказательство  необходимости: Пусть множество  Х счетное, то из определения счётного множества следует существование взаимно однозначного соответствия j между множеством Х и множеством натуральных чисел N. Достаточно обозначить через х , тот из элементов множества Х, который в соответствии с j отвечает числу n,чтобы получить представление множества Х в форме (*).
   
     Доказательство  достаточности: Если множество Х  представлено в форме (*), то достаточно каждому его элементу х, соотнести индекс n этого элемента, чтобы получить взаимно однозначного соответствия j между множеством Х и множеством натуральных чисел N, так что из определения счётного множества следует, что множество Х счётное. 

     Следующая теорема даёт интересный пример счётного множества.
Теорема 2. Рациональные числа R образуют счётное множество.
Доказательство: Рассмотрим сначала рациональные неотрицательные числа. Расположим их в бесконечную таблицу следующим образом: в первую строчку поместим в порядке возрастания в целые числа 0, 1, 2, . . . ; во вторую – все положительные несократимые дроби со знаменателем 2, упорядоченные по величине числителя; вообще в n-ую строчку, n=1, 2, 3, …, - все положительные рациональные числа, записывающиеся несократимой со знаменателем n, упорядоченные по величине числителя. Очевидно, что каждое рациональное неотрицательное число попадёт на какое-то место в получившейся таблице; 
 

0 1  2  3  4  . . .
 
. . .

 
  . . .

. . . . . . . . . . . .
. . . . . . . . . .

. . . . . . . . . . . . 

     Занумеруем  теперь элементы получившейся таблицы  согласно следующей схеме (в кружочках стоят номера соответствующих элементов, стрелка указывает направление нумерации). 

                                                       . . .
                                                     
                                                   .    . . .

                       .     .    . . .
    
               .       .     .    . . .  

     В результате все рациональные неотрицательные  числа оказываются занумерованными, то есть мы доказали, что они образуют счётное множество. Чтобы убедится, что и множество всех рациональных чисел также счётно, достаточно их записать в подобную же таблицу. Это можно сделать, например, поместив в написанную выше таблицу после каждого положительного рационального числа х в туже строчку число - х.                              

     1 -1  2 -2 . . .
-
-
. . .

 -
-
. . .

. . . . . . . . . . .
 -
. . . . . . . .

. . . . . . . . . . . .
     Перенумеровав элементы таблицы тем же способом, что и выше, мы получили, что множество  всех рациональных чисел является счётным  множество. 

  
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

II. Теоремы характеризующие счетные множества
 
     Сформулируем  и докажем несколько теорем характеризующих счетные множества.
     Теорема 3. Из всякого бесконечного множества  Х можно выделить счетное множество  Y.
Доказательство: Пусть множество Х бесконечное  множество. Выделим из множества  Х произвольный элемент и обозначим  его  х1. Так множество Х бесконечно, то оно не исчерпывается выделение этого элемента х1. и мы можем выделить элемент х2 из оставшегося множества Х\{ х1}. По тем же соображениям множество Х\{ х1, х2} не пусто, и мы можем и из него выделить элемент х3. Ввиду бесконечности множества Х мы можем продолжать этот процесс неограниченно, в результате чего получим последовательность выделенных элементов х1, х2, х3, . . . , хn, . . . , которая и образует искомое подмножество Y множества Х.
     Данная  теорема может натолкнуть на интересный вопрос. А в свою очередь можно ли из счётного множества выделить бесконечное подмножество, которое было так же счётным? На этот вопрос отвечает следующая теорема. 

     Теорема 4. Всякое бесконечное подмножество счётного множества так же является счётным множеством.
Доказательство: Пусть множество Х счётное множество, а множество Y его бесконечное подмножество. Следовательно, множество Х может быть представлено в виде
Х={а1, а2, а3, . . . , аn,. . .}.
     Будем  перебирать один за другим элементы множество  Х в порядке их номеров, при этом мы время от времени будем встречать элементы множества Y, и каждый из элементов множества Y рано или поздно встретится нам. Соотнося каждому элементу множества Y номер «встречи» с ним, мы перенумеруем множество Y, причём в силу бесконечности его, нам придется  на эту нумерацию израсходовать все натуральные числа. Следовательно, множество Y является счётным множеством. 

     Приведем  пример непосредственно относящийся  к этой теореме.
Пример: Множество Х={1, , } как известно, является счётным множеством,   а так как множество Y={ , } является подмножеством множества Х, то по доказанной выше теоремы 3, множество Y так же является счётным.
     Из  выше изложенной теоремы вытекает следующие следствие.
Следствие: Если из счётного множества Х удалить  конечное подмножество Y, то оставшееся множество Х\Y будет счётным множеством.
   
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

III. Объединения счетных множеств 

     Теорема 5. Объединение конечного множества  и счётного множества без общих элементов есть счётное множество.
Доказательство: Пусть дано 

А={а1, а2, . . . , аn} и В={b1, b2, b3, . . . }, 

причем АCВ = О.
Если  множество С=АEВ, то С можно представить в форме
С={а1, а2, . . . , аn, b1, b2, b3, . . . },
после чего становиться очевидной возможность  перенумеровать множество, следовательно по теореме 1 получаем, что множество С счетно. 

     Теорема 6. Объединение конечного числа  попарно не пересекающихся счётных  множеств есть счётное множество.
Доказательство: Проведем доказательство для случая объединения трёх множеств, из контекста  будет ясна полная общность рассуждения.
Пусть А, В, С три счётных множества:
А={а1, а2, а3, . . .}, В={b1, b2, b3, . . . } и
С={с1, с2, с3, . . .}.
Тогда множество D = АEВEС можно представить  в форме последовательности:
D={а1, b1, c1, а2, b2, c2, а3, . . .},
и счётность  множества D очевидна. 

     Теорема 7. Объединение счётного множества  попарно не пересекающихся конечных множеств есть счётное множество.
Доказательство: Пусть Аk (k=1, 2, 3, . . . ) суть попарно не пересекающихся конечных множеств:
А1={
. . . ,
};

А2={
. . . ,
};

А3={
. . . ,
};

.  .  .  .  .  .  .  .  .  .  .  .  .  .  .
 
     Для того чтобы расположить объединение  их С в форме последовательности, достаточно выписать подряд все элементы множества А1, а затем элементы множества А2 и так далее. 

     Теорема 8. Объединение счётного множества попарно не пересекающихся счётных множеств есть счетное множество.
Доказательство: Пусть  множества Аk (k=1, 2, 3, . . .) попарно не пересекаются и счетные. Запишем эти множества следующим образом:
А1
и т.д.................


Перейти к полному тексту работы


Скачать работу с онлайн повышением уникальности до 90% по antiplagiat.ru, etxt.ru или advego.ru


Смотреть полный текст работы бесплатно


Смотреть похожие работы


* Примечание. Уникальность работы указана на дату публикации, текущее значение может отличаться от указанного.