Intereting Posts

Bergman-Shilov Boundary and Peak Points
Equivalence of Itō and Stratonovich equations and how we ensure that the latter are well-defined
Rearrange all the real numbers between $0$ and $1$
Books to read to understand Terence Tao's Analytic Number Theory Papers
Inversion of Laplace transform $F(s)=\log(\frac{s+1}{s})$ (Bromwich integral)
Anyone has a good recommendation of a free pdf book on group theory?
Finding binomial coefficients of product of two binomials
How to show set of all bounded, analytic function forms a Banach space?
Singular vector of random Gaussian matrix
Is sum of square of primes a square of prime?
What is the history of “only if” in mathematics?
Construction of the Hyperreal numbers
How can apply the $L^p$ norm in a circle to $L^2$ norm in a square?
A further help required for what is a linear map restricted to a subspace
Bounded imaginary part implies removable singularity at 0

I am studying measure theory and I have a question concerning the wikipedia-article “Product measure”. I already asked on the Wikipedia-“talk”-page but so far noone answered. The problem concerns the “minimal product measure”. I copy the following from the Wikipedia talk page:

Take Omega to be any uncountable set. Take Sigma to be the power set of Omega. Take mu to be the measure taking any countable set to zero and any uncountable set to infinity.

Then (Omega, Sigma, mu) is a (very ugly) measure space (far from being sigma-finite).

- Integration in respect to a complex measure
- $f_x$ is Borel measurable and $f^y$ is continuous then $f$ is Borel measurable
- Continuity of Integration
- $p \leqslant q \leqslant r$. If $f \in L^p$ and $f \in L^r$ then $ f \in L^q$?
- Formally show that the set of continuous functions is not measurable
- Finitely additive function on a product of semirings of sets

Now I take the product of Omega with itself and consider the possible product measures on the product sigma algebra. The product sigma algebra contains all sets of the form A times B. Apart from that I dont care how the product sigma algebra looks like.

By the definition in the article every product measure satisfies mu(A times B)= mu(A) times mu (B). In particular mu(Omega times Omgea) will be infinity for any product measure.

Now, consider the maximal (Caratheodory) product measure. By construction this maximal measure takes only the values zero and infinity.

Now, lets go on to the minimal measure. The construction of the minimal measure mentioned in the article says that the minimal measure of a set is the sup over all subsets with finite maximal measure. But every set with finite measure has measure zeri. So in my example this minimal measure will be constantly zero on all measurable sets. In particular, the minimal measure of Omega times Omega will be zero. And so it is not a product measure anymore.

Is there a mistake in my argument does the existence of the minimal measure rely on some properties of the measure space which my (ugly) measure space does not have? Thank you in advance.

- Let $E$ be measurable and define $f:E\rightarrow\mathbb{R}$ such that $\{x\in E : f(x)>c\}$ is measurable for all $c\in\mathbb{Q}$, is $f$ measurable?
- Question about $L^1$-$L^2$ integrable functions
- Total variation measure vs. total variation function
- Dunford-Pettis Theorem
- What are Some Tricks to Remember Fatou's Lemma?
- Simpler proof - Non atomic measures
- Show that there is no continuous function $f:\mathbb R\to\mathbb R$ such that $f=1_{}$ a.e.
- If $S$ is an infinite $\sigma$ algebra on $X$ then $S$ is not countable
- Show that $\mathfrak{S}=\bigcup_{N=1}^{\infty}\mathfrak{Z}_N\cup\left\{\emptyset\right\}$ is a semi-ring
- Rotation $x \to x+a \pmod 1$ of the circle is Ergodic if and only if $a$ is irrational

- Showing $\sum_0^n {n\choose k}(-1)^k \frac{1}{2k + 2} = 1/(2n + 2)$
- Proof of radius of convergence exponential function
- Quadratic sieve algorithm
- Prove $(a_1+b_1)^{1/n}\cdots(a_n+b_n)^{1/n}\ge \left(a_1\cdots a_n\right)^{1/n}+\left(b_1\cdots b_n\right)^{1/n}$
- Prove $n\mid \phi(2^n-1)$
- Prove $S_4$ has only 1 subgroup of order 12
- What is infinity to the power zero
- Determine angle $x$ using only elementary geometry
- How to proof the the derivative of $x^2$ is $2x$?
- Every Hilbert space has an orthonomal basis – using Zorn's Lemma
- Can you cancel out a term if equal to zero?
- Prove that the degree of the splitting field of $x^p-1$ is $p-1$ if $p$ is prime
- find functions f such that $f(f(x))=xf(x)+1$,
- Is $\frac{d}{dx}\left(\sum_{n = 0}^\infty x^n\right) = \sum_{n = 0}^\infty\left(\frac{d}{dx} x^n \right)$ true?
- show that $ \lim(\sin(\frac{1}{x}))$ as $x$ approaches zero does not exist.