Finding zeroes of maps: homotopy methods that are constructive with probability one
Finding zeroes of maps: homotopy methods that are constructive with probability one
复制标题
DOI：
10.1090/s0025-5718-1978-0492046-9
复制
发表时间：
1978-09
影响因子：
2
通讯作者：
S. Chow;J. Mallet-Paret;J. Yorke
中科院分区：
文献类型：
--
作者：
S. Chow;J. Mallet-Paret;J. Yorke
我们说明，大多数存在定理使用度理论在原则上是相对建设性的。第一个是Brouwer不动点定理。我们的方法是“概率为1的构造性”的，可以用计算机实现。用同样的方法证明了其它存在性定理。该方法是基于一个横截定理。
We illustrate that most existence theorems using degree theory are in principle relatively constructive. The first one presented here is the Brouwer Fixed Point Theorem. Our method is "constructive with probability one" and can be implemented by computer. Other existence theorems are also proved by the same method. The approach is based on a transversality theorem.