I.1

Операции над множествами

[41/71%]
Показать
LaTeX
Задача I.1.1

Доказать:

?
(а)

A⊆AA \subseteq A (рефлексивность);

(б)

если A⊆BA \subseteq B и B⊆CB \subseteq C, то A⊆CA \subseteq C (транзитивность);

(в)

A∩B⊆A⊆A∪BA \cap B \subseteq A \subseteq A \cup B;

(г)

A∩B⊆B⊆A∪BA \cap B \subseteq B \subseteq A \cup B;

(д)

A∖B⊆AA \setminus B \subseteq A.

Задача I.1.2

Доказать, что если AA есть множество корней уравнения x2−7x+6=0x^{2} - 7x + 6 = 0 и B={1,6}B = \left\{ 1, 6\right\}, то A=BA = B.

?
Задача I.1.3

Доказать, что ∅≠{∅}\emptyset \neq \left\{ \emptyset \right\}.

?
Задача I.1.4

Доказать, что {{1,2},{2,3}}≠{1,2,3}\left\{ \left\{ 1, 2\right\} , \left\{ 2, 3\right\} \right\} \neq \left\{ 1, 2, 3\right\}.

?
Задача I.1.5

Доказать, что для любого AA:

?
(а)

∅⊆A⊆U\emptyset \subseteq A \subseteq U;

(б)

если A⊆∅A \subseteq \emptyset, то A=∅A = \emptyset; если U⊆AU \subseteq A, то A=UA = U;

(в)

A∪∅=AA \cup \emptyset = A, A∩∅=∅A \cap \emptyset = \emptyset, A∪U=UA \cup U = U, A∩U=AA \cap U = A.

Задача I.1.6

Доказать, что существует лишь одно множество, не имеющее элементов.

?
Задача I.1.7

Существуют ли такие множества AA, BB и CC, что

A∩B≠∅,A∩C=∅,(A∩B)∖C=∅? A \cap B \neq \emptyset , \quad A \cap C = \emptyset , \quad (A \cap B) \setminus C = \emptyset \text{?}
?
Задача I.1.8

Доказать, что множество всех корней многочлена α(x)=β(x)⋅γ(x)\alpha (x) = \beta (x) \cdot \gamma (x) есть объединение множеств корней многочленов β(x)\beta (x) и γ(x)\gamma (x).

?
Задача I.1.9

Доказать, что пересечение множеств действительных корней многочленов α(x)\alpha (x) и β(x)\beta (x) с действительными коэффициентами совпадает с множеством всех действительных корней многочлена γ(x)=α2(x)+β2(x)\gamma (x) = \alpha^{2}(x) + \beta^{2}(x).

?
Задача I.1.10

Доказать, что

A⊆B⇔A∪B=B⇔A∩B=A⇔A∖B=∅⇔(−A)∪B=U. A \subseteq B \Leftrightarrow A \cup B = B \Leftrightarrow A \cap B = A \Leftrightarrow A \setminus B = \emptyset \Leftrightarrow (-A) \cup B = U.
?
Задача I.1.11

Доказать следующие тождества:

?
(а)

A∪A=A∩A=AA \cup A = A \cap A = A;

(б)

A∩B=B∩AA \cap B = B \cap A;

(в)

A∪B=B∪AA \cup B = B \cup A;

(г)

A∩(B∩C)=(A∩B)∩CA \cap (B \cap C) = (A \cap B) \cap C;

(д)

A∪(B∪C)=(A∪B)∪CA \cup (B \cup C) = (A \cup B) \cup C;

(е)

A∩(B∪C)=(A∩B)∪(A∩C)A \cap (B \cup C) = (A \cap B) \cup (A \cap C);

(ж)

A∪(B∩C)=(A∪B)∩(A∪C)A \cup (B \cap C) = (A \cup B) \cap (A \cup C);

(з)

