X делит y как понять

Бинарные отношения: примеры решений задач

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

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

Полезная страница? Сохрани или расскажи друзьям

Задачи с решениями о бинарных отношения онлайн

Задача 1. Определите свойства следующих отношений:
1. «прямая x пересекает прямую y» (на множестве прямых)
2. «число x больше числа y на 2» (на множестве натуральных чисел)
3. «число x делится на число y без остатка» (на множестве натуральных чисел)
4. «x — сестра y» (на множестве людей).

Задача 2. Проверить, является ли отношением эквивалентности на множестве всех прямых на плоскости отношение «непересекающихся прямых».

Задача 3. Найти область определения, область значений отношения Р. Является ли отношение Р рефлексивным, симметричным, антисимметричным, транзитивным.

Задача 4. Дано множество $А = \< \gt, \lt, \ge, \le\>$. Записать декартовое произведение $А \times А$. Задать 2 бинарных отношения $R_1$ и $R_2$, мощность которых равна 3 и 4 соответственно. Найдите соответствующие замыкания обоих отношений. Изобразите ориентированные графы и запишите матрицы для отношений $R_1$ и $R_2$ и соответствующих замыканий. Вычислите $R_1^$, $R_2^$, $R_2 \cdot R_1$. Изобразите соответствующие ориентированные графы и запишите соответствующие матрицы.

Задача 5. Отношение $R$ на множестве $Х =\$ задано матрицей.
Каковы свойства отношения $R$? Как выглядят матрицы отношений $R^$, $R \cdot R$?

Задача 6. Дано множество $A = \$ и бинарное отношение $R \subset A \times A$:
Проверить, является ли $R$ отношением эквивалентности. Добавить минимальное возможное число пар, чтобы $R$ стало отношением эквивалентности. Найти разбиение $P$.

Задача 7. Доказать, что для любых бинарных отношений

Задача 8. Доказать истинность следующего утверждения: если $Р$ и $S$ – антисимметричны, то $P \cap S$ – антисимметрично.

Задача 9. Для заданных на множестве $А=\$ бинарных отношений $\rho$ и $\tau$:
а) записать матрицы и построить графики;
б) найти композицию $\rho \circ \tau$;
в) исследовать свойства отношений $\rho$, $\tau$ и $\rho \circ \tau$ (рефлексивность, иррефлексивность, симметричность, антисимметричность, транзитивность).

Задача 10. На множестве вещественных чисел $R$ задано бинарное отношение $a \rho b$ $ \Leftrightarrow a^2 + a = b^2 + b$. Докажите, что $\rho$ – отношение эквивалентности. Сколько элементов в классе эквивалентности?

Задача 11. Для бинарного отношения $\rho$ между элементами множеств $A = \$, $B = \, \, \, \\>$, $a \rho X \Leftrightarrow a\notin X$ найдите область определения $D_\rho$ и область значений $R_\rho$?

Задача 12. Дано множество $X=\$ и отношение $R=\$. Показать, что отношение $R$ является отношением порядка. Построить диаграмму Хассе частично упорядоченного множества $(X, R)$. Существует ли в множестве $X$ наибольший и наименьший элементы? Существуют ли несравнимые элементы?

Решение задач об отношениях на заказ

Выполняем для студентов очников и заочников решение заданий, контрольных и практических работ по любым разделам теории бинарных отношений на заказ. Также оказываем помощь в сдаче тестов. Подробное оформление, таблицы, графики, пояснение, использование специальных программ при необходимости. Стоимость примера от 100 рублей , оформление производится в Word, срок от 2 дней.

Заказать решение задач по бинарным отношениям легко

Бинарные отношения: основные сведения

Бинарным отношением $R$ называется подмножество пар $(a,b)\in R$ декартова произведения $A\times B$, т. е. $R \subseteq A\times B$. При этом множество $A$ называют областью определения отношения $R$, множество $B$ – областью значений.

Записывается это так: $aRb$ (т. е. $a$ и $b$ находятся в отношении $R$, пара $(a,b)$ принадлежит отношению $R$).

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

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

Если для бинарного отношения выполняются свойства рефлексивности, антисимметричности и транзитивности, оно называется отношением порядка.

Если для бинарного отношения выполняются свойства рефлексивности, симметричности и транзитивности, оно называется отношением эквивалентности. Оно разбивает все пары на классы эквивалентности.

Для бинарных отношений (также как и для множеств) задаются операции объединения, пересечения, разности, дополнения, а также обратное отношение и композиция отношений.

Множества. Операции над множествами.
Отображение множеств. Мощность множества

Приветствую вас на первом уроке по высшей алгебре, который появился… в канун пятилетия сайта, после того, как я уже создал более 150 статей по математике, и мои материалы начали оформляться в завершённый курс. Впрочем, буду надеяться, что не опоздал – ведь многие студенты начинают вникать в лекции только к государственным экзаменам =)

