Limits of topological minimal sets with finitely generated coefficient groups (Q2822146)

Let \(U\subset {\mathbb R}^n\) be open and \(E\subset U\) relatively closed with locally finite \(d\)-dimensional Hausdorff measure. \(E\) is called topologically minimal in \(U\) if \({\mathcal H}^{d}(E\setminus F)\leq {\mathcal H}^{d}(F\setminus E)\) for each closed set \(F\subset U\) such that there exists a compact ball \(B\subset U\) with the following properties:NEWLINENEWLINE1. \(E\setminus B = F\setminus B\),NEWLINENEWLINE2. each \((n-d-1)\)-simplicial cycle \(\gamma\subset U\setminus (E\cup B)\) representing a non-zero element in \(H_{n-d-1}(U\setminus E, {\mathbb Z})\) represents a non-zero element in \(H_{n-d-1}(U\setminus F, {\mathbb Z})\), too.NEWLINENEWLINEThe author proves that the Hausdorff limit of a sequence of sets inherits the property of topological minimality.