(A∩B)∪(C∩D)=(A∪C)∩(B∪C)∩(A∪D)∩(B∪D)(A \cap B) \cup (C \cap D) = (A \cup C) \cap (B \cup C) \cap (A \cup D) \cap (B \cup D).

Задача I.1.12

Доказать следующие тождества:

?
(а)

−(A∩B)=(−A)∪(−B)-(A \cap B) = (-A) \cup (-B);

(б)

−(A∪B)=(−A)∩(−B)-(A \cup B) = (-A) \cap (-B);

(в)

A∖(B∪C)=(A∖B)∩(A∖C)A \setminus (B \cup C) = (A \setminus B) \cap (A \setminus C);

(г)

A∖(B∩C)=(A∖B)∪(A∖C)A \setminus (B \cap C) = (A \setminus B) \cup (A \setminus C);

(д)

A∖(A∖B)=A∩BA \setminus (A \setminus B) = A \cap B;

(е)

A∖B=A∖(A∩B)A \setminus B = A \setminus (A \cap B);

(ж)

A∩(B∖C)=(A∩B)∖(A∩C)=(A∩B)∖CA \cap (B \setminus C) = (A \cap B) \setminus (A \cap C) = (A \cap B) \setminus C;

(з)

(A∖B)∖C=(A∖C)∖(B∖C)(A \setminus B) \setminus C = (A \setminus C) \setminus (B \setminus C);

(и)

A∪B=A∪(B∖A)A \cup B = A \cup (B \setminus A);

(к)

−(−A)=A-(-A) = A;

(л)

A∪(−A)=UA \cup (-A) = U;

(м)

A∩(−A)=∅A \cap (-A) = \emptyset;

(н)

(A∩B)∪[A∩(−B)]=(A∪B)∩[A∪(−B)]=A(A \cap B) \cup [A \cap (-B)] = (A \cup B) \cap [A \cup (-B)] = A;

(о)

[(−A)∪B]∩A=A∩B[(-A) \cup B] \cap A = A \cap B;

(п)

A∩(B∖A)=∅A \cap (B \setminus A) = \emptyset;

(р)

(A∪B)∖C=(A∖C)∪(B∖C)(A \cup B) \setminus C = (A \setminus C) \cup (B \setminus C);

(с)

A∖(B∖C)=(A∖B)∪(A∩C)A \setminus (B \setminus C) = (A \setminus B) \cup (A \cap C);

(т)

A∖(B∪C)=(A∖B)∖CA \setminus (B \cup C) = (A \setminus B) \setminus C.

Задача I.1.13

Доказать, что:

?
(а)

A∪B⊆C⇔A⊆CA \cup B \subseteq C \Leftrightarrow A \subseteq C и B⊆CB \subseteq C;

(б)

A⊆B∩C⇔A⊆BA \subseteq B \cap C \Leftrightarrow A \subseteq B и A⊆CA \subseteq C;

(в)

A∩B⊆C⇔A⊆(−B)∪CA \cap B \subseteq C \Leftrightarrow A \subseteq (-B) \cup C;

(г)

A⊆B∪C⇔A∩(−B)⊆CA \subseteq B \cup C \Leftrightarrow A \cap (-B) \subseteq C;

(д)

(A∖B)∪B=A⇔B⊆A(A \setminus B) \cup B = A \Leftrightarrow B \subseteq A;

(е)

(A∩B)∪C=A∩(B∪C)⇔C⊆A(A \cap B) \cup C = A \cap (B \cup C) \Leftrightarrow C \subseteq A;

(ж)

A⊆B⇒A∪C⊆B∪CA \subseteq B \Rightarrow A \cup C \subseteq B \cup C;

(з)

A⊆B⇒A∩C⊆B∩CA \subseteq B \Rightarrow A \cap C \subseteq B \cap C;

(и)

A⊆B⇒(A∖C)⊆(B∖C)A \subseteq B \Rightarrow (A \setminus C) \subseteq (B \setminus C);

(к)

