Netto's theorem

Last updated
The first three steps of construction of the Hilbert curve, a space-filling curve that by Netto's theorem has many self-intersections Hilbert curve 3.svg
The first three steps of construction of the Hilbert curve, a space-filling curve that by Netto's theorem has many self-intersections
An Osgood curve, with no self-intersections. By Netto's theorem it is impossible for such a curve to entirely cover any two-dimensional region. Osgood curve.svg
An Osgood curve, with no self-intersections. By Netto's theorem it is impossible for such a curve to entirely cover any two-dimensional region.

In mathematical analysis, Netto's theorem states that continuous bijections of smooth manifolds preserve dimension. That is, there does not exist a continuous bijection between two smooth manifolds of different dimension. It is named after Eugen Netto. [1]

The case for maps from a higher-dimensional manifold to a one-dimensional manifold was proven by Jacob Lüroth in 1878, using the intermediate value theorem to show that no manifold containing a topological circle can be mapped continuously and bijectively to the real line. Both Netto in 1878, and Georg Cantor in 1879, gave faulty proofs of the general theorem. The faults were later recognized and corrected. [2]

An important special case of this theorem concerns the non-existence of continuous bijections from one-dimensional spaces, such as the real line or unit interval, to two-dimensional spaces, such as the Euclidean plane or unit square. The conditions of the theorem can be relaxed in different ways to obtain interesting classes of functions from one-dimensional spaces to two-dimensional spaces:

Related Research Articles

Brouwer's fixed-point theorem is a fixed-point theorem in topology, named after L. E. J. (Bertus) Brouwer. It states that for any continuous function mapping a nonempty compact convex set to itself, there is a point such that . The simplest forms of Brouwer's theorem are for continuous functions from a closed interval in the real numbers to itself or from a closed disk to itself. A more general form than the latter is for continuous functions from a nonempty convex compact subset of Euclidean space to itself.

<span class="mw-page-title-main">Diffeomorphism</span> Isomorphism of differentiable manifolds

In mathematics, a diffeomorphism is an isomorphism of differentiable manifolds. It is an invertible function that maps one differentiable manifold to another such that both the function and its inverse are continuously differentiable.

<span class="mw-page-title-main">Homeomorphism</span> Mapping which preserves all topological properties of a given space

In mathematics and more specifically in topology, a homeomorphism, also called topological isomorphism, or bicontinuous function, is a bijective and continuous function between topological spaces that has a continuous inverse function. Homeomorphisms are the isomorphisms in the category of topological spaces—that is, they are the mappings that preserve all the topological properties of a given space. Two spaces with a homeomorphism between them are called homeomorphic, and from a topological viewpoint they are the same.

<span class="mw-page-title-main">Surface (topology)</span> Two-dimensional manifold

In the part of mathematics referred to as topology, a surface is a two-dimensional manifold. Some surfaces arise as the boundaries of three-dimensional solid figures; for example, the sphere is the boundary of the solid ball. Other surfaces arise as graphs of functions of two variables; see the figure at right. However, surfaces can also be defined abstractly, without reference to any ambient space. For example, the Klein bottle is a surface that cannot be embedded in three-dimensional Euclidean space.

In vector calculus and differential geometry the generalized Stokes theorem, also called the Stokes–Cartan theorem, is a statement about the integration of differential forms on manifolds, which both simplifies and generalizes several theorems from vector calculus. In particular, the fundamental theorem of calculus is the special case where the manifold is a line segment, Green’s theorem and Stokes' theorem are the cases of a surface in or and the divergence theorem is the case of a volume in Hence, the theorem is sometimes referred to as the fundamental theorem of multivariate calculus.

<span class="mw-page-title-main">Topology</span> Branch of mathematics

Topology is the branch of mathematics concerned with the properties of a geometric object that are preserved under continuous deformations, such as stretching, twisting, crumpling, and bending; that is, without closing holes, opening holes, tearing, gluing, or passing through itself.

The Nash embedding theorems, named after John Forbes Nash Jr., state that every Riemannian manifold can be isometrically embedded into some Euclidean space. Isometric means preserving the length of every path. For instance, bending but neither stretching nor tearing a page of paper gives an isometric embedding of the page into Euclidean space because curves drawn on the page retain the same arclength however the page is bent.

<span class="mw-page-title-main">Curve</span> Mathematical idealization of the trace left by a moving point

In mathematics, a curve is an object similar to a line, but that does not have to be straight.

<span class="mw-page-title-main">Riemannian manifold</span> Smooth manifold with an inner product on each tangent space

