Set theory question
I am reading J. Neveu's "Mathematical foundations of the calculus of probability." There he presents what he calls a distributivity formula: $$\bigcup_{j \in J} \bigcap_{i \in I_j} F_i^j=\bigcap_{\{i_j\} \in K}\bigcup_{j \in J} F_{i_j}^j$$ where $K=\Pi_{j\in J}I_j$ (the set of all sequences \{$i_j, j \in J$\}). My question is regarding the notation. The LHS is quite clear to me. However, I'm now sure what are actually the members of K. Say $J=\{1,2,\ldots\}$ and $I_j=\{1,2,\ldots\}$. What is actually $i_j$ here? I'd appreciate an illumination on the RHS here and what is actually going on there..
Answer
- The questioner was satisfied with and accepted the answer, or
- The answer was evaluated as being 100% correct by the judge.
-
Thanks. I think I am beginning to understand. For simplicity's sake, let's assume j={1,2} and I_j={1,2,...}. What are the members in $I_1 \times I_2$?
-
That's just NxN: you have to pick one element from I_1 and one element from I_2, so you get pairs of positive integers.
-
I accidentally hit the accept instead of submitting another comment :) So bear with me here. So ${i_j} \in K$ is a combination of a member from $I_1$ and from $I_2$. So what is confusing to me is what is the $j$ indexing doing there?
-
Well, the j indexing is the index of the family I_j. So, if J={1,2}, you have I_1 x I_2, but if J = {1,2,3} you'd get I_1 x I_2 x I_3 instead. If your element was, say, {i_j} = (4,7,1) \in NxNxN, you'd have i_1 = 4, i_2 = 7, i_3 = 1.
-
Ok. So that was confusing to me as {i_j} could as well be (1,1,1) in the example you gave, and the $j$ index is just to say that it is a $J$-tuple? But if ${i_j}$ is a $j$-tuple, what is F_{i_j}^j? How can you index F by a $j$-tuple? Hope that makes sense.
-
Ok I think I understand. So ${i_j}$ denotes the sequence and $i_j$ denotes a member from $I_j$, right?
-
Yes that's correct! And F_{i_j}^j is just some set, it doesn't really matter.
-
Thanks :)
-
You're welcome!
- answered
- 734 views
- $10.00
Related Questions
- Prove a set is well-ordered
- Number of Combinations Created from Restricting a Set
- Set theory question
- Discrete Math/ Set theory Question
- Proof through inclusion (A∆B) ∪ A = A ∪ B
- What is the Lebesgue density of $A$ and $B$ which answers a previous question?
- Prove that $A - B=A\cap B^c$
- Set problem. Need it well written...