Что такое сопоставьте множества

Что такое множество 👨‍🎓. Свойства и операции над множествами

В этой статье рассмотрим очень важную тему, как в математике, так и в информатике – множества. Ниже Вы найдете основные определения и понятия, свойства множеств, их виды и примеры. Материал изложен таким образом, что разберется даже полный чайник. Здесь приведены, только основы, которые обычно проходятся в рамках школьной программы. Читайте!

Основные положения и обозначения

Теория множеств появилась благодаря знаменитому немецкому математику Гео́рг Ка́нтор (3 марта 1845, Санкт-Петербург — 6 января 1918, Галле (Заале)) — немецкий математик, ученик Вейерштрасса. Наиболее известен как создатель теории множеств.

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

Множества (м-ва – сокр.) – наборы элементов объединенных по какому либо признаку.

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

Примеры

​ \( S = \left\ < а, б, в, г, д, …, ю, я \right\>\) – мн-во букв русского алфавита.
\( S = \left\ < Алексей, Анатолий, Галина, …, Александр, Ирина \right\>\) – мн-во имен студентов в группе.
\( S = \left\ < 🐵, 🙈, 🙉, 🙊 \right\>\) – мн-во смайликов с изображением обезьянок.

Также стоит обговорить про принадлежность элементов к множеству. Записать её можно с помощью специального значка «принадлежности» – ​ \( \in \) ​. Так запись вида \( x \in S \) обозначает, что элемент x принадлежит множеству S.

С основным понятием разобрались, перейдем к остальной теории.

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

Подмножество – множество S1 является подмножеством S, если каждый элемент из S1 содержится (включен) в S.

Обозначают подмножества при помощи специального значка «включения», который имеет вид ​ \( \subset \) \( (\ S_1 \subset S \ ) \) ​. Также их можно отобразить схематично, используя диаграммы Эйлера, которые отображают отношения между подмножествами.

Также Вы можете выделить подмножество мужских имен, или сделать любую выборку по какому-нибудь признаку.

Мощность

Следует также выделить такое понятие, как мощность. Имеет оно следующий вид:

Мощность – количество элементов, которое содержится в множестве.

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

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

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

Равенство

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

Два (или несколько) множеств равны только тогда, когда равны все их элементы.

Теперь изучим виды и другие свойства мн-в в математике.

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

А можем поделить их на конечные (ограниченные) и бесконечные:

Теперь рассмотрим примеры множеств в математике.

Примеры

Натуральные числа

Натуральные числа в математике – это те числа, которые мы используем при счете (1, 2, 3 и т.д.). Сюда не относятся отрицательные величины и нуль. Запись: \( N = \left\ < 1, 2, 3, 4, 5, … \right\>\).

Целые числа

Получаются из множества натуральных чисел. К ним добавляются отрицательные числа и нуль. \( Z = \left\ < 0, \pm 1, \pm 2, \pm 3, \pm 4, \pm 5, … \right\>\).

Рациональные числа

Здесь множество задается следующим образом: ​ \( Q = \left\ < \ | \ m \in Z, \ n \in N\right\> \) ​. В формуле m представляет собой целый числитель, а n – натуральный знаменатель.

Так как любое число в математике можно представить в виде дроби (например, ​ \( 5 = <5 \over 1>\) ​), то целые числа являются подмножеством рациональных чисел. Натуральные же числа являются подмножеством целых чисел.

\[ N \subset Z \subset Q \]

Эту теорию Вам надо запомнить.

Операции

В этом разделе рассмотрим основные операции (действия) над множествами в математике.

Пересечение

Чтобы поняли даже чайники, вернемся к нашим «мартышкам»:

\( S_ <1>= \left\ < 🙉, 🙊 \right\>\) — обезьянки показывающие лапки и глаза

\( S_ <2>= \left\ < 🙈, 🙉 \right\>\) — мартышки показывающие лапы и рот

Надо найти \( S_ <1>\ \cap \ S_ <2>\). Для этого воспользуемся диаграммами Эйлера — Венна:

Решение: ​ \( S_ <1>\ \cap \ S_ <2>= \left\ < 🙉 \right\>\) т.к. 🙉 ​ входит и в S1 и в S2.​

Объединение

​Решение: ​ \( S_ <1>\ \cup \ S_ <2>= \left\ < 🙈, 🙉, 🙊 \right\>\) ​

Разность

Решение: ​ \( S_ <1>\ \setminus \ S_ <2>= \left\ < 🙊 \right\>\)

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

Заключение

Теперь Вы знаете, что такое мн-ва, знаете их свойства и какие операции над ними можно выполнять. Надеюсь я объяснил всю теорию так, что понял даже полный чайник. Если же у Вас возникли вопросы, то задавайте их в комментариях. Также на нашем сайте Вы можете прочитать другие статьи, например про представления чисел в компьютере. Рассказывается как выполнять с ними такие действия, как перемножение, получение суммы и деление.

Источник

Разнообразие бесконечностей

Бесконечные множества содержат неограниченную последовательность элементов, объединенных общим признаком. Самые часто используемые из них в математике:

Все они бесконечны, вовсе не означает, что они равномощны.

Сравнение и отображение

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

Подмножеством некоторого набора компонентов называется любая часть компонентов этого набора. То есть, совокупность состоящее из чисел 1 и 3 является подмножеством множества чисел 1, 3 и 5. А они оба, в свою очередь, являются подмножествами совокупности нечётных чисел и т. д.

Если каждому компоненту множества A можно сопоставить какой-то элемент подмножества совокупности В, то отображение А в В конъюнктивно или А меньше, чем В. Если при этом нельзя найти в наборе А подмножество, которое можно сопоставить с совокупностью В, то отображение В в А дизъюнктивно. Если же каждому компоненту из комплекса А можно сопоставить элемент из совокупности В и каждому компоненту из набора В можно сопоставить элемент из совокупности А, то эти множества отображаются друг в друге биективно. В таком случае говорят, что они эквивалентны.

Для сравнения совокупностей можно использовать их мощность. Если мощность А меньше мощности В, то и множество А меньше, чем В. Если мощности равны, то сами наборы элементов эквивалентны.