A⊆B⇒(C∖B)⊆(C∖A)A \subseteq B \Rightarrow (C \setminus B) \subseteq (C \setminus A);

(л)

A⊆B⇒−B⊆−AA \subseteq B \Rightarrow -B \subseteq -A;

(м)

A∪B=A∩B⇒A=BA \cup B = A \cap B \Rightarrow A = B;

(н)

A=−B⇔A∩B=∅A = -B \Leftrightarrow A \cap B = \emptyset и A∪B=UA \cup B = U.

Задача I.1.14

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

?
(а)

A\symdiffB=B\symdiffAA \symdiff B = B \symdiff A;

(б)

A\symdiff(B\symdiffC)=(A\symdiffB)\symdiffCA \symdiff (B \symdiff C) = (A \symdiff B) \symdiff C;

(в)

A∩(B\symdiffC)=(A∩B)\symdiff(A∩C)A \cap (B \symdiff C) = (A \cap B) \symdiff (A \cap C);

(г)

A\symdiff(A\symdiffB)=BA \symdiff (A \symdiff B) = B;

(д)

A∪B=(A\symdiffB)\symdiff(A∩B)A \cup B = (A \symdiff B) \symdiff (A \cap B);

(е)

A∖B=A\symdiff(A∩B)A \setminus B = A \symdiff (A \cap B);

(ж)

A\symdiff∅=AA \symdiff \emptyset = A;

(з)

A\symdiffA=∅A \symdiff A = \emptyset;

(и)

A\symdiffU=−AA \symdiff U = -A;

(к)

A∪B=(A\symdiffB)∪(A∩B)A \cup B = (A \symdiff B) \cup (A \cap B).

Задача I.1.15

Доказать, что:

?
(а)

(A1∪…∪An)\symdiff(B1∪…∪Bn)⊆(A1\symdiffB1)∪…∪(An\symdiffBn)(A_{1} \cup \ldots \cup A_{n}) \symdiff (B_{1} \cup \ldots \cup B_{n}) \subseteq (A_{1} \symdiff B_{1}) \cup \ldots \cup (A_{n} \symdiff B_{n});

(б)

(A1∩…∩An)\symdiff(B1∩…∩Bn)⊆(A1\symdiffB1)∪…∪(An\symdiffBn)(A_{1} \cap \ldots \cap A_{n}) \symdiff (B_{1} \cap \ldots \cap B_{n}) \subseteq (A_{1} \symdiff B_{1}) \cup \ldots \cup (A_{n} \symdiff B_{n}).

Задача I.1.16

Доказать, что:

?
(а)

A\symdiffB=∅⇔A=BA \symdiff B = \emptyset \Leftrightarrow A = B;

(б)

A∩B=∅⇒A∪B=A\symdiffBA \cap B = \emptyset \Rightarrow A \cup B = A \symdiff B;

(в)

A\symdiffB=C⇔B\symdiffC=A⇔C\symdiffA=BA \symdiff B = C \Leftrightarrow B \symdiff C = A \Leftrightarrow C \symdiff A = B.

Задача I.1.17

Определить операции ∪,∩,∖\cup , \cap , \setminus через:

?
(а)

\symdiff,∩\symdiff , \cap;

(б)

\symdiff,∪\symdiff , \cup;

(в)

∖,\symdiff\setminus , \symdiff.

Задача I.1.18

Доказать, что нельзя определить:

?
(а)

∖\setminus через ∩\cap и ∪\cup;

(б)

∪\cup через ∩\cap и ∖\setminus.

Задача I.1.19

Доказать, что множества образуют кольцо без единицы, где \symdiff\symdiff играет роль операции сложения, а ∩\cap играет роль операции умножения. Что является вычитанием в этом кольце?

?
Задача I.1.20

Найти все подмножества множеств ∅\emptyset, {∅}\left\{ \emptyset \right\}, {x}\left\{ x\right\}, {1,2}\left\{ 1, 2\right\}.