Вузовский курс вышмата традиционно зиждется на трёх китах:

– математическом анализе (пределы, производные и т. д.)

– и, наконец, сезон 2015 / 16 учебного года открывается уроками Алгебра для чайников, Элементы математической логики, на которых мы разберём основы раздела, а также познакомимся с базовыми математическими понятиями и распространёнными обозначениями. Надо сказать, что в других статьях я не злоупотребляю «закорючками» , однако то лишь стиль, и, конечно же, их нужно узнавать в любом состоянии =). Вновь прибывшим читателям сообщаю, что мои уроки ориентированы на практику, и нижеследующий материал будет представлен именно в этом ключе. Но через много лет я таки создал Практический и немного теоретический pdf-курс высшей алгебры, после которого вам будет гораздо легче воспринимать информацию «классических» учебников.

Множество. Примеры множеств

Множество – это фундаментальное понятие не только математики, но и всего окружающего мира. Возьмите прямо сейчас в руку любой предмет. Вот вам и множество, состоящее из одного элемента.

В широком смысле, множество – это совокупность объектов (элементов), которые понимаются как единое целое (по тем или иным признакам, критериям или обстоятельствам). Причём, это не только материальные объекты, но и буквы, цифры, теоремы, мысли, эмоции и т. д.

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

– множество букв русского алфавита;
– множество натуральных чисел;

ну что же, пришла пора немного познакомиться:
– множество студентов в 1-м ряду

…Я рад видеть ваши серьёзные и сосредоточенные лица =)

Множества и являются конечными (состоящими из конечного числа элементов), а множество – это пример бесконечного множества. Кроме того, в теории и на практике рассматривается так называемое пустое множество:

– множество, в котором нет ни одного элемента.

Пример вам хорошо известен – множество на экзамене частенько бывает пусто =)

Принадлежность элемента множеству записывается значком , например:

– буква «бэ» принадлежит множеству букв русского алфавита;
– буква «бета» не принадлежит множеству букв русского алфавита;
– число 5 принадлежит множеству натуральных чисел;
– а вот число 5,5 – уже нет;
– Вольдемар не сидит в первом ряду (и тем более, не принадлежит множеству или =)).

В абстрактной и не очень алгебре элементы множества обозначают маленькими латинскими буквами и, соответственно, факт принадлежности оформляется в следующем стиле:

– элемент принадлежит множеству .

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

– множество всех натуральных чисел, меньших ста.

Запомните: длинная вертикальная палка выражает словесный оборот «которые», «таких, что». Довольно часто вместо неё используется двоеточие: – давайте прочитаем запись более формально: «множество элементов , принадлежащих множеству натуральных чисел, таких, что ». Молодцы!

Данное множество можно записать и прямым перечислением:

Ещё примеры:
– и если и студентов в 1-м ряду достаточно много, то такая запись намного удобнее, нежели их прямое перечисление.

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

Следует отметить, что элементы множества не обязаны быть «однородными» или логически взаимосвязанными. Возьмите большой пакет и начните наобум складывать в него различные предметы. В этом нет никакой закономерности, но, тем не менее, речь идёт о множестве предметов. Образно говоря, множество – это и есть обособленный «пакет», в котором «волею судьбы» оказалась некоторая совокупность объектов.

Подмножества

Практически всё понятно из самого названия: множество является подмножеством множества , если каждый элемент множества принадлежит множеству . Иными словами, множество содержится во множестве :

Значок называют значком включения.

Вернёмся к примеру, в котором – это множество букв русского алфавита. Обозначим через – множество его гласных букв. Тогда:

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

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

Пусть – множество студентов в 1-м ряду, – множество студентов группы, – множество студентов университета. Тогда отношение включений можно изобразить следующим образом:

Множество студентов другого ВУЗа следует изобразить кругом, который не пересекает внешний круг; множество студентов страны – кругом, который содержит в себе оба этих круга, и т. д.

Типичный пример включений мы наблюдаем при рассмотрении числовых множеств. Повторим школьный материал, который важно держать на заметке и при изучении высшей математики:

Числовые множества

Как известно, исторически первыми появились натуральные числа, предназначенные для подсчёта материальных объектов (людей, кур, овец, монет и т. д.). Это множество уже встретилось в статье, единственное, мы сейчас чуть-чуть модифицируем его обозначение. Дело в том, что числовые множества принято обозначать жирными, стилизованными или утолщёнными буквами. Мне удобнее использовать жирный шрифт:

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

Если к множеству присоединить те же числа с противоположным знаком и ноль, то получится множество целых чисел:

, рационализаторы и лентяи записывают его элементы со значками «плюс минус»:))

Совершенно понятно, что множество натуральных чисел является подмножеством множества целых чисел:
– поскольку каждый элемент множества принадлежит множеству . Таким образом, любое натуральное число можно смело назвать и целым числом.

