«Приложениe математики в генетике»

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

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

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

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

Подмножество B множества A называется собственным подмножеством, если

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

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

Основными операциями над множествами являются объединение, пересечение и разность.

Определение 1. Объединением двух множеств называется новое множество

Определение 2. Пересечением двух множеств называется новое множество

Определение 3. Разностью двух множеств называется новое множество

Если класс объектов, на которых определяются различные множества обозначить (Универсум), то дополнением множества A называют разность

Декартово произведение множеств

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

Пусть A и B - множества. Выражение вида (a,b), где и , называется упорядоченной парой. Равенство вида (a,b)=(c,d) означает, что a=c и b=d. В общем случае, можно рассматривать упорядоченную n-ку из элементов . Упорядоченные n-ки иначе называют наборы или кортежи.

Определение 4. Декартовым (прямым) произведением множеств называется множество упорядоченных n-ок (наборов, кортежей) вида

Определение 5. Степенью декартового произведения называется число множеств n, входящих в это декартово произведение.

Замечание. Если все множества одинаковы, то используют обозначение

.

Отношение

Определение 6. Подмножество R декартового произведения множеств называется отношением степени n (n-арным отношением).

Определение 7. Мощность множества кортежей, входящих в отношение R, называют мощностью отношения R.

Замечание. Понятие отношения является очень важным не только с математической точки зрения. Понятие отношения фактически лежит в основе всей реляционной теории баз данных. Как будет показано ниже, отношения являются математическим аналогом таблиц. Сам термин \"реляционное представление данных\", впервые введенный Коддом [43], происходит от термина relation, понимаемом именно в смысле этого определения.

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

Во-первых, все элементы отношения есть однотипные кортежи. Однотипность кортежей позволяет считать их аналогами строк в простой таблице, т.е. в такой таблице, в которой все строки состоят из одинакового числа ячеек и в соответствующих ячейках содержатся одинаковые типы данных. Например, отношение, состоящее из трех следующих кортежей {(1, \"Иванов\", 1000), (2, \"Петров\", 2000), (3, \"Сидоров\", 3000)} можно считать таблицей, содержащей данные о сотрудниках и их зарплатах. Такая таблица будет иметь три строки и три колонки, причем в каждой колонке содержатся данные одного типа.

В противоположность этому рассмотрим множество {(1), (1, 2), (1, 2, 3)}, состоящее из разнотипных числовых кортежей. Это множество не является отношением ни в R, ни в , ни в . Из кортежей, входящих в это множество нельзя составить простую таблицу. Правда, можно считать это множество отношением степени 1 на множестве всех возможных числовых кортежей всех возможных степеней , но такая трактовка ничего нового, по сравнению с понятием подмножества, не дает.

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

Действительно, каждому отношению можно поставить в соответствие некоторое логическое выражение , зависящее от n параметров (n-местный предикат) и определяющее, будет ли кортеж принадлежать отношению R. Это логическое выражение называют предикатом отношения R. Более точно, кортеж принадлежит отношению R тогда и только тогда, когда предикат этого отношения принимает значение \"истина\". В свою очередь, каждый n-местный предикат задает некоторое n-арное отношение. Таким образом, существует взаимно однозначное соответствие между n-арными отношениями и n-местными предикатами.

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

Примеры отношений

Бинарные отношения (отношения степени 2)

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

Отношение эквивалентности

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

1. для всех (рефлексивность)

2. Если , то (симметричность)

3. Если и , то (транзитивность)

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

1. для всех (рефлексивность)

2. Если , то (симметричность)

3. Если и , то (транзитивность)

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

Пример 1. Рассмотрим на множестве вещественных чисел отношение, заданное просто равенством чисел. Предикат такого отношения:

, или просто x=y

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

Пример 2. Рассмотрим более сложное отношение эквивалентности. На множестве целых чисел Z зададим отношение \"равенство по модулю n\" следующим образом: два числа a и b равны по модулю n, если их остатки при делении на n равны. Например, по модулю 5 равны числа 2, 7, 12 и т.д.

Условия 1-3 легко проверяются, поэтому равенство по модулю является отношением эквивалентности. Предикат этого отношения имеет вид:

Классы эквивалентности этого отношения состоят из чисел, дающих при делении на n одинаковые остатки. Таких классов ровно n:

[0] = {0, n, 2n, …}

[1] = {1, n+1, 2n+1, …}

…

[n-1] = {n-1, n+n-1, 2n+n-1, …}

Отношения порядка

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

1. для всех (рефлексивность)

2. Если и , то x=y (антисимметричность)

3. Если и , то (транзитивность)

Обычно отношение порядка обозначают знаком . Если для двух элементов x и y выполняется , то говорят, что x \"предшествует\" y. Как и для отношения эквивалентности, условия 1-3 в таких обозначениях выглядят более естественно:

1. для всех (рефлексивность)

2. Если и , то x=y(антисимметричность)

3. Если и , то (транзитивность)

Пример 3. Простым примером отношения порядка является отношение, задаваемое обычным неравенством на множестве вещественных чисел R. Заметим, что для любых чисел x и y выполняется либо , либо , т.е. любые два числа сравнимы между собой. Такие отношения называются отношениями полного порядка.

Предикат данного отношения есть просто утверждение .

Пример 4. Рассмотрим на множестве A всех сотрудников некоторого предприятия отношение, задаваемое следующим образом: сотрудник x предшествует сотруднику y тогда и только тогда, когда выполняется одно из условий:

• x=y

• x является начальником (не обязательно непосредственным) y

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

Функциональное отношение

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

1. Если и , то y=z (однозначность функции).

Обычно, функциональное отношение обозначают в виде функциональной зависимости - тогда и только тогда, когда y=f(x). Функциональные отношения (подмножества декартового произведения!) называют иначе графиком функции или графиком функциональной зависимости.

Предикат функционального отношения есть просто выражение функциональной зависимости y=f(x).