Intereting Posts

Why does $\lim_{x\to 0^+} x^{\sin x}=1$?
Circular logic in set definition – Tautology?
Number of terms in the expansion of $\left(1+\frac{1}{x}+\frac{1}{x^2}\right)^n$
Sum of two periodic functions
For what values $\alpha$ for complex z $\ln(z^{\alpha}) = \alpha \ln(z)$?
Canonical map $R/(I\cap J)\rightarrow R/I\times _{R/(I+J)} R/J$ is an isomorphism
How to prove that $\log(x)<x$ when $x>1$?
Which of the following form an ideal in this ring?
Proving that the length of the sum and intersection of two finite length modules is finite.
If the set of values , for which a function has positive derivative , is dense then is the function increasing?
Questions about open sets in ${\mathbb R}$
Discrete to Continuous Representations of Functions via Laplace Transforms?
Find all functions f such that $f(f(x))=f(x)+x$
Computing $ \int_a^b \frac{x^p}{\sqrt{(x-a)(b-x)}} \mathrm dx$
Is a regular sequence ordered?

Let X be a set.

Let $\Delta$ be a semiring on X.

Let $\mu$ be a function $\Delta \rightarrow \mathbb{R}$.

We say $\mu$ is a finitely additive function on $\Delta$ if it satisfies the following condition (*).

(*) Let $A, A_1、．．．、A_m \in \Delta$.

Suppose $A$ is a disjoint union of $A_1、．．．、A_m$.

Then $\mu(A) = \mu(A_1) + … + \mu(A_m)$

Let X and Y be sets.

Let $\Delta$ and $\Gamma$ be semirings on X and Y respectively.

Let $\mu$ and $\nu$ be finitely additive functions on X and Y respectively.

Let $\Sigma$ be the set {$A \times B: A \in \Delta, B \in \Gamma$}.

- Monotone increasing sequence of random variable that converge in probability implies convergence almost surely
- Best measure theoretic probability theory book?
- From $\sigma$-algebra on product space to $\sigma$-algebra on component space
- A question on semifinite measures
- Fatou's lemma and measurable sets
- How do we prove $\int_I\int_x^1\frac{1}{t}f(t)\text{ dt}\text{ dx}=\int_If(x)\text{ dx}$

Define a function $\lambda: \Sigma \rightarrow \mathbb{R}$ by

$\lambda(A \times B) = \mu(A) \times \nu(B)$.

Then, is the following statement true?

$\Sigma$ is a semiring on $X \times Y$ and $\lambda$ is finitely additive on it.

**EDIT**

I think the above result follows immediately from the following lemma whose proof I hope is correct.

**Lemma**

Let $X$ be a set.

Let $\Delta$ be a semiring on X.

Let $I_1, …, I_n$ be elements of $\Delta$.

Then there exist $J_1, …, J_m \in \Delta$ with the following properties.

(1) $J_1, …, J_m$ are mutually disjoint.

(2) $I_1 \cup … \cup I_n = J_1 \cup … \cup J_m$

(3) Each $I_k$ is a union of a subset of {$J_1, … ,J_m$}.

Proof:

Let $A = I_1 \cup … \cup I_n$.

Let $S = \{1, 2, … , n\}$.

Let $T = \{i_1, … , i_r\}$ be a non-empty subset of $S$.

Let $\{j_1, … , j_s\} = S – T$.

Let $J_T = I_{i_1} \cap … \cap I_{i_r} \cap (A – I_{j_1}) \cap … \cap(A – I_{j_s})$.

Let $P(S)$ be the power set of $S$.

Then $I_1 \cup … \cup I_n$ is the disjoint union of {$J_T; T \in P(S) – \{\emptyset\}$}.

Each $I_k$ is a union of a subset of {$J_T; T \in P(S) – \{\emptyset\}$}.

Since $\Delta$ is a semiring, each $J_T$ is a disjoint union of elements of $\Delta$.

QED

**EDIT**

This is an application of the above result.