Название множества тоже «говорящее»: целые числа – это значит, никаких дробей.

И коль скоро целые, то сразу же вспомним важные признаки их делимости на 2, 3, 4, 5 и 10, которые будут требоваться в практических вычислениях чуть ли не каждый день:

Целое число делится на 2 без остатка, если оно заканчивается на 0, 2, 4, 6 или 8 (т. е. любой чётной цифрой). Например, числа:
400, -1502, -24, 66996, 818 – делятся на 2 без остатка.

И давайте тут же разберём «родственный» признак: целое число делится на 4, если число, составленное из двух его последних цифр (в порядке их следования) делится на 4.

400 – делится на 4 (т. к. 00 (ноль) делится на 4);
-1502 – не делится на 4 (т. к. 02 (двойка) не делится на 4);
-24, понятно, делится на 4;
66996 – делится на 4 (т. к. 96 делится на 4);
818 – не делится на 4 (т. к. 18 не делится на 4).

Самостоятельно проведите несложное обоснование данного факта.

С делимостью на 3 чуть сложнее: целое число делится на 3 без остатка, если сумма входящих в него цифр делится на 3.

Проверим, делится ли на 3 число 27901. Для этого просуммируем его цифры:
2 + 7 + 9 + 0 + 1 = 19 – не делится на 3
Вывод: 27901 не делится на 3.

Просуммируем цифры числа -825432:
8 + 2 + 5 + 4 + 3 + 2 = 24 – делится на 3
Вывод: число -825432 делится на 3

Целое число делится на 5, если оно заканчивается пятёркой либо нулём:
775, -2390 – делятся на 5

Целое число делится на 10, если оно заканчивается на ноль:
798400 – делится на 10 (и, очевидно, на 100). Ну и, наверное, все помнят – для того, чтобы разделить на 10, нужно просто убрать один ноль: 79840

Также существуют признаки делимости на 6, 8, 9, 11 и т. д., но практического толку от них практически никакого =)

Следует отметить, что перечисленные признаки (казалось бы, такие простые) строго доказываются в теории чисел. Этот раздел алгебры вообще достаточно интересен, однако его теоремы… прямо современная китайская казнь =) А Вольдемару за последней партой и того хватило…, но ничего страшного, скоро мы займёмся живительными физическими упражнениями =)

Следующим числовым множеством идёт множество рациональных чисел:
– то есть любое рациональное число представимо в виде дроби с целым числителем и натуральным знаменателем.

Очевидно, что множество целых чисел является подмножеством множества рациональных чисел:

И в самом деле – ведь любое целое число можно представить в виде рациональной дроби , например: и т. д. Таким образом, целое число можно совершенно законно назвать и рациональным числом.

Характерным «опознавательным» признаком рационального числа является то обстоятельство, что при делении числителя на знаменатель получается либо
– целое число,

либо
– конечная десятичная дробь,

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

Полюбуйтесь делением и постарайтесь выполнять это действие как можно реже! В организационной статье Высшая математика для чайников и на других уроках я неоднократно повторял, повторяю, и буду повторять эту мантру:

В высшей математике все действия стремимся выполнять в обыкновенных (правильных и неправильных) дробях

Согласитесь, что иметь дело с дробью значительно удобнее, чем с десятичным числом 0,375 (не говоря уже о бесконечных дробях).

Едем дальше. Помимо рациональных существует множество иррациональных чисел, каждое из которых представимо в виде бесконечной НЕпериодической десятичной дроби. Иными словами, в «бесконечных хвостах» иррациональных чисел нет никакой закономерности:
(«год рождения Льва Толстого» дважды)
и т. д.

О знаменитых константах «пи» и «е» информации предостаточно, поэтому на них я не останавливаюсь.

Объединение рациональных и иррациональных чисел образует множество действительных (вещественных) чисел:

– значок объединения множеств.

Геометрическая интерпретация множества вам хорошо знакома – это числовая прямая:

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

Числовую прямую также обозначают бесконечным интервалом , а запись или эквивалентная ей запись символизирует тот факт, что принадлежит множеству действительных чисел (или попросту «икс» – действительное число).

С вложениями всё прозрачно: множество рациональных чисел – это подмножество множества действительных чисел:
, таким образом, любое рациональное число можно смело назвать и действительным числом.

Множество иррациональных чисел – это тоже подмножество действительных чисел:

При этом подмножества и не пересекаются – то есть ни одно иррациональное число невозможно представить в виде рациональной дроби.

Существуют ли какие-нибудь другие числовые системы? Существуют! Это, например, комплексные числа, с которыми я рекомендую ознакомиться буквально в ближайшие дни или даже часы.

Ну а пока мы переходим к изучению операций над множествами, дух которых уже материализовался в конце этого параграфа:

Действия над множествами. Диаграммы Венна

Диаграммы Венна (по аналогии с кругами Эйлера) – это схематическое изображение действий с множествами. Опять же предупреждаю, что я рассмотрю не все операции:

1) Пересечение множеств характеризуется логической связкой И и обозначается значком

Пересечением множеств и называется множество , каждый элемент которого принадлежит и множеству , и множеству . Грубо говоря, пересечение – это общая часть множеств:

Так, например, для множеств :

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

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

Операция пересечения применима и для бОльшего количества множеств, в частности в Википедии есть хороший пример пересечения множеств букв трёх алфавитов.

2) Объединение множеств характеризуется логической связкой ИЛИ и обозначается значком

Объединением множеств и называется множество , каждый элемент которого принадлежит множеству или множеству :

Запишем объединение множеств :
– грубо говоря, тут нужно перечислить все элементы множеств и , причём одинаковые элементы (в данном случае единица на пересечении множеств) следует указать один раз.

Но множества, разумеется, могут и не пересекаться, как это имеет место быть с рациональными и иррациональными числами:

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

Операция объединения применима и для бОльшего количества множеств, например, если , то:

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

3) Разностью множеств и называют множество , каждый элемент которого принадлежит множеству и не принадлежит множеству :

Разность читаются следующим образом: «а без бэ». И рассуждать можно точно так же: рассмотрим множества . Чтобы записать разность , нужно из множества «выбросить» все элементы, которые есть во множестве :

Пример с числовыми множествами:
– здесь из множества целых чисел исключены все натуральные, да и сама запись так и читается: «множество целых чисел без множества натуральных».

Зеркально: разностью множеств и называют множество , каждый элемент которого принадлежит множеству и не принадлежит множеству :

Для тех же множеств
– из множества «выброшено» то, что есть во множестве .

А вот эта разность оказывается пуста: . И в самом деле – если из множества натуральных чисел исключить целые числа, то, собственно, ничего и не останется 🙂

Кроме того, иногда рассматривают симметрическую разность , которая объединяет оба «полумесяца»:
– иными словами, это «всё, кроме пересечения множеств».

4) Декартовым (прямым) произведением множеств и называется множество всех упорядоченных пар , в которых элемент , а элемент

Запишем декартово произведение множеств :
– перечисление пар удобно осуществлять по следующему алгоритму: «сначала к 1-му элементу множества последовательно присоединяем каждый элемент множества , затем ко 2-му элементу множества присоединяем каждый элемент множества , затем к 3-му элементу множества присоединяем каждый элемент множества »:

Зеркально: декартовым произведением множеств и называется множество всех упорядоченных пар , в которых . В нашем примере:
– здесь схема записи аналогична: сначала к «минус единице» последовательно присоединяем все элементы множества , затем к «дэ» – те же самые элементы:

Но это чисто для удобства – и в том, и в другом случае пары можно перечислить в каком угодно порядке – здесь важно записать все возможные пары.

А теперь гвоздь программы: декартово произведение – это есть не что иное, как множество точек нашей родной декартовой системы координат .

Задание для самостоятельного закрепления материала:

Выполнить операции , если:

Множество удобно расписать перечислением его элементов.

И пунктик с промежутками действительных чисел:

Напоминаю, что квадратная скобка означает включение числа в промежуток, а круглая – его невключение, то есть «минус единица» принадлежит множеству , а «тройка» не принадлежит множеству . Постарайтесь разобраться, что представляет собой декартово произведение данных множеств. Если возникнут затруднения, выполните чертёж 😉

Краткое решение задачи в конце урока.

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

Отображение множества во множество – это правило, по которому каждому элементу множества ставится в соответствие элемент (или элементы) множества . В том случае если в соответствие ставится единственный элемент, то данное правило называется однозначно определённой функцией или просто функцией.

Функцию, как многие знают, чаще всего обозначают буквой – она ставит в соответствие каждому элементу единственное значение , принадлежащее множеству .

Ну а сейчас я снова побеспокою множество студентов 1-го ряда и предложу им 6 тем для рефератов (множество ):

Установленное (добровольно или принудительно =)) правило ставит в соответствие каждому студенту множества единственную тему реферата множества .

…А вы, наверное, и представить себе не могли, что сыграете роль аргумента функции =) =)

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

Построенное отображение множеств имеет очень важную характеристику: оно является взаимно-однозначным или биективным (биекцией). В данном примере это означает, что каждому студенту поставлена в соответствие одна уникальная тема реферата, и обратно – за каждой темой реферата закреплён один и только один студент.

Однако не следует думать, что всякое отображение биективно. Если на 1-й ряд (к множеству ) добавить 7-го студента, то взаимно-однозначное соответствие пропадёт – либо один из студентов останется без темы (отображения не будет вообще), либо какая-то тема достанется сразу двум студентам. Обратная ситуация: если к множеству добавить седьмую тему, то взаимнооднозначность отображения тоже будет утрачена – одна из тем останется невостребованной.

