It looks like you're new here. If you want to get involved, click one of these buttons!

- All Categories 2.2K
- Applied Category Theory Course 356
- Applied Category Theory Seminar 4
- Exercises 149
- Discussion Groups 50
- How to Use MathJax 15
- Chat 481
- Azimuth Code Project 108
- News and Information 145
- Azimuth Blog 149
- Azimuth Forum 29
- Azimuth Project 189
- - Strategy 108
- - Conventions and Policies 21
- - Questions 43
- Azimuth Wiki 711
- - Latest Changes 701
- - - Action 14
- - - Biodiversity 8
- - - Books 2
- - - Carbon 9
- - - Computational methods 38
- - - Climate 53
- - - Earth science 23
- - - Ecology 43
- - - Energy 29
- - - Experiments 30
- - - Geoengineering 0
- - - Mathematical methods 69
- - - Meta 9
- - - Methodology 16
- - - Natural resources 7
- - - Oceans 4
- - - Organizations 34
- - - People 6
- - - Publishing 4
- - - Reports 3
- - - Software 21
- - - Statistical methods 2
- - - Sustainability 4
- - - Things to do 2
- - - Visualisation 1
- General 40

Options

Consider the proof of Proposition 1.11. Suppose that \(\sim\) is an equivalence relation, and let \(P\) be the set of \((\sim)\)-closed and \((\sim)\)-connected subsets \((A_p)_{p \in P}\).

- Show that each \(A_p\) is nonempty.
- Show that if \(p \neq q\), i.e. if \(A_p\) and \(A_q\) are not exactly the same set, then \(A_p \cap A_q = \emptyset\).
- Show that \(A = \bigcup_{p \in P} A_p\).

## Comments

Each \(A_p\) is nonempty because it is \((\sim)\)-connected, and a \((\sim)\)-connected subset is nonempty by definition.

If \(A_p\) and \(A_q\) had a nonempty intersection, they would each contain some element \(x \in X\). But then, since they are \((\sim)\)-closed and \((\sim)\)-connected, \(A_p\) and \(A_q\) would each contain

all and onlyelements of X equivalent to x, contradicting that \(A_p\) and \(A_q\) are unequal. So \(A_p\) and \(A_q\) can’t have a nonempty intersection.We prove that A and the specified union are subsets of each other: First, every element in the union is obviously in A, because the union is a union of

subsetsof A. On the other hand, if \(x \in A\), then the set \(A_r\) of all elements \(y \in A\) with y \(\sim\) x is \((\sim)\)-closed and \((\sim)\)-connected (by transitivity and reflexivity of equivalence). So \(A_r\) is by definition one of the subsets in the specified union, and thus x (which is in \(A_r\) by reflexivity) is in that union.`1. Each \\(A_p\\) is nonempty because it is \\((\sim)\\)-connected, and a \\((\sim)\\)-connected subset is nonempty by definition. 2. If \\(A_p\\) and \\(A_q\\) had a nonempty intersection, they would each contain some element \\(x \in X\\). But then, since they are \\((\sim)\\)-closed and \\((\sim)\\)-connected, \\(A_p\\) and \\(A_q\\) would each contain *all and only* elements of X equivalent to x, contradicting that \\(A_p\\) and \\(A_q\\) are unequal. So \\(A_p\\) and \\(A_q\\) can’t have a nonempty intersection. 3. We prove that A and the specified union are subsets of each other: First, every element in the union is obviously in A, because the union is a union of *subsets* of A. On the other hand, if \\(x \in A\\), then the set \\(A_r\\) of all elements \\(y \in A\\) with y \\(\sim\\) x is \\((\sim)\\)-closed and \\((\sim)\\)-connected (by transitivity and reflexivity of equivalence). So \\(A_r\\) is by definition one of the subsets in the specified union, and thus x (which is in \\(A_r\\) by reflexivity) is in that union.`

Jerry: your equation looks good to me. Sometimes you have to refresh the page to get the rendering to occur.

`Jerry: your equation looks good to me. Sometimes you have to refresh the page to get the rendering to occur.`

Thanks Dan, that worked!

`Thanks Dan, that worked!`

And what is

Pin this case?`And what is <i> P </i> in this case?`

Paulius: the problem says

That's a bit of a mouthful, but the idea is this. If we start with an equivalence relation \(\sim\) on a set \(X\), we can use it to chop \(X\) into a bunch of parts called 'equivalence' classes:

\(P\) is the set of these parts. It's a bit ridiculous to say "the set of subsets \((A_p)_{p \in P}\)". One can equivalently just say \(P\), since this is the same thing!

If you're wondering what a " \((\sim)\)-closed and \((\sim)\)-connected subset" is, you can ask me or look it up in the book - it's in the proof of Proposition 1.11, right before this exercise.

The point of the exercise is to show that these "\((\sim)\)-closed and \((\sim)\)-connected subsets" really do form a partition of \(X\).

`Paulius: the problem says > Let \\(P\\) be the set of \\((\sim)\\)-closed and \\((\sim)\\)-connected subsets \\((A_p)_{p \in P}\\). That's a bit of a mouthful, but the idea is this. If we start with an equivalence relation \\(\sim\\) on a set \\(X\\), we can use it to chop \\(X\\) into a bunch of parts called 'equivalence' classes: <center><img width = "300" src = "http://math.ucr.edu/home/baez/mathematical/7_sketches/set_partition.png"></center> \\(P\\) is the set of these parts. It's a bit ridiculous to say "the set of subsets \\((A_p)_{p \in P}\\)". One can equivalently just say \\(P\\), since this is the same thing! If you're wondering what a " \\((\sim)\\)-closed and \\((\sim)\\)-connected subset" is, you can ask me or look it up in the book - it's in the proof of Proposition 1.11, right before this exercise. The point of the exercise is to show that these "\\((\sim)\\)-closed and \\((\sim)\\)-connected subsets" really do form a partition of \\(X\\).`

Thank you very much. Got it. I was going a bit off tangent here (the axiom of choice and all that). Was thinking how one should construct

P, when it was already given.`Thank you very much. Got it. I was going a bit off tangent here (the axiom of choice and all that). Was thinking how one should construct <i>P</i> , when it was already given.`