I am trying to understand the following proof:
from page 9 of this notes. I do not quite follow the logic here. So I guess the point is that $T \wedge \omega_{s}$ is a radon measure. Why is this true, isn't it just a top degree current?
I am trying to understand the following proof:
from page 9 of this notes. I do not quite follow the logic here. So I guess the point is that $T \wedge \omega_{s}$ is a radon measure. Why is this true, isn't it just a top degree current?
Copyright © 2021 JogjaFile Inc.
You need (a) Riesz representation theorem; while Wikipedia is hardly a definitive source it will give you a good outline here. What it comes down to is that you have a linear functional defined on a space of compactly supported forms, and these have a nice representation as Radon measures.