Упорядоченные множества

Министерство образования и науки Российской Федерации

Федеральное агентство по образованию

НИЖНЕКАМСКИЙ МУНИЦИПАЛЬНЫЙ ИНСТИТУТ

Кафедра информатики математики и естественно –

научных дисциплин

Группа 561

РЕФЕРАТ

по дисциплине «Абстрактная алгебра»

Уровень образования специалист

Тема: Упорядоченные множества

Руководитель ___________________ Р.М. Мунипов

Студент ___________________ А.В. Глазунов

Нижнекамск 2007

СОДЕРЖАНИЕ

ВВЕДЕНИЕ………………………………………………………………..3

1. Частично упорядоченные множества…………………………………5

2. Вполне упорядоченные множества…………………………………..20

3. Частичные группоиды и их свойства………………………………..23

ЗАКЛЮЧЕНИЕ…………………………………………………………..35

СПИСОК ЛИТЕРАТУРЫ……………………………………………….36

Введение

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

Теория частичных действий естественно должна продолжать теорию полных действий. Эта последняя в настоящее время является крайне разветв­ленной, богатой и находится в периоде своего расцвета. Естественно возни­кает мысль о перенесении выработанных там понятий и результатов в новую область. Это, разумеется, необходимо и во многих случаях плодотворно. Од­нако уже с первых шагов развития теории частичных действий дает себя знать значительная специфика этого направления. Часто прямое перенесение результатов теории полных действий оказывается затруднительным или даже невозможным. Привычный алгебраический материал приходится подвергать существенной переработке или переосмыслению, кроме того, возникают со­всем новые понятия и задачи, специфические для нового направления. Для них требуется своя методика исследования.

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

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

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

1. Частично упорядоченные множества

Бинарное отношениена множестве А называется антисимметрич­ным если:

(а,в А ) а τ в в τ а

Бинарное отношение на множестве А называется рефлексивным если:

(aA ) aa

Бинарное отношение на множестве А называется транзитивным если:

(a ,в, cA ) a в в c → а с

Пример 1.

Отношение делимости (нацело) на множестве натуральных чисел N антисимметрично. В самом деле, если ав , ва , то существуют натуральные q ₁ ,qN , такие, что а=в q ₁ , в=а q откуда а=а q ₁ q , то есть q ₁ q = 1. Но,

q ₁ ,qN ,следовательно q ₁ = q = 1, откуда следует, что а = в.

Рефлексивное антисимметричное транзитивное бинарное отношение на множестве А называется отношением порядка (частичного порядка) на множестве А .

Множество А с заданным на нем отношением частичного порядка ≤ на­зывают частично упорядоченным множеством и обозначают < А ; ≤ >.

В дальнейшем для удобства будем пользоваться сокращением ЧУМ , обозначающим частично упорядоченное множество.

Пример 2.

< N , ≤ > − обычное нестрогое неравенство чисел (в школьном смысле). Нужно доказать транзитивность, рефлексивность и антисиммет­ричность этого отношения ≤.

a) a ≤ a ,(2 ≤ 2) – рефлексивность,

b) если а ≤ в , в ≤ с, то a ≤ c , (3 ≤ 4, 4 ≤ 5 → 3 ≤ 5 ) – транзитивность,

Внимание, отключите Adblock

Вы посетили наш сайт со включенным блокировщиком рекламы!
Ссылка для скачивания станет доступной сразу после отключения Adblock!

Скачать