Bourbaki

Bài tập 10, § 6

Tag 03J8, permanent. Cite it as [Bourbaki, Tag 03J8].

Lý thuyết tập hợp, II, 128

(a) Nếu R{x,y}R\{x, y\} là một quan hệ bất kỳ, thì "R{x,y}R\{x, y\} và R{y,x}R\{y, x\}" là một quan hệ đối xứng. Dưới điều kiện nào thì quan hệ đó phản xạ trên tập hợp EE?

*(b) Cho R{x,y}R\{x, y\} là một quan hệ phản xạ và đối xứng trên một tập hợp EE. Cho S{x,y}S\{x, y\} là quan hệ "tồn tại một số nguyên n>0n > 0 và một dãy (xi)0⩽i⩽n(x_i)_{0 \leqslant i \leqslant n} gồm các phần tử của EE sao cho x0=xx_0 = x, xn=yx_n = y, và với mỗi chỉ số ii thỏa mãn 0⩽i<n0 \leqslant i < n, R{xi,xi+1}R\{x_i, x_{i+1}\}". Chứng minh rằng S{x,y}S\{x, y\} là một quan hệ tương đương trên EE và đồ thị của nó là nhỏ nhất trong tất cả các đồ thị của các quan hệ tương đương trên EE chứa đồ thị của RR. Các lớp tương đương đối với SS được gọi là các thành phần liên thông của EE đối với quan hệ RR.

(c) Gọi F\mathfrak{F} là tập hợp các tập con AA của EE sao cho, với mỗi cặp phần tử (y,z)(y, z) sao cho y∈Ay \in A và z∈E−Az \in E - A, ta có "không R{y,z}R\{y, z\}".

Với mỗi x∈Ex \in \mathrm{E}, hãy chỉ ra rằng giao của các tập hợp A∈F\mathrm{A} \in \mathfrak{F} sao cho x∈Ax \in \mathrm{A} là thành phần liên thông của xx đối với quan hệ R.\*

Solution

No solution has been written yet.

Cited by

Cites

Nothing.

Machine translation of the English, by gpt-5.4. Not checked by a person.