In mathematics, the differential geometry of surfaces deals with the differential geometry of smooth surfaces with various additional structures, most often, a Riemannian metric.
Surfaces have been extensively studied from various perspectives: extrinsically, relating to their embedding in Euclidean space and intrinsically, reflecting their properties determined solely by the distance within the surface as measured along curves on the surface. One of the fundamental concepts investigated is the Gaussian curvature, first studied in depth by Carl Friedrich Gauss, who showed that curvature was an intrinsic property of a surface, independent of its isometric embedding in Euclidean space.

Surfaces naturally arise as graphs of functions of a pair of variables, and sometimes appear in parametric form or as loci associated to space curves. An important role in their study has been played by Lie groups (in the spirit of the Erlangen program), namely the symmetry groups of the Euclidean plane, the sphere and the hyperbolic plane. These Lie groups can be used to describe surfaces of constant Gaussian curvature; they also provide an essential ingredient in the modern approach to intrinsic differential geometry through connections. On the other hand, extrinsic properties relying on an embedding of a surface in Euclidean space have also been extensively studied. This is well illustrated by the non-linear Euler–Lagrange equations in the calculus of variations: although Euler developed the one variable equations to understand geodesics, defined independently of an embedding, one of Lagrange's main applications of the two variable equations was to minimal surfaces, a concept that can only be defined in terms of an embedding.

History

The volumes of certain quadric surfaces of revolution were calculated by Archimedes.  The development of calculus in the seventeenth century provided a more systematic way of computing them. Curvature of general surfaces was first studied by Euler. In 1760 he proved a formula for the curvature of a plane section of a surface and in 1771 he considered surfaces represented in a parametric form. Monge laid down the foundations of their theory in his classical memoir L'application de l'analyse à la géometrie which appeared in 1795. The defining contribution to the theory of surfaces was made by Gauss in two remarkable papers written in 1825 and 1827. This marked a new departure from tradition because for the first time Gauss considered the intrinsic geometry of a surface, the properties which are determined only by the geodesic distances between points on the surface independently of the particular way in which the surface is located in the ambient Euclidean space. The crowning result, the Theorema Egregium of Gauss, established that the Gaussian curvature is an intrinsic invariant, i.e. invariant under local isometries. This point of view was extended to higher-dimensional spaces by Riemann and led to what is known today as Riemannian geometry. The nineteenth century was the golden age for the theory of surfaces, from both the topological and the differential-geometric point of view, with most leading geometers devoting themselves to their study. Darboux collected many results in his four-volume treatise Théorie des surfaces (1887–1896).

Overview

It is intuitively quite familiar to say that the leaf of a plant, the surface of a glass, or the shape of a face, are curved in certain ways, and that all of these shapes, even after ignoring any distinguishing markings, have certain geometric features which distinguish one from another. The differential geometry of surfaces is concerned with a mathematical understanding of such phenomena. The study of this field, which was initiated in its modern form in the 1700s, has led to the development of higher-dimensional and abstract geometry, such as Riemannian geometry and general relativity.

The essential mathematical object is that of a regular surface. Although conventions vary in their precise definition, these form a general class of subsets of three-dimensional Euclidean space () which capture part of the familiar notion of "surface." By analyzing the class of curves which lie on such a surface, and the degree to which the surfaces force them to curve in , one can associate to each point of the surface two numbers, called the principal curvatures. Their average is called the mean curvature of the surface, and their product is called the Gaussian curvature.

There are many classic examples of regular surfaces, including:
 familiar examples such as planes, cylinders, and spheres
minimal surfaces, which are defined by the property that their mean curvature is zero at every point. The best-known examples are catenoids and helicoids, although many more have been discovered. Minimal surfaces can also be defined by properties to do with surface area, with the consequence that they provide a mathematical model for the shape of soap films when stretched across a wire frame
ruled surfaces, which are surfaces that have at least one straight line running through every point; examples include the cylinder and the hyperboloid of one sheet.

A surprising result of Carl Friedrich Gauss, known as the theorema egregium, showed that the Gaussian curvature of a surface, which by its definition has to do with how curves on the surface change directions in three dimensional space, can actually be measured by the lengths of curves lying on the surfaces together with the angles made when two curves on the surface intersect. Terminologically, this says that the Gaussian curvature can be calculated from the first fundamental form (also called metric tensor) of the surface. The second fundamental form, by contrast, is an object which encodes how lengths and angles of curves on the surface are distorted when the curves are pushed off of the surface.

Despite measuring different aspects of length and angle, the first and second fundamental forms are not independent from one another, and they satisfy certain constraints called the Gauss-Codazzi equations. A major theorem, often called the fundamental theorem of the differential geometry of surfaces, asserts that whenever two objects satisfy the Gauss-Codazzi constraints, they will arise as the first and second fundamental forms of a regular surface.

Using the first fundamental form, it is possible to define new objects on a regular surface. Geodesics are curves on the surface which satisfy a certain second-order ordinary differential equation which is specified by the first fundamental form. They are very directly connected to the study of lengths of curves; a geodesic of sufficiently short length will always be the curve of shortest length on the surface which connects its two endpoints. Thus, geodesics are fundamental to the optimization problem of determining the shortest path between two given points on a regular surface.

One can also define parallel transport along any given curve, which gives a prescription for how to deform a tangent vector to the surface at one point of the curve to tangent vectors at all other points of the curve. The prescription is determined by a first-order ordinary differential equation which is specified by the first fundamental form.

The above concepts are essentially all to do with multivariable calculus. The Gauss-Bonnet theorem is a more global result, which relates the Gaussian curvature of a surface together with its topological type. It asserts that the average value of the Gaussian curvature is completely determined by the Euler characteristic of the surface together with its surface area.

The notion of Riemannian manifold and Riemann surface are two generalizations of the regular surfaces discussed above. In particular, essentially all of the theory of regular surfaces as discussed here has a generalization in the theory of Riemannian manifolds. This is not the case for Riemann surfaces, although every regular surface gives an example of a Riemann surface.

Regular surfaces in Euclidean space

Definition
It is intuitively clear that a sphere is smooth, while a cone or a pyramid, due to their vertex or edges, are not. The notion of a "regular surface" is a formalization of the notion of a smooth surface. The definition utilizes the local representation of a surface via maps between Euclidean spaces. There is a standard notion of smoothness for such maps; a map between two open subsets of Euclidean space is smooth if its partial derivatives of every order exist at every point of the domain.

The following gives three equivalent ways to present the definition; the middle definition is perhaps the most visually intuitive, as it essentially says that a regular surface is a subset of  which is locally the graph of a smooth function (whether over a region in the  plane, the  plane, or the  plane).

The homeomorphisms appearing in the first definition are known as local parametrizations or local coordinate systems or local charts on . The equivalence of the first two definitions asserts that, around any point on a regular surface, there always exist local parametrizations of the form , , or , known as Monge patches. Functions  as in the third definition are called local defining functions. The equivalence of all three definitions follows from the implicit function theorem.

Given any two local parametrizations  and  of a regular surface, the composition  is necessarily smooth as a map between open subsets of . This shows that any regular surface naturally has the structure of a smooth manifold, with a smooth atlas being given by the inverses of local parametrizations.

In the classical theory of differential geometry, surfaces are usually studied only in the regular case. It is, however, also common to study non-regular surfaces, in which the two partial derivatives  and  of a local parametrization may fail to be linearly independent. In this case,  may have singularities such as cuspidal edges. Such surfaces are typically studied in singularity theory. Other weakened forms of regular surfaces occur in computer-aided design, where a surface is broken apart into disjoint pieces, with the derivatives of local parametrizations failing to even be continuous along the boundaries.

Simple examples. A simple example of a regular surface is given by the 2-sphere }; this surface can be covered by six Monge patches (two of each of the three types given above), taking . It can also be covered by two local parametrizations, using stereographic projection. The set } is a torus of revolution with radii  and . It is a regular surface; local parametrizations can be given of the form

The hyperboloid on two sheets } is a regular surface; it can be covered by two Monge patches, with .  The helicoid appears in the theory of minimal surfaces. It is covered by a single local parametrization, .

Tangent vectors and normal vectors

Let  be a regular surface in , and let  be an element of . Using any of the above definitions, one can single out certain vectors in  as being tangent to  at , and certain vectors in  as being orthogonal to  at .

One sees that the tangent space or tangent plane to  at , which is defined to consist of all tangent vectors to  at , is a two-dimensional linear subspace of ; it is often denoted by . The normal space to  at , which is defined to consist of all normal vectors to  at , is a one-dimensional linear subspace of  which is orthogonal to the tangent space . As such, at each point  of , there are two normal vectors of unit length (unit normal vectors). The unit normal vectors at  can be given in terms of local parametrizations, Monge patches, or local defining functions, via the formulas

following the same notations as in the previous definitions.

It is also useful to note an "intrinsic" definition of tangent vectors, which is typical of the generalization of regular surface theory to the setting of smooth manifolds. It defines the tangent space as an abstract two-dimensional real vector space, rather than as a linear subspace of . In this definition, one says that a tangent vector to  at  is an assignment, to each local parametrization  with , of two numbers  and , such that for any other local parametrization  with  (and with corresponding numbers  and ), one has

where  is the Jacobian matrix of the mapping , evaluated at the point . The collection of tangent vectors to  at  naturally has the structure of a two-dimensional vector space. A tangent vector in this sense corresponds to a tangent vector in the previous sense by considering the vector

in . The Jacobian condition on  and  ensures, by the chain rule, that this vector does not depend on .

