Chứng minh với mọi tập hợp A

[pega94]

Chi $I$ là một tập hợp khác trống. Giả sử với mọi $i\in I$ có một tập hợp $X_i$. Ta gọi ${X_i}_{i\in I}$ là một tập hợp và I là tập chỉ số. Ta đặt: $\cup _{i\in I}X_i=\left \{ y:\exists i\in I sao cho ,y\in X_i\right \}$ và $\bigcup_{i \in I} X_i= \{ y:y\in X_i, \forall i \in I \}$ Chứng minh với mọi tập hợp A: $A\setminus \bigcup_{i\in I}^{X_i} = \bigcap_{i\in I} \left( A \setminus X_i \right)$

VÀi bữa thi rồi không làm được thì tiêu trong dài quá chưa làm được

[RIGHT][I][B]Nguồn: MathScope.ORG[/B][/I][/RIGHT] 

[sang89]

Đây là định luật De Morgan: $C\left( \displaystyle \bigcup_{i \in I} X_i\right) = \displaystyle \bigcap_{i \in I} \left( C(X_i)\right)$

$$ \begin{aligned} x \in C\left( \displaystyle \bigcup_{i \in I} X_i\right) &\Leftrightarrow x \notin \displaystyle \bigcup_{i \in I} X_i \\&\Leftrightarrow x \notin X_i, \: \forall i \in I \\&\Leftrightarrow x \in C(X_i), \: \forall i \in I \\&\Leftrightarrow x \in \displaystyle \bigcap_{i \in I}\left(C (X_i)\right) \end{aligned}$$
Từ đó ta có điều phải chứng minh.
[RIGHT][I][B]Nguồn: MathScope.ORG[/B][/I][/RIGHT] 

[pega94]

Sẵn chứng minh giùm này luôn nha:
Nếu $f $ là ánh xạ: $X \to Y $ có ánh xạ ngược trái là $g $ và ánh xạ ngược phải là $h $ thì 2 ánh xạ này là duy nhất, kí hiệu $f^{-1} $ là song ánh và $(f^{-1})^{-1}=f $
[RIGHT][I][B]Nguồn: MathScope.ORG[/B][/I][/RIGHT] 

[sang89]

Ngược trái và ngược phải được định nghĩa như thế nào?
[RIGHT][I][B]Nguồn: MathScope.ORG[/B][/I][/RIGHT] 

[pega94]

Ngược trái và ngược phải được định nghĩa như thế nào?

Hình như thế này.... Cho 2 ánh xạ thì nếu $fog=id_{X}} $ thì lúc này $f $ gọi là ánh xạ ngược trái của $g $

mới đọc sách xong nên nhớ

và ngược lại thì $g $ là ánh xạ ngược phải của $f $. Còn $id_{X} $ là ánh xạ đồng nhất $X \to X $ sao cho $x\in X $ thì $f(x)=x $ lúc này gọi $f $ là $id_{X} $

anh chứng minh em không hiểu lắm

( hình như còn gọi là điểm bất động thì phải)

------------------------------

Đây là định luật De Morgan: $C\left( \displaystyle \bigcup_{i \in I} X_i\right) = \displaystyle \bigcap_{i \in I} \left( C(X_i)\right)$

$$ \begin{aligned} x \in C\left( \displaystyle \bigcup_{i \in I} X_i\right) &\Leftrightarrow x \notin \displaystyle \bigcup_{i \in I} X_i \\&\Leftrightarrow x \notin X_i, \: \forall i \in I \\&\Leftrightarrow x \in C(X_i), \: \forall i \in I \\&\Leftrightarrow x \in \displaystyle \bigcap_{i \in I}\left(C (X_i)\right) \end{aligned}$$
Từ đó ta có điều phải chứng minh.

Ah hiểu rồi tại thấy kí hiệu kì bài dưới làm sao anh. theo em nghĩ láng mán là thế này....
từ định nghĩa $gof=id_{X} $ và $fog=id_{Y} $ để chứng minh ánh xa này duy nhất phải chứng minh $g=h $,
$g=goid_{Y}=go(foh)=(gof)oh=id_{Y}h=h $, đềiu này chứng tỏa ánh xạ ngược trái và ngược phải trùng nhau.... và $gof=id_{X} $ và $fog=id_{Y} $ thì $g $ và$ f $ là ngược nhau, tức là $f^{-1}(y)=x $ hay $f $ song ánh đoạn nữa không biết
[RIGHT][I][B]Nguồn: MathScope.ORG[/B][/I][/RIGHT]