Уважаемые студенты на 1-м ряду, не расстраивайтесь – остальные 20 человек после пар пойдут прибирать территорию университета от осенней листвы. Завхоз выдаст двадцать голиков, после чего будет установлено взаимно-однозначное соответствие между основной частью группы и мётлами…, а Вольдемар ещё и в магазин сбегать успеет =)

Теперь разберёмся со «школьной» функцией одной переменной. Пожалуйста, загляните на страницу Функции и графики (отроется на соседней вкладке), и в Примере 1 найдите график линейной функции .

Задумаемся, что это такое? Это правило , которое каждому элементу области определения (в данном случае это все значения «икс») ставит в соответствие единственное значение . С теоретико-множественной точки зрения, здесь происходит отображение множества действительных чисел во множество действительных чисел:

Первое множество мы по-обывательски называем «иксами» (независимая переменная или аргумент), а второе – «игреками» (зависимая переменная или функция).

Далее взглянем на старую знакомую параболу . Здесь правило каждому значению «икс» ставит в соответствие его квадрат, и имеет место отображение:

Итак, что же такое функция одной переменной? Функция одной переменной – это правило , которое каждому значению независимой переменной из области определения ставит в соответствие одно и только одно значение .

Как уже отмечалось в примере со студентами, не всякая функция является взаимно-однозначной. Так, например, у функции каждому «иксу» области определения соответствует свой уникальный «игрек», и наоборот – по любому значению «игрек» мы сможем однозначно восстановить «икс». Таким образом, это биективная функция.

! На всякий случай ликвидирую возможное недопонимание: моя постоянная оговорка об области определения не случайна! Функция может быть определена далеко не при всех «икс», и, кроме того, может быть взаимно-однозначной и в этом случае. Типичный пример:

А вот у квадратичной функции не наблюдается ничего подобного, во-первых:
– то есть различные значения «икс» отобразились в одно и то же значение «игрек»; и во-вторых: если кто-то вычислил значение функции и сообщил нам, что , то не понятно – этот «игрек» получен при или при ? Что и говорить, взаимной однозначностью здесь даже не пахнет.

Задание 2: просмотреть графики основных элементарных функций и выписать на листок биективные функции. Список для сверки в конце этого урока.

Мощность множества

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

Мощность пустого множества равна нулю.

Мощность множества равна шести.

Мощность множества букв русского алфавита равна тридцати трём.

И вообще – мощность любого конечного множества равно количеству элементов данного множества.

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

Само собой, множества можно сравнивать по мощности и их равенство в этом смысле называется равномощностью. Равномощность определяется следующим образом:

Два множества являются равномощными, если между ними можно установить взаимно-однозначное соответствие.

Множество студентов равномощно множеству тем рефератов, множество букв русского алфавита равномощно любому множеству из 33 элементов и т. д. Заметьте, что именно любому множеству из 33 элементов – в данном случае имеет значение лишь их количество. Буквы русского алфавита можно сопоставить не только с множеством номеров
1, 2, 3, …, 32, 33, но и вообще со стадом в 33 коровы.

Гораздо более интересно обстоят дела с бесконечными множествами. Бесконечности тоже бывают разными! . зелёными и красными Самые «маленькие» бесконечные множества – это счётные множества. Если совсем просто, элементы такого множества можно пронумеровать. Эталонный пример – это множество натуральных чисел . Да – оно бесконечно, однако у каждого его элемента в ПРИНЦИПЕ есть номер.

Примеров очень много. В частности, счётным является множество всех чётных натуральных чисел . Как это доказать? Нужно установить его взаимно-однозначное соответствие с множеством натуральных чисел или попросту пронумеровывать элементы:

Взаимно-однозначное соответствие установлено, следовательно, множества равномощны и множество счётно. Парадоксально, но с точки зрения мощности – чётных натуральных чисел столько же, сколько и натуральных!

Множество целых чисел тоже счётно. Его элементы можно занумеровать, например, так:

Более того, счётно и множество рациональных чисел . Поскольку числитель – это целое число (а их, как только что показано, можно пронумеровать), а знаменатель – натуральное число, то рано или поздно мы «доберёмся» до любой рациональной дроби и присвоим ей номер.

А вот множество действительных чисел уже несчётно, т. е. его элементы пронумеровать невозможно. Данный факт хоть и очевиден, однако строго доказывается в теории множеств. Мощность множества действительных чисел также называют континуумом, и по сравнению со счётными множествами это «более бесконечное» множество.

Поскольку между множеством и числовой прямой существует взаимно-однозначное соответствие (см. выше), то множество точек числовой прямой тоже несчётно. И более того, что на километровом, что на миллиметровом отрезке – точек столько же! Классический пример:

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

