Intereting Posts

Is there something similar for division as this Japanese multiplication method?
Reps of $Lie(G)$ lift to universal cover of $G$. Reps of $G$ descend to highest weight reps of $Lie(G)$?
Are open sets in $\mathbb{R}^2$ countable unions of disjoint open rectangles?
Find area bounded by two unequal chords and an arc in a disc
If $f$ and $g$ are integrable, then $h(x,y)=f(x)g(y)$ is integrable with respect to product measure.
Why is $1, (x-5)^2, (x-5)^3$ a basis of $U=\{p \in \mathcal P_3(\mathbb R) \mid p'(5)=0\}$?
Functional equation: $f(f(x))=k$
How to show the curves are conics.
$|f(x)-f(y)|\le(x-y)^2$ without gaplessness
Are functions dependent
Is a completion of an algebraically closed field with respect to a norm also algebraically closed?
Research Experience for Undergraduates: Summer Programs (that accept non-American applicants)
Isomorphism in localization (tensor product)
Parametrize the curve of intersection of 2 surfaces
Can 12 teams in 6 disciplines play 6 rounds without repetition?

For some collection of sets $A$, let $\sigma(A)$ denote the $\sigma$-algebra generated by $A$.

Let $C$ be some collection of subsets of a set $Y$, and let $f$ be a function from some set $X$ to $Y$. I want to prove:

$$f^{-1}(\sigma(C))=\sigma(f^{-1}(C))$$

- If $(W,<)$ is a well-ordered set and $f : W \rightarrow W$ is an increasing function, then $f(x) ≥ x$ for each $x \in W$
- Is $f^{-1}(f(A))=A$ always true?
- How to divide aleph numbers
- Proving that cardinality of the reals = cardinality of $$
- How many different sizes of infinity are there?
- How to derive a union of sets as a disjoint union?

I could prove that

$$\sigma(f^{-1}(C)) \subset f^{-1}(\sigma(C))$$

since complements and unions are ‘preserved’ by function inverse. But how do I go the other way?

EDIT: One way to go the other way would be to argue that any set in $\sigma(C)$ must be built by *repeatedly* applying the complement, union and intersection operations to elements of $C$ and all these operations are preserved when taking the inverse. The problem I am facing with the approach is formalizing the word “repeatedly”.

*[not-homework]*

- Show that A has the same cardinality as $A\setminus\{x,y,z\}$
- Positive part of the kernel
- A question about regularity of Borel measures
- Understanding concatenating the empty set to any set.
- Is there an analogue of Lebesgue’s Dominated Convergence Theorem for a net $ (f_{\alpha})_{\alpha \in A} $ of measurable functions?
- Bepo - levi implies monotonone convergence theorem??
- $B$ is a Borel set, implies $f(B)$ is a Borel set.
- Is it the case that for all sets $A, B, C,$ and $D$, $(A \times B) \cup (C \times D) = (A \cup B) \times (C \cup D)$?
- Show that $x\subseteq y \Leftrightarrow \mathcal{P}(x)\subseteq\mathcal{P}(y)$.
- Showing any countable, dense, linear ordering is isomorphic to a subset of $\mathbb{Q}$

Yes, we *can* use transfinite induction to prove this (formalizing the word “repeatedly”). That would be the bottom-up approach. There is also a top-down approach, using the characterization of $\sigma(C)$ as the smallest $\sigma$-algebra containing $C$.

A key fact here is the the preimage operation commutes with all the set algebra operations: if $f \colon X \to Y$ then

- $f^{-1}(A \cup B) = f^{-1}(A) \cup f^{-1}(B)$
- $f^{-1}(A \cap B) = f^{-1}(A) \cap f^{-1}(B)$
- $f^{-1}(A – B) = f^{-1}(A) – f^{-1}(B)$. In particular $f^{-1}(Y – A) = X – f^{-1}(A)$.

and so forth. So $f^{-1}\colon P(Y) \to P(X)$ is a lattice homomorphism on the powerset lattices, to use that terminology. More importantly for us, the preimage operation even commutes with infinite unions and intersections.

To show that $f^{−1}(\sigma(C)) \subseteq \sigma(f^{−1}(C))$, you could follow this strategy:

- Show that $f^{-1}(C) \in \sigma(f^{-1}(C))$
- Show that if $f^{-1}(A_i) \in \sigma(f^{-1}(C))$ for $i \in \omega$ then $f^{-1}(\bigcup A_i) \in \sigma(f^{-1}(C))$
- Show that if $f^{-1}(A) \in \sigma(f^{-1}(C))$ then $f^{-1}(Y – A) \in \sigma(f^{-1}(C))$

The point here is that, if we let $D$ be the collection of sets $A$ such that $f^{-1}(A) \in \sigma(f^{-1}(C))$, then $D$ is itself a $\sigma$ algebra containing $C$, which means $\sigma(C) \subseteq D$. But by the definition of $D$ this means $f^{-1}(\sigma(C)) \subseteq \sigma(f^{-1}(C))$.

None of the three bullets will require taking forward images under $f$. For example, for the third one, let $A$ be as stated. This means $f^{-1}(A)$ is in $\sigma(f^{-1}(C))$, which means that $X – f^{-1}(A)$ is also in $\sigma(f^{-1}(C))$. But $f^{-1}(Y – A)$ is exactly $X – f^{-1}(A)$, so we see that $f^{-1}(Y – A)$ is indeed in $\sigma(f^{-1}(C))$.

The underlying point here is that the entire proof is algebraic and that a more general theorem is true: you can replace $f^{-1}$ with any other homomorphism of the powerset lattices that preserves countable unions.

**Edit:** The original answer that was here is wrong; Carl Mummert’s answer contains the correct way to do what I was trying to do. So instead here is the solution by transfinite induction.

Define a sequence of functions $\sigma_i$ where $i$ is an ordinal as follows. For any subset $C$ of the base set $E$ we take $\sigma_0(C) = C$. If $i$ is a successor ordinal, take $\sigma_i(C)$ to be the set of all countable unions or complements of elements of $\sigma_{i-1}(C)$; otherwise $i$ is a limit ordinal and we take $\sigma_i(C) = \bigcup_{j < i} \sigma_j(C)$. For example, $\sigma_{\omega}(C)$ is the set of all sets that can be obtained from $C$ by performing countable union or complement countably many times.

We would like to say that $\sigma(C)$ is the union of the $\sigma_i(C)$ over all ordinals $i$, but the ordinals don’t form a set so we can’t actually do this. What I believe is true is that we only need to take ordinals of cardinality at most the cardinality of the powerset of the underlying set.

If that’s true, then the proof is as follows. It’s enough to show that $f^{-1}(\sigma_i(C)) = \sigma_i(f^{-1}(C))$ for all $i$. This is obvious for $i = 0$. If it’s true for all ordinals $j < i$, then it’s true for $i$ by the obvious argument. And now we are done by the principle of transfinite induction.

Let me remark that, on the one hand, this is more complicated than Carl Mummert’s proof because it requires knowledge of ordinals. On the other hand, getting into the nitty-gritty like this really shows how complicated $\sigma$-algebras can be.

Looks like a homework.

I didn’t have time to check the details (I am at work and my boss is watching), however, it seems to me that the following approach should work:

Step 1: prove that $f^{-1}(\sigma(C))$ is a $\sigma$-algebra.

Step 2: you should be able to conclude, if you understand what $\sigma(f^{-1}(C))$ means.

EDIT:

Sorry, you are right, I read your question too quickly. My steps only help you to get the inclusion you already had.

Not sure if this new approach is working, but I would:

1/ consider $f(\sigma(f^{-1}(C)))$ and try to prove it is a $\sigma$-algebra.

2/ when 1/ is done, prove that it is a $\sigma$-algebra that contains $C$.

3/ If 1/ and 2/ are ok, then that means we have $\sigma(C) \subset f(\sigma(f^{-1}(C)))$ and you can then conclude.

It seems to me that 1 is true, I don’t have time to do the details however.

EDIT 2:

ok, me second approach doesn’t seem to be working either. I decided to do a little bit of research, and you can actually find the proof online. Here it is:

Let $S = ${ $B \in \mathcal{P}(Y); f^{-1}(B) \in \sigma(f^{-1}(C)) $}.

Then $S$ is a $\sigma$-algebra that contains $C$. Therefore $\sigma(C) \subset S$ and $f^{-1}(\sigma(C)) \subset f^{-1}(S)$. But, by definition, $ f^{-1}(S) \subset \sigma(f^{-1}(C))$.

Sorry for my “hints”, they were not really useful.

- Showing a ring where $ax = b$ has a solution for all non-zero $a, b$ is a division ring
- How can a subspace have a lower dimension than its parent space?
- Solve these functional equations: $\int_0^1\!{f(x)^2\, \mathrm{dx}}= \int_0^1\!{f(x)^3\, \mathrm{dx}}= \int_0^1\!{f(x)^4\, \mathrm{dx}}$
- between Borel $\sigma$ algebra and Lebesgue $\sigma$ algebra, are there any other $\sigma$ algebra?
- How to find an end point of an arc given another end point, radius, and arc direction?
- Graph theory and tree company
- Why is “$P \Rightarrow Q$” equivalent to “$\neg Q \Rightarrow \neg P$”?
- Number of points in the fibre and the degree of field extension
- Show that $\lim\limits_{y\downarrow 0} y\mathbb{E}=0$.
- Weak convergence of random variables
- How to efficiently generate a set uniformly distributed numbers that add to $n$.
- How find this integral $I=\int_{0}^{\frac{\pi}{2}}(\ln{(1+\tan^4{x})})^2\frac{2\cos^2{x}}{2-(\sin{(2x)})^2}dx$
- What is the count of the strict partitions of n in k parts not exceeding m?
- Primary Decomposition of $\mathbb{R^n}$ under T
- Injective Holomorphic Functions that are not Conformal?