Студопедия

КАТЕГОРИИ:


Архитектура-(3434)Астрономия-(809)Биология-(7483)Биотехнологии-(1457)Военное дело-(14632)Высокие технологии-(1363)География-(913)Геология-(1438)Государство-(451)Демография-(1065)Дом-(47672)Журналистика и СМИ-(912)Изобретательство-(14524)Иностранные языки-(4268)Информатика-(17799)Искусство-(1338)История-(13644)Компьютеры-(11121)Косметика-(55)Кулинария-(373)Культура-(8427)Лингвистика-(374)Литература-(1642)Маркетинг-(23702)Математика-(16968)Машиностроение-(1700)Медицина-(12668)Менеджмент-(24684)Механика-(15423)Науковедение-(506)Образование-(11852)Охрана труда-(3308)Педагогика-(5571)Полиграфия-(1312)Политика-(7869)Право-(5454)Приборостроение-(1369)Программирование-(2801)Производство-(97182)Промышленность-(8706)Психология-(18388)Религия-(3217)Связь-(10668)Сельское хозяйство-(299)Социология-(6455)Спорт-(42831)Строительство-(4793)Торговля-(5050)Транспорт-(2929)Туризм-(1568)Физика-(3942)Философия-(17015)Финансы-(26596)Химия-(22929)Экология-(12095)Экономика-(9961)Электроника-(8441)Электротехника-(4623)Энергетика-(12629)Юриспруденция-(1492)Ядерная техника-(1748)

Задачи для самостоятельного решения




Пример

А=(а 1, а 2, а 3 ); В=(в 1, в 2 ).

АВ={(а 1, в 1 ), (а 1, в 2 ), (а 2, в 1 ), (а 2, в 2 ), (а 3, в 1 ), (а 3, в 2 )}.

Прямым произведением множеств Х1, Х2, …, Х n называют множество, обозначаемое Х 1 Х 2 Х n и состоящее из всех тех и только тех кортежей длины n, первая компонента которых принадлежит множеству Х 1 , вторая - Х 2, и так далее:

Х 1 Х 2 Х n {(х 1, х 2, …,х n ) / х 1 Î Х 1, х 2 Î Х 2, …, х n Î Х n }.

Если Х 1 2 =…=Х n, то множество Х 1 Х 2 Х n называется прямой степенью множества Х и обозначается Х n.

 

Задачи и упражнения

1. Доказать, что если А, В, С и D не пусты, то:

а)АÍВÙСÍD«АCÍBD;

б)(АÇВ) (СÇD)= (АC)Ç(BD);

в) А(В\С)=(АВ)\(АC);

г) (А\В) С=(АС)\(ВC).

Решение

 

AÍBÙCÍD

а) "(x, y)ÎАC®xÎA, yÎC xÎB, yÎD®(x, y)ÎBD® АCÍBD;

АCÍBD

"xÎA, yÎC xÎB, yÎD® АÍВÇСÍD;

б) "(x, y)Î(AÇB)(СÇD)®xÎAÇB, yÎСÇD® xÎA Ù xÎB, yÎС Ù yÎD®

® xÎA, yÎС Ù xÎB, yÎD®(x, y)Î(АC) Ù (x, y)Î(BD)®

®(x, y)Î (АC)Ç(BD)® (AÇB)(СÇD)Í (АC)Ç(BD);

"(x, y)Î(АC)Ç(BD)®(x, y)Î(AC) Ù (x, y)Î(BD)®

® xÎA, yÎС Ù xÎB, yÎD® xÎA Ù xÎB, yÎС Ù yÎD®

® xÎAÇB, yÎСÇD®(x, y)Î(AÇB) (СÇD)Í (AÇB)(СÇD).

в) "(x, y)Î А(В\С)® xÎA, уÎB\С® xÎA, уÎB Ù уÏС® xÎA, уÎB Ù xÎA, уÏС®

®(x, y)Î АВ Ù (x, y)ÏАС®(x, y)Î(АВ)\(АC)® А(В\С)Í(АВ)\(АC);

"(x, y)Î(АВ)\(АC)®(x, y)Î(АВ) Ù (x, y)Ï(АС)®

® xÎA, уÎB Ù (xÎA, уÏС Ú xÏA, уÎС Ú xÏA, уÏС)®

(но х не может одновременно и принадлежать множеству А и не принадлежать

ему, поэтому принимаем xÎA, уÏС)

® xÎA, уÎB Ù xÎA, уÏС® xÎA, (уÎB Ù уÏС)® xÎA, уÎB\С®

® (x, y)Î А(В\С)® (АВ)\(АC)Í А(В\С);

г) "(x, y)Î(А\В) С®хÎ А\В, уÎС® хÎА Ù хÏВ, уÎС®хÎА, уÎС Ù хÏВ, уÎС® (x, y)Î(АС) Ù (x, y)Ï(ВC)® ® (х,y)ÎАС\ВC®(А\В)СÍ(АС)\(В * C);

"(x, y)ÎАС\ВC®(x, y)Î(АС) Ù (x, y)Ï(ВC)® ® хÎА, уÎС Ù (хÎВ, уÏС Ú хÏВ, уÏС Ú хÏВ, уÎС)® хÎА, уÎС Ù хÏВ, уÎС®

® (хÎА Ù хÏВ), уÎВ® хÎА\В, уÎВ®(x, y)Î(А\В) С®(АС)\(ВC)Í (А\В)С;

2. Пусть Х={х, (у, z), (a, b), {d}}, У={x, (k, e), {m, n}}.

Найти:

 

а) ХУ;

б) (Х\У) Х;

в) (ХÈУ) У;

г) (ХÇУ)А;

д) ХÇ(ХУ);

е) ХÆ.

3. Найти декартов квадрат множества А={1, 2, 3, 4}.

4. Найти декартов куб множества В={5, 6, 7}.

5. Доказать, что если A, B, C и D не пусты, то А=В и С=D«АС=DD.

6. Доказать, что ÇА t ÇB t =Ç(А t B t ).

7. Доказать тождество:

 

а) В)È(CD)Í(AÈC) (BÈD);

б) (AÈB) С=(АC)È(BC);

в) А(BÈC)= (АВ)È(AC);

г) (AÈC)(CÈD)=(АC)È(BC)È (АD)È(BD);

д) (А\В) С=(АС)\(ВC);

е) А(В\С)=(АВ)\(АC).

8. Доказать, что если множества A, B, C и D не пусты, то:

 

а) АÍВ Ù CÍD®АСÍВD;

б) A=B Ù C=D® АС=ВD;

в) АСÍВD® АÍВ Ù CÍD;

г) АС=ВD® A=B Ù C=D;

е) В)È(СD)Í (AÈC)(BÈD).




Поделиться с друзьями:


Дата добавления: 2014-01-05; Просмотров: 320; Нарушение авторских прав?; Мы поможем в написании вашей работы!


Нам важно ваше мнение! Был ли полезен опубликованный материал? Да | Нет



studopedia.su - Студопедия (2013 - 2024) год. Все материалы представленные на сайте исключительно с целью ознакомления читателями и не преследуют коммерческих целей или нарушение авторских прав! Последнее добавление




Генерация страницы за: 0.017 сек.