- •Импликация с ложным антецедентом всегда истинна;
- •Импликация с истинным консеквентом всегда истинна;
- •Импликация ложна тогда и только тогда, когда её антецедент - истинный, а консеквент - ложный.
- •1. Единственность образа у для каждого элемента х е х, то есть свойство однозначности является атрибутом понятия отображения.
- •2. По определению имеет место включение [(х) сУ. Если множест-
- •Взаимно однозначное отображение и обратное отображение
- •Предельный переход в последовательностях, члены которых связаны неравенствами
1
Избранные
разделы курса
l-й
семестр
Лекция
М
1
Тема:
«ВВЕДЕНИЕ
В МАТЕМАТИЧЕСКИЙ АНАЛИЗ».
я
заметил,
что необходимо ему (анализу) предпослать
весьма много такого, что собственно
к этому исчислению не относится, но
изложения чего нигде нельзя найти;
отсюда возникло это сочинение как
введение в исчисление бесконечно
малых.
Л
Эйлер, письмо к ХГольдбаху, 1744г.
Элементы
логики и интуитивной теории множеств
...
я понимаю под основаниями математики
анализ основных математических понятий,
проводимый с целью подготовки к изучению
всего основанного на них здания
математики с некоторой общей и единой
точки зрения.
р.
Столл, "Множества. Логика. Аксиоматические
теории ". 1960г.
Союзы
"и", "или", "если ... , то ... ",
"тогда и только тогда, когда" и
частица "не" (словосочетание
"неверно, что") называются логическими
или
сентенциональными
связками. Посредством
логических
операций из
высказываний образуют составные
высказывания.
В
импликации А =>
В
высказывание А называется антецедентом
(от
латинского antecedens
-
"предшествующий"),
а высказывание В - консеквентом
(consequens
-
"последующий").
Из определения импликации следует,
что:
Импликация с ложным антецедентом всегда истинна;
Импликация с истинным консеквентом всегда истинна;
Импликация ложна тогда и только тогда, когда её антецедент - истинный, а консеквент - ложный.
2
Понятие
множества является одним из основополагающих
в математической науке и не подлежит
определению. Однако, из методических
соображений мы всё-таки приведём
соответствующее "наивное"
определение. Согласно г.
Кантора
"множество есть любое собрание
определённых и различимых между
собой объектов нашей интуиции или
интеллекта, мыслимое как единое целое".
Историческая
справка.
Теория множеств явилась абстрактным
результатом исследований немецкого
математика Г. Кантора по таким важным
разделам математического анализа,
как числовые последовательности и
тригонометрические ряды.
Натуральные
числа и принцип математической индукции
Здесь
мы начнём с программного заявления
немецкого математика Л.Кронекера,
который в середине XIX века выразился
так: "Господь Бог создал натуральные
числа, все остальное - дело рук
человеческих".
В
начале ХХ века итальянский математик
Дж. Пеано предложил аксиоматическое
построение множества N U
{О},
где
N =
{1,
2, 3, ... } - множество натуральных чисел.
Из трёх сформулированных им аксиом
вытекают свойства сложения, умножения
и линейного упорядочения натуральных
чисел, точнее, элементов множества
N U
{ О}.
Кроме
того, выводится следующее утверждение.
Каждое
непустое подмножество множества N имеет
наименьший эле-
мент.
На
основании последнего доказывается
Принцип
математической индукции.
Пусть для каждого n Е
N
фор-
мулируется
некоторое утверждение Р ( n ). Если истинны
утверждение Р (1
)
и
импликация Р ( n ) ~ р
( n
+
1)
, то утверждение Р ( n) истинно \::j
n
Е
N
.
Бином
Ньютона
Теорема
Пусть а и Ь - любые действительные числа
и n =
2,3,
....
Имеет
место разложение:
n
(а+ЬУ
=
LС~аП-kЬk,
k=O
(1)
где
Ck
=
n!
11
k!
(n
- k)!
(2)
(Напомним,
что по определению полагают l!
=
1,
а также О!
=
1.)
ДQ~:::!1:::!'I~П:Р.fI13_Q.
Воспользуемся
методом математической индукции.
2
3
Убедимся
сначала, что формула (1) справедлива при
n
=
1.
Действительно, так как
(а+ЬУ=а+Ь
и
c~
=
1,
С: =
1,
то
I
(а
+
Ь)'
=
I
C~al-kbk.
k=O
Покажем
теперь, что равенство (1) влечёт за собой
равенство
11+1
(а
+ ьу+1 = I
C~+I
a11+I-kЬk•
k=O
Действительно,
если имеет место (1), то
11
(а
+ ьу+1
=
(а + Ь)(а + ЬУ
=
(а + Ь) I
c~
a11-kbk
k=O
11
11
I
c~
a11+I-kЬk
+ I
c~
a11-kьк+1
k=O
k=O
Обозначим
11
S
=
~ Ck
a11+I-kЬk
I
~ 11
,
k=O
11
S2
=
I
c~
a11-kbk+1
k=O
Записывая
вторую сумму в виде
11+1
S2
=
I
C~-I
а
11+I-kbk,
k=1
получим:
S,
+
S2
=
(с:
а""
+
t
с;
аН'
'bk)
+
( t
с;-'
а'+'-'Ь"
+
с;
ЬН')
=
11
=
а 11+1 + I
(c~
+
C~-I) a11+I-kЬk
+ ЬП+I .
k=1
Остаётся
воспользоваться непосредственно
проверяемым равенством
11
+
n
- =
п+]
(1::;;
::;; n
. В результате получаем:
n
а
+ Ь)11+1 = а 11+1 + ~ Ck
~
11+1 k=1
что
и требовалось доказать.
Числа
C~ (k =
0,1,
... , п) называются биномиальными
коэффициен-
тами.
3
C
(
4
Если
в (1) положить а
=
Ь
=
1,
то получим равенство
c~
+
c~
+
... + C~
=
2П•
(6)
Оно
связывает между собой все биномиальные
коэффициенты при каждом фиксированном
показателе степени n
и
замечательно, например, тем, что даёт
ответ на вопрос о числе всех подмножеств
множества, состоящего из n
элементов.
Действительно, из комбинаторики
известно, что
c~
есть
число всех k
- элементных
подмножеств такого множества (число
всевозможных сочетаний из n
элементов
по k (О::; k ::; п)
). Равенство
(6) означает, что число всех подмножеств
такого множества (включая и пустое
множество
0)
равно
2П•
(Соответствующий
результат, естественно, без учёта 0
был
получен в середине ХУI
в.
итальянским математиком Дж. Кардано.)
Отображения
множеств
Определение
1. Пусть Х и У
- два
произвольных множества. Если каждому
элементу х Е
Х
по
не которому правилу f
поставлен
в соответствие единственный элемент
у Е
У,
то говорят, что задано отображение
множества
Х в множество У
и
пишут [: Х ~ у
.
Элемент
у, соответствующий элементу х
, называется
его образом
и
обозначается символом [(х). Элемент х
называется про
об разом элемента
у. Говорят также, что f
отображает
Х
в
У. Традиционной записью отображения
является у =
[(х)
, а также более короткая: [(х).
Множество
Х
называется
областью
определения отображения
Г.
Множество
всех тех элементов у Е
У,
каждый из которых является образом
некоторого
элемента х
Е
Х,
называется
множеством
значений этого
отображения и обозначается символом
[(Х).
ДЛЯ
абстрактной иллюстрации рас-
сматриваемого
понятия пользуются диаграммами
(кругами) Эйлера-Венна (рис.l).
|
|
|
~y,- |
|
|
|
|
|
|
|
/ |
" |
|
|
|
|
|
/ |
|
|
|
|
|
|
|
( |
|
|
|
\ |
|
Х |
|
I |
|
f(X) |
|
|
\ |
|
|
|
•.. |
|
|
|
I |
х |
|
|
У |
|
/ |
|
|
|
|
\ |
|
|
/ |
|
|
|
|
|
-, |
- --- |
|
|
|
Рис.
1
4