?
Задача I.1.21
?
(а)

Доказать, что множество из nn элементов имеет 2n2^{n} подмножеств.

(б)

Сколько подмножеств из kk элементов имеет множество из nn элементов (k≤n)(k \leq n)?

Задача I.1.22

Доказать, что:

?
(а)

P(A∩B)=P(A)∩P(B)P(A \cap B) = P(A) \cap P(B);

(б)

P(⋂i∈IAi)=⋂i∈IP(Ai)P\left(\bigcap_{i \in I} A_{i}\right) = \bigcap_{i \in I} P(A_{i});

(в)

P(A∪B)={A1∪B1∣A1∈P(A) и B1∈P(B)}P(A \cup B) = \left\{ A_{1} \cup B_{1} \mid A_{1} \in P(A) \text{ и } B_{1} \in P(B)\right\};

(г)

P(⋃i∈IAi)=⋃i∈I{Bi∣Bi∈P(Ai)}P\left(\bigcup_{i \in I} A_{i}\right) = \bigcup_{i \in I} \left\{ B_{i} \mid B_{i} \in P(A_{i})\right\}.

Задача I.1.23

Доказать, что для любых aa, bb, cc, dd

{{a},{a,b}}={{c},{c,d}}⇔a=c и b=d. \left\{ \left\{ a\right\} , \left\{ a, b\right\} \right\} = \left\{ \left\{ c\right\} , \left\{ c, d\right\} \right\} \Leftrightarrow a = c \text{ и } b = d.
?
Задача I.1.24

Какие из утверждений верны для всех AA, BB и CC:

?
(а)

если A∈BA \in B и B∈CB \in C, то A∈CA \in C?

(б)

если A⊆BA \subseteq B и B∈CB \in C, то A∈CA \in C?

(в)

если A∩B⊆−CA \cap B \subseteq -C и A∪C⊆BA \cup C \subseteq B, то A∩C=∅A \cap C = \emptyset?

(г)

если A≠BA \neq B и B≠CB \neq C, то A≠CA \neq C?

(д)

если A⊆−(B∪C)A \subseteq -(B \cup C) и B⊆−(A∪C)B \subseteq -(A \cup C), то B=∅B = \emptyset?

Задача I.1.25

Доказать, что для любых A1,A2,…,AnA_{1}, A_{2}, \ldots , A_{n},

если A1⊆A2⊆…⊆An⊆A1, то A1=A2=…=An. \text{если } A_{1} \subseteq A_{2} \subseteq \ldots \subseteq A_{n} \subseteq A_{1}, \text{ то } A_{1} = A_{2} = \ldots = A_{n}.
?
Задача I.1.26

Для каждого положительного целого числа nn указать множество AnA_{n} из nn элементов такое, что если x,y∈Anx, y \in A_{n}, то x∈yx \in y или y∈xy \in x или x=yx = y.

?
Задача I.1.27

Решить систему уравнений