Сопоставление наборов элементов

Казалось бы, используя свойства сравнения наборов элементов, можно найти соотношение мощностей бесконечных совокупностей. Ведь очевидно, что множество N является подмножеством совокупности Z, они оба являются подмножеством Q, а множества Q и I вместе составляют R. И отсюда, по определению, следует, что мощности соотносятся так: |N| |I|, и загадкой остается только соотношение совокупностей Q и I. Но всё не так просто.

Выяснение размера бесконечного комплекса компонентов — такая же задача, как определение размера конечной совокупности — пересчёт компонентов. Возможность посчитать и пронумеровать элементы бесконечной совокупности называется счётностью. Совокупность натуральных чисел — счётная. Элементам в этом случае легко присвоить порядковые номера. И все множества, которые эквивалентны N, тоже будут счётными. Его размер |N| = a.

Но если взять R, то его элементы пронумеровать не получится. Ведь между любыми двумя точками, а прямой всегда можно поставить ещё одну. То есть, совокупность R «бесконечна вглубь»: каждый промежуток между бесконечным количеством точек содержит в себе бесконечное количество точек. Значит, свойство R — несчётность. Такие «бесконечные вглубь» множества называют континуальными. И их мощность обозначается как |R| = c.

Ещё одно важное свойство бесконечных множеств заключается в том, что если из бесконечной совокупности удалить (или добавить к ней) подмножество меньшей мощности, то размер исходной совокупности сохранится. Если из N убрать все числа от 1 до 10, то его мощность не уменьшится на 10, а останется прежней. Множество останется бесконечным и счётным: a — 10 = a.

Бесконечная мощность счётных и несчётных множеств может быть описана тремя формулами. Это два равенства и одно неравенство:

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

Соотношение мощностей

Континуальное множество больше счётного. Но какова их разница? Чтобы это вычислить, потребуется понятие булеан.

Что такое булеан

Есть некий набор компонентов V. Булеаном V будет называться комплекс всех его подмножеств. Как будут соотноситься размер булеана и самого V? Если V состоит из одного элемента, то его булеан будет состоять из двух элементов: пустого набора компонентов и самого V. Если V состоит из двух элементов, то булеан содержит 4 элемента: пустое множество, V и каждый из двух элементов. Если V содержит 3 элемента, то булеан содержит 8: пустое, само V, каждый из трёх его элементов в отдельности и каждую пару элементов (которых тоже три).

То есть мощность булеана — это 2 в степени размера самого V. Булеан так и записывается 2^|V|. Размер булеана всегда будет больше, чем мощность самой совокупности.

Результат сопоставления

Размер булеана любой счётной совокупности будет 2^a. Если рассматривать N, то его булеан будет состоять из пустоты, бесконечного числа элементов N, бесконечного числа пар элементов, бессчётного числа сочетаний элементов по 3, 4, 5 и так до бесконечности. Какому известному множеству можно сопоставить этот булеан?

Так как это N — натуральные числа, то каждый элемент булеана — это последовательность чисел. Если представить каждую такую последовательность в виде знаков после запятой в десятичной дроби, то получатся координаты точек в интервале от 0 до 1, который эквивалентен R. Так как булеан N содержит бесконечное количество комбинации бесконечных десятичных дробей, то он покрывает все точки в этом интервале. Это нестрогое доказательство уравнения c = 2^a.

Обозначения мощностей а и c происходят от слов account и continum, но именно такая последовательность букв порождает вопрос: а есть ли бесконечное множество мощностью b, которое меньше c, но больше a. Если и есть, то пока они неизвестны. А вот комплекс больший по мощности, чем c, есть. Это булеан континуального множества с мощностью 2^c. А у этого булеана тоже есть булеан с ещё большей мощностью.

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

Источник

Что такое множество в математике и как оно обозначается

Множество – это количество предметов или чисел, обладающих общими свойствами.

Данное определение подходит к любой совокупности с одинаковыми признаками, независимо оттого, сколько предметов в нее входит: толпа людей, стог сена, звезды в небе.

В математике изучаемое понятие обозначается заглавными латинскими буквами, например: А, С, Z, N, Q, A₁, A₂ и т. д.

Объекты, составляющие группу, называются элементами множества и записываются строчными латинскими буквами: a, b, c, d, x, y, a₁, a₂ и т. д.

Границы совокупности обозначаются фигурными скобками < >.

А = <а, в, с, у>– А состоит из четырех элементов.

Записать совокупность Z согласных букв в слове «калькулятор»:

Z = <к, л, т, р>, повторяющиеся согласные записываются один раз. Z состоит из четырех элементов.

Принадлежность элементов множеству обозначается знаком – Є.

Пример: N = , а Є N – элемент «а» принадлежит N.

Выделяют три вида множеств:

пустые (обозначаются Ø) – не имеющие элементов.

Пример: А = <а, в, с, у>и В = <а, в, с, е, к>– все элементы А являются элементами совокупности В, следовательно А ⊆ В.

Если множества состоят из одинаковых элементов, их называют равными.

Пример: А = <23, 29, 48>и В = <23, 29, 48>, тогда А = В.

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

Множество натуральных чисел

Относится ли ноль к натуральным числам? Это до сих пор открытый вопрос для математиков всего мира.

Множество целых чисел

Совокупность целых чисел (Z) включает в себя положительные натуральные и отрицательные числа, а также ноль:

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

Совокупность рациональных чисел (Q) состоит из дробей (обыкновенных и десятичных), целых и смешанных чисел:

Любое рациональное число можно представить в виде дроби, у которой числителем служит любое целое число, а знаменателем – натуральное:

Следовательно, N и Z являются подмножествами Q.

Операции над множествами

Точно так же, как и все математические объекты, множества можно складывать и вычитать, то есть совершать операции.

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

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

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

В случае, когда В / С = С / В, получается симметричная разность и обозначается значком Δ.

Для «чайников» или кому трудно даётся данная тема операции с совокупностями можно отобразить с помощью диаграмм Венна:

Объединение

Пересечение

Дополнение

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

Свойства операций над множествами