- Triangle inequality for integrals with complex valued integrand
- Show $m(A \cap I) \leq (1-\epsilon)m(I)$ for every $I$ implies $m(A) = 0$
- Filling a unit cube with countable balls.
- $f(x-y)$ considered as a function of $(x,y)\in \mathbb{R^{2n}}$ is measurable if $f$ is measurable
- About a measurable function in $\mathbb{R}$
- Are there sets of zero measure and full Hausdorff dimension?
- What's the relationship between a measure space and a metric space?
- If $f \in L_p$ and $g \in L_\infty$, show that $fg \in L_p$.
- Jordan Measure, Semi-closed sets and Partitions
- Can I understand Egorov's theorem in this way?

That $\Sigma$ is a semiring on $X\times Y$ follows directly from the definition. For difference, you just have to notice that $(A\times B) \setminus (C\times D)=(A\setminus C)\times B\ \,\cup\,\ C\times (B\setminus D)$.

Now for finite additivity of $\lambda$. Suppose we have the disjoint union:

$$A\times B=\bigcup_{i=1}^n A_i\times B_i$$

We will prove additivity of $\lambda$ by slicing $A_i\times B_i$ along a sufficiently fine partition of $A$, so that we can then apply finite additivity of $\mu$ along each axis separately.

Define $F$ the (finite) set of finite intersections of $A_i$, including the $A_i$ themselves. Let $S$ be the set of minimal non-empty elements of $F$ with respect to inclusion. Then for any point $a$ in $A$, the intersection of all sets of $F$ containing $a$ belongs to $S$, so that the union of $S$ is $A$ and because all elements of $S$ are pairwise disjoint, $S$ forms a partition of $A$.

For $x\in S$:

$$\begin{align}

x\times B=&\bigcup_{i=1}^n (A_i\cap x)\times B_i\\

=&\bigcup_{A_i\cap x\ne\emptyset} x\times B_i

\end{align}$$

proving that for all $x\in S$, $\bigcup_{A_i\cap x\ne\emptyset} B_i=B$.

For all $i$, $A’_i=\displaystyle\bigcup_{\substack{x\in S\\A_i\cap x\ne\emptyset}}x$ is both a superset of $A_i$ because $S$ is a partition of $A$, and a subset of $A_i$ because $x\cap A_i\ne\emptyset$ implies $x\cap A_i=x$ and therefore $x\subseteq A_i$, so that $A’_i=A_i$.

We then have

$$\begin{align}

\lambda(A\times B)=&\mu(A)\times\mu(B)\\

=&\mu\left(\textstyle\bigcup_{x\in S} x\right)\times\mu(B)\\

=&\sum_{x\in S}\mu(x)\times\mu(B)\\

=&\sum_{x\in S}\mu(x)\times\sum_{A_i\cap x\ne\emptyset}\mu(B_i)\\

=&\sum_{i=1}^n\sum_{\substack{x\in S\\A_i\cap x\ne\emptyset}}\mu(x)\times\mu(B_i)\\

=&\sum_{i=1}^n\mu\Big(\bigcup_{\substack{x\in S\\A_i\cap x\ne\emptyset}}x\Big)\times\mu(B_i)\\

=&\sum_{i=1}^n\mu(A_i)\times\mu(B_i)\\

=&\sum_{i=1}^n\lambda(A_i\times B_i)\\

\end{align}$$

so we have finite additivity.

- Why have we chosen our number system to be decimal (base 10)?
- Fun logarithm question
- Quasi-interactive proof on real numbers
- Gaussian proof for the sum of squares?
- When a change of variable results in equal limits of integration
- How to efficiently generate five numbers that add to one?
- Derivative of $a^x$ from first principles
- The 'sine and cosine theorem' – formulas for the sum and difference
- Existence of uncountable set of uncountable disjoint subsets of uncountable set
- A derivation of the Euler-Maclaurin formula?
- Does really convergence in distribution or in law implies convergence in PMF or PDF?
- Sum of squares of in-degrees vs out-degrees in a Tournament Graph
- Group of order 15 is abelian
- Proving a ring is Noetherian when all maximal ideals are principal generated by idempotents
- How to prove combinatorial identity $\sum_{k=0}^s{s\choose k}{m\choose k}{k\choose m-s}={2s\choose s}{s\choose m-s}$?