![]() |
Главная Случайная страница Контакты | Мы поможем в написании вашей работы! | |
|
Опр1 Пусть даны некоторые множества М1,…,Мn. Всякое подмножество DÌМ1×…×Мn называется отношением определенным на множествах М1,…,Мn, при этом говорят, что (m1,m2,…,mn),miÎМi находится в отношении D, если (m1,…,mn)ÎD.
В курсе алгебры вы изучали Бинарные, n-арные, унарные oтношения, операции, если М1=…=Мn, отображения их вы определили через отношения.
Ясно, что если на множествах М1,…, Мn рассмотрим два разных подмножества D1 и D2,то свойства отношений будут чем-то отличаться и мощность множества всех отношений равна Р (М1× …×Мn)
Ясно, что если хотя бы одно из множеств Мi бесконечно, то и множество отношений будет бесконечным. Поэтому бессмысленно изучать все отношения существующие на данной системе множеств. Здесь математика идет другим путем, а именно сначала выделяют отношения с наперед заданными свойствами, а за тем изучают множества, на которых они заданы или ищут те множества, на которых эти отношения выполняются.
Возьмем конечную систему различных множеств.E,F и G пусть их три. Пусть D1,…,Dк - некоторые отношения на системе множеств Е, F,G. Причем мы их не будем явно фиксировать, а лишь потребуем, чтобы они обладали заданными свойствами.
(1) А1,…, Аt.
Эту совокупность отношений обозначим s ={D1,…, Dk}. Может случиться, что таких систем будет не одна, а несколько
ПРИМЕР: D(а,в)=D(в,а) на R, по “*”,”+”.
Обозначим через Т множество всех систем отношений s обладающих свойствами (1).
Опр2 Если Т¹Æ, то говорят, что элемент sÎТ определяет на множествах E, F, G математическую структуру рода Т. Ясно сформулированные свойства А1,…,Аt, определяющие множество Т называется аксиомами структур рода Т, а множества E,F,G- базой структур рода Т.
ЗАМЕЧАНИЕ 1:Всем структурам одного и того же рода дается специальное название: структура группы, структура векторного пространства, структура евклидова пространства, структура кольца.
ЗАМЕЧАНИЕ 2: Если база состоит из нескольких множеств, то иногда одно из них играет основную роль, а остальные вспомогательную в определенных структурах, тогда говорят, что эти структуры определены на множестве Е., Например: Е, Vn+1, поле K- модель проективной плоскости над полем К или векторное пространство над полем К (о векторном пространстве).
ПРИМЕР 1: Структура группы: База 1- множество, 1-отношение, уд-ее 4 аксиомам.
ПРИМЕР 2: Структура евклидова пространства по Гильберту (отношения: инцидентность, порядок, равенства,……….).
ПРИМЕР 3: Структура Афф. Пространства по Вейлю.
ПРИМЕР 4: Евклидово пространство над векторным пространством V.
Систему аксиом будем обозначать å
Опр3 Теория структур рода Т-это множество Á(å) предложений (теорем), каждое из которых выводимо из аксиом системы å, определяющих структуру рода Т.
Математика занимается построением теорий структур заданного рода Т. Метод - аксиоматический.
Дата публикования: 2015-10-09; Прочитано: 539 | Нарушение авторского права страницы | Мы поможем в написании вашей работы!