AI 中文总结
研究实数空间\(\mathbb{R}^N\)中可定位性、凸性与可积性相关问题,通过给出构造性证明,对相关定理修正版进行阐述,得出特定条件下集合\(S^1\)全有界且可定位的结论。
AI 中文摘要
我们给出了关于可定位性、凸性和勒贝格可测性定理2修正版的构造性证明的改进且详细的阐述。设\(\mathbf{S}\)是\(\mathbb{R}^N\)中的勒贝格可积补集,\(\mu(\mathbf{S})>0\)且\(S^1\)有界且凸,那么\(S^1\)是全有界的,从而在\(\mathbb{R}^N\)中是可定位的。
英文摘要
We prove, within Bishop's constructive framework, stronger forms of two theorems in the author's 1988 paper about the locatedness of certain Lebesgue measurable complemented sets in R^{N}. In doing so, we expand and improve the proofs of several preliminary results on Lebesgue measurability and convexity that are need en route to our main theorems.