Операции над множествами обладают свойствами, аналогичными правилу свойств сложения, умножения и вычитания чисел:

Коммутативность – переместительные законы:

умножения S ∩ D = D ∩ S;

сложения S ∪ D = D ∪ S.

Ассоциативность – сочетательные законы:

умножения (S ∩ F) ∩ G = S ∩ (F ∩ G);

сложения (S ∪ F) ∪ G = S ∪ (F ∪ G).

Дистрибутивность – законы распределения:

умножения относительно вычитания S ∩ (F – G) = (S ∩ F) – (S ∩ G);

умножения относительно сложения G ∩ (S ∪ F) = (G ∩ S) ∪ (G ∩ F);

сложения относительно умножения G ∪ (S ∩ F) = (G ∪ S) ∩ (G ∪ F).

если S ⊆ Fи F ⊆ J, то S ⊆ J;

если S ⊆ F и F ⊆ S, то S = F.

Идемпотентность объединения и пересечения:

О других свойствах операций можно узнать из картинки:

Счетные и несчетные множества

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

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

Но не все группы действительных чисел счетные. Примером несчетной группы предметов является бесконечная десятичная дробь.

Источник

Содержание:

Множества

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

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

Объекты, составляющие множество, называются его элементами.

То, что х является элементом множества А, будем обозначать как а то, что он не является его элементом, будем обозначать как Эти записи в первом случае читаются как «элементах принадлежит А», а во втором случае как «элемент х не принадлежит А».

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

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

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

Обозначим через число всех элементов конечного множества А. Если, например,

в силу того, что число всех его элементов равно 6. Множество, не содержащее ни одного элемента, называется пустым и обозначается так: 0

Пустое множество 0 считается конечным и для него я(0)= 0.

Для бесконечного множества А принято, что

Во множестве <а>лежат два подмножества:

Множество <а, b>имеет четыре подмножества:

так как все элементы первого множества также являются элементами второго.

Если множество А имеет элементы, не принадлежащие В, то множество А не может быть подмножеством В. Этот факт мы будем записывать так:

Например, пусть А=< 1, 2, 3, 4>, В=<2, 3, 4, 5>. Так как Очевидно, что справедливы соотношения:

Если то эти множества состоят из одних и тех же элементов. Такие множества называются равными (совпадающими), и этот факт мы будем записывать так: А = В.

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

все углы равны, и, наоборот, если у треугольника все углы равны, то он является правильным.

Напомним основные числовые множества:— множество натуральных чисел; — множество целых чисел; — множество рациональных чисел;

Множество действительных чисел

Объединение и пересечение множеств

1) Множество, состоящее из элементов, принадлежащих хотя бы одному из множеств А, В, называется объединением множеств.

Объединение множеств А, В обозначается через

Например, если

2) Множество, состоящее из элементов, принадлежащих обоим множествам А, В, называется пересечением множеств. Пересечение множеств А. В обозначается через

Например, если

Множества, не имеющие общих элементов, называются не пересекающимися.

Пример:

Для множеств

a) определите, какие из утверждений верны, а какие неверны:

b) найдите множества:

c) определите, какие из утверждений верны, а какие неверны:

Решение:

а) Так как число 4 не является элементом множества М, то утверждение неверно. Так как число 6 не является элементом множества, утверждение истинно.

c) Утверждение ложно, ибо существуют элементы множества М, не принадлежащие N. Утверждение истинно, ибо в множестве У есть элементы из <9, 6, 3>.

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

На числовом луче это множество изображается так:

Видно, что и оно, конечно, при этом

На числовом луче это множество изображается так:

Видно, что, и оно бесконечно, при этом

Пример:

a) Как читается эта запись?

b) Выпишите последовательно элементы этого множества.

c) Найдите

Решение:

a) «Множество всех целых чисел, больших 3 и меньших или равных 10»;

b).

c).

Рассмотрим множество всех натуральных чисел, больших или равных 1, но меньших или равных 8. Пусть нас интересуют только его подмножества.

В таком случае, обычно вводится множество называемое универсальным множеством.

Множество А\ содержащее все элементы универсального множества U, не являющиеся элементами множества А, называется дополнением множества А.

Например, если — универсальное множество, то дополнение множества имеет вид

Очевидно, что

т.е. множества А и А’ не имеют общих элементов, а также вес составляющие их элементы образуют в совокупности универсальное множество U.

Пример:

Пусть U универсальное множество. Найдите С’, если:

Решение:

Пример:

Пусть

Выпишите все элементы множеств:

Решение:

Пример:

Пусть <числа, кратные 4 и меньшие 50>и Q = <числа, кратные 6 и меньшие 50>. a) выпишите элементы множеств Р, Q;

b) найдите с) Найдите

d) проверьте выполнение равенства

Решение:

Значит, равенство является верным.

Диаграммы Венна

Например, на этом рисунке изображено множество А, лежащее внутри универсального множества Закрашенная область вне круга означает дополнение А ’ множества А:

Если и , то они изображаются на диаграмме Венна следующим образом:

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

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

Все элементы объединения A U В принадлежат либо А, либо В, либо обоим одновременно. Значит, на соответствующей диаграмме Венна область, соответствующая множеству A U В, изображается следующим образом:

Пример:

Пусть Изобразите на диаграмме

Решение:

Удобно на диаграмме Венна множества раскрашивать.

Например, на рисунке раскрашены множества А,

Высказывание

Например, высказывание «Этот писатель родился в Ташкенте» может быть истинным по отношению к некоторым писателям и ложным по отношению к другим.

Пример:

с) Где мой карандаш? d) У тебя глаза голубые.

Решение:

a) Это высказывание и оно ложно, так как 20:4=5;

b) это высказывание и оно истинно;

c) это вопросительное предложение и поэтому оно не является высказыванием;

Рассмотрим их подробней.

Отрицание

Для высказывания р высказывание вида «не р» или «неверно, что р» называется отрицанием высказывания р и обозначается как

р: Во вторник шел дождь

: Во вторник дождя не было;

р: У Мадины глаза голубые

: У Мадины глаза не голубые.

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

Пример:

Составьте отрицание высказывания:

Решение:

Удобно находить отрицание высказывания с помощью диаграмм Венна. Например, рассмотрим высказывание:

р: «Число х больше, чем 10 «.

Пример:

На множестве рассмотрим высказывание р: х- простое число. Найдите множества истинности высказываний

Решение:

Конъюнкция

Высказывание, образованное из двух высказываний с помощью связки «и», называется конъюнкцией заданных высказываний.

Конъюнкция высказываний р, q обозначается через

Например, конъюнкция высказываний,

р: Эльдар на завтрак ел плов;

q: Эльдар на завтрак ел самсу.

Эльдар на завтрак ел плов и самсу.

Видно, что высказывание верно, если Эльдар на завтрак ел и плов и самсу, то есть высказывание истинно при истинности обоих высказываний. Если хотя бы одно из высказываний р, q ложно, то высказывание является ложным. Конъюнкция высказываний р, q имеет следующую таблицу истинности:

истинно, когда оба высказывания р, q истинны. ложно, когда хотя бы одно из высказываний р, q ложно.

Первый и второй столбцы таблицы составлены из всех возможных значений истинности высказываний р, q.

Дизъюнкция

Высказывание, образованное из двух высказываний с помощью связки «или», называется дизъюнкцией заданных высказываний.

Дизъюнкция высказываний р, q обозначается через

Например, дизъюнкция высказываний,

р: Эльдар сегодня посетит библиотеку,

Эльдар сегодня посетит библиотеку или театр.

Высказывание истинно, когда сегодня Эльдар посетит либо библиотеку, либо театр, либо и то и другое.

Высказывание будет ложным, лишь когда оба высказывания р, q будут ложными одновременно.

Дизъюнкция имеет следующую таблицу истинности:

pVq истинно, когда хотя бы одно из высказываний р, q истинно.

pVq ложно, когда оба высказывания p, q ложны.

Логическая равносильность

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

Объединяя таблицы истинности для отрицания, конъюнкции и дизъюнкции, можно составить таблицы истинности для более сложных высказываний:

Пример 1. Составьте таблицу истинности высказывания

1 шаг.

Выпишем таблицу и заполним сначала первый и второй столбец всеми возможными значениями истинности р и q:

2 шаг. Учитывая значения истинности q, заполним третий столбец значениями истинности

3 шаг Учитывая значения истинности p и заполним четвертый столбец значениями истинности

Высказывание, являющееся истинным всегда, называется законом логики или тавтологией.

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

Пример:

Докажите, что высказываниеявляется тавтологией.

Заполним таблицу истинности:

Решение:

Видно, что высказывание принимает только истинные значения (см. третий столбец). Поэтому данное высказывание является тавтологией.

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

Пример:

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

Решение:

Составим таблицы истинности для высказываний

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

Мы будем обозначать этот факт так:

Импликация

Импликация «Если р, то q» обозначается как и имеет также следующие интерпретации «Из р следует (вытекает) q», «Высказывание р достаточно для q «, «Высказывание q необходимо для р».

р: У Сардора есть телевизор; q: Сардор будет смотреть кино.

Тогда высказывание означает:

Если у Сардора есть телевизор, то он будет смотреть кино.

Точно также

Для того, чтобы Сардор смотрел кино достаточно, чтобы у него был телевизор.

Из высказываний и логических связок, не обращая на значения истинности, можно составить более сложные высказывания.

Пример:

р: «Анора часто смотрит кинофильмы»;

q: «Барно часто смотрит кинофильмы

r: «Барно не сдаст экзамен»;

2. «Если Анора часто смотрит кинофильмы, то Барно нет».

3. «Если Барно часто смотрит кинофильмы, то она или не сдаст экзамен или произойдет чудо».

4. «Если Барно часто смотрит кинофильмы и при этом не произойдет чуда, то Барно не сдаст экзамен».

5. «Либо Барно часто смотрит кинофильмы и произойдет чудо, либо Барно не сдаст экзамен».

Эквиваленция

Высказывание вида называется эквиваленцией высказываний и обозначается так:

Запись читается как «высказывание р необходимо и достаточно для q» или как «высказывание р истинно лишь при выполнении q».

Пример:

Решение:

Рассмотрим высказывание,: Если х- четно, то его последняя цифра четна;

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

Конверсия

Конверсией высказывания называется высказывание

Конверсия имеет следующую таблицу истинности:

Пример:

р: треугольник равнобедренный,

q: два угла треугольника равны.

Выразите на естественном языке высказывание и его конверсию.

Решение:

Если треугольник равнобедренный, то у него два угла равны.

Инверсия

Инверсией высказывания называется высказывание Инверсия имеет следующую таблицу истинности:

Эта таблица совпадает с таблицей истинности высказывания . Поэтому конверсия и инверсия логически равносильны.

Контрапозиция

Контрапозицией высказывания называется высказывание Контрапозиция имеет следующую таблицу истинности:

Эта таблица совпадает с таблицей истинности высказывания Поэтому импликация и контрапозиция логически равносильны.

Пример:

Рассмотрим высказывание. Все учителя живут поблизости от школы». Составим его контрапозицию.

Решение:

Это предложение имеет форму , где

q: этот человек живет поблизости от школы.

Контрапозиция имеет вид:

«Если этот человек не живет поблизости от школы, то он не является учителем.

Пример:

р: Самандар находится в библиотеке, q: Самандар читает книгу.

Составьте имликацию, конверсию, инверсию и контрапозицию

Решение:

Предикаты и кванторы

В некоторых предложениях участвуют переменные, при этом подставив вместо них конкретные значения, получим высказывания. Такие предложения называются предикатами.

Пример:

Пусть задан предикат Определите истинность или ложность высказываний

Решение:

В некоторых предикатах переменную можно определить исходя из контекста.

Например, в предложениях «Этот писатель родился в Ташкенте» и «Он родился в Ташкенте» переменными являются словосочетание». «Этот писатель» и местоимение «он» соответственно. Если вместо переменной подставить значение «Абдулла Кадыри», получим истинное высказывание «Абдулла Кадыри родился в Ташкенте». Если вместо переменной подставить значение «Шекспир», получим ложное высказывание «Шекспир родился в Ташкенте».

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

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

