Intereting Posts

Finding the radical of an integer
Finding the limit $\lim_{x\rightarrow 0^{+}}\frac{\int_{1}^{+\infty}\frac{e^{-xy}\quad-1}{y^3}dy}{\ln(1+x)}.$
Math Wizardry – Formula for selecting the best spell
Birthday Paradox: why permutations and not combinations?
An open ball is an open set
If $n$ balls are distributed randomly into $k$ urns, what is the probability that the last urn contains $j$ balls?
Finding the derivative of the norm
Proving $\sum_{k=1}^n k k!=(n+1)!-1$
The field of Laurent series over $\mathbb{C}$ is quasi-finite
Relationship between covariant/contravariant basis vectors
Example of a non-separable normal extension
Maximal ideal in commutative ring
Binary quadratic forms – Equivalence and repressentation of integers
Von Neumann universe in ZC
How to evaluate $\int_{0}^{+\infty}\exp(-ax^2-\frac b{x^2})\,dx$ for $a,b>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).

- The finite-dimensional distributions of a centered Gaussian process are uniquely determined by the covariance function
- $f(x-y)$ considered as a function of $(x,y)\in \mathbb{R^{2n}}$ is measurable if $f$ is measurable
- Equivalent Definition of Measurable set
- Hausdorff measure of $f(A)$ where $f$ is a Holder continuous function.
- Given a pairwise disjoint collection, $\limsup A_n = \emptyset$?!
- Locally non-enumerable dense subsets of R

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.

- natural problem where a Lebesgue integral turns out to be useful
- On Lebesgue Outer Measure of an interval
- space of bounded measurable functions
- Notation question: Integrating against a measure
- Equivalent measures
- Integration with respect to counting measure.
- Boundary of Ball of radius R has zero measure
- Cantor set: Lebesgue measure and uncountability
- Infinite product of measurable spaces
- measure theory question about densities

- easy to implement method to fit a power function (regression)
- Fourier transform of sine and cosine function
- Result and proof on the conditional expectation of the product of two random variables
- If $A$ is the generator of $(P_t)$, then $A+f$ is the generator of $(P_t^f)$
- suggest textbook on calculus
- Book recommendation for ordinary differential equations
- Use the definition of the derivative to find $f'(x)$ for $f(x)=\sqrt{x-2}$
- Show that there exist no $a, b, c \in \mathbb Z^+$ such that $a^3 + 2b^3 = 4c^3$
- Replacing in equation introduces more solutions
- Alternative construction of the tensor product (or: pass this secret)
- Algorithm/Formula to compute adding and/or removing compound and/or non-compound percentages from a value?
- Tree having no vertex of degree 2 has more leaves than internal nodes
- Mandelbrot set: periodicity of secondary and subsequent bulbs as multiples of their parent bulbs
- RSA: Fast factorization of N if d and e are known
- The Langlands program for beginners