Данный парадокс, видимо, связан с загадкой бесконечности…, но мы сейчас не будем забивать голову проблемами мироздания, ибо на очереди основы математической логики, а не философия =)

Спасибо за внимание и успехов вам в учёбе!

Задание 1

2)
– это множество нечётных натуральных чисел:

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

Задание 2. Взаимно-однозначные функции на иллюстрациях урока Функции и графики:

Автор: Емелин Александр

(Переход на главную страницу)

Zaochnik.com – профессиональная помощь студентам,

cкидкa 15% на первый зaкaз, при оформлении введите прoмoкoд: 5530-hihi5

© Copyright mathprofi.ru, Александр Емелин, 2010-2024. Копирование материалов сайта запрещено

Метод математической индукции для чайников

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

Существует метод рассуждений, который позволяет заменить неосуществимый бесконечный перебор доказательством того, что если утверждение истинно в одном случае, то оно окажется истинным и в следущем за ним случае. Этот метод носит название математической индукции (или рассуждением от $n$ к $n+1$)

Основы метода математической индукции

В основе метода математической индукции (ММИ) лежит принцип математической индукции: утверждение $P(n)$ (где $n$ — натуральное число) справедливо при $\forall n \in N$, если:

• Утверждение $P(n)$ справедливо при $n=1$.
• Для $\forall k \in N$ из справедливости $P(k)$ следует справедливость $P(k+1)$.

Доказательство с помощью метода математической индукции проводится в два этапа:

1. База индукции (базис индукции). Проверяется истинность утверждения при $n=1$ (или любом другом подходящем значении $n$)
2. Индуктивный переход (шаг индукции). Считая, что справедливо утверждение $P(k)$ при $n=k$, проверяется истинность утверждения $P(k+1)$ при $n=k+1$.

Метод математической индукции применяется в разных типах задач:

• Доказательство делимости и кратности
• Доказательство равенств и тождеств
• Задачи с последовательностями
• Доказательство неравенств
• Нахождение суммы и произведения

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

Полезная страница? Сохрани или расскажи друзьям

Математическая индукция: задачи и решения

Доказательство кратности и делимости

Задача 1. Докажите, что $5^n-4n+15$ делится на 16 при всех $n \in N_0$.

Задача 2. Доказать, что при любом натуральном $n$ число $a_n$ делится на $b$.

$$a_n = 2n^3+3n^2+7n, \quad b=6.$$

Задача 3. Докажите методом математической индукции: $4^ + 1$ кратно 5 для всех $n \ge 1$.

Задача 4. Используя метод математической индукции, докажите, что для любого натурального числа истинно следующее утверждение: $6^+3^+3^$ кратно 11.

Доказательство равенств и неравенств

Задача 5. Доказать равенство

Задача 6. Доказать методом математической индукции:

Задача 7. Доказать неравенство:

Задача 8. Доказать утверждение методом математической индукции:

$$ \left(1-\frac\right)\left(1-\frac\right)\left(1-\frac\right)\cdot . \cdot\left(1-\frac\right) =\frac \quad (n \ge 2). $$

Задача 9. Доказать неравенство:

$$ 2!\cdot 4! \cdot . \cdot (2n)! \gt [(n+1)!]^n \quad (n \gt 2).$$

Задача 10. Докажите методом математической индукции неравенство Бернулли: $(1+a)^n \gt 1 + a\cdot n$ для всех $n\in N$ и $a \gt -1$, $a \in R$.

Вычисление сумм

Задача 11. Доказать методом математической индукции:

Задача 12. Найдите сумму

$$1 \cdot 1! + 2 \cdot 2! + . . . + 2012 \cdot 2012! + 2013 \cdot 2013!$$

Заказать решение

Если вам нужна помощь с решением задач по любым разделам математики, обращайтесь в МатБюро. Выполняем контрольные и практические работы, ИДЗ и типовые расчеты на заказ. Стоимость задания от 60 рублей , оформление производится в Word, срок от 2 дней.

Заказать решение задач по математике легко!

Полезные ссылки о ММИ

• ММИ: краткая теория и примеры решений Страничка виртуальной школы юного математика. Разобраны примеры (в том числе для геометрии) и даны задачи для самостоятельной работы.
• Виленкин Н.Я. Индукция. Комбинаторика Классическое пособие по методу математической индукции и комбинаторике (базовые понятия и примеры задач).
• Математическая индукция. Основные определения и 10 разобранных решений.
• Николаева С.А. Метод математической индукции: методическое пособие для учителей и учащихся.
• А. Шень Математическая индукция. Пособие для школьников, разобраны 29 задач, из них 19 с полным решением.

Теория множеств задания(1,4)

В качестве проверки изученного материала необходимо выполнить задания:

Задание 1. Определите результат операции:

1. 
2. 
3. 
4. 
5. 
6. 
7. 
8. 
9. 
10. 

Задание2. Докажите тождество Докажите тождество AUB=AU(B\A). РЕШЕНИЕ: Чтобы доказать это тождество, нужно показать, что каждый элемент первого множества принадлежит второму и наоборот, то есть эти множества совпадают. Пусть x∈AUB, то есть x∈A или x∈B. Если x∈A, то x∈AU(B\A). Если x∉A, но x∈B, то x∈B\A, следовательно, x∈AU(B\A). Пусть x∈AU(B\A), то есть x∈A или x∈B\А. Если x∈A, то x∈AUB. Если x∈В, но x∉A (x∈B\А), то x∈AUB. Задание3. Определите свойства следующих отношений:

1. «прямая x пересекает прямую y» (на множестве прямых)
2. «число x больше числа y на 2» (на множестве натуральных чисел)
3. «число x делится на число y без остатка» (на множестве натуральных чисел)
4. «x — сестра y» (на множестве людей).

РЕШЕНИЕ: 1. xRy=«прямая x пересекает прямую y» (на множестве прямых). Это отношение: Рефлексивное, так как «прямая x пересекает прямую x» выполняется для любой прямой (она пересекает себя в каждой точке); Симметрическое, так как из того, что «прямая x пересекает прямую y» следует, что «прямая y пересекает прямую x» для любых прямых x,y; Также можно заметить, что это отношение не является тождественным, транзитивным и полным. 2. xRy=«число x больше числа y на 2» (на множестве натуральных чисел). Это отношение: Антирефлексивное, так как ни для одного элемента из множества натуральных чисел не выполняется «число x больше числа x на 2»; Антисимметрическое, так как для любых элементов x,y из множества натуральных чисел из того, что «число x больше числа y на 2» следует невыполнение того, что «число y больше числа x на 2»; Также можно заметить, что это отношение не является тождественным, транзитивным и полным. 3. xRy=«число x делится на число y без остатка» (на множестве натуральных чисел). Это отношение: Рефлексивно, так как для любого элемента x из множества натуральных чисел выполняется «число x делится на число x без остатка»; Тождественно, так как для любых элементов x,y из множества натуральных чисел из того, что «число x делится на число y без остатка» и «число y делится на число x без остатка», следует, что x=y; Транзитивное, так как для любых элементов x,y,z из множества натуральных чисел из того, что «число x делится на число y без остатка» и «число y делится на число z без остатка», следует, что «число x делится на число z без остатка»; Также можно заметить, что это отношение не является симметрическим, антисимметрическим и полным. Это отношение является отношением порядка. 4. xRy=«x – сестра y» (на множестве людей) Это отношение: Антирефлексивно, так как для любого человека x неверно, что «x – сестра x»; Транзитивно, так как для любых людей x, y, z таких что «x – сестра y» и «y – сестра z» следует, что «x – сестра z» . Также можно заметить, что это отношение не является симметрическим, антисимметрическим, тождественным и полным. Задание4. Дано множество и его подмножества , , . Докажите, что такое разбиение соответствует некому отношению эквивалентности на этом множестве, т.е. данные подмножества можно назвать классами эквивалентности. Постройте факто-множество (множество, состоящее их классов эквивалентности). Решения оформить в электронном виде и отправить по адресу: MAEjova@mesi.ru Если возникают вопросы, то задавайте их на форуме в Виртуальном Кампусе или отсылайте на почту. Множество (определение, конечность, мощность, пример) Множество – это совокупность элементов объединенных некоторым признаком или свойствами. Конечное множество состоит из конечного числа элементов. например, множество страниц в книге… Бесконечное множество состоит из бесконечного числа элементов, т.е. это множество, которое не является ни конечным, ни пустым. Например: множество действительных чисел, множество точек плоскости, множество атомов во Вселенной и т.д. Мощностью конечного множества называется количество его элементов. Мощность множества Aобозначается m (A). Способы задания множеств 1. Перечисление элементов. Элементы заключаются в фигурные скобки. M = 2. Порождающей процедурой. Указывается способ получения новых элементов из уже имеющихся. 3. С помощью характеристического предиката. Предикат описывает свойство всех эле- ментов, входящих в множество.M = или M = Пример 1. N = 2. 1 ∈ M; если a ∈ M, то 2 · a ∈ M 3. M = Операции над множествами (описание, примеры)Суммой, или объединением произвольного конечного или бесконечного множества множеств называется множество,состоящее из тех и только тех элементов, которые принадлежат хотя бы одному из множествА,В. Пересечением любого конечного или бесконечного множества множеств называется множество, состоящее из тех и только тех элементов, которые принадлежат множествам А и В одновременно. Разностью между множеством В и множеством А называется множество всех элементов из В , не являющихся элементами из А . Дополнением множества А в В называется разность А\В, если В является подмножеством множества А. 1. Объединение A ∪ B = 2. Пересечение A ∩ B = 3. Разность A \ B = 4. Дополнение A = 5. Симметрическая разность A 4 B = Прямое (декартовое) произведение (определение, пример)Прямое или декартово произведение — множество, элементами которого являются всевозможные упорядоченные пары элементов исходных двух множеств. Данное понятие употребляется не только втеории множеств, но также в алгебре, топологии и прочих разделах математики благодаря тому, что прямое произведение часто наследует структуры существующие на перемножаемых множествах. Бинарные отношения (определение, бинарное отношение на множестве, отношение к декартовому произведению) В математике бинарнымотношением называется подмножество декартова произведения двух множеств. В частности, бинарным отношением на множестве называется непустое множество упорядоченных пар элементов этого множества. В математике большую роль играют бинарные отношения, т.е. отношения, заданные на декартовом произведении двух множеств .

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

