The Bolzano-Poincaré Type Theorems
In 1883–1884, Henri Poincaré announced the result about the structure of the set of zeros of function 𝑓∶𝐼𝑛→𝑅𝑛, or alternatively the existence of solutions of the equation 𝑓(𝑥)=0. In the case 𝑛=1 the Poincaré Theorem is well known Bolzano Theorem. In 1940 Miranda rediscovered the Poincaré Theorem. Ex...
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Wiley
2011-01-01
|
| Series: | International Journal of Mathematics and Mathematical Sciences |
| Online Access: | http://dx.doi.org/10.1155/2011/793848 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Summary: | In 1883–1884, Henri Poincaré announced the result about the structure of the set of zeros of function 𝑓∶𝐼𝑛→𝑅𝑛, or alternatively the existence of solutions of the equation 𝑓(𝑥)=0. In the case 𝑛=1 the Poincaré Theorem is well known Bolzano Theorem. In 1940 Miranda rediscovered the Poincaré Theorem. Except for few isolated results it is essentially a non-algorithmic theory. The aim of this article is to introduce an algorithmical proof of the Theorem “On the existence of a chain” and for 𝑛=3 an algorithmical proof of the Bolzano-Poincaré Theorem and to show the equivalence of Poincaré, Brouwer and “On
the existence of a chain” theorems. |
|---|---|
| ISSN: | 0161-1712 1687-0425 |