In differential geometry, a Riemannian manifold is a geometric space on which many geometric notions such as distance, angles, length, volume, and curvature are defined. Euclidean space, the -sphere, hyperbolic space, and smooth surfaces in three-dimensional space, such as ellipsoids and paraboloids, are all examples of Riemannian manifolds. Riemannian manifolds are named after German mathematician Bernhard Riemann, who first conceptualized them.

<span class="mw-page-title-main">Jordan curve theorem</span> A closed curve divides the plane into two regions

In topology, the Jordan curve theorem (JCT), formulated by Camille Jordan in 1887, asserts that every Jordan curve divides the plane into an "interior" region bounded by the curve and an "exterior" region containing all of the nearby and far away exterior points. Every continuous path connecting a point of one region to a point of the other intersects with the curve somewhere.

In mathematical analysis, a space-filling curve is a curve whose range reaches every point in a higher dimensional region, typically the unit square. Because Giuseppe Peano (1858–1932) was the first to discover one, space-filling curves in the 2-dimensional plane are sometimes called Peano curves, but that phrase also refers to the Peano curve, the specific example of a space-filling curve found by Peano.

<span class="mw-page-title-main">Pathological (mathematics)</span> Mathematical phenomena whose properties are counterintuitive

In mathematics, when a mathematical phenomenon runs counter to some intuition, then the phenomenon is sometimes called pathological. On the other hand, if a phenomenon does not run counter to intuition, it is sometimes called well-behaved or nice. These terms are sometimes useful in mathematical research and teaching, but there is no strict mathematical definition of pathological or well-behaved.

<span class="mw-page-title-main">Low-dimensional topology</span> Branch of topology

In mathematics, low-dimensional topology is the branch of topology that studies manifolds, or more generally topological spaces, of four or fewer dimensions. Representative topics are the structure theory of 3-manifolds and 4-manifolds, knot theory, and braid groups. This can be regarded as a part of geometric topology. It may also be used to refer to the study of topological spaces of dimension 1, though this is more typically considered part of continuum theory.

<span class="mw-page-title-main">Manifold</span> Topological space that locally resembles Euclidean space

In mathematics, a manifold is a topological space that locally resembles Euclidean space near each point. More precisely, an -dimensional manifold, or -manifold for short, is a topological space with the property that each point has a neighborhood that is homeomorphic to an open subset of -dimensional Euclidean space.

In differential geometry, Mikhail Gromov's filling area conjecture asserts that the hemisphere has minimum area among the orientable surfaces that fill a closed curve of given length without introducing shortcuts between its points.

<span class="mw-page-title-main">Eugen Netto</span> German mathematician (1848–1919)

Eugen Otto Erwin Netto was a German mathematician. He was born in Halle and died in Giessen.

In mathematics, the Schoenflies problem or Schoenflies theorem, of geometric topology is a sharpening of the Jordan curve theorem by Arthur Schoenflies. For Jordan curves in the plane it is often referred to as the Jordan–Schoenflies theorem.

<span class="mw-page-title-main">Osgood curve</span> Non-self-intersecting curve of positive area

In mathematical analysis, an Osgood curve is a non-self-intersecting curve that has positive area. Despite its area, it is not possible for such a curve to cover any two-dimensional region, distinguishing them from space-filling curves. Osgood curves are named after William Fogg Osgood.

<span class="mw-page-title-main">Denjoy–Riesz theorem</span> A compact set of totally disconnected points in the plane can be covered by a Jordan arc

In topology, the Denjoy–Riesz theorem states that every compact set of totally disconnected points in the Euclidean plane can be covered by a continuous image of the unit interval, without self-intersections.

References

  1. 1 2 3 Sagan, Hans (1994), Space-filling curves, Universitext, New York: Springer-Verlag, doi:10.1007/978-1-4612-0871-6, ISBN   0-387-94265-3, MR   1299533 . For the statement of the theorem, and historical background, see Theorem 1.3, p. 6. For its proof for the case of bijections between the unit interval and a two-dimensional set, see Section 6.4, "Proof of Netto's Theorem", pp. 97–98. For the application of Netto's theorem to self-intersections of space-filling curves, and for Osgood curves, see Chapter 8, "Jordan Curves of Positive Lebesgue Measure", pp. 131–143.
  2. 1 2 3 Dauben, Joseph W. (1975), "The invariance of dimension: problems in the early development of set theory and topology", Historia Mathematica, 2: 273–288, doi: 10.1016/0315-0860(75)90066-X , MR   0476319
  3. 1 2 Gouvêa, Fernando Q. (2011), "Was Cantor surprised?", The American Mathematical Monthly , 118 (3): 198–209, doi:10.4169/amer.math.monthly.118.03.198, JSTOR   10.4169/amer.math.monthly.118.03.198, MR   2800330