# Tagged Questions

The study of the geometric structure of measures, as well as the study of geometry from a measure-theoretic viewpoint, geometric measure theory has applications in partial differential equations, harmonic analysis, differential and Riemannian geometry, as well as calculus of variations. Statements ...

66 views

43 views

### Wasserstein space of order 2.

I have a question about Wasserstein space. I am just wondering if the following statement is true Let $(\Omega,\mathcal{F},\mathbb{P})$ be a probability space with $\bar{\Omega}$ being a Polish space ...
86 views

168 views

### Alternative rigorous definition of a surface integral

Consider some open subset $U$ of $\mathbb{R}^n$ where $U$ has a (piecewise) $C^1$-boundary. Let $f$ be some smooth (enough) real function. Is there some way to give a measure-theoretic definition of ...
125 views

133 views

### Is critical Haudorff measure a Frostman measure?

Let $K$ be a compact set in $\mathbb{R}^d$ of Hausdorff dimension $\alpha<d$, $H_\alpha(\cdot)$ the $\alpha$-dimensional Hausdorff measure. If $0<H_\alpha(K)<\infty$, is it necessarily true ...
172 views

### Prove that $\mu\left(\cup_{k=1}^\infty A_k\right)=\sum_{k\ge1}\mu(A_k)$

Suppose that the measurable sets $A_1,A_2,...$ are "almost disjoint" in the sense that $\mu(A_i\cap A_j) = 0$ if $i\neq j$. Prove that $$\mu\left(\cup_{k=1}^\infty A_k\right)=\sum_{k\ge1}\mu(A_k)$$ ...
77 views

### Is a bijective projection function measure preserving?

A subspace with dimension strictly less than the dimension of vector space has (Lebesgue) $measure=0$. Let $V$ be a vector space with $dimension=n$. To show that some set $S$ in V is zero-measure, is ...
411 views

114 views

### Hausdorff measure, volume form, reference

Could you tell me where I can find a reference to the fourth corollary in this encyclopedia? Corollary $4$: Assume that $\Sigma \subset \mathbb{R}^m$ is an $n$-dimensional $C^1$ submanifold....
91 views

### Separability almost everywhere

Let $(X,d)$ be a metric space and $\mu$ a Borel probability measure. Suppose that for every $\epsilon>0$ we have that $\mu(B_{\epsilon }(x))=c_{\epsilon}>0$ a.e. Is this enough to show that ...
383 views

43 views

### When a current is actually a holomorphic form?

If a current $f$ of bidegree $(p,0)$ (acting on forms of bidegree $(n-p,n)$) satisfies $\bar{d}f=0$, is it true that $f$ is a holomorphic differential form? In general, do we have any standard ...
55 views

### Sobolev Multiplication theorem for Fibre bundles

Let $X$ be a compact, oriented, four dimensional Riemannian manifold and $Q\longrightarrow X$ be a principal $G$-bundle over $X$ for a smooth, compact Lie group $G$. Let $M$ be a manifold admitting a ...
59 views

### Proving a Certain Planar Measure Is Zero on Horizontal Lines

Question: Suppose $\mu$ is a measure on $\mathbb{R}^{2}$ with respect to which all open squares are measurable. Suppose $\mu$ has the following property: there exists a constant $\alpha\geq 1$ such ...
50 views

84 views

### Measurability of points regular

I'm reviewing the proof of the theorem of oseledet the book Mañe: Let $M$ a compact metric space and $f:M \rightarrow M$ a homeomorphism, $\pi: F \rightarrow M$ a finite-dimensional continuos vector ...