Версия для печати темы

Нажмите сюда для просмотра этой темы в обычном формате

Форум «Всё о Паскале» _ Математика _ Отношения между множествами

Автор: 18192123 6.02.2007 0:19

Помогите доказать:
1. если А=В, то В=А.
2. если множество А включает В, то В включается в А.
3. если А=В и В=С, то А=С
(где А и В - множества)

Сами утверждения мне понятны, а в общем случае доказать у меня не получается!

Помогите пожалуйста!

Автор: мисс_граффити 6.02.2007 0:49

Это вообще-то напрямую следует из определений:

Цитата
Говорят, что А и В равны и пишут А = В, если они состоят из одних и тех же элементов.

Предположим, что А=В, но В!=А. Тогда существует хотя бы один элемент из В, равного которому нет в А, или хотя бы один элемент из А, равного которому нет в В. Но тогда не выполняется А=В.
Аналогично с 3 случаем.

Про второй - вообще не поняла, что доказывать sad.gif Приведи определения "включает" и "включается"...

Автор: 18192123 6.02.2007 0:55

если В состоит из элементов, входящих в множество А, то В - называется подмножеством А(т.е. В включается в А)

Автор: 18192123 6.02.2007 1:14

вот как я поняла пункт2:
пусть А включает В, но В не включается в А, тогда произвольный элемент х, принадлежащий В, не входит в А, но в этом случае получаем противоречие с условием А включает В.

Я права?

Автор: мисс_граффити 6.02.2007 1:16

вроде как...

Автор: 18192123 6.02.2007 3:27

Цитата(мисс_граффити @ 5.02.2007 21:16) *

вроде как...

спасибо за помощь!