Студопедия.Орг Главная | Случайная страница | Контакты | Мы поможем в написании вашей работы!  
 

Понятие математической структуры



Опр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; Прочитано: 540 | Нарушение авторского права страницы | Мы поможем в написании вашей работы!



studopedia.org - Студопедия.Орг - 2014-2025 год. Студопедия не является автором материалов, которые размещены. Но предоставляет возможность бесплатного использования (0.006 с)...