1
$\begingroup$

Is there a generalization to Bolzano theorem when $f: \mathbb{R}^n \to \mathbb{R}^n$

$\endgroup$
2
  • 1
    $\begingroup$ The continuous image of a connected set is connected. $\endgroup$ Commented Apr 16, 2019 at 13:27
  • 3
    $\begingroup$ This site is for questions at research level. For general questions in mathematics see math.stackexchange.com. $\endgroup$
    – abx
    Commented Apr 16, 2019 at 13:46

1 Answer 1

3
$\begingroup$

There can be various generalizations. My favorite one is this.

Let $f_1,\ldots,f_n$ be continuous functions on the unit cube. And suppose that each of them takes values of opposite sign on the opposite facets (each on its own pair of the opposite facets). Then all $f_j$ have a common zero inside the cube.

$\endgroup$
5
  • 2
    $\begingroup$ Is this Poincare Miranda theorem? $\endgroup$
    – Dreamer123
    Commented Apr 16, 2019 at 19:11
  • $\begingroup$ Are there other generalizations? thank you $\endgroup$
    – Dreamer123
    Commented Apr 16, 2019 at 19:13
  • 1
    $\begingroup$ I am not sure about the name. It follows from the Brouwer theorem, see, for example Hurewicz and Wallman, Dimension theory, Ch. IV, 1D. $\endgroup$ Commented Apr 16, 2019 at 19:14
  • $\begingroup$ Of course there are other generalizations. One of them stated in a comment to your question:-) $\endgroup$ Commented Apr 16, 2019 at 19:15
  • 1
    $\begingroup$ Yes, Wikipedia says that this is called Poincare-Miranda theorem. $\endgroup$ Commented Apr 17, 2019 at 0:10

Not the answer you're looking for? Browse other questions tagged .