Например, новое высказывание вида говорит о том, что для всех значений х верно Р(х), высказывание вида говорит о том, что значений х верно Р(х).

К примеру, рассмотрим предикат Р(х): «х родился в Самарканде». Тогда высказывание читается как «все родились в Самарканде», а высказывание — «некоторые родились в Самарканде».

Приведем примеры, в которых можно определить истинность-ложность высказываний вида

Пример:

Пусть Докажите истинность высказывания:

Решение:

Проверим:

Значит, высказывание, истинно.

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

Действительно, при

Любое значениех, которое показывает, что высказывание ложно, называется контрпримером.

Пример:

Докажите истинность высказывания

Решение:

Так как то высказывание, истинно.

Если же , то высказывание ложно, ибо

Приведем два важных закона логики, связанных с операцией отрицания:

Для понимания смысла этих законов приведем пример.

Если запись означает «Среди моих одноклассников

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

Очевидно, что с помощью кванторов и предиката можно построить зависящие от одной переменной предикаты вида:

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

В то время, когда смысл высказываний

а также смысл высказываний,одинаков, оказывается, что высказывания не являются равносильными.

В этом случае = означает высказывание «у каждого моего одноклассника есть отец»; а означает высказывание «существует такой человек, который является отцом всех моих одноклассников».

Аналогично можно показать, что высказывания,не являются равносильными (приведите примеры самостоятельно).

С помощью кванторов и предикатов можно построить и другие законы логики. Например, высказывание «Если все вороны черные, то ни одна не черная птица не является вороной «, служит примером закона логики вида:

Законы правильного мышления (аргументации)

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

Суждение представляет собой форму мышления, в которой что-либо утверждается или отрицается о предметах, их свойствах или отношениях. Например, в суждении «Железо-металл» утверждается связь между предметом (железо) и его признаком (являться металлом). В суждении «Яйцо появилось раньше курицы » утверждается связь между двумя предметами (яйцо и курица). Так как суждение выражается в форме повествовательного предложения, причем суждение может быть либо истинным, либо ложным, то каждое суждение имеет форму высказывания.

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

Пусть S-совокупность исходных суждений (посылок), Р- заключение. В этом случае, умозаключение имеет логическую форму вида Совокупность высказываний S будем называть основанием, а высказывание Р- следствием. Основание и следствие будем связывать словом «следовательно» и отделять горизонтальной чертой: . Рассмотрим простой пример.

Если Собир занимается спортом, то будет здоров. Собир занимается спортом. Следовательно, Собир будет здоров.

Найдем логическую форму этого умозаключения.

Пусть р: Собир занимается спортом; q: Собир будет здоров. Тогда умозаключение имеет вид:

Так следствие вытекает из суждений и р, то умозаключение имеет следующую логическую форму

Составим соответствующую таблицу истинности:

Получили тавтологию. Это показывает правильность умозаключения, то есть мы из данного основания получили правильное следствие.

Пример:

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

Если треугольник имеет три стороны, то 2+4-7.

Следовательно, треугольник имеет три стороны.

Решение:

Найдем логическую форму этого умозаключения.

р: треугольник имеет три стороны.

Так как здесь следует q, то наше умозаключение имеет логическую форму

Составим соответствующую таблицу истинности:

В результате мы не получили тавтологию. Это показывает неверность умозаключения, то есть мы из данного основания не получили правильное следствие.

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

Доказательство верности вышеуказанных умозаключений мы оставляем учащимся в качестве упражнения.

Софизмы и парадоксы

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

Одним из первых соответствующие примеры привел математик Зенон, живший в 5 веке до нашей эры в Древней Греции. Например, Зенон «доказал», что быстроногий Ахиллес никогда не догонит неторопливую черепаху, если в начале движения она находится впереди Ахиллеса. Приведем его рассуждения. Допустим, Ахиллес бежит в 10 раз быстрее, чем черепаха, и находи тся позади нее на расстоянии в 100 шагов. За то время, за которое Ахиллес пробежит это расстояние, черепаха в ту же сторону проползет 10 шагов.

За то время, за которое Ахиллес пробежит 10 шагов, черепаха проползет еще 1 шаг, и так далее. Процесс будет длиться до бесконечности, Ахиллес так никогда и не догонит черепаху.

Примеры Зенона связаны с понятиями бесконечности и движения, которые имели большое значение в развитии физики и математики.

Некоторые софизмы обсуждали в переписке между собой наши великие соотечественники Беруни и Ибн Сино, а также они встречаются в произведениях Фараби.

Приведем простейшие примеры на софизмы и обсудим их.

Пример:

Куда пропали 1000 руб? Три друга отобедали в кафе, после чего официант дал им счет на 25000 руб. Каждый из трех друзей достал по купюре в 10000 руб, в итоге они отдали официанту 30000 руб. На сдачу официант отдал 5000 руб более мелкими купюрами. Друзья взяли по 1000 руб себе, а оставшиеся 2000 руб отдали другу на такси. Один из друзей стал рассуждать: «Каждый из нас потратил по 9000 руб, что в итоге составляет 27000 руб. Затем 2000 руб отдали на такси, значит, в итоге получается 29000 руб. Куда пропали 1000 руб?»

Решение:

Основной «подвох» в этом рассуждении заключается в том, что 2 От древнегреческого уловка.

расчеты сделаны неверно. Действительно, трое друзей сложились по 9000 руб и получили 27000 руб. Из этих денег 25000 руб заплатили за обед, а 2000 руб заплатили за такси. Следовательно, общая трата составила 27000 руб. Тс 2000 руб находятся внутри 27000 руб.

Пример:

Упростим верное равенство: 20-16-4=25-20-5

Сократим левую и правую часть последнего равенства на общий делитель (5-4-1). В итоге получим равенство 2-2=5.

Основной «подвох» в этом рассуждении заключается в том, что мы поделили обе части равенства 2-2-(5-4-1)=5-(5-4-1) на нуль.

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

Парадоксы, обычно, возникают в теориях, логические основы которых не определены полно.

Пример:

Пример:

