Tensor products of AC\(_*\) charges and AC Radon measures are not always AC\(_*\) charges (Q5945932): Difference between revisions

Let \(\mu\) be an absolutely continuous Radon measure (with respect to the Lebesgue measure) in \(\mathbb{R}^n\), and let \(F\) be a charge in \(\mathbb{R}^m\). Given a bounded BV set \(B\subset \mathbb{R}^{m+n}\), let \(B^y= \{x\in \mathbb{R}^m: (x,y)\in B\}\), and \((F\otimes\mu)(B)= \int_{\mathbb{R}^n} F(B^y) d\mu(y)\). In this paper, the author gives a counterexample and shows that the tensor product \(F\otimes \mu\) may not be \(\text{AC}_*\) when \(F\) is \(\text{AC}_*\). A function \(G\) defined on \(m\)-dimensional BV sets is an \(m\)-dimensional charge if it is additive and continuous. Here the continuity is in terms of the Lebesgue measure, the perimeter and boundedness of a set.