Intereting Posts

$\int_X |f_n – f| \,dm \leq \frac{1}{n^2}$ for all $n \geq 1$ $\implies$ $f_n \rightarrow f$ a.e.
Simplifying a certain polylogarithmic sum in two variables
Two term free resolution of an abelian group.
Polynomials all of whose roots are rational
Finding connected components of the graph
Twilight Zelda Guardian Puzzle : Shortest Path (UPDATE: ADDED RULES)
Verifying the examples of Dual Space
Cardinality of the set of all (real) discontinuous functions
Logic, set theory, independence proofs, etc
Prime Divisors of $x^2 + 1$
Proving that $T^{2} = T$ for a linear operator on $W$ implies that $V = \operatorname{Null} T \oplus \operatorname{Range} T$
Partitioning $$ into pairwise disjoint nondegenerate closed intervals
shortest path to Tychonoff?
Find the value of $\displaystyle\sqrt{3} \cdot \cot (20^{\circ}) – 4 \cdot \cos (20^{\circ}) $
Cluster point of a function at a point

Suppose I have a sigma algebra which is countably generated. I want to find a random variable such that it is generated by that random variable. If the countable class is just a single set then my random variable is indicator function. But, how to do in this case ? If we sum up all the indicators to define our random variable then the sum may diverge. How to make sure it converge ?

- Random determinant problem
- Is it true that $\mathbb{E}+|\mathbb{E}\rvert\geq\mathbb{E}\rvert]+\mathbb{E}\rvert]$?
- pdf of the difference of two exponentially distributed random variables
- Can conditional distributions determine the joint distribution?
- How to find $E(X_1X_2X_3)$ given the joint CDF?
- The $\sigma$-algebra of subsets of $X$ generated by a set $\mathcal{A}$ is the smallest sigma algebra including $\mathcal{A}$
- Show $\lim \limits_{n \to \infty} \frac{a_{n+1}}{a_n} = \|f\|_{\infty}$ for $f \in L^{\infty}$
- Mean square error using linear regression gives a convex function
- $\lim_{n\rightarrow \infty } \int_{a}^{b}g_{n}(x)\sin (2n\pi x)dx=0$ where $g_{n}$ is uniformly Lipschitz
- Maximum likelihood estimate of hypergeometric distribution parameter

Hint: Each $\mathbf 1_{A_n}$ is measurable with respect to $X=\sum\limits_k\frac1{3^k}\mathbf 1_{A_k}$.

In the interests of completeness, we provide a complete solution.

**Lemma.** Let $X_1, X_2, \dots$ be a sequence of Bernoulli random variables $($not necessarily independent, not necessarily with same $p$-value$)$. Define$$Y = \sum_{i=1}^\infty {{2X_i}\over{3^i}}.$$Then $\sigma(Y) = \sigma(X_1, X_2, \dots)$.

*Proof.* Fix $n$, and consider the event $\{X_n \in I\}$, where $I \subset \mathbb{R}$ is an interval. If $I$ contains $0$ and $1$, then $\{X_n \in I\} = \Omega \in \sigma(Y)$. If $I$ contains neither $0$ nor $1$, then $\{X_n \in I\} = \emptyset \in \sigma(Y)$. If $I$ contains $1$, but not $0$, then $\{X_n \in I\} = \{X_n = 1\}$. This is the event that the $n$th digit in the ternary expansion of $Y$ is $2$, which occurs exactly when$$Y \in \bigcup_{k=1}^{3^{n-1}} \left[{k\over{3^{n-1}}} – {1\over{3^n}}, {k\over{3^{n-1}}}\right],$$which is a Borel set. Thus in this case, $\{X_n \in I\} \in \sigma(Y)$. If $I$ contains $0$, but not $1$, then $\{X_n \in I\} = \{X_n = 0\}$ and a similar argument to the preceding case shows $\{X_n \in I\} \in \sigma(Y)$. Since intervals generate the Borel $\sigma$-algebra on $\mathbb{R}$, it follows that $\sigma(X_1, X_2, \dots) \subset \sigma(Y)$.

Now, choose $x \in [0, 1]$ and write down a ternary expansion $x = 0.a_1a_2a_3\dots$. Then we have$$\{Y \ge x\} = \bigcup_{k=1}^\infty \left(\{2X_1 \le a_1\} \cap \{2x_2 \le a_2\} \cap \dots \cap \{2X_k > a_k\}\right) \in \sigma(X_1, X_2, \dots).$$Since the intervals $[x, \infty)$ generate the Borel $\sigma$-algebra on $\mathbb{R}$, it follows that $\sigma(Y) \subset \sigma(X_1, X_2, \dots)$.$\tag*{$\square$}$

Let $X: \Omega \to \mathbb{R}$ be a random variable. Recall that the Borel $\sigma$-algebra on $\mathbb{R}$ is countably generated; let $\{A_i\}$ be a countable generating collection for the Borel sets. It is an exercise left to the reader to show that every Borel set may be obtained by a sequence of countable unions and complementations of the $A_i$ $($alternatively, one can use the Dynkin $\pi$-$\lambda$ Theorem$)$. Since these operations are preserved under taking preimages, every event of the form $\{X \in B\}$, where $B$ is a Borel set, is included in $\sigma\left(X^{-1}(A_1), X^{-1}(A_2), \dots\right)$. Hence $\sigma(X)$ is countably generated, by the collection $\left\{X^{-1}(A_i)\right\}$.

Conversely, suppose $\mathcal{G}$ is countably generated, say by the collection $\{A_i\}$. For each $i \in \mathbb{N}$, define the random variable $X_i = \mathbb{1}_{A_i}$. Evidently, $\sigma(X_1, X_2, \dots) = \mathcal{G}$, since the event $\{X_i \in A_i\}$ is just $A_i$ for each $i \in \mathbb{N}$. Note that each $X_i$ is Bernoulli distributed, taking value $1$ with probability $P(A_i)$ and value $0$ with probability $1 – P(A_i)$. Thus, setting $Y = \sum(2X_i)/3^i$, the lemma implies that $\mathcal{G} = \sigma(Y)$.

- If a cyclic group has an element of infinite order, how many elements of finite order does it have?
- The Integral that Stumped Feynman?
- Why is Infinity multiplied by Zero not an easy Zero answer?
- Dense set in the unit circle- reference needed
- Number of draws required for ensuring 90% of different colors in the urn with large populations
- If every commutator is idempotent, then the ring is commutative
- The prime numbers do not satisfies Benford's law
- Finding Rational numbers
- Physicists, not mathematicians, can multiply both sides with $dx$ – why?
- Strictly diagonal matrix
- What is the expected value of the number of anchors of $S$?
- Show that the order of $a\times b$ is equal to $nm$ if gcd(n,m)=1
- $f_n → f$ uniformly on $S$ and each $f_n$ is cont on $S$. Let $(x_n)$ be a sequence of points in $S$ converging to $x \in S$. Then $f_n(x_n) → f(x)$.
- Show $ \frac{x}{xy+x+1}+\frac{y}{yz+y+1}+\frac{z}{zx+z+1}=1 $ given $xyz = 1$
- What exactly is a $\delta$ neighborhood