Прилагательное русского языка назовем рефлексивным, если оно обладает свойством, которое определяет.

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

Пример:

Два взаимно пересекающихся множества А, В делят универсальное множество на четыре части:

Следовательно, число элементов универсального множества является суммой количеств элементов этих частей.

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

Здесь, например, обоим множествам А, В принадлежат 4 элемента, а 3 элемента не принадлежат ни одному из них.

Пример:

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

d). Множество элементов, принадлежащих Р, но не принадлежащих Q

е) Множество элементов, принадлежащих Q, но не принадлежащих Р;

f) Множество элементов, не принадлежащих ни Р, ни Q.

Пример:

Если

a) Найдите

b) Сколько элементов содержит множество элементов, принадлежащих А, но не принадлежащих В‘?

Решение:

Составим диаграмму Венна:

Из того, что Следовательно, b=6, а=8, с= 11, d=5.

Из диаграммы получаем следующее:

b) Число элементов, принадлежащих А, но не принадлежащих В, равно а= 8

Пример:

a) Изобразите эту информацию с помощью диаграммы Венна. Объясните ситуацию.

b) Найдите число учеников, которые I имеют или темные волосы или черные глаза; II темноволосых, но не черноглазых?

Решение:

Изобразим ситуацию на диаграмме:

b) Используя диаграмму, определим следующее:

I количество учеников, имеющих или темные волосы или черные глаза:

II количество темноволосых учеников, не обладающих черными глазами:

Пример:

Сколько процентов жителей:

a) болеют только за команду А;

b) болеют и за А и за В, но не болеют за команду С;

c) не болеют ни за одну из команд?

Решение:

Заполним для начала соответствующую диаграмму Венна.

а= 1, так как 1 процент жителей болеет за все команды.

a+d=4, так как 4 процента жителей болеет и за И и за В.

а+b=6, так как 6 процентов жителей болеют и за В и за С а+с=5, так как 5 процентов жителей болеют

Множества

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

Например, — множество А состоит из элементов 1;3;6;8.

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

Два множества называются равными, если они состоят из одних и тех же элементов. Например, если т.е.
множества равны.

Объединением двух множеств А и В называется множество С, состоящее из элементов, принадлежащих хотя бы одному из данных множеств, т.е.

Пересечением двух множеств А и В называется множество D, состоящее из всех элементов, одновременно принадлежащих каждому из данных множеств А и В, т.е.

Разностью двух множеств А и В называется множество E, состоящее из всех элементов множества А, которые не принадлежат множеству В, т.е.

Пример 1. Даны множества Найти объединение, пересечение и разность множеств А и В.

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

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

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

— множество комплексных чисел.

Множество X, элементы которого удовлетворяют: неравенству называется отрезком неравенству называется интервалом неравенствам называются полуинтервалом соответственно

В дальнейшем все указанные множества мы объединяем термином промежуток X.

Множества и операции над ними

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

Чаще всего множество обозначают большими буквами латинского или греческого алфавита, а его элементы — малыми буквами. Если a — элемент множества A, то пишут a ∈ A (читают: «a принадлежит множеству A») или A 3 a (множество A содержит элемент a). Запись a ∈/ A означает, что a не является элементом множества A.
Множество обычно записывают одним из следующих способов:

Коротко это высказывание записывают: A = B, а отрицание этого утверждения — в виде: .

Отметим следующие свойства отношения включения:
1. A ⊂ A, то есть всякое множество есть подмножество себя самого;
2. Если A ⊂ B и B ⊂ C, то A ⊂ C (отношение включения транзитивно);
3. Если A ⊂ B и B ⊂ A, то A = B.

Удобно считать, что ⊂ A для любого множества A.

Пусть A и B — некоторые подмножества множества E. Введем наиболее простые операции с множествами.

Если множества A и B не имеют общих точек, то A ∩ B =. Очевидно, что A∩A= A, A∩= .

Пример 1.1. Пусть A = <1,3,4,8, 15>,B = <1,2,7,8, 12>. Тогда

Таким образом, A × B = < (x, y) | x ∈ A, y ∈ B>. Но, вообще говоря, A × B B × A. Известная всем плоскость с декартовой системой координат является декартовым произведением двух числовых прямых (осей).

Логическая символика

Множества

Множества и операции над ними

Понятие множества и его элементов

Элемент принадлежит множеству

Элемент не принадлежит множеству

В множестве нет элементов

Множество можно представить как совокупность некоторых объектов, объединенных по определенному признаку. В математике множество — одно из основных неопределяемых понятий.

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

Множество, не содержащее ни одного элемента, называется пустым множеством и обозначается

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

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

Два множества называются равными, если каждый элемент первого множества является элементом второго множества и, наоборот, каждый элемент второго множества является элементом первого множества

Пересечение множеств

Пересечением множеств и называют их общую часть, то есть множество всех элементов, принадлежащих как множеству , так и множеству

Объединение множеств

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

Разность множеств

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

Если все рассматриваемые множества являются подмножествами некоторого универсального множества , то разность называется дополнением множества . Другими словами, дополнением множества называется множество, состоящее из всех элементов, не принадлежащих множеству (но принадлежащих универсальному множеству )

Объяснение и обоснование:

Понятие множества

Одним из основных понятий, которые используются в математике, является понятие множества. Для него не дается определения. Можно пояснить, что множеством называют произвольную совокупность объектов, а сами объекты — элементами данного множества. Так, можно говорить о множестве учеников в классе (элементы — ученики), множестве дней недели (элементы — дни недели), множестве натуральных делителей числа 6 (элементы — числа 1, 2, 3, 6) и т. д. В курсах алгебры и алгебры и начал анализа чаще всего рассматривают множества, элементами которых являются числа, и поэтому их называют числовыми множествами.

Как правило, множества обозначают прописными буквами латинского алфавита. Например, если множество состоит из чисел 1; 2; 3, то его обозначают так: = <1; 2; 3>. Тот факт, что число 2 входит в это множество (является элементом данного множества ), записывается с помощью специального значка е следующим образом: ; а то, что число 5 не входит в это множество (не является элементом данного множества), записывается так: .

