Skip to main content
3 events
when toggle format what by license comment
Feb 20 at 8:23 comment added Pietro Majer The point, to me, is that to prove that a measurable vector valued function $f:X\to\mathbb E$ is integrable, one needs to check that $\int_X\|f(x)\|_{\mathbb E}d\mu$ is finite, and in order to do so, one has to work with the integral before knowing it is finite. In other words, the priority is the need of an integral calculus for non-negative functions, which uses the poor but useful and natural algebra of $[0,\infty]$, instead of linear algebra of vector spaces.
Feb 19 at 18:06 history edited LSpice CC BY-SA 4.0
Typo, while this is on the front page
May 18, 2010 at 19:28 history answered Fabrizio Polo CC BY-SA 2.5