A separating hyperplane theorem, the fundamental theorem of asset pricing, and Markov's principle
A separating hyperplane theorem, the fundamental theorem of asset pricing, and Markov's principle
复制标题
分离超平面定理、资产定价基本定理和马尔可夫原理
DOI：
10.1016/j.apal.2016.05.003
复制
发表时间：
2016
期刊：
影响因子：
--
通讯作者：
Gregor Svindland
中科院分区：
文献类型：
--
作者：
J. Berger;Gregor Svindland
构造性地证明了每个一致连续凸函数f：X→ R+都有正的下确界，其中X是多个向量的凸船体.利用这个结果，我们证明了分离超平面定理、资产定价基本定理和马尔可夫原理是构造等价的。这是第一次将重要定理归入构造性逆向数学中的马尔可夫原理。
We prove constructively that every uniformly continuous convex function f: X→ R+ has positive infimum, where X is the convex hull of finitely many vectors. Using this result, we prove that a separating hyperplane theorem, the fundamental theorem of asset pricing, and Markov's principle are constructively equivalent. This is the first time that important theorems are classified into Markov's principle within constructive reverse mathematics.
弱科尼格引理蕴涵布劳威尔扇形定理：直接证明
DOI：
--
发表时间：
2006
期刊：
Notre Dame J. Formal Logic 47
影响因子：
--
作者：
H.Ishihara
通讯作者：
H.Ishihara