Можно рассматривать также множество, не содержащее ни одного элемента, — пустое множество.

Например, множество простых делителей числа 1 — пустое множество.

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

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

В общем виде запись множества с помощью характеристического свойства можно обозначить так: , где — характеристическое свойство. Например,

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

Равенство множеств

Пусть — множество цифр трехзначного числа 312, то есть , а — множество натуральных чисел, меньших чем 4, то есть . Поскольку эти множества состоят из одних и тех же элементов, то они считаются равными. Это записывают так: . Для бесконечных множеств таким способом (сравнивая все элементы) установить их равенство невозможно. Поэтому в общем случае равенство множеств определяется следующим образом.

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

Из приведенного определения равенства множеств следует, что в множестве одинаковые элементы не различаются. Действительно, например, , поскольку каждый элемент первого множества (1 или 2) является элементом второго множества и, наоборот, каждый элемент второго множества (1 или 2) является элементом первого. Поэтому, записывая множество, чаще всего каждый его элемент записывают только один раз.

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

Если каждый элемент множества является элементом множества , то говорят, что множество является подмножеством множества .

Это записывают следующим образом:

Например, (поскольку любое натуральное число — целое), (поскольку любое целое число — рациональное), (поскольку любое рациональное число — действительное).

Полагают, что всегда , то есть пустое множество является подмножеством любого непустого множества.

Иногда вместо записи используется также запись , если множество является подмножеством множества , или равно множеству . Например,

Сопоставим определение равенства множеств с определением подмножества. Если множества и равны, то: 1) каждый элемент множества является элементом множества , следовательно, — подмножество ; 2) каждый элемент множества является элементом множества , следовательно, — подмножество .

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

Иногда соотношения между множествами удобно иллюстрировать с помощью кругов (которые часто называют кругами Эйлера—Венна). Например, рисунок 1 иллюстрирует определение подмножества, а рисунок 2 — отношения между множествами .

Операции над множествами

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

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

Пересечение множеств обозначают знаком (на рисунке 3 приведена иллюстрация определения пересечения множеств).

Например, если то .

Объединением множеств и называют множество , состоящее из всех элементов, принадлежащих хотя бы одному из этих множеств ( или ).

Объединение множеств обозначают знаком (на рисунке 4 приведена иллюстрация определения объединения множеств).

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

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

Разность множеств обозначают знаком . На рисунке 5 приведена иллюстрация определения разности множеств.

Например, если

Если — подмножество , то разность называют дополнением множества В до множества (рис. 6).

Например, если обозначить множество всех иррациональных чисел через , то : множество всех иррациональных чисел дополняет множество всех рациональных чисел до множества всех действительных чисел.

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

Дополнение множества обозначается (можно читать: « с чертой» или «дополнение »).

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

Числовые множества. Множество действительных чисел

Действительные числа

Числа, которые можно представить в виде бесконечной десятичной дроби

Рациональные числа

Можно представить в виде несократимой дроби , где — целое, — натуральное число. Записываются в виде бесконечной периодической десятичной дроби

Нельзя представить в виде несократимой дроби , где — целое, — натуральное число. Записываются в виде бесконечной непериодической десятичной дроби

Целые числа

Включают натуральные числа, числа, противоположные им, и число нуль

Числа, состоящие из целого числа частей единицы

( — обыкновенная дробь, 1,23 — десятичная дробь: )

Натуральные числа (целые положительные)

Такое число, при сложение с которым любое число не изменяется

Целые отрицательные числа

Числа, противоположные натуральным

Модуль действительного числа и его свойства

Определение:

Модулем положительного числа называется само это число, модулем отрицательного числа называется число, противоположное ему, модуль нуля равен нулю

Геометрический смысл модуля

На координатной прямой модуль — это расстояние от начала координат до точки, изображающей это число.

Модуль разности двух чисел и — это расстояние между точками и на координатной прямой

Свойства

1. Модуль любого числа — неотрицательное число

2. Модули противоположных чисел равны

3. , то есть Каждое число не больше своего модуля

4. При

5. При

6. Модуль произведения равен произведению модулей множителей

7. Модуль дроби равен модулю числителя, деленному на модуль знаменателя (если знаменатель не равен нулю)

8.

9.

Модуль суммы не превышает суммы модулей слагаемых

10.

Объяснение и обоснование:

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

В курсе математики вы встречались с разными числами: натуральными, целыми, рациональными, иррациональными, действительными. Представление о числах у человечества складывалось постепенно, под воздействием требований практики. Например, натуральные числа появились в связи с необходимостью подсчета предметов. Но для того чтобы дать ответ на вопрос «Сколько спичек в пустой коробке из-под спичек?», множества натуральных чисел недостаточно — для этого необходимо иметь еще и число нуль. Присоединяя к множеству натуральных чисел число 0, получаем множество неотрицательных целых чисел. Его часто обозначают . Одних только неотрицательных целых чисел оказалось недостаточно для решения задач практики (а следовательно, и математических задач, отображающих заданную реальную ситуацию). Так, для того чтобы охарактеризовать температуру воздуха выше и ниже нуля или движение тела в противоположных направлениях, необходимы противоположные натуральным числа, то есть отрицательные числа. Для натурального числа противоположным считается число , а для числа противоположным считается число . Нуль считают противоположным самому себе.

Натуральные числа, числа, противоположные натуральным, и число нуль составляют множество целых чисел.

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

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

Целые и дробные числа составляют множество рациональных чисел.

Любое рациональное число можно записать в виде дроби , где

(то есть числитель является целым числом, а знаменатель — натуральным).

Рациональное число может быть записано разными дробями. Например,

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

Обратим внимание, что рациональное число, записанное в виде дроби , где , можно также записать в виде конечной или бесконечной периодической десятичной дроби, разделив числитель на знаменатель. Например, .

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

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

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

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

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

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

Однако на координатной прямой есть точки, изображающие числа, которые не являются рациональными. Например, из курса алгебры известно, что число не является рациональным. Это так называемое иррациональное число. Если построить квадрат со стороной, равной 1, на координатной прямой (рис. 10), то его диагональ будет равна . Тогда, проведя дугу окружности радиуса с центром в точке , получим точку , координата которой равна . Кроме числа вы также встречались с иррациональными числами и т. д.

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

