Skip to main content
added 609 characters in body
Source Link
Mirko
  • 1.4k
  • 9
  • 25

Edit March 20, 2017. The paper that motivated me to ask the above question was recently published in the American Mathematical Monthly. My coauthor and I adopted Poincare's work as reference to the (modern) definition of "simply connected", though we also indicate that some earlier work was done by Riemann (and Gauss), and refer to Pont's book (given in a comment and an answer below). Thanks to user46855, Francois Ziegler, and to Moritz Firsching, for their comment's and/or answers. Our paper with Prof. J. Bak at CCNY is available at http://www.jstor.org/stable/10.4169/amer.math.monthly.124.3.217

Edit March 20, 2017. The paper that motivated me to ask the above question was recently published in the American Mathematical Monthly. My coauthor and I adopted Poincare's work as reference to the (modern) definition of "simply connected", though we also indicate that some earlier work was done by Riemann (and Gauss), and refer to Pont's book (given in a comment and an answer below). Thanks to user46855, Francois Ziegler, and to Moritz Firsching, for their comment's and/or answers. Our paper with Prof. J. Bak at CCNY is available at http://www.jstor.org/stable/10.4169/amer.math.monthly.124.3.217

Added a comment/clarification
Source Link
Mirko
  • 1.4k
  • 9
  • 25

The following definition is due to Donald J. Newman: A connected open subset $D$ of the plane $\mathbb C$ is simply connected if and only if its complement $\widetilde D = \mathbb C \setminus D$ is ``connected within $\varepsilon$ to $\infty$'', that is, if for any $z_0 \in \widetilde D$ and $\varepsilon > 0$ there is a continuous curve $\gamma(t)$, $0 ≤ t < \infty$ such that:

(a) dist$(\gamma(t), \widetilde D) < \varepsilon$ for all $t \ge 0$,

(b) $\gamma(0) = z_0$,

(c) $\lim\limits_{t\to\infty} \gamma(t) = \infty$.

see the textbook Complex Analysis, by Joseph Bak and Donald J. Newman. (His definition is easy to use, allowing induction on the number of levels of a polygonal path, towards the proof of the Closed Curve Theorem, Ch.8.)

It could be shown that this definition is equivalent to the usual ones, when restricted to connected open sets in the plane, link. (But not in $\mathbb R^3$, where $D=\mathbb R^3$ minus the $z$-axis is a counterexample.)

Question 1. Who first defined simply connected ?

Cauchy did a lot of work related to independence of an integral on the path of integration [see e.g. the book Cauchy and the Creation of Complex Function Theory, Frank Smithies, Cambridge Univ.Press, 1997], but it appears that he usually worked with simple closed curves, and paths inside their bounded component, without ever explicitly using the term, or the notion, of a simply connected domain.

On the other hand in the book [History of Topology, ed. I.M. James, North Holland, 2006] several authors discuss simple connectedness. In particular R. Vanden Eynde, p.73 (again, related to independence on the path of integration) indicates that Riemann (as in 1851) distinguished between simply connected and multiply connected surfaces, citing: This leads to a distinction between simply connected surfaces, in which any closed curve is the boundary of a part of the surface - like for instance a circle - and multiply connected surfaces, for which this property is not valid, - like for instance the surface bounded by two concentric circles.

Question 2. Was it Riemann who first defined simply connected? Did Cauchy ever consider this notion explicitly? Did anyone between Cauchy and Riemann consider it (or even earlier, though this seems unlikely), any references?

Nowadays there are several equivalent definitions, they appear to have come later, which might perhaps be the subject of another discussion.

Any Any help is greatly appreciated (either on the questions stated above, or any comments on various equivalent definitions known).

