Finding Zeroes of Maps: Homotopy Methods That are Constructive With Probability One
Open Access
- 1 July 1978
- journal article
- Published by JSTOR in Mathematics of Computation
- Vol. 32 (143) , 887-899
- https://doi.org/10.2307/2006493
Abstract
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.Keywords
This publication has 18 references indexed in Scilit:
- The Homotopy Continuation Method: Numerically Implementable Topological ProceduresTransactions of the American Mathematical Society, 1978
- The Additive Inverse Eigenvalue Problem and Topological DegreeProceedings of the American Mathematical Society, 1978
- Inverse eigenvalue problemsLinear Algebra and its Applications, 1977
- A Constructive Proof of the Brouwer Fixed-Point Theorem and Computational ResultsSIAM Journal on Numerical Analysis, 1976
- A convergent process of price adjustment and global newton methodsJournal of Mathematical Economics, 1976
- Existence of solutions of two-point boundary value problems for nonlinear systemsJournal of Differential Equations, 1972
- Iterative Solution of Nonlinear Equations in Several VariablesMathematics of Computation, 1971
- Topological Methods in the Theory of Nonlinear Integral Equations.The American Mathematical Monthly, 1968
- Topology from the Differentiable Viewpoint.The American Mathematical Monthly, 1967
- Shorter Notes: A Proof of the Nonretractibility of a Cell Onto its BoundaryProceedings of the American Mathematical Society, 1963