Intereting Posts

Urysohn's lemma with Lipschitz functions
Curvature of Ellipse
Smallest non-commutative ring with unity
The family of analytic functions with positive real part is normal
What is computational group theory?
On continuously uniquely geodesic space
Prove that between any two roots of $f$ there exists at least one root of $g$
Monotonocity of the function
Distribution for random harmonic series
$p$-adic valuation of $x^n+1$
Round-robin party presents (or: Graeco-Latin square with additional cycle property)
Probability of Various Combinations of Weather
Examples of function sequences in C that are Cauchy but not convergent
Finding $E(N)$ in this question
How are the cardinalities of the object images of adjoint functors related?

A $T$-invariant sub-sigma algebra of $\mathcal{B}$ where $(X,\mathcal{B},\mu,T)$ is a measure-preserving system is a collection $\mathcal{A}$ of elements of $\mathcal{B}$ that forms a sigma-algebra itself and satisfies $T^{-1}\mathcal{A} = \mathcal{A}$ mod $\mu$, meaning $\forall A \in \mathcal{A} \hspace{1mm} \exists B \in \mathcal{A}$ such that $\mu(T^{-1}A\Delta B) = 0$.

A problem I am working on discusses the smallest T-invariant sub-sigma algebra satisfying a certain property. The existence of such a thing presumably is based on the fact that the arbitrary intersection of $T$-invariant sub-sigma algebras is itself a sub-sigma algebra. This fact is clear to me if the definition were instead that $T^{-1}\mathcal{A} = \mathcal{A}$, without the mod $\mu$. However, since the intersection might be over an uncountable index, I do not see the proof or reason why this fact should be true with the “mod $\mu$” present.

Any help is appreciated.

- Continuous linear operator with noncontinuous inverse
- Uniform convergence, but no absolute uniform convergence
- How to solve this derivative of f proof?
- Negation of uniform convergence
- Show there exists a sequence of positive real numbers s.t. …
- Product of two compact topological spaces is compact.

- Lebesgue Measure of the Cartesian Product
- Integrating $e^{a/x^2-x^2}/(1-e^{b/x^2})$
- Distance between a point and a closed set in metric space
- Continuous partials at a point without being defined throughout a neighborhood and not differentiable there?
- How to prove that $a<S_n-<b$ infinitely often
- Proving uniqueness in Lebesgue decomposition
- Uniqueness of the random variable from its distribution
- Convergence of Integral Implies Uniform convergence of Equicontinuous Family
- Finding Extra Condition for a function to satisfy $f(n)=n$
- Showing $\int_E f=\lim_{n\to\infty}\int_E f_n$ for all measurable $E$

- When exactly is the splitting of a prime given by the factorization of a polynomial?
- A positional number system for enumerating fixed-size subsets?
- Sequential space implies countable tightness?
- On the number of Sylow subgroups in Symmetric Group
- How to compute the $n_{th}$ derivative of a composition: ${\left( {f \circ g} \right)^{(n)}}=?$
- Number of ways to divide a stick of integer length $N$
- The continuity of multivariable function
- Number of zeros of the second derivative of composition of sigmoid-like functions
- How to know that $a^3+b^3 = (a+b)(a^2-ab+b^2)$
- How to use the Extended Euclidean Algorithm manually?
- Exponent and abelian groups
- a theorem about converge pointwisely and uniformly
- Why don't analysts do category theory?
- Derivative of sinc function
- Area enclosed by an equipotential curve for an electric dipole on the plane