• Множество всех вторых элементов пар из называется областью значения отношенияи обозначается как .

• Инверсия(Обратное отношение) — это множество и обозначается, как .
• Композиция (суперпозиция) бинарных отношений и — это множество и обозначается, как .

Свойства бинарных отношений Бинарные отношения могут обладать различными свойствами, такими как

• Рефлексивность .
• Антирефлексивность (иррефлексивность): .
• Симметричность: .
• Антисимметричность: .
• Транзитивность: .
• Асимметричность: . Асимметричность эквивалентна одновременной антирефлексивности и антисимметричности отношения.

Матрица бинарного отношения (определение, пример)Бинарная матрица (двоичная матрица, (0, 1)-матрица) — матрица, элементами которой являются 0 или 1. — бинарная матрица

• Матрица перестановки — бинарная матрица, в каждом столбце и строке которой лишь одна единица, а все остальные элементы — 0.

• В теории графов, матрицей смежностипростого графа называется бинарная матрица, на пересечении -ой строки и -го столбца которой стоит 1, если вершины соединены ребром (или дугой) и 0 в противном случае. Матрица достижимости орграфа также является бинарной матрицей.

Отношение эквивалентности (определение, класс эквивалентности) Отношение на множестве называетсяотношением эквивалентности, если оно обладает следующими свойствами:

1. для всех (рефлексивность)
2. Если , то (симметричность)
3. Если и , то (транзитивность)

Обычно отношение эквивалентности обозначают знаком или и говорят, что оно (отношение) задано на множестве (а не на ). Условия 1-3 в таких обозначениях выглядят более естественно:

1. для всех (рефлексивность)
2. Если , то (симметричность)
3. Если и , то (транзитивность)

Свойства классов эквивалентности

1. для всех (рефлексивность)
2. Если , то (симметричность)
3. Если и , то (транзитивность)

Фактор-множество (определение, пример) Совокупность всех классов эквивалентности называется фактор-множеством. Оно обозначается символом X/R. Дискретная математика: Конспект лекций. Ч.1 Автор: Шишмарев Ю.Е. Редактор: Александрова Л.И. http://abc.vvsu.ru/Books/discr_ma/default.asp Для рассмотрения подходят все параграфы главы 2 (Введение в теорию множеств), кроме пятого и девятого (их можно прочитать для общего ознакомления). Список вопросов для подготовки:

1. Множество (определение, конечность, мощность, пример)
2. Способы задания множеств
3. Операции над множествами (описание, примеры)
4. Прямое (декартовое) произведение (определение, пример)
5. Бинарные отношения (определение, бинарное отношение на множестве, отношение к декартовому произведению)
6. Свойства бинарных отношений
7. Матрица бинарного отношения (определение, пример)
8. Отношение эквивалентности (определение, класс эквивалентности)
9. Свойства классов эквивалентности
10. Фактор-множество (определение, пример)

Дополнительная литература: 1) Набор слайдов по курсу «Основы теории множеств» http://anisimovdmitry.com/Documents/MathLogicCourse/settheory.pdf (красочный проект с доступной формой организации информации, но имеется много дополнительных сведений) 2) Аминова А.В. Элементы теории множеств. // Казанский государственный университет, физический факультет. – Казань, 2008. http://www.ksu.ru/f6/k6/bin_files/teoriya_mnoghestv!4.pdf Учитывая структуру курса, то читать стоит следующие страницы: Лекция 1. Раздел 2 [стр. 9-15], Лекция 2. Разделы 1-3 [стр. 16-25], Лекция 3. Разделы 2-3 [стр. 29-33], Лекция 4.Раздел 1 [стр. 34-35] (понятное изложение, большое число графических изображений для описания нововведенных понятий)

28.10.2018 51.11 Кб 4 Теоретические основы изучения экономики.docx

05.06.2015 235.22 Кб 80 Теории мотивации.docx