Enclosing a Compact Set in an O-minimal Expansion of $(\mathbb{R},+,\cdot,0,1 <)$

Engineering notes

Engineering notes will be added by the Power for Solar editorial team.

Chinese explanation / 中文解读

中文解读待补充：本站会优先为光伏效率、钙钛矿太阳能电池、储能技术、太阳能热利用、BIPV、并网技术等高价值论文补充中文说明。

Original abstract

Fix an o-minimal expansion $\mathcal{R}=(\mathbb{R},+,\cdot,0,1 <,...)$ of the real ordered field. Given $C^1$ functions $f_1,...,f_k$, $g_1,...,g_k:M\to\mathbb{R}$ on a definable cell $M$, let $h_{i,0}$ denote $f_i$ and $h_{i,1}$ denote $g_i$. Suppose that for all $τ\in 2^{[k]}$, $H_τ=(h_{1,τ(1)},..,h_{k,τ(k)}) :M\to \mathbb{R}^k$ is regular and proper on $M$, and that for all $i\in[k]$, $\{f_i=0\}$ and $ \{g_i=0\}$ are connected, and $\{f_i=0\}\cap \{g_i=0\}=\emptyset$. We show that then there exists a sequence $(\square_{i,ε}:i\in[k],ε\in \{0,1\})\in\{\leq ,\geq \}^{[k]\times\{0,1\}}$ such that the enclosed region $\underset{i\in[k]}{\bigcap}\{ f_i\square_{i,0} 0\}\cap \{ g_i\square_{i,1} 0\} $ is compact.

Links and sources

• Official / arXiv page
• PDF from original source

Comments