{A∩X=B,A∪X=C, \begin{cases} A \cap X = B, \\ A \cup X = C, \end{cases}

где AA, BB и CC --- данные множества и B⊆A⊆CB \subseteq A \subseteq C.

?
Задача I.1.28

Решить систему уравнений

{A∖X=B,X∖A=C, \begin{cases} A \setminus X = B, \\ X \setminus A = C, \end{cases}

где AA, BB и CC --- данные множества и B⊆AB \subseteq A, A∩C=∅A \cap C = \emptyset.

?
Задача I.1.29

Пусть даны системы множеств {Ai}i∈I\left\{ A_{i}\right\}_{i \in I} и {Bi}i∈I\left\{ B_{i}\right\}_{i \in I}, где II --- некоторое множество. Решить системы уравнений:

?
(а)

Ai∩X=BiA_{i} \cap X = B_{i}, i∈Ii \in I;

(б)

Ai∪X=BiA_{i} \cup X = B_{i}, i∈Ii \in I.

При каких AiA_{i} и BiB_{i} эти системы имеют решения?

Задача I.1.30

Решить систему уравнений

{A∖X=B,A∪X=C, \begin{cases} A \setminus X = B, \\ A \cup X = C, \end{cases}

где AA, BB и CC --- данные множества и B⊆A⊆CB \subseteq A \subseteq C.

?
Задача I.1.31

Показать, что:

?
(а)

A=B⇔(A∖B)∪(B∖A)=∅A = B \Leftrightarrow (A \setminus B) \cup (B \setminus A) = \emptyset;

(б)

любое уравнение относительно множества XX, в правой части которого стоит ∅\emptyset, равносильно уравнению (A∩X)∪[B∩(−X)]=∅(A \cap X) \cup [B \cap (-X)] = \emptyset, где AA и BB --- некоторые множества, в записи которых не содержится символ XX;

(в)

система уравнений

{A∩X=∅,B∩(−X)=∅ \begin{cases} A \cap X = \emptyset , \\ B \cap (-X) = \emptyset \end{cases}

имеет решение тогда и только тогда, когда B⊆−AB \subseteq -A; при этом условии решением системы является любое множество XX такое, что

B⊆X⊆−A; B \subseteq X \subseteq -A;
(г)

описать метод решения системы уравнений с одним неизвестным.

Задача I.1.32

Пользуясь методом задачи I.1.31, решить следующие системы:

?
(а)

{A∪X=B∩X,A∩X=C∪X;\begin{cases} A \cup X = B \cap X, \\ A \cap X = C \cup X; \end{cases}

(б)

{A∖X=X∖B,X∖A=C∖X;\begin{cases} A \setminus X = X \setminus B, \\ X \setminus A = C \setminus X; \end{cases}

(в)

{A∩X=B∖X,C∪X=X∖A.\begin{cases} A \cap X = B \setminus X, \\ C \cup X = X \setminus A. \end{cases}

При каких AA, BB и CC эти системы имеют решение?

Задача I.1.33

Доказать, что всякое множество есть:

?
(а)

объединение всех своих подмножеств;

(б)

объединение всех своих конечных подмножеств;

(в)

объединение всех своих одноэлементных подмножеств.

Задача I.1.34

Пусть имеется последовательность множеств

X0⊇X1⊇X2⊇…⊇Xn⊇… X_{0} \supseteq X_{1} \supseteq X_{2} \supseteq \ldots \supseteq X_{n} \supseteq \ldots

Доказать, что пересечение любой бесконечной подпоследовательности этих множеств совпадает с пересечением всей последовательности.

?
Задача I.1.35

Пусть имеется последовательность множеств

X0⊆X1⊆X2⊆…⊆Xn⊆… X_{0} \subseteq X_{1} \subseteq X_{2} \subseteq \ldots \subseteq X_{n} \subseteq \ldots

Доказать, что объединение любой бесконечной подпоследовательности этих множеств совпадает с объединением всей последовательности.

?
Задача I.1.36

Доказать следующие тождества:

?
(а)

⋃k∈K⋃t∈TAkt=⋃t∈T⋃k∈KAkt\bigcup_{k \in K} \bigcup_{t \in T} A_{kt} = \bigcup_{t \in T} \bigcup_{k \in K} A_{kt};

(б)

⋂k∈K⋂t∈TAkt=⋂t∈T⋂k∈KAkt\bigcap_{k \in K} \bigcap_{t \in T} A_{kt} = \bigcap_{t \in T} \bigcap_{k \in K} A_{kt};

(в)

−(⋃k∈KAk)=⋂k∈K(−Ak)-\left(\bigcup_{k \in K} A_{k}\right) = \bigcap_{k \in K} (-A_{k});

(г)

−(⋂k∈KAk)=⋃k∈K(−Ak)-\left(\bigcap_{k \in K} A_{k}\right) = \bigcup_{k \in K} (-A_{k});

(д)

⋃k∈KAk∪⋃k∈KBk=⋃k∈K(Ak∪Bk)\bigcup_{k \in K} A_{k} \cup \bigcup_{k \in K} B_{k} = \bigcup_{k \in K} (A_{k} \cup B_{k});

(е)

⋃k∈K(B∩Ak)=B∩(⋃k∈KAk)\bigcup_{k \in K} (B \cap A_{k}) = B \cap \left(\bigcup_{k \in K} A_{k}\right);

(ж)

⋂k∈K(B∪Ak)=B∪(⋂k∈KAk)\bigcap_{k \in K} (B \cup A_{k}) = B \cup \left(\bigcap_{k \in K} A_{k}\right).

Задача I.1.37
?
(а)

Доказать, что для любых KK, TT, AktA_{kt}

⋃k∈K⋂t∈TAkt⊆⋂t∈T⋃k∈KAkt. \bigcup _{k \in K} \bigcap _{t \in T} A_{kt} \subseteq \bigcap _{t \in T} \bigcup _{k \in K} A_{kt}.
(б)

Доказать, что в утверждении (а) включение нельзя заменить равенством.

Задача I.1.38

Доказать, что:

?
(а)

если At⊆BA_{t} \subseteq B для всех t∈Tt \in T, то ⋃t∈TAt⊆B\bigcup_{t \in T} A_{t} \subseteq B;

(б)

если B⊆AtB \subseteq A_{t} для всех t∈Tt \in T, то B⊆⋂t∈TAtB \subseteq \bigcap_{t \in T} A_{t};

(в)

если At⊆BtA_{t} \subseteq B_{t} для всех t∈Tt \in T, то ⋃t∈TAt⊆⋃t∈TBt\bigcup_{t \in T} A_{t} \subseteq \bigcup_{t \in T} B_{t} и ⋂t∈TAt⊆⋂t∈TBt\bigcap_{t \in T} A_{t} \subseteq \bigcap_{t \in T} B_{t}.

Задача I.1.39

Доказать, что:

?
(а)

⋃t∈TAt\bigcup_{t \in T} A_{t} есть наименьшее множество, содержащее все множества AtA_{t};

(б)

⋂t∈TAt\bigcap_{t \in T} A_{t} есть наибольшее множество, содержащееся во всех множествах AtA_{t}.

Задача I.1.40

Доказать, что если (⋂n∈N∖{0}An)∩(⋂n∈N∖{0}Bn)=∅\left(\bigcap_{n \in \mathbb {N} \setminus \left\{ 0\right\} } A_{n}\right) \cap \left(\bigcap_{n \in \mathbb {N} \setminus \left\{ 0\right\} } B_{n}\right) = \emptyset, то

⋂n∈N∖{0}An⊆⋃n∈N∖{0}[An∩(Bn−1∖Bn)], \bigcap _{n \in \mathbb {N} \setminus \left\{ 0\right\} } A_{n} \subseteq \bigcup _{n \in \mathbb {N} \setminus \left\{ 0\right\} } [A_{n} \cap (B_{n-1} \setminus B_{n})],

где

(⋃n∈N∖{0}An)∪(⋃n∈N∖{0}Bn)⊆B0. \left(\bigcup _{n \in \mathbb {N} \setminus \left\{ 0\right\} } A_{n}\right) \cup \left(\bigcup _{n \in \mathbb {N} \setminus \left\{ 0\right\} } B_{n}\right) \subseteq B_{0}.
?
Задача I.1.41

Доказать, что для любой системы множеств A0,…,An,…A_{0}, \ldots , A_{n}, \ldots существует система попарно непересекающихся множеств B0,…,Bn,…B_{0}, \ldots , B_{n}, \ldots такая, что ⋃n∈NAn=⋃n∈NBn\bigcup_{n \in \mathbb {N}} A_{n} = \bigcup_{n \in \mathbb {N}} B_{n} и Bn⊆AnB_{n} \subseteq A_{n}.

?