Каждое действительное число может быть записано в виде бесконечной десятичной дроби: рациональные числа — в виде бесконечной периодической десятичной дроби, а иррациональные — в виде бесконечной непериодической десятичной дроби.

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

, то (поскольку ).

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

Как видим,

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

Модуль действительного числа и его свойства

Напомним определение модуля.

Модулем положительного числа называется само это число, модулем отрицательного числа — число, противоположное ему, модуль нуля равен нулю.

Это определение можно коротко записать несколькими способами. а при а > 0,

, или или или

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

На координатной прямой модуль числа — это расстояние от начала координат до точки, изображающей это число.

Действительно, если (рис. 11), то расстояние

Если , то расстояние

Модуль разности двух чисел и — это расстояние между точками и на координатной прямой.

Для доказательства можно воспользоваться тем, что при параллельном переносе вдоль оси координат на единиц абсцисса соответствующей точки изменяется на : к абсциссе данной точки прибавляется число , то есть при точка переносится вправо, а при — влево. Обозначим на координатной прямой числа соответственно точками . На рисунке 12 эти точки изображены для случая и , хотя приведенное далее обоснование не зависит от знаков и .

При параллельном переносе вдоль оси на единиц точка перейдет в точку , а точка (с координатой ) — в точку с координатой , то есть в точку . Тогда . Но расстояние — это расстояние от точки до начала координат, следовательно, , а значит, и .

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

Например, учитывая, что — это расстояние от точки до точки , а расстояние может выражаться только неотрицательным числом, получаем

то есть модуль любого числа является неотрицательным числом.

Учитывая, что точки и находятся на одинаковом расстоянии от точки , получаем

это означает, что модули противоположных чисел равны.

Если то а если , то . Следовательно, всегда

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

Если в последнее неравенство вместо подставить и учесть, что , то получаем неравенство . Отсюда , что вместе с неравенством свидетельствует о том, что для любого действительного числа а выполняется двойное неравенство

(1)

При неравенство означает, что число на координатной прямой находится от точки на расстоянии, которое не превышает (рис. 13), то есть в промежутке . Наоборот, если число находится в этом промежутке, то есть . Следовательно,

при (2)

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

Аналогично при неравенство означает, что число на координатной прямой находится от точки на расстоянии, которое больше или равно (рис. 13),

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

при

Свойства модуля произведения и модуля дроби фиксируют известные правила действий над числами с одинаковыми и разными знаками:

модуль произведения равен произведению модулей множителей, то есть

модуль дроби равен модулю числителя, деленному на модуль знаменателя (если знаменатель не равен нулю), то есть

Формулу для нахождения модуля произведения можно обобщить для случая нескольких множителей

(3)

Если в формуле (3) взять , получаем формулу

Используя последнюю формулу справа налево при и учитывая, что при всех значениях , получаем . Следовательно,

. Для обоснования неравенства

(4)

запишем неравенство (1) для чисел и :

Складывая почленно эти неравенства, получаем

Учитывая неравенство (2), имеем

(5)

то есть модуль суммы не превышает суммы модулей слагаемых. Если в неравенстве (4) заменить на и учесть, что , то получим неравенство

Если записать число так: и использовать неравенство (4), то получим неравенство . Отсюда

(6)

Если в неравенстве (6) заменить на и учесть, что , то получим неравенство

(7)

то есть модуль суммы двух чисел не меньше разности их модулей.

Меняя местами буквы и в неравенствах (6) и (7) и учитывая, что , имеем также неравенства

(8)

Полученные неравенства (4)-(8) можно коротко записать так:

Примеры решения задач:

Пример №402

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

Решение:

► Пусть заданы два рациональных числа и где и — целые, а и — натуральные числа. Поскольку сумма, разность, произведение, натуральная степень и частное двух обыкновенных дробей всегда являются обыкновенными дробями, то полученный результат всегда будет рациональным числом. Например,

где — целое число, а — натуральное.

Любое рациональное число может быть записано как дробь , где — целое, — натуральное число.

Чтобы доказать утверждение задачи, достаточно доказать, что сумма, разность, произведение и частное двух дробей вида также будет дробью такого вида.

Пример №403

Докажите, что для любого натурального числа число или натуральное, или иррациональное.

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

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

Решение:

► Допустим, что не является иррациональным числом (тогда это число рациональное) и не является натуральным числом. Следовательно, это число может быть только рациональной несократимой дробью , где и — натуральные числа . По определению квадратного корня имеем то есть . Учитывая, что , получаем, что дробь , равная натуральному числу , должна быть сократимой.

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

Например, поскольку числа и не являются натуральными числами , то и — иррациональные числа.

Пример №404

Докажите, что — число иррациональное.

Решение:

► Допустим, что число рациональное. Тогда Возведя обе части последнего равенства в квадрат, имеем Отсюда

Следовательно,

Но правая часть этого равенства — рациональное число (поскольку по предположению — рациональное число), а левая — иррациональное. Полученное противоречие означает, что наше предположение неверно и число — иррациональное.

Для доказательства утверждения задачи можно использовать метод «от противного» — допустить, что заданное число является рациональным, и получить противоречие с каким-либо известным фактом, например с тем, что — иррациональное число.

При анализе полученных выражений используем результат задачи 1: если число — рациональное, то числа и и их частное тоже будут рациональными.

Заметим, что знаменатель полученной дроби

Пример №405

Решите уравнение

►

Ответ:

Ответ:

Пример №406

Решите неравенство

Решение:

Решая эти неравенства (рис. 15), получаем

Следовательно, или

Ответ:

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

При копировании любых материалов с сайта evkova.org обязательна активная ссылка на сайт www.evkova.org

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

Сайт пишется, поддерживается и управляется коллективом преподавателей

Whatsapp и логотип whatsapp являются товарными знаками корпорации WhatsApp LLC.

Cайт носит информационный характер и ни при каких условиях не является публичной офертой, которая определяется положениями статьи 437 Гражданского кодекса РФ. Анна Евкова не оказывает никаких услуг.

Источник