1
$\begingroup$

$$ S_n = \mathscr P (\{ -n, -n+1, \ldots, n-1, n\}) $$ $$ R_n = \{r : \Omega - r \in S_n\} $$ $$ T_n = S_n \cup R_n$$

I need to check whether

  1. $T_n$ is an algebra, semi-algebra or sigma algebra.

  2. $T_n \subset T_{n+1}$.

  3. If $T = \bigcup_n T_n$, whether $T$ is algebra, semi-algebra, sigma algebra.

I considered an example for this:

Let $ S_1 = \mathscr P \{-1, 0, 1\} $ $$ S_1 = \{\{-1\}, \{0\}, \{1\} ,\{-1,0\}, \{0,1\}, \{-1,1\}, \{-1,0,1\},\{ \varnothing\}\}$$

So, for 1) I feel that $T_n = \Omega$, so it can either be any of the algebras.

Please advise.

  • 0
    Which part of the definitions are you having trouble checking?2012-09-16
  • 0
    Still, I want to check my idea for 1) is correct.2012-09-16
  • 0
    What is $\Omega$? Is it $\mathbb{Z}$? And do you mean that $T_n = \mathscr{P}(\Omega)$ for all $n$? If so, why?2012-09-16
  • 0
    Does what $\Omega$ is matter here? Since $T_n = S_n \cup R_n$ doesn't $T_n$ automatically becomes $\Omega$.2012-09-16
  • 0
    I think you may be confused about what the definitions in the problem mean. The symbol $\mathscr{P}$ means "power set," so for example $S_1$ consists of all eight subsets of the set $\{-1,0,1\}$.2012-09-16
  • 0
    ...and $R_n$ is the set of complements of elements of $S_n$, which is not the same as the complement of $S_n$ itself.2012-09-16
  • 0
    Yeah, I have edited the problem to include that example. So R becomes the complement sets of S. So when we take their union again...doesn't that make up to $\Omega$ again. I am confused!2012-09-16
  • 0
    $S_n$ and $R_n$ both consist of subsets of $\Omega$, not elements of $\Omega$. Their union $T_n$ also consists of subsets of $\Omega$, not elements of $\Omega$. Maybe if you write down some of the elements of $R_1$ it will become clearer.2012-09-16

1 Answers 1