MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Recently,I am reading kolodziej's acta paper,there are some ditails that i do not know clearly.

In the top line of page 99,"it's no restriction to assume that for each s we have $\nu(\cup_{I\in{B_s}}\partial I)=0$",i do not know why.Here $\nu=(dd^{c}v)^n$ and $v\in PSH(\Omega)\cap L^{\infty}$,$\partial I$ is the boundary of some cube.

From Kolodziej's view,a poriori $\nu(\cup_{I\in{B_s}}\partial I)$ may not be zero.However,i think $\partial I$ can be seen as a part of a pluripolar set,then according to Bedford and Taylor's reasult,we know the above monge-ampere measure concentrates no mass on $\partial I$.So we get $\nu(\cup_{I\in{B_s}}\partial I)=0$,and it should not be a assumption!

I hope some expert in this field can help me.Thanks.

share|cite|improve this question

closed as too localized by Franz Lemmermeyer, Angelo, Andrés E. Caicedo, Daniel Moskovich, Ryan Budney Dec 29 '10 at 6:26

This question is unlikely to help any future visitors; it is only relevant to a small geographic area, a specific moment in time, or an extraordinarily narrow situation that is not generally applicable to the worldwide audience of the internet. For help making this question more broadly applicable, visit the help center.If this question can be reworded to fit the rules in the help center, please edit the question.

First of all, it would have been nice if you would have written the backgrounds for your questions, at least the assumptions and the claim which you were wondering. However, as I am currently reading things somewhat related to the paper you are referring to I looked it up.

One way to argue is this: We have $\nu(\Omega)<1$. (For example a $\sigma$-finite Borel measure would suffice.) If you fix the subdivisions $\beta_s$ of $I_0$, then for $\mathcal{H}^{2n}$-almost every $t \in C^n$ we have $\nu(\partial (I+t))=0$ for every $I \in \bigcup_s \beta_s$. Therefore you can move the grid slightly to have the claim satisfied.

Notice that I have not yet even read the whole paper up to that point (nor do I intend at this point), so I might be missing something.

share|cite|improve this answer
+1 for putting in more work in answering the question than the poster put in asking it. – arsmath Dec 27 '10 at 16:58
Thanks. I should admit that I know so little about geometric measure theory. – Unknown Dec 29 '10 at 10:40

Not the answer you're looking for? Browse other questions tagged or ask your own question.