Edit. As user46855 commented, it depends on your definition of a ``definition of simply connected''. There are many equivalent definitions and, although I would be very happy to receive some information about more recent ones (that is, around and after 1900's), I am mostly interested in the first definition, in whatever terms it was given. At those times many terms might have been fluid, e.g. even though I said above that Cauchy worked with simple closed curves (in 1814-1831), Jordan's theorem only came at the end of that century. So perhaps at those times there was no strict definition, but at any rate someone must have stated something in specific enough terms, so we would know they meant simply connected. User46855, thank you for the J.C.Pont reference, will try to find it.

The following definition is due to Donald J. Newman: A connected open subset $D$ of the plane $\mathbb C$ is simply connected if and only if its complement $\widetilde D = \mathbb C \setminus D$ is ``connected within $\varepsilon$ to $\infty$'', that is, if for any $z_0 \in \widetilde D$ and $\varepsilon > 0$ there is a continuous curve $\gamma(t)$, $0 ≤ t < \infty$ such that:

(a) dist$(\gamma(t), \widetilde D) < \varepsilon$ for all $t \ge 0$,

(b) $\gamma(0) = z_0$,

(c) $\lim\limits_{t\to\infty} \gamma(t) = \infty$.

see the textbook Complex Analysis, by Joseph Bak and Donald J. Newman. (His definition is easy to use, allowing induction on the number of levels of a polygonal path, towards the proof of the Closed Curve Theorem.)

It could be shown that this definition is equivalent to the usual ones, when restricted to connected open sets in the plane, link. (But not in $\mathbb R^3$, where $D=\mathbb R^3$ minus the $z$-axis is a counterexample.)

Question 1. Who first defined simply connected ?

Cauchy did a lot of work related to independence of an integral on the path of integration [see e.g. the book Cauchy and the Creation of Complex Function Theory, Frank Smithies, Cambridge Univ.Press, 1997], but it appears that he usually worked with simple closed curves, and paths inside their bounded component, without ever explicitly using the term, or the notion, of a simply connected domain.

On the other hand in the book [History of Topology, ed. I.M. James, North Holland, 2006] several authors discuss simple connectedness. In particular R. Vanden Eynde, p.73 (again, related to independence on the path of integration) indicates that Riemann (as in 1851) distinguished between simply connected and multiply connected surfaces, citing: This leads to a distinction between simply connected surfaces, in which any closed curve is the boundary of a part of the surface - like for instance a circle - and multiply connected surfaces, for which this property is not valid, - like for instance the surface bounded by two concentric circles.

Question 2. Was it Riemann who first defined simply connected? Did Cauchy ever consider this notion explicitly? Did anyone between Cauchy and Riemann consider it (or even earlier, though this seems unlikely), any references?

Nowadays there are several equivalent definitions, they appear to have come later, which might perhaps be the subject of another discussion.

Any help is greatly appreciated (either on the questions stated above, or any comments on various equivalent definitions known).

The following definition is due to Donald J. Newman: A connected open subset $D$ of the plane $\mathbb C$ is simply connected if and only if its complement $\widetilde D = \mathbb C \setminus D$ is ``connected within $\varepsilon$ to $\infty$'', that is, if for any $z_0 \in \widetilde D$ and $\varepsilon > 0$ there is a continuous curve $\gamma(t)$, $0 ≤ t < \infty$ such that:

(a) dist$(\gamma(t), \widetilde D) < \varepsilon$ for all $t \ge 0$,

(b) $\gamma(0) = z_0$,

(c) $\lim\limits_{t\to\infty} \gamma(t) = \infty$.

see the textbook Complex Analysis, by Joseph Bak and Donald J. Newman. (His definition is easy to use, allowing induction on the number of levels of a polygonal path, towards the proof of the Closed Curve Theorem, Ch.8.)

It could be shown that this definition is equivalent to the usual ones, when restricted to connected open sets in the plane, link. (But not in $\mathbb R^3$, where $D=\mathbb R^3$ minus the $z$-axis is a counterexample.)

Question 1. Who first defined simply connected ?

Cauchy did a lot of work related to independence of an integral on the path of integration [see e.g. the book Cauchy and the Creation of Complex Function Theory, Frank Smithies, Cambridge Univ.Press, 1997], but it appears that he usually worked with simple closed curves, and paths inside their bounded component, without ever explicitly using the term, or the notion, of a simply connected domain.

On the other hand in the book [History of Topology, ed. I.M. James, North Holland, 2006] several authors discuss simple connectedness. In particular R. Vanden Eynde, p.73 (again, related to independence on the path of integration) indicates that Riemann (as in 1851) distinguished between simply connected and multiply connected surfaces, citing: This leads to a distinction between simply connected surfaces, in which any closed curve is the boundary of a part of the surface - like for instance a circle - and multiply connected surfaces, for which this property is not valid, - like for instance the surface bounded by two concentric circles.

Question 2. Was it Riemann who first defined simply connected? Did Cauchy ever consider this notion explicitly? Did anyone between Cauchy and Riemann consider it (or even earlier, though this seems unlikely), any references?

Nowadays there are several equivalent definitions, they appear to have come later, which might perhaps be the subject of another discussion. Any help is greatly appreciated (either on the questions stated above, or any comments on various equivalent definitions known).

Edit. As user46855 commented, it depends on your definition of a ``definition of simply connected''. There are many equivalent definitions and, although I would be very happy to receive some information about more recent ones (that is, around and after 1900's), I am mostly interested in the first definition, in whatever terms it was given. At those times many terms might have been fluid, e.g. even though I said above that Cauchy worked with simple closed curves (in 1814-1831), Jordan's theorem only came at the end of that century. So perhaps at those times there was no strict definition, but at any rate someone must have stated something in specific enough terms, so we would know they meant simply connected. User46855, thank you for the J.C.Pont reference, will try to find it.

Source Link
Mirko
  • 1.4k
  • 9
  • 25

Who first defined _simply connected_, reference?

The following definition is due to Donald J. Newman: A connected open subset $D$ of the plane $\mathbb C$ is simply connected if and only if its complement $\widetilde D = \mathbb C \setminus D$ is ``connected within $\varepsilon$ to $\infty$'', that is, if for any $z_0 \in \widetilde D$ and $\varepsilon > 0$ there is a continuous curve $\gamma(t)$, $0 ≤ t < \infty$ such that:

(a) dist$(\gamma(t), \widetilde D) < \varepsilon$ for all $t \ge 0$,

(b) $\gamma(0) = z_0$,

(c) $\lim\limits_{t\to\infty} \gamma(t) = \infty$.

see the textbook Complex Analysis, by Joseph Bak and Donald J. Newman. (His definition is easy to use, allowing induction on the number of levels of a polygonal path, towards the proof of the Closed Curve Theorem.)

It could be shown that this definition is equivalent to the usual ones, when restricted to connected open sets in the plane, link. (But not in $\mathbb R^3$, where $D=\mathbb R^3$ minus the $z$-axis is a counterexample.)

Question 1. Who first defined simply connected ?

Cauchy did a lot of work related to independence of an integral on the path of integration [see e.g. the book Cauchy and the Creation of Complex Function Theory, Frank Smithies, Cambridge Univ.Press, 1997], but it appears that he usually worked with simple closed curves, and paths inside their bounded component, without ever explicitly using the term, or the notion, of a simply connected domain.

On the other hand in the book [History of Topology, ed. I.M. James, North Holland, 2006] several authors discuss simple connectedness. In particular R. Vanden Eynde, p.73 (again, related to independence on the path of integration) indicates that Riemann (as in 1851) distinguished between simply connected and multiply connected surfaces, citing: This leads to a distinction between simply connected surfaces, in which any closed curve is the boundary of a part of the surface - like for instance a circle - and multiply connected surfaces, for which this property is not valid, - like for instance the surface bounded by two concentric circles.

Question 2. Was it Riemann who first defined simply connected? Did Cauchy ever consider this notion explicitly? Did anyone between Cauchy and Riemann consider it (or even earlier, though this seems unlikely), any references?

Nowadays there are several equivalent definitions, they appear to have come later, which might perhaps be the subject of another discussion.

Any help is greatly appreciated (either on the questions stated above, or any comments on various equivalent definitions known).