Mathematics Asked by inbrevi on January 1, 2022

A Radon measure $mu:mathcal{P}(mathbb{R}^n)to [0,infty]$ is an outer measure such that

- Each Borel set $Einmathcal{B}(mathbb{R^n})$ is $mu$-measurable;
- For every $Fsubset mathbb{R}^n$, there exists $Ein mathcal{B}(mathbb{R^n})$ such that $mu(E)=mu(F)$;
- $mu(K)<infty$ if $K$ is compact.

Now let $mu$ be a Radon measure, and let $u:mathbb{R^n}to mathbb [0,infty)$ be $mu$-measurable. Define the set function $umu:mathcal{B}(mathbb{R^n}) to [0,infty]$ by

$$umu(E)=int_E ud mu.$$ Then $umu$ is a Borel measure defined on the Borel $sigma$-algebra $mathcal{B}(mathbb{R^n})$.

I know that we can extend $umu$ to be an outer measure. My question is, is it possible to extend it to be a Radon measure?

Get help from others!

Recent Answers

- haakon.io on Why fry rice before boiling?
- Lex on Does Google Analytics track 404 page responses as valid page views?
- Peter Machado on Why fry rice before boiling?
- Jon Church on Why fry rice before boiling?
- Joshua Engel on Why fry rice before boiling?

Recent Questions

- How can I transform graph image into a tikzpicture LaTeX code?
- How Do I Get The Ifruit App Off Of Gta 5 / Grand Theft Auto 5
- Iv’e designed a space elevator using a series of lasers. do you know anybody i could submit the designs too that could manufacture the concept and put it to use
- Need help finding a book. Female OP protagonist, magic
- Why is the WWF pending games (“Your turn”) area replaced w/ a column of “Bonus & Reward”gift boxes?

© 2024 TransWikia.com. All rights reserved. Sites we Love: PCI Database, UKBizDB, Menu Kuliner, Sharing RPP