For smooth functions on a surface, vector fields (i.e. tangent vector fields) have an important interpretation as first order operators or derivations. Let  be a regular surface,  an open subset of the plane and  a coordinate chart. If , the space  can be identified with . Similarly  identifies vector fields on  with vector fields on . Taking standard variables  and , a vector field has the form , with  and  smooth functions. If  is a vector field and  is a smooth function, then  is also a smooth function. The first order differential operator  is a derivation, i.e. it satisfies the Leibniz rule

For vector fields  and  it is simple to check that the operator  is a derivation corresponding to a vector field. It is called the Lie bracket . It is skew-symmetric  and satisfies the Jacobi identity:

In summary, vector fields on  or  form a Lie algebra under the Lie bracket.

First and second fundamental forms, the shape operator, and the curvature
Let  be a regular surface in . Given a local parametrization  and a unit normal vector field  to , one defines the following objects as real-valued or matrix-valued functions on . The first fundamental form depends only on , and not on . The fourth column records the way in which these functions depend on , by relating the functions  etc., arising for a different choice of local parametrization, , to those arising for . Here  denotes the Jacobian matrix of . The key relation in establishing the formulas of the fourth column is then

as follows by the chain rule.

By a direct calculation with the matrix defining the shape operator, it can be checked that the Gaussian curvature is the determinant of the shape operator, the mean curvature is half of the trace of the shape operator, and the principal curvatures are the eigenvalues of the shape operator; moreover the Gaussian curvature is the product of the principal curvatures and the mean curvature is their sum. These observations can also be formulated as definitions of these objects. These observations also make clear that the last three rows of the fourth column follow immediately from the previous row, as similar matrices have identical determinant, trace, and eigenvalues. It is fundamental to note , , and  are all necessarily positive. This ensures that the matrix inverse in the definition of the shape operator is well-defined, and that the principal curvatures are real numbers.

Note also that a negation of the choice of unit normal vector field will negate the second fundamental form, the shape operator, the mean curvature, and the principal curvatures, but will leave the Gaussian curvature unchanged. In summary, this has shown that, given a regular surface , the Gaussian curvature of  can be regarded as a real-valued function on ; relative to a choice of unit normal vector field on all of , the two principal curvatures and the mean curvature are also real-valued functions on .

Geometrically, the first and second fundamental forms can be viewed as giving information on how  moves around in  as  moves around in . In particular, the first fundamental form encodes how quickly  moves, while the second fundamental form encodes the extent to which its motion is in the direction of the normal vector . In other words, the second fundamental form at a point  encodes the length of the orthogonal projection from  to the tangent plane to  at ; in particular it gives the quadratic function which best approximates this length. This thinking can be made precise by the formulas

as follows directly from the definitions of the fundamental forms and Taylor's theorem in two dimensions. The principal curvatures can be viewed in the following way. At a given point  of , consider the collection of all planes which contain the orthogonal line to . Each such plane has a curve of intersection with , which can be regarded as a plane curve inside of the plane itself. The two principal curvatures at  are the maximum and minimum possible values of the curvature of this plane curve at , as the plane under consideration rotates around the normal line.

The following summarizes the calculation of the above quantities relative to a Monge patch . Here  and  denote the two partial derivatives of , with analogous notation for the second partial derivatives. The second fundamental form and all subsequent quantities are calculated relative to the given choice of unit normal vector field.

Christoffel symbols, Gauss–Codazzi equations, and the Theorema Egregium
Let  be a regular surface in . The Christoffel symbols assign, to each local parametrization , eight functions on , defined by

They can also be defined by the following formulas, in which  is a unit normal vector field along  and  are the corresponding components of the second fundamental form:

The key to this definition is that , , and  form a basis of  at each point, relative to which each of the three equations uniquely specifies the Christoffel symbols as coordinates of the second partial derivatives of . The choice of unit normal has no effect on the Christoffel symbols, since if  is exchanged for its negation, then the components of the second fundamental form are also negated, and so the signs of  are left unchanged.

The second definition shows, in the context of local parametrizations, that the Christoffel symbols are geometrically natural. Although the formulas in the first definition appear less natural, they have the importance of showing that the Christoffel symbols can be calculated from the first fundamental form, which is not immediately apparent from the second definition. The equivalence of the definitions can be checked by directly substituting the first definition into the second, and using the definitions of .

The Codazzi equations assert that

These equations can be directly derived from the second definition of Christoffel symbols given above; for instance, the first Codazzi equation is obtained by differentiating the first equation with respect to , the second equation with respect to , subtracting the two, and taking the dot product with . The Gauss equation asserts that

These can be similarly derived as the Codazzi equations, with one using the Weingarten equations instead of taking the dot product with . Although these are written as three separate equations, they are identical when the definitions of the Christoffel symbols, in terms of the first fundamental form, are substituted in.  There are many ways to write the resulting expression, one of them derived in 1852 by Brioschi using a skillful use of determinants:

When the Christoffel symbols are considered as being defined by the first fundamental form, the Gauss and Codazzi equations represent certain constraints between the first and second fundamental forms. The Gauss equation is particularly noteworthy, as it shows that the Gaussian curvature can be computed directly from the first fundamental form, without the need for any other information; equivalently, this says that  can actually be written as a function of , even though the individual components  cannot. This is known as the theorema egregium, and was a major discovery of Carl Friedrich Gauss. It is particularly striking when one recalls the geometric definition of the Gaussian curvature of  as being defined by the maximum and minimum radii of osculating circles; they seem to be fundamentally defined by the geometry of how  bends within . Nevertheless, the theorem shows that their product can be determined from the "intrinsic" geometry of , having only to do with the lengths of curves along  and the angles formed at their intersections. As said by Marcel Berger:

The Gauss-Codazzi equations can also be succinctly expressed and derived in the language of connection forms due to Élie Cartan. In the language of tensor calculus, making use of natural metrics and connections on tensor bundles, the Gauss equation can be written as  and the two Codazzi equations can be written as  and ; the complicated expressions to do with Christoffel symbols and the first fundamental form are completely absorbed into the definitions of the covariant tensor derivative  and the scalar curvature . Pierre Bonnet proved that two quadratic forms satisfying the Gauss-Codazzi equations always uniquely determine an embedded surface locally. For this reason the Gauss-Codazzi equations are often called the fundamental equations for embedded surfaces, precisely identifying where the intrinsic and extrinsic curvatures come from. They admit generalizations to surfaces embedded in more general Riemannian manifolds.

Isometries
A diffeomorphism  between open sets  and  in a regular surface  is said to be an isometry if it preserves the metric, i.e. the first fundamental form. Thus for every point  in  and tangent vectors  at , there are equalities

In terms of the inner product coming from the first fundamental form, this can be rewritten as

.

On the other hand, the length of a parametrized curve  can be calculated as

and, if the curve lies in , the rules for change of variables show that

Conversely if  preserves the lengths of all parametrized in curves then  is an isometry. Indeed, for suitable choices of , the tangent vectors  and  give arbitrary tangent vectors  and . The equalities must hold for all choice of tangent vectors  and  as well as  and , so that .

A simple example of an isometry is provided by two parametrizations  and  of an open set  into regular surfaces  and . If ,  and , then  is an isometry of  onto .

The cylinder and the plane give examples of surfaces that are locally isometric but which cannot be extended to an isometry for topological reasons. As another example, the catenoid and helicoid are locally isometric.

Covariant derivatives

A tangential vector field  on  assigns, to each  in , a tangent vector  to  at . According to the "intrinsic" definition of tangent vectors given above, a tangential vector field  then assigns, to each local parametrization , two real-valued functions  and  on , so that

for each  in . One says that  is smooth if the functions  and  are smooth, for any choice of . According to the other definitions of tangent vectors given above, one may also regard a tangential vector field  on  as a map  such that  is contained in the tangent space  for each  in . As is common in the more general situation of smooth manifolds, tangential vector fields can also be defined as certain differential operators on the space of smooth functions on .

The covariant derivatives (also called "tangential derivatives") of Tullio Levi-Civita and Gregorio Ricci-Curbastro provide a means of differentiating smooth tangential vector fields. Given a tangential vector field  and a tangent vector  to  at , the covariant derivative  is a certain tangent vector to  at . Consequently, if  and  are both tangential vector fields, then  can also be regarded as a tangential vector field; iteratively, if , , and  are tangential vector fields, the one may compute , which will be another tangential vector field. There are a few ways to define the covariant derivative; the first below uses the Christoffel symbols and the "intrinsic" definition of tangent vectors, and the second is more manifestly geometric.

Given a tangential vector field  and a tangent vector  to  at , one defines  to be the tangent vector to  which assigns to a local parametrization  the two numbers

where  is the directional derivative. This is often abbreviated in the less cumbersome form , making use of Einstein notation and with the locations of function evaluation being implicitly understood. This follows a standard prescription in Riemannian geometry for obtaining a connection from a Riemannian metric. It is a fundamental fact that the vector

in  is independent of the choice of local parametization , although this is rather tedious to check.

One can also define the covariant derivative by the following geometric approach, which does not make use of Christoffel symbols or local parametrizations. Let  be a vector field on , viewed as a function . Given any curve , one may consider the composition . As a map between Euclidean spaces, it can be differentiated at any input value to get an element  of . The orthogonal projection of this vector onto  defines the covariant derivative . Although this is a very geometrically clean definition, it is necessary to show that the result only depends on  and , and not on  and ; local parametrizations can be used for this small technical argument.

It is not immediately apparent from the second definition that covariant differentiation depends only on the first fundamental form of ; however, this is immediate from the first definition, since the Christoffel symbols can be defined directly from the first fundamental form. It is straightforward to check that the two definitions are equivalent. The key is that when one regards  as a -valued function, its differentiation along a curve results in second partial derivatives ; the Christoffel symbols enter with orthogonal projection to the tangent space, due to the formulation of the Christoffel symbols as the tangential components of the second derivatives of  relative to the basis , , . This is discussed in the above section.

The right-hand side of the three Gauss equations can be expressed using covariant differentiation. For instance, the right-hand side

can be recognized as the second coordinate of

relative to the basis , , as can be directly verified using the definition of covariant differentiation by Christoffel symbols. In the language of Riemannian geometry, this observation can also be phrased as saying that the right-hand sides of the Gauss equations are various components of the Ricci curvature of the Levi-Civita connection of the first fundamental form, when interpreted as a Riemannian metric.

Examples

Surfaces of revolution

A surface of revolution is obtained by rotating a curve in the -plane about the -axis. Such surfaces include spheres, cylinders, cones, tori, and the catenoid. The general ellipsoids, hyperboloids, and paraboloids are not. Suppose that the curve is parametrized by

with  drawn from an interval . If  is never zero, if  and  are never both equal to zero, and if  and  are both smooth, then the corresponding surface of revolution

will be a regular surface in . A local parametrization  is given by

Relative to this parametrization, the geometric data is:

In the special case that the original curve is parametrized by arclength, i.e. , one can differentiate to find . On substitution into the Gaussian curvature, one has the simplified

The simplicity of this formula makes it particularly easy to study the class of rotationally symmetric surfaces with constant Gaussian curvature. By reduction to the alternative case that , one can study the rotationally symmetric minimal surfaces, with the result that any such surface is part of a plane or a scaled catenoid.

Each constant- curve on  can be parametrized as a geodesic; a constant- curve on  can be parametrized as a geodesic if and only if  is equal to zero. Generally, geodesics on  are governed by Clairaut's relation.

Quadric surfaces

Consider the quadric surface defined by

This surface admits a parametrization

The Gaussian curvature and mean curvature are given by

Ruled surfaces

A ruled surface is one which can be generated by the motion of a straight line in . Choosing a directrix on the surface, i.e. a smooth unit speed curve  orthogonal to the straight lines, and then choosing  to be unit vectors along the curve in the direction of the lines, the velocity vector  and  satisfy

The surface consists of points

as  and  vary.

Then, if

the Gaussian and mean curvature are given by

The Gaussian curvature of the ruled surface vanishes if and only if  and  are proportional, This condition is equivalent to the surface being the envelope of the planes along the curve containing the tangent vector  and the orthogonal vector , i.e. to the surface being developable along the curve. More generally a surface in  has vanishing Gaussian curvature near a point if and only if it is developable near that point. (An equivalent condition is given below in terms of the metric.)

Minimal surfaces

In 1760 Lagrange extended Euler's results on the calculus of variations involving integrals in one variable to two variables. He had in mind the following problem:

Such a surface is called a minimal surface.

In 1776 Jean Baptiste Meusnier showed that the differential equation derived by Lagrange was equivalent to the vanishing of the mean curvature of the surface:

Minimal surfaces have a simple interpretation in real life: they are the shape a soap film will assume if a wire frame shaped like the curve is dipped into a soap solution and then carefully lifted out. The question as to whether a minimal surface with given boundary exists is called Plateau's problem after the Belgian physicist Joseph Plateau who carried out experiments on soap films in the mid-nineteenth century. In 1930 Jesse Douglas and Tibor Radó gave an affirmative answer to Plateau's problem (Douglas was awarded one of the first Fields medals for this work in 1936).

Many explicit examples of minimal surface are known explicitly, such as the catenoid, the helicoid, the Scherk surface and the Enneper surface. There has been extensive research in this area, summarised in . In particular a result of Osserman shows that if a minimal surface is non-planar, then its image under the Gauss map is dense in .

Surfaces of constant Gaussian curvature

If a surface has constant Gaussian curvature, it is called a surface of constant curvature.

The unit sphere in  has constant Gaussian curvature +1.
The Euclidean plane and the cylinder both have constant Gaussian curvature 0.
The surfaces of revolution with  have constant Gaussian curvature –1. Particular cases are obtained by taking ,  and . The latter case is the classical pseudosphere generated by rotating a tractrix around a central axis. In 1868 Eugenio Beltrami showed that the geometry of the pseudosphere was directly related to that of the hyperbolic plane, discovered independently by Lobachevsky (1830) and Bolyai (1832). Already in 1840, F. Minding, a student of Gauss, had obtained trigonometric formulas for the pseudosphere identical to those for the hyperbolic plane. The intrinsic geometry of this surface is now better understood in terms of the Poincaré metric on the upper half plane or the unit disc, and has been described by other models such as the Klein model or the hyperboloid model, obtained by considering the two-sheeted hyperboloid  in three-dimensional Minkowski space, where .

Each of these surfaces of constant curvature has a transitive Lie group of symmetries. This group theoretic fact has far-reaching consequences, all the more remarkable because of the central role these special surfaces play in the geometry of surfaces, due to Poincaré's uniformization theorem (see below).

Other examples of surfaces with Gaussian curvature 0 include cones, tangent developables, and more generally any developable surface.

Local metric structure

For any surface embedded in Euclidean space of dimension 3 or higher, it is possible to measure the length of a curve on the surface, the angle between two curves and the area of a region on the surface. This structure is encoded infinitesimally in a Riemannian metric on the surface through line elements and area elements. Classically in the nineteenth and early twentieth centuries only surfaces embedded in  were considered and the metric was given as a 2×2 positive definite matrix varying smoothly from point to point in a local parametrization of the surface. The idea of local parametrization and change of coordinate was later formalized through the current abstract notion of a manifold, a topological space where the smooth structure is given by local charts on the manifold, exactly as the planet Earth is mapped by atlases today. Changes of coordinates between different charts of the same region are required to be smooth. Just as contour lines on real-life maps encode changes in elevation, taking into account local distortions of the Earth's surface to calculate true distances, so the Riemannian metric describes distances and areas "in the small" in each local chart. In each local chart a Riemannian metric is given by smoothly assigning a 2×2 positive definite matrix to each point; when a different chart is taken, the matrix is transformed according to the Jacobian matrix of the coordinate change. The manifold then has the structure of a 2-dimensional Riemannian manifold.

Shape operator

The differential  of the Gauss map  can be used to define a type of extrinsic curvature, known as the shape operator or Weingarten map. This operator first appeared implicitly in the work of Wilhelm Blaschke and later explicitly in a treatise by Burali-Forti and Burgati. Since at each point  of the surface, the tangent space is an inner product space, the shape operator  can be defined as a linear operator on this space by the formula

for tangent vectors ,  (the inner product makes sense because  and  both lie in ). The right hand side is symmetric in  and , so the shape operator is self-adjoint on the tangent space. The eigenvalues of  are just the principal curvatures  and  at . In particular the determinant of the shape operator at a point is the Gaussian curvature, but it also contains other information, since the mean curvature is half the trace of the shape operator. The mean curvature is an extrinsic invariant. In intrinsic geometry, a cylinder is developable, meaning that every piece of it is intrinsically indistinguishable from a piece of a plane since its Gauss curvature vanishes identically. Its mean curvature is not zero, though; hence extrinsically it is different from a plane.

Equivalently, the shape operator can be defined as a linear operator on tangent spaces, Sp: TpM→TpM. If n is a unit normal field to M and v is a tangent vector then

(there is no standard agreement whether to use + or − in the definition).

In general, the eigenvectors and eigenvalues of the shape operator at each point determine the directions in which the surface bends at each point. The eigenvalues correspond to the principal curvatures of the surface and the eigenvectors are the corresponding principal directions. The principal directions specify the directions that a curve embedded in the surface must travel to have maximum and minimum curvature, these being given by the principal curvatures.

Geodesic curves on a surface
Curves on a surface which minimize length between the endpoints are called geodesics; they are the shape that an elastic band stretched between the two points would take. Mathematically they are described using ordinary differential equations and the calculus of variations. The differential geometry of surfaces revolves around the study of geodesics. It is still an open question whether every Riemannian metric on a 2-dimensional local chart arises from an embedding in 3-dimensional Euclidean space: the theory of geodesics has been used to show this is true in the important case when the components of the metric are analytic.

Geodesics

Given a piecewise smooth path  in the chart for  in , its length is defined by

and energy by

The length is independent of the parametrization of a path. By the Euler–Lagrange equations, if  is a path minimising length, parametrized by arclength, it must satisfy the Euler equations

where the Christoffel symbols  are given by

where , ,  and  is the inverse matrix to . A path satisfying the Euler equations is called a geodesic. By the Cauchy–Schwarz inequality a path minimising energy is just a geodesic parametrised by arc length; and, for any geodesic, the parameter  is proportional to arclength.

Geodesic curvature

The geodesic curvature  at a point of a curve , parametrised by arc length, on an oriented surface is defined to be

where  is the "principal" unit normal to the curve in the surface, constructed by rotating the unit tangent vector  through an angle of +90°.

The geodesic curvature at a point is an intrinsic invariant depending only on the metric near the point.
A unit speed curve on a surface is a geodesic if and only if its geodesic curvature vanishes at all points on the curve.
A unit speed curve  in an embedded surface is a geodesic if and only if its acceleration vector  is normal to the surface.

The geodesic curvature measures in a precise way how far a curve on the surface is from being a geodesic.

Orthogonal coordinates
When  throughout a coordinate chart, such as with the geodesic polar coordinates discussed below, the images of lines parallel to the - and -axes are orthogonal and provide orthogonal coordinates. If , then the Gaussian curvature is given by

If in addition , so that , then the angle  at the intersection between geodesic  and the line  = constant is given by the equation

The derivative of  is given by a classical derivative formula of Gauss:

Geodesic polar coordinates

Once a metric is given on a surface and a base point is fixed, there is a unique geodesic connecting the base point to each sufficiently nearby point. The direction of the geodesic at the base point and the distance uniquely determine the other endpoint. These two bits of data, a direction and a magnitude, thus determine a tangent vector at the base point. The map from tangent vectors to endpoints smoothly sweeps out a neighbourhood of the base point and defines what is called the "exponential map", defining a local coordinate chart at that base point. The neighbourhood swept out has similar properties to balls in Euclidean space, namely any two points in it are joined by a unique geodesic. This property is called "geodesic convexity" and the coordinates are called "normal coordinates". The explicit calculation of normal coordinates can be accomplished by considering the differential equation satisfied by geodesics. The convexity properties are consequences of Gauss's lemma and its generalisations. Roughly speaking this lemma states that geodesics starting at the base point must cut the spheres of fixed radius centred on the base point at right angles. Geodesic polar coordinates are obtained by combining the exponential map with polar coordinates on tangent vectors at the base point. The Gaussian curvature of the surface is then given by the second order deviation of the metric at the point from the Euclidean metric. In particular the Gaussian curvature is an invariant of the metric, Gauss's celebrated Theorema Egregium. A convenient way to understand the curvature comes from an ordinary differential equation, first considered by Gauss and later generalized by Jacobi, arising from the change of normal coordinates about two different points. The Gauss–Jacobi equation provides another way of computing the Gaussian curvature. Geometrically it explains what happens to geodesics from a fixed base point as the endpoint varies along a small curve segment through data recorded in the Jacobi field, a vector field along the geodesic. One and a quarter centuries after Gauss and Jacobi, Marston Morse gave a more conceptual interpretation of the Jacobi field in terms of second derivatives of the energy function on the infinite-dimensional Hilbert manifold of paths.

Exponential map

The theory of ordinary differential equations shows that if  is smooth then the differential equation  with initial condition  has a unique solution for  sufficiently small and the solution depends smoothly on  and . This implies that for sufficiently small tangent vectors  at a given point , there is a geodesic  defined on  with  and . Moreover, if , then . The exponential map is defined by
 (1)
and gives a diffeomorphism between a disc  and a neighbourhood of ; more generally the map sending  to  gives a local diffeomorphism onto a neighbourhood of . The exponential map gives geodesic normal coordinates near .

Computation of normal coordinates
There is a standard technique (see for example ) for computing the change of variables to normal coordinates ,  at a point as a formal Taylor series expansion. If the coordinates ,  at (0,0) are locally orthogonal, write

where ,  are quadratic and ,  cubic homogeneous polynomials in  and . If  and  are fixed,  and  can be considered as formal power series solutions of the Euler equations: this uniquely determines , , , ,  and .

Gauss's lemma

In these coordinates the matrix  satisfies  and the lines  are geodesics through 0. Euler's equations imply the matrix equation
,
a key result, usually called the Gauss lemma. Geometrically it states that
{| border="1" cellspacing="0" cellpadding="5"
|the geodesics through 0 cut the circles centred at 0 orthogonally.
|}

Taking polar coordinates , it follows that the metric has the form
.
In geodesic coordinates, it is easy to check that the geodesics through zero minimize length. The topology on the Riemannian manifold is then given by a distance function , namely the infimum of the lengths of piecewise smooth paths between  and . This distance is realised locally by geodesics, so that in normal coordinates . If the radius  is taken small enough, a slight sharpening of the Gauss lemma shows that the image  of the disc  under the exponential map is geodesically convex, i.e. any two points in  are joined by a unique geodesic lying entirely inside .

Theorema Egregium

Gauss's Theorema Egregium, the "Remarkable Theorem", shows that the Gaussian curvature of a surface can be computed solely in terms of the metric and is thus an intrinsic invariant of the surface, independent of any isometric embedding in  and unchanged under coordinate transformations. In particular isometries of surfaces preserve Gaussian curvature.

This theorem can expressed in terms of the power series expansion of the metric, , is given in normal coordinates  as
.

Gauss–Jacobi equation

Taking a coordinate change from normal coordinates at  to normal coordinates at a nearby point , yields the Sturm–Liouville equation satisfied by , discovered by Gauss and later generalised by Jacobi,
{| border="1" cellspacing="0" cellpadding="5"
|
|}

The Jacobian of this coordinate change at  is equal to . This gives another way of establishing the intrinsic nature of Gaussian curvature. Because  can be interpreted as the length of the line element in the  direction, the Gauss–Jacobi equation shows that the Gaussian curvature measures the spreading of geodesics on a geometric surface as they move away from a point.

Laplace–Beltrami operator
On a surface with local metric

and Laplace–Beltrami operator

where , the Gaussian curvature at a point is given by the formula

where  denotes the geodesic distance from the point.

In isothermal coordinates, first considered by Gauss, the metric is required to be of the special form

In this case the Laplace–Beltrami operator is given by

and  satisfies Liouville's equation

Isothermal coordinates are known to exist in a neighbourhood of any point on the surface, although all proofs to date rely on non-trivial results on partial differential equations. There is an elementary proof for minimal surfaces.

Gauss–Bonnet theorem

On a sphere or a hyperboloid, the area of a geodesic triangle, i.e. a triangle all the sides of which are geodesics, is proportional to the difference of the sum of the interior angles and . The constant of proportionality is just the Gaussian curvature, a constant for these surfaces. For the torus, the difference is zero, reflecting the fact that its Gaussian curvature is zero. These are standard results in spherical, hyperbolic and high school trigonometry (see below). Gauss generalised these results to an arbitrary surface by showing that the integral of the Gaussian curvature over the interior of a geodesic triangle is also equal to this angle difference or excess. His formula showed that the Gaussian curvature could be calculated near a point as the limit of area over angle excess for geodesic triangles shrinking to the point. Since any closed surface can be decomposed up into geodesic triangles, the formula could also be used to compute the integral of the curvature over the whole surface. As a special case of what is now called the Gauss–Bonnet theorem, Gauss proved that this integral was remarkably always 2π times an integer, a topological invariant of the surface called the Euler characteristic. This invariant is easy to compute combinatorially in terms of the number of vertices, edges, and faces of the triangles in the decomposition, also called a triangulation. This interaction between analysis and topology was the forerunner of many later results in geometry, culminating in the Atiyah-Singer index theorem. In particular properties of the curvature impose restrictions on the topology of the surface.

Geodesic triangles
Gauss proved that, if  is a geodesic triangle on a surface with angles ,  and  at vertices ,  and , then

In fact taking geodesic polar coordinates with origin  and ,  the radii at polar angles 0 and :

where the second equality follows from the Gauss–Jacobi equation and the fourth from Gauss' derivative formula in the orthogonal coordinates .

Gauss' formula shows that the curvature at a point can be calculated as the limit of angle excess  over area for successively smaller geodesic triangles near the point. Qualitatively a surface is positively or negatively curved according to the sign of the angle excess for arbitrarily small geodesic triangles.

Gauss–Bonnet theorem

Since every compact oriented 2-manifold  can be triangulated by small geodesic triangles, it follows that

where  denotes the Euler characteristic of the surface.

In fact if there are  faces,  edges and  vertices, then  and the left hand side equals .

This is the celebrated Gauss–Bonnet theorem: it shows that the integral of the Gaussian curvature is a topological invariant of the manifold, namely the Euler characteristic. This theorem can be interpreted in many ways; perhaps one of the most far-reaching has been as the index theorem for an elliptic differential operator on , one of the simplest cases of the Atiyah-Singer index theorem. Another related result, which can be proved using the Gauss–Bonnet theorem, is the Poincaré-Hopf index theorem for vector fields on  which vanish at only a finite number of points: the sum of the indices at these points equals the Euler characteristic, where the index of a point is defined as follows: on a small circle round each isolated zero, the vector field defines a map into the unit circle; the index is just the winding number of this map.)

Curvature and embeddings
If the Gaussian curvature of a surface  is everywhere positive, then the Euler characteristic is positive so  is homeomorphic (and therefore diffeomorphic) to . If in addition the surface is isometrically embedded in , the Gauss map provides an explicit diffeomorphism. As Hadamard observed, in this case the surface is convex; this criterion for convexity can be viewed as a 2-dimensional generalisation of the well-known second derivative criterion for convexity of plane curves. Hilbert proved that every isometrically embedded closed surface must have a point of positive curvature. Thus a closed Riemannian 2-manifold of non-positive curvature can never be embedded isometrically in ; however, as Adriano Garsia showed using the Beltrami equation for quasiconformal mappings, this is always possible for some conformally equivalent metric.

Surfaces of constant curvature
The simply connected surfaces of constant curvature 0, +1 and –1 are the Euclidean plane, the unit sphere in , and the hyperbolic plane. Each of these has a transitive three-dimensional Lie group of orientation preserving isometries , which can be used to study their geometry. Each of the two non-compact surfaces can be identified with the quotient  where  is a maximal compact subgroup of . Here  is isomorphic to . Any other closed Riemannian 2-manifold  of constant Gaussian curvature, after scaling the metric by a constant factor if necessary, will have one of these three surfaces as its universal covering space. In the orientable case, the fundamental group  of  can be identified with a torsion-free uniform subgroup of  and  can then be identified with the double coset space . In the case of the sphere and the Euclidean plane, the only possible examples are the sphere itself and tori obtained as quotients of  by discrete rank 2 subgroups. For closed surfaces of genus , the moduli space of Riemann surfaces obtained as  varies over all such subgroups, has real dimension . By Poincaré's uniformization theorem, any orientable closed 2-manifold is conformally equivalent to a surface of constant curvature 0, +1 or –1. In other words, by multiplying the metric by a positive scaling factor, the Gaussian curvature can be made to take exactly one of these values (the sign of the Euler characteristic of ).

Euclidean geometry

In the case of the Euclidean plane, the symmetry group is the Euclidean motion group, the semidirect product of
the two dimensional group of translations by the group of rotations. Geodesics are straight lines and the geometry is encoded in the elementary formulas of trigonometry, such as the cosine rule for a triangle with sides , ,  and angles , , :

Flat tori can be obtained by taking the quotient of  by a lattice, i.e. a free Abelian subgroup of rank 2. These closed surfaces have no isometric embeddings in . They do nevertheless admit isometric embeddings in ; in the easiest case this follows from the fact that the torus is a product of two circles and each circle can be isometrically embedded in .

Spherical geometry

The isometry group of the unit sphere  in  is the orthogonal group , with the rotation group  as the subgroup of isometries preserving orientation. It is the direct product of  with the antipodal map, sending  to . The group  acts transitively on . The stabilizer subgroup of the unit vector (0,0,1) can be identified with , so that .

The geodesics between two points on the sphere are the great circle arcs with these given endpoints. If the points are not antipodal, there is a unique shortest geodesic between the points. The geodesics can also be described group theoretically: each geodesic through the North pole (0,0,1) is the orbit of the subgroup of rotations about an axis through antipodal points on the equator.

A spherical triangle is a geodesic triangle on the sphere. It is defined by points , ,  on the sphere with sides , ,  formed from great circle arcs of length less than . If the lengths of the sides are , ,  and the angles between the sides , , , then the spherical cosine law states that

The area of the triangle is given by
.

Using stereographic projection from the North pole, the sphere can be identified with the extended complex plane . The explicit map is given by

Under this correspondence every rotation of  corresponds to a Möbius transformation in , unique up to sign. With respect to the coordinates  in the complex plane, the spherical metric becomes

The unit sphere is the unique closed orientable surface with constant curvature +1. The quotient  can be identified with the real projective plane. It is non-orientable and can be described as the quotient of  by the antipodal map (multiplication by −1). The sphere is simply connected, while the real projective plane has fundamental group . The finite subgroups of , corresponding to the finite subgroups of  and the symmetry groups of the platonic solids, do not act freely on , so the corresponding quotients are not 2-manifolds, just orbifolds.

Hyperbolic geometry

Non-Euclidean geometry was first discussed in letters of Gauss, who made extensive computations at the turn of the nineteenth century which, although privately circulated, he decided not to put into print. In 1830 Lobachevsky and independently in 1832 Bolyai, the son of one Gauss' correspondents, published synthetic versions of this new geometry, for which they were severely criticized. However it was not until 1868 that Beltrami, followed by Klein in 1871 and Poincaré in 1882, gave concrete analytic models for what Klein dubbed hyperbolic geometry. The four models of 2-dimensional hyperbolic geometry that emerged were:
the Beltrami-Klein model;
the Poincaré disk;
the Poincaré upper half-plane;
the hyperboloid model of Wilhelm Killing in 3-dimensional Minkowski space.

The first model, based on a disk, has the advantage that geodesics are actually line segments (that is, intersections of Euclidean lines with the open unit disk). The last model has the advantage that it gives a construction which is completely parallel to that of the unit sphere in 3-dimensional Euclidean space. Because of their application in complex analysis and geometry, however, the models of Poincaré are the most widely used: they are interchangeable thanks to the Möbius transformations between the disk and the upper half-plane.

Let

be the Poincaré disk in the complex plane with Poincaré metric

In polar coordinates  the metric is given by

The length of a curve  is given by the formula

The group  given by

acts transitively by Möbius transformations on  and the stabilizer subgroup of 0 is the rotation group

The quotient group  is the group of orientation-preserving isometries of . Any two points ,  in  are joined by a unique geodesic, given by the portion of the circle or straight line passing through  and  and orthogonal to the boundary circle. The distance between  and  is given by

In particular  and  is the geodesic through 0 along the real axis, parametrized by arclength.

The topology defined by this metric is equivalent to the usual Euclidean topology, although as a metric space  is complete.

A hyperbolic triangle is a geodesic triangle for this metric: any three points in  are vertices of a hyperbolic triangle. If the sides have length , ,  with corresponding angles , , , then the hyperbolic cosine rule states that

The area of the hyperbolic triangle is given by
.

The unit disk and the upper half-plane

are conformally equivalent by the Möbius transformations

Under this correspondence the action of  by Möbius transformations on  corresponds to that of  on . The metric on  becomes

Since lines or circles are preserved under Möbius transformations, geodesics are again described by lines or circles orthogonal to the real axis.

The unit disk with the Poincaré metric is the unique simply connected oriented 2-dimensional Riemannian manifold with constant curvature −1. Any oriented closed surface  with this property has  as its universal covering space. Its fundamental group can be identified with a torsion-free concompact subgroup  of , in such a way that

In this case  is a finitely presented group. The generators and relations are encoded in a geodesically convex fundamental geodesic polygon in  (or ) corresponding geometrically to closed geodesics on .

Examples.
 the Bolza surface of genus 2;
 the Klein quartic of genus 3;
 the Macbeath surface of genus 7;
 the First Hurwitz triplet of genus 14.

Uniformization

Given an oriented closed surface  with Gaussian curvature , the metric on  can be changed conformally by scaling it by a factor . The new Gaussian curvature  is then given by

where  is the Laplacian for the original metric. Thus to show that a given surface is conformally equivalent to a metric with constant curvature  it suffices to solve the following variant of Liouville's equation:

When  has Euler characteristic 0, so is diffeomorphic to a torus, , so this amounts to solving

By standard elliptic theory, this is possible because the integral of  over  is zero, by the Gauss–Bonnet theorem.

When  has negative Euler characteristic, , so the equation to be solved is:

Using the continuity of the exponential map on Sobolev space due to Neil Trudinger, this non-linear equation can always be solved.

Finally in the case of the 2-sphere,  and the equation becomes:

So far this non-linear equation has not been analysed directly, although classical results such as the Riemann–Roch theorem imply that it always has a solution. The method of Ricci flow, developed by Richard S. Hamilton, gives another proof of existence based on non-linear partial differential equations to prove existence. In fact the Ricci flow on conformal metrics on  is defined on functions  by

After finite time, Chow showed that  becomes positive; previous results of Hamilton could then be used to show that  converges to +1. Prior to these results on Ricci flow,  had given an alternative and technically simpler approach to uniformization based on the flow on Riemannian metrics  defined by .

A proof using elliptic operators, discovered in 1988, can be found in . Let  be the Green's function on  satisfying , where  is the point measure at a fixed point  of . The equation , has a smooth solution , because the right hand side has integral 0 by the Gauss–Bonnet theorem. Thus  satisfies  away from . It follows that  is a complete metric of constant curvature 0 on the complement of , which is therefore isometric to the plane. Composing with stereographic projection, it follows that there is a smooth function  such that  has Gaussian curvature +1 on the complement of . The function  automatically extends to a smooth function on the whole of .

Riemannian connection and parallel transport

The classical approach of Gauss to the differential geometry of surfaces was the standard elementary approach which predated the emergence of the concepts of Riemannian manifold initiated by Bernhard Riemann in the mid-nineteenth century and of connection developed by Tullio Levi-Civita, Élie Cartan and Hermann Weyl in the early twentieth century. The notion of connection, covariant derivative and parallel transport gave a more conceptual and uniform way of understanding curvature, which not only allowed generalisations to higher dimensional manifolds but also provided an important tool for defining new geometric invariants, called characteristic classes. The approach using covariant derivatives and connections is nowadays the one adopted in more advanced textbooks.

Covariant derivative
Connections on a surface can be defined from various equivalent but equally important points of view. The Riemannian connection or Levi-Civita connection. is perhaps most easily understood in terms of lifting vector fields, considered as first order differential operators acting on functions on the manifold, to differential operators on the tangent bundle or frame bundle. In the case of an embedded surface, the lift to an operator on vector fields, called the covariant derivative, is very simply described in terms of orthogonal projection. Indeed, a vector field on a surface embedded in  can be regarded as a function from the surface into . Another vector field acts as a differential operator component-wise. The resulting vector field will not be tangent to the surface, but this can be corrected taking its orthogonal projection onto the tangent space at each point of the surface. As Ricci and Levi-Civita realised at the turn of the twentieth century, this process depends only on the metric and can be locally expressed in terms of the Christoffel symbols.

Parallel transport
Parallel transport of tangent vectors along a curve in the surface was the next major advance in the subject, due to Levi-Civita. It is related to the earlier notion of covariant derivative, because it is the monodromy of the ordinary differential equation on the curve defined by the covariant derivative with respect to the velocity vector of the curve. Parallel transport along geodesics, the "straight lines" of the surface, can also easily be described directly. A vector in the tangent plane is transported along a geodesic as the unique vector field with constant length and making a constant angle with the velocity vector of the geodesic. For a general curve, this process has to be modified using the geodesic curvature, which measures how far the curve departs from being a geodesic.

A vector field  along a unit speed curve , with geodesic curvature , is said to be parallel along the curve if
 it has constant length
 the angle  that it makes with the velocity vector  satisfies

This recaptures the rule for parallel transport along a geodesic or piecewise geodesic curve, because in that case , so that the angle  should remain constant on any geodesic segment. The existence of parallel transport follows because  can be computed as the integral of the geodesic curvature. Since it therefore depends continuously on the  norm of , it follows that parallel transport for an arbitrary curve can be obtained as the limit of the parallel transport on approximating piecewise geodesic curves.

The connection can thus be described in terms of lifting paths in the manifold to paths in the tangent or orthonormal frame bundle, thus formalising the classical theory of the "moving frame", favoured by French authors. Lifts of loops about a point give rise to the holonomy group at that point. The Gaussian curvature at a point can be recovered from parallel transport around increasingly small loops at the point. Equivalently curvature can be calculated directly at an infinitesimal level in terms of Lie brackets of lifted vector fields.

Connection 1-form
The approach of Cartan and Weyl, using connection 1-forms on the frame bundle of , gives a third way to understand the Riemannian connection. They noticed that parallel transport dictates that a path in the surface be lifted to a path in the frame bundle so that its tangent vectors lie in a special subspace of codimension one in the three-dimensional tangent space of the frame bundle. The projection onto this subspace is defined by a differential 1-form on the orthonormal frame bundle, the connection form. This enabled the curvature properties of the surface to be encoded in differential forms on the frame bundle and formulas involving their exterior derivatives.

This approach is particularly simple for an embedded surface. Thanks to a result of , the connection 1-form on a surface embedded in Euclidean space  is just the pullback under the Gauss map of the connection 1-form on . Using the identification of  with the homogeneous space , the connection 1-form is just a component of the Maurer–Cartan 1-form on .

Global differential geometry of surfaces
Although the characterisation of curvature involves only the local geometry of a surface, there are important global aspects such as the Gauss–Bonnet theorem, the uniformization theorem, the von Mangoldt-Hadamard theorem, and the embeddability theorem. There are other important aspects of the global geometry of surfaces. These include:

Injectivity radius, defined as the largest  such that two points at a distance less than  are joined by a unique geodesic. Wilhelm Klingenberg proved in 1959 that the injectivity radius of a closed surface is bounded below by the minimum of  and the length of its smallest closed geodesic. This improved a theorem of Bonnet who showed in 1855 that the diameter of a closed surface of positive Gaussian curvature is always bounded above by ; in other words a geodesic realising the metric distance between two points cannot have length greater than .
Rigidity. In 1927 Cohn-Vossen proved that two ovaloids – closed surfaces with positive Gaussian curvature – that are isometric are necessarily congruent by an isometry of . Moreover, a closed embedded surface with positive Gaussian curvature and constant mean curvature is necessarily a sphere; likewise a closed embedded surface of constant Gaussian curvature must be a sphere (Liebmann 1899). Heinz Hopf showed in 1950 that a closed embedded surface with constant mean curvature and genus 0, i.e. homeomorphic to a sphere, is necessarily a sphere; five years later Alexandrov removed the topological assumption. In the 1980s, Wente constructed immersed tori of constant mean curvature in Euclidean 3-space.
Carathéodory conjecture: This conjecture states that a closed convex three times differentiable surface admits at least two umbilic points. The first work on this conjecture was in 1924 by Hans Hamburger, who noted that it follows from the following stronger claim: the half-integer valued index of the principal curvature foliation of an isolated umbilic is at most one.
Zero Gaussian curvature: a complete surface in  with zero Gaussian curvature must be a cylinder or a plane.
Hilbert's theorem (1901): no complete surface with constant negative curvature can be immersed isometrically in .

The Willmore conjecture. This conjecture states that the integral of the square of the mean curvature of a torus immersed in  should be bounded below by . It is known that the integral is Moebius invariant. It was solved in 2012 by Fernando Codá Marques and André Neves.
Isoperimetric inequalities. In 1939 Schmidt proved that the classical isoperimetric inequality for curves in the Euclidean plane is also valid on the sphere or in the hyperbolic plane: namely he showed that among all closed curves bounding a domain of fixed area, the perimeter is minimized by when the curve is a circle for the metric. In one dimension higher, it is known that among all closed surfaces in  arising as the boundary of a bounded domain of unit volume, the surface area is minimized for a Euclidean ball.
Systolic inequalities for curves on surfaces. Given a closed surface, its systole is defined to be the smallest length of any non-contractible closed curve on the surface. In 1949 Loewner proved a torus inequality for metrics on the torus, namely that the area of the torus over the square of its systole is bounded below by , with equality in the flat (constant curvature) case. A similar result is given by Pu's inequality for the real projective plane from 1952, with a lower bound of  also attained in the constant curvature case. For the Klein bottle, Blatter and Bavard later obtained a lower bound of . For a closed surface of genus , Hebda and Burago showed that the ratio is bounded below by . Three years later Mikhail Gromov found a lower bound given by a constant times , although this is not optimal. Asymptotically sharp upper and lower bounds given by constant times  are due to Gromov and Buser-Sarnak, and can be found in . There is also a version for metrics on the sphere, taking for the systole the length of the smallest closed geodesic. Gromov conjectured a lower bound of  in 1980: the best result so far is the lower bound of  obtained by Regina Rotman in 2006.

Reading guide
One of the most comprehensive introductory surveys of the subject, charting the historical development from before Gauss to modern times, is by . Accounts of the classical theory are given in ,  and ; the more modern copiously illustrated undergraduate textbooks by ,  and  might be found more accessible. An accessible account of the classical theory can be found in . More sophisticated graduate-level treatments using the Riemannian connection on a surface can be found in ,  and .

See also
Flatness (mathematics)
Tangent vector
Zoll surface

Notes

References

; translated from the Russian by K. Vogtmann and A. Weinstein.

; translated from 2nd edition of  Leçons sur la géométrie des espaces de Riemann (1951) by James Glazebrook.
 ; translated from Russian by V. V. Goldberg with a foreword by S. S. Chern.

 Volume I (1887), Volume II (1915) [1889], Volume III (1894), Volume IV (1896).

.
.
 translated by A.M. Hiltebeitel and J.C. Morehead; "Disquisitiones generales circa superficies curvas", Commentationes Societatis Regiae Scientiarum Gottingesis Recentiores Vol. VI (1827), pp. 99–146.
.
.

,

 Ian R. Porteous (2001) Geometric Differentiation: for the intelligence of curves and surfaces, Cambridge University Press .

 Full text of book

External links


The 1965 Major League Baseball season was contested from April 12 to October 14, 1965. The Los Angeles Dodgers and Minnesota Twins were the regular season champions of the National League and American League, respectively. The Dodgers then defeated the Twins in the World Series, four games to three.

The Houston Colt .45s became the Houston Astros, as they moved from Colt Stadium to the new Astrodome, becoming the first team to play their home games indoors, rather than outdoors.  It was also the final season for the Milwaukee Braves, before relocating and becoming the Atlanta Braves for the 1966 season. The Los Angeles Angels officially changed their name to California Angels on September 2, 1965, with only 28 games left in the season, in advance of their pending 1966 move to a new stadium in Anaheim, California.

In June, the first Major League Baseball draft was held in New York City. Teams chose players in reverse order of the previous season's standings, with picks alternating between American League and National League teams. With the first pick of the 1965 MLB draft, the Kansas City Athletics took Rick Monday, an outfielder from Arizona State University.

Awards and honors
Baseball Hall of Fame
Pud Galvin
Most Valuable Player
Zoilo Versalles, Minnesota Twins, SS (AL)
Willie Mays, San Francisco Giants, OF (NL)
Cy Young Award
Sandy Koufax, Los Angeles Dodgers
Rookie of the Year
Curt Blefary, Baltimore Orioles, OF (AL)
Jim Lefebvre, Los Angeles Dodgers, 2B (NL)
Gold Glove Award
Joe Pepitone (1B) (AL)
Bobby Richardson (2B) (AL)
Brooks Robinson (3B) (AL)
Zoilo Versalles (SS) (AL)
Tom Tresh (OF) (AL)
Al Kaline (OF) (AL)
Carl Yastrzemski (OF) (AL)
Bill Freehan (C) (AL)
Jim Kaat (P) (AL)

MLB statistical leaders

1 National League Triple Crown Pitching Winner

Standings

American League

National League

Postseason

Bracket

Managers

American League

National League

Home field attendance

Events

January–April
January 31 – Pitcher Pud Galvin is chosen for Hall of Fame induction by the Special Veterans Committee.
April 9 – U. S. President Lyndon Johnson is on hand for an exhibition game between the New York Yankees and recently renamed Houston Astros.  It is the first game to be played indoors at the new Harris County Domed Stadium, which will soon be called the Astrodome. Mickey Mantle hits the first home run in the new domed stadium.
April 12 – The first official game at the Astrodome is played in front of over 43,000 fans, as they watch the Philadelphia Phillies defeat the host Astros, 2–0.
April 28 – Lindsey Nelson, broadcaster for the New York Mets, calls today's Mets-Astros game from a gondola suspended above second base in the Astrodome.

May–August
June 8 – The first Major League draft is held for high school and collegiate players.  The Kansas City Athletics use the first overall pick to draft Rick Monday.  In the tenth round, the New York Mets select Alvin, Texas high school pitcher Nolan Ryan.
July 13 – At Minnesota, Willie Mays hits a home run with two walks and two runs to pace the National League to a 6–5 All-Star Game victory over the American League. Juan Marichal pitches three scoreless innings to earn Game MVP.
August 19 – Jim Maloney walks ten Cubs, none of whom score.  Leo Cárdenas hits a home run off of the Wrigley Field's left field foul pole in the tenth inning for the game's only run;  winning the no hitter for Maloney. It was Maloney's second 10 inning no-hitter of the season; he lost the first one 1–0 when the Mets scored a run on two hits in the bottom of the 11th inning.
August 22 – A game between the Los Angeles Dodgers and San Francisco Giants at Candlestick Park turns ugly when San Francisco's starting pitcher, Juan Marichal, batting against Sandy Koufax in the third inning, attacks Dodgers catcher John Roseboro with his bat. Both benches clear and a 14-minute brawl ensues, before peacemakers such as Koufax and the Giants' Willie Mays restore order. A shaken-up Koufax then gives up a 3-run homer to Mays and the Giants win 4–3 to retake 1st place. National League president Warren Giles suspends Marichal for eight games and fines him $1,750, and also forbids him to travel with his team to Dodger Stadium for the final series of the season against the Dodgers. Although the Giants take both games during a 14-game winning streak, the Dodgers would go on to win the pennant, using a 13-game winning streak of their own to clinch the pennant over the rival Giants on the season's next to last day.
August 30 – Casey Stengel announces his retirement as manager of the New York Mets, ending a fifty-five-year career as player and manager.  He is the only man to have played for or managed all four of New York's Major League clubs.

September–December
September 2 – Ernie Banks hits his 400th career home run helping the Chicago Cubs beat the St. Louis Cardinals 5–3.
September 9 – At Dodger Stadium, a duel between the Los Angeles Dodgers' Sandy Koufax and Bob Hendley of the Chicago Cubs is perfect until Dodger left fielder Lou Johnson walks in the fifth inning. Following a sacrifice bunt, Johnson steals third base and scores on a throwing error by Cubs catcher Chris Krug. Johnson later has the game's only hit, a 7th-inning double. Koufax's fourth no-hitter in four years is a perfect game, the first in Dodgers history. One hit by two clubs in a completed nine-inning game is also a major league record, as is the one runner left on base. The two base runners in a game is an ML record. For Chicago pitchers, it is the second one-hitter they've thrown against the Dodgers this year and lost. A week later in the rematch in Chicago's Wrigley Field, Hendley beats Koufax and the Dodgers, 2–1.
September 13 – The San Francisco Giants' Willie Mays' hits his 500th home run off the Houston Astros' Don Nottebart, and Juan Marichal earned his 22nd victory as the Giants beat Houston 5–1 at the Astrodome. The win is the Giants' 11th straight and gives them a -game lead.
September 16 – On the same day Pinky Higgins is fired as Boston Red Sox general manager, Dave Morehead no-hits the Cleveland Indians 2–0 before only 1,247 fans at Fenway Park. Not until Hideo Nomo in 2001 will another Red Sox pitcher hurl a no-hitter, and the next Fenway Park no-hitter won't come until 2002 (Derek Lowe).
September 18 – "Mickey Mantle Day" is celebrated at Yankee Stadium on the occasion of Mantle's 2,000th career game (all with the Yankees).
September 25 – Though he had not pitched in the Major Leagues since 1953, the Kansas City Athletics send Satchel Paige to the mound.  At (approximately) 59 years old, he is the oldest pitcher in Major League history.  In three innings, he strikes out one, and gives up one hit, a single to Carl Yastrzemski.  Paige does not earn a decision in the loss to Boston, 5–2.
September 26 – The Minnesota Twins gain their first American League pennant since moving from Washington in 1961, ironically by defeating the expansion Washington Senators 2–1 at Washington's D.C. Stadium (which was renamed "Robert F. Kennedy Stadium" in 1969). Minnesota's Jim Kaat (17–11) wins the clincher.
October 2 – Sandy Koufax wins his 26th game as the Dodgers beat the Braves 3–1, for their 14th win in their last 15 games as they clinch the N.L. pennant.
October 7 – Jim Kaat gives Minnesota a 2–0 World Series lead by driving in two runs, defeating Sandy Koufax and the Los Angeles Dodgers 5–1 at Minnesota's Metropolitan Stadium. The game is remembered for Minnesota's Bob Allison remarkable sliding catch of a Jim Lefebvre line drive in the wet grass of Metropolitan Stadium.
October 14 – Working on two days rest, Sandy Koufax strikes out 10 and throws a three-hit, 2–0 shutout against the Minnesota Twins in Game Seven of the World Series, giving the Los Angeles Dodgers a second World Championship in three years. Lou Johnson's 4th inning leadoff home run off the left field foul pole gives Koufax the only run he'll need. A Ron Fairly double and Wes Parker single in the same inning add an insurance run to account for the 2–0 final. Koufax, who threw complete game shutouts in games 5 and 7,  is named Series MVP.
November 22 – Outfielder Curt Blefary of the Baltimore Orioles edges California Angels pitcher Marcelino López for American League Rookie of the Year honors.
November 26 – Los Angeles Dodgers second baseman Jim Lefebvre, who hit .250 with 12 home runs and 69 RBI, is voted National League Rookie of the Year over Houston Astros second baseman Joe Morgan (.271, 14, 40) and San Francisco Giants pitcher Frank Linzy (9–3, 43 strikeouts, 1.43 ERA).
December 9 – Cincinnati Reds Outfielder Frank Robinson is traded to the Baltimore Orioles for pitcher Milt Pappas, pitcher Jack Baldschun and outfielder Dick Simpson. Robinson would go on to win the Triple Crown and the Most Valuable Player in the American League for 1966.

Television coverage
In 1965, ABC provided the first-ever nationwide baseball coverage with weekly Saturday broadcasts on a regional basis. ABC paid $5.7 million for the rights to the 28 Saturday/holiday Games of the Week. ABC's deal covered all of the teams except the New York Yankees and Philadelphia Phillies (who had their own television deals) and called for two regionalized games on Saturdays, Independence Day, and Labor Day. Each Saturday, ABC broadcast two 2 p.m. ET games and one game for the Pacific Time Zone at 5 p.m. ET/2 p.m local time.

Although MLB ended the Game of the Week blackouts in cities with MLB clubs, ABC blacked out the games in the home cities of the clubs playing those games.

Meanwhile, CBS continued to air its own slate of Games of the Week with the rights to individual teams, with its New York Yankees games in particular beating ABC in the ratings. At the end of the season, ABC declined to exercise its $6.5 million option for 1966, citing poor ratings, especially in New York.

Although it did not air Games of the Week this season, NBC continued to air the All-Star Game and World Series.

See also
1965 Nippon Professional Baseball season

References

External links
1965 Major League Baseball season schedule

Major League Baseball seasons


Thạnh Trị is a district (huyện) of Sóc Trăng province in the Mekong River Delta region of Vietnam. As of 2003 the district had a population of 86,262. The district covers an area of 281 km². The district capital lies at Phú Lộc.

References

Districts of Sóc Trăng province


Apison is an unincorporated community and census-designated place (CDP) in Hamilton County, Tennessee, United States. It is a rural area east of the city of Chattanooga, and borders Ooltewah, Collegedale, and north Georgia to the south. It is part of the Chattanooga, TN–GA Metropolitan Statistical Area. As of the 2020 census, its population was 4,428.

Apison is fifteen miles from Enterprise South Industrial Park, the location of Volkswagen North America.

History
In 1881 the railroad came through a small settlement, now known as Apison, that had previously had its mail delivered by horse and buggy. The town then was known as O'Brian that was assigned by the railroad officials. The name was later changed because of another Tennessee town already having the same name. Due to the large deposits of Apison shale rock found along the railroad tracks, the town was renamed to its current name.

In 2001, the old Apison Elementary School was turned into a Tres Dias retreat center.

Demographics

2020 census

As of the 2020 United States census, there were 4,428 people, 987 households, and 803 families residing in the CDP.

Popular culture
Apison was depicted in the X-Files episode "The Field Where I Died."

Education
Apison Elementary School is located at 10433 East Brainerd Road.  Middle school and high school students may attend either East Hamilton or Ooltewah Middle School/High School.

References

Census-designated places in Tennessee
Unincorporated communities in Tennessee
Census-designated places in Hamilton County, Tennessee
Unincorporated communities in Hamilton County, Tennessee


A robotics simulator is a simulator used to create an application for a physical robot without depending on the physical machine, thus saving cost and time. In some case, such applications can be transferred onto a physical robot (or rebuilt) without modification.

The term robotics simulator can refer to several different robotics simulation applications. For example, in mobile robotics applications, behavior-based robotics simulators allow users to create simple worlds of rigid objects and light sources and to program robots to interact with these worlds. Behavior-based simulation allows for actions that are more biotic in nature when compared to simulators that are more binary, or computational. Also, behavior-based simulators may learn from mistakes and can demonstrate the anthropomorphic quality of tenacity.

One of the most popular applications for robotics simulators is for 3D modeling and rendering of a robot and its environment. This type of robotics software has a simulator that is a virtual robot, which can emulate the motion of a physical robot in a real work envelope. Some robotics simulators use a physics engine for more realistic motion generation of the robot. The use of a robotics simulator to develop a robotics control program is highly recommended regardless of whether a physical robot is available or not. The simulator allows for robotics programs to be conveniently written and debugged off-line with the final version of the program tested on a physical robot. This applies mainly to industrial robotic applications, since the success of off-line programming depends on how similar the physical environment of a robot is to a simulated environment.

Sensor-based robot actions are much more difficult to simulate and/or to program off-line, since the robot motion depends on instantaneous sensor readings in the real world.

Features
Modern simulators tend to provide the following features:
 Fast robot prototyping:
 Using the own simulator as creation tool
 Using external tools
 Physics engines for realistic movements: Most simulators use Bullet, ODE or PhysX.
 Realistic 3d rendering: Standard 3d modeling tools or third-party tools can be used to build the environments.
 Dynamic robot bodies with scripting: C, C++, Perl, Python, Java, URBI, and MATLAB languages used by Webots; C++ used by Gazebo.

Simulators
Among the newest technologies available today for programming are those which use a virtual simulation. Simulations with the use of virtual models of the working environment and the robots themselves can offer advantages to both the company and programmer. By using a simulation, costs are reduced, and robots can be programmed off-line which eliminates any down-time for an assembly line. Robot actions and assembly parts can be visualized in a three-dimensional virtual environment months before prototypes are even produced. Writing code for a simulation is also easier than writing code for a physical robot. While the move toward virtual simulations for programming robots is a step forward in user interface design, many such applications are only in their infancy.

General information

Technical information

Infrastructure

Support

Code quality

Features

Robot families

Supported actuators

Supported sensors

References


Lake Washington steamboats and ferries operated from about 1875 to 1951, transporting passengers, vehicles and freight across Lake Washington, a large lake to the east of Seattle, Washington.  Before modern highways and bridges were built, the only means of crossing the lake, other than the traditional canoe or rowboat, was by steamboat, and, later, by ferry.  While there was no easily navigable connection to Puget Sound, the Lake Washington Ship Canal now connects Lake Washington to Lake Union, and from there Puget Sound is reached by way of the Hiram M. Chittenden Locks.

Beginnings
In the 1870s the sternwheeler Lena C. Gray was built in Seattle, and operated on Lake Washington most of the time, towing barges.  In about 1886, Edward F. Lee established a shipyard on the west side Lake Washington.  The Lee yard is believed to have built the following ships that worked Lake Washington and Puget Sound: the small steam scow Squak, Laura Maud, Elfin, Hattie Hansen (also known as Sechelt), and Mist.  Other early steamboats on the lake were Kirkland and Mary Kraft.

G.V. Johnson also built a shipyard on the lake in 1888, and from it launched, among others, the steamers L.T. Haas, Acme, and City of Renton.  Another early steamboat on Lake Washington was the clipper-bowed yacht-like Cyrene, built in 1891. and the C.C. Calkins.  In 1893, Hattie Hansen, later to have a tragic end off Vancouver Island was built at the Lee shipyard.  Hattie Hansen only served on the lake until the next year, when she was brought down the Black and Duwamish rivers and placed on the Seattle-Dogfish Bay route under Capt. J.J. Hansen.

Rise of Anderson Steamboat Company
Steamboat operations on Lake Washington eventually became almost the sole province of one firm, Anderson Steamboat Company, founded by John L. Anderson, an immigrant from Sweden.  His brother, Adolph Anderson, was also a steamboat master on the lake.  The company’s headquarters was at Leschi Park, and the company had a shipyard across the lake at Houghton.

Anderson had worked his way up from deckhand to skipper of the C.C. Calkins, and in 1895, he was able to buy his one steamboat, the Winnifred, which burned the next year, 1896, at Leschi Park. Anderson then bought for $1,600, the aging propeller steamer Quickstep, which had been built at Astoria in 1877.  Quickstep also burned in 1896, and Captain Anderson, undaunted, salvaged her engines to place in a new boat he would build at his own yard, Lady of the Lake.

Construction of steamboats on lake
In 1900, the Anderson yard built the steam launch Elsinore, and for a while the Anderson concern ran her between Leschi and Madison parks.  Later she was sold to Capt. George Jenkins, who ran her for many years on Lake Whatcom. L.T. Haas, built for the Interlaken Steamboat Company, was launched in 1902, and later acquired by Captain Anderson.  Like the fate of many other boats, L.T. Haas was destroyed by fire in 1909.

In 1904 Anderson built the steel-hulled sternwheel passenger steamer Mercer (84 tons, 65' long).  In 1906, the passenger steamer C.F. (8 tons) was built at Tacoma and later operated on Lake Washington at Leschi Park by Adolph Anderson (brother of John Anderson and Louis Birch.  Also in 1906, the Anderson yard built the passenger steamer Fortuna (81 tons, 107' long) for the partnership between Anderson and the Seattle Street Railway.  Fortuna had compound engines that had been built at Seattle Machine Works.  Fortuna stayed in service until 1938, although in 1915 the vessel was rebuilt as an automobile ferry.

In 1909, the Anderson yard built Triton (49 tons, 78' feet) at Houghton for the Lake Washington service.  Also in that year Capt. Simon Brunn built at Lenora the steamer Juanita for passenger service on the Kirkland-Madison Park run.  (Juanita only lasted a few years.  In 1912, she was being taken down to the Sound on the Cedar River, and ran aground on a sand bar, then burned.)  Additionally, to serve the crowds at the Alaska–Yukon–Pacific Exposition, Cyrene was rebuilt and enlarged, her pilot house being moved to the upper deck. Captain Anderson preferred mystic-sounding names for his boats, of which by 1909 he had fourteen, including among them the Atalanta, Aquilo, and Xanthus.  Other boats on the lake included the steam launch Ramona and the little steamer May Blossom, which used to run from Lake Washington up Sammamish Slough to Bothell.

Routes on the lake
Anderson’s company had over 50 stops on the lake, including the elegant C.C._Calkins Hotel on Mercer Island.  The company’s main terminal was at Leschi which in 1888 was connected to Seattle by cable car.  Leschi Park was a popular resort, for example over 40,000 people went there on the Fourth of July, 1908, and this was good for the water tour business which was an important part of the Anderson firm’s trade.

In 1911, the Anderson Steamboat Company offered a "beautiful 25-mile cruise around Mercer Island for 25-cents."  The other advertised routes and departures were:
Fortuna left Madison Park eight times daily for Kirkland and Juanita;
Aquilo left Madison Park seven times daily for Houghton and the "Bay Route";
Triton left Leschi Park eleven times daily for Medina, Bellevue and the "Scenic Route";
 Atlanta left Leschi Park six times daily for points around Mercer Island;
Cyrene left Leschi Park eleven times daily for East Seattle and points on the west side of Mercer Island.

Another small ferry, Gazelle, ferried passengers to Cozy Cove, located between Hunts Point and Yarrow Point.

Business fell for the traditional passenger only boats as interurban train routes and then automobiles came to dominate transportation.  In 1917, the small steamer Swan and, reportedly  Urania were transferred to Puget Sound, where they continued to be operated by Anderson Steamboat Company in passenger service to Port Orchard.  This is doubtful as to Urania as she burned for a total loss off Houghton on February 12, 1912.  In 1926, the steamers Bremerton (ex-Kitsap) and Reliance, belonging to the Kitsap County Transportation Company, were rafted up together with the Anderson tug Dart.  A fire started and all three vessels were destroyed.

Ferries on Lake Washington
Ferries joined the Lake Washington fleet, starting in 1900 with the side-wheel ferry King County, which had the bad luck of stranding in mudbank on her launching with a large number of county officials aboard.  Poorly built, she had chronic mechanical problems, and was condemned in 1908.  She was replaced in 1908 with the Washington.  Later, the Anderson yard at Houghton built the steel-hulled propeller ferry Lincoln (580 tons, 147.3' long, 43' on the beam, with 12.6' depth of hold).  Lincoln was put into operation by King County on the Madison Park-Kirkland run.  Later, the Anderson yard built another steam propeller ferry, the Issaquah, a double-ender (288 tons, 114' long, 38' on the beam, with 9.0 depth of hold), which included then-new features such as upper levels for vehicles above the main deck and an adjustable loading ramp.  She was placed on the route between Leschi Park and Newport, stopping in between at Roanoke, on Mercer Island.  At Newport, the steam ferry Issaquah connected with the newly built highway that to Lake Sammamish, Fall City, Issaquah, North Bend, and Snoqualmie Pass.

In 1913, the Port of Seattle built for service on Lake Washington, the large steel-hulled sidewheel ferry Leschi (433 tons, 169' long, 33' foot beam, 8.3' draft).  She was fast (14 knots) and in April 1913, she was placed on the run between Leschi Park, Medina and Bellevue.  Leschi was the first publicly owned ferry in the region.  To keep his customers, Captain Anderson generously offer free service on his boats Fortuna and Atlanta to the launching of the Leschi. Even so, the ferries, subsidized as they were by King County and by the Port of Seattle, quickly made unprofitable private operation on Lake Washington of private passenger boats and ferries.

Medina City Hall was the Medina ferry terminal and contains some history of the times. The dock which jutted southward has been demolished.  An anchor of the Leschi was found and salvaged in about 1970.

The former Columbia River motor ferry Tourist II was brought to the lake and run as a tourist boat under the name .

Seaplane collision
Seaplanes were new in the early 1920s. On June 11, 1920, a seaplane collided with the steamer Dawn.

World War II
However, during World War II the ferries carried workers to the Lake Washington Shipyard, where auxiliary ships were built for the U.S. Navy, and made a tidy profit.

End of business
By 1922 the county ferry system was in such financial difficulty that it appointed its largest competitor to run the system. The Anderson fleet was eventually bought out by King County.  Ferry service on the lake declined with the completion of the floating bridges across Lake Washington, including the 1940 opening of the Lacey V. Murrow Memorial Bridge. The last ferry, Leschi, stopped running in 1950. A year after the tolls were removed from the floating bridge, the last ferry route was retired, and the boat was sold to the Washington State Ferries, which had taken over the Puget Sound Navigation Company in 1951.

Notes

References

 Kline, Mary S., and Bayless, G.A., Ferryboats -- A Legend on Puget Sound, Bayless Books, Seattle, WA 1983
 Newell, Gordon R. ed., H.W. McCurdy Marine History of the Pacific Northwest,  Superior Publishing, Seattle WA 1966
 Newell, Gordon R., Ships of the Inland Sea -- The Story of the Puget Sound Steamboats, Binford & Mort (2d Ed. 1960)

+Lake Washington
History of King County, Washington
Transportation in King County, Washington
Washington steamboats and ferries
Ferry routes in western Washington (state)
History of transportation in Washington (state)
Water transport in Seattle
History of Kirkland, Washington


Suomen AsuntoHypoPankki is a Finnish bank specialized in mortgage lending. The parent company of Suomen AsuntoHypoPankki is The Mortgage Society of Finland, a building society established in 1860. The Mortgage Society has more than 10,000 members.

Banks of Finland
Banks established in 2002
Finnish companies established in 2002


Pinanga crassipes is a species of palm tree in the family Arecaceae. It is endemic to Borneo.

References

crassipes
Endemic flora of Borneo
Trees of Borneo
Plants described in 1886
Taxa named by Odoardo Beccari