The Central Idea

Curvature describes how strongly a geometric object bends away from a locally flat reference.

Local geometry studies what happens in a small neighborhood around a point.

The central principle is:

a curved space can look nearly flat when examined closely enough, even though its large-scale geometry is not Euclidean.

From Straightness to Curvature

The previous lesson used geodesics to describe intrinsically straight paths. Curvature asks a related question:

how does the geometry surrounding those paths differ from flat Euclidean geometry?

In a flat plane, nearby geodesics, triangles, circles, and distance measurements obey familiar Euclidean relationships. On a curved surface, those relationships begin to change.

Curvature Appears at Several Levels

The word curvature is used for several related but distinct ideas.

Keeping these meanings separate prevents several common misconceptions.

Local Geometry Begins with Approximation

A smooth curve looks increasingly like its tangent line when viewed at a sufficiently small scale.

Likewise, a smooth surface looks increasingly like its tangent plane when viewed near a single point.

This is a geometric version of linear approximation: complicated shape is replaced locally by the simplest object that matches its first-order behavior.

The Tangent Line as a Local Model

Suppose a plane curve is written parametrically as

\[ \mathbf{r}(t)=\langle x(t),y(t)\rangle. \]

When

\[ \mathbf{r}'(t_0)\neq\mathbf{0}, \]

the vector

\[ \mathbf{r}'(t_0) \]

points in the tangent direction at the point \(\mathbf{r}(t_0)\).

Near that point, the curve is approximately

\[ \mathbf{r}(t) \approx \mathbf{r}(t_0)+(t-t_0)\mathbf{r}'(t_0). \]

The Tangent Plane as a Local Model

For a smooth surface written as

\[ z=f(x,y), \]

the tangent plane at \((a,b,f(a,b))\) is

\[ z-f(a,b) =f_x(a,b)(x-a)+f_y(a,b)(y-b). \]

The tangent plane captures the surface's first-order behavior near the point.

Curvature describes part of what the tangent plane does not capture: the second-order bending away from that local flat model.

A Simple Picture of Curve Curvature

Imagine driving along a road at constant speed.

On a straight segment, the direction of travel does not change. On a bend, the direction changes continuously.

A sharper bend changes direction more rapidly per unit distance traveled. That is the basic idea measured by curve curvature.

Curvature of a Circle

A circle provides the simplest constant-curvature curve.

If the circle has radius \(R\), its curvature is

\[ \boxed{\kappa=\frac{1}{R}}. \]

A small circle bends sharply and has large curvature. A large circle bends gently and has small curvature.

As

\[ R\to\infty, \]

the curvature approaches zero and the circle looks locally more like a straight line.

Radius of Curvature

When a plane curve has nonzero curvature \(\kappa\), we define its radius of curvature by

\[ \boxed{\rho=\frac{1}{\kappa}}. \]

The radius of curvature is the radius of the circle that best matches the curve's bending at that point.

Small \(\rho\) means sharp bending. Large \(\rho\) means gentle bending.

The Osculating Circle

The circle that best matches a smooth curve near a point is called the osculating circle.

Its radius is the radius of curvature

\[ \rho=\frac{1}{\kappa}. \]

The tangent line matches the curve's direction. The osculating circle goes one step farther and matches its local bending.

Curvature of a Plane Curve

For a sufficiently smooth parametric plane curve

\[ \mathbf{r}(t)=\langle x(t),y(t)\rangle, \]

with nonzero velocity, the curvature is

\[ \boxed{ \kappa = \frac{|x'y''-y'x''|} {(x'^2+y'^2)^{3/2}} }. \]

This formula measures how rapidly the tangent direction changes relative to distance traveled along the curve.

Example: A Straight Line Has Zero Curvature

Consider

\[ \mathbf{r}(t)=\langle 2t+1,3t-4\rangle. \]

Then

\[ x'=2, \qquad y'=3, \qquad x''=0, \qquad y''=0. \]

Therefore,

\[ \kappa = \frac{|2(0)-3(0)|}{(2^2+3^2)^{3/2}} =\boxed{0}. \]

Example: Curvature of a Circle

Parameterize a circle of radius \(R\) by

\[ x(t)=R\cos t, \qquad y(t)=R\sin t. \]

Then

\[ x'=-R\sin t, \qquad y'=R\cos t, \]

and

\[ x''=-R\cos t, \qquad y''=-R\sin t. \]

Substitution gives

\[ \kappa = \frac{R^2}{R^3} =\boxed{\frac1R}. \]

Curves and Surfaces Use Different Curvature Ideas

A curve has essentially one tangent direction at each regular point, so its bending can be summarized by a single curvature value.

A surface has many tangent directions through the same point. Its bending can therefore depend on which direction we examine.

Surface curvature requires additional structure.

Normal Sections

At a point on a smooth surface, choose a plane containing the surface normal vector. The intersection of that plane with the surface produces a curve called a normal section.

Different choices of direction through the tangent plane produce different normal sections and potentially different curvatures.

Principal Curvatures

Among the normal curvatures through a point, two important extreme values are called the principal curvatures.

Denote them by

\[ k_1 \qquad\text{and}\qquad k_2. \]

They summarize the strongest and weakest signed bending directions at the point.

This is an advanced idea, but it gives a compact route to two fundamental measures of surface curvature.

Gaussian Curvature

The Gaussian curvature of a smooth surface at a point is the product of the two principal curvatures:

\[ \boxed{K=k_1k_2}. \]

The sign of \(K\) provides an important local classification.

Positive Curvature

At a point of positive Gaussian curvature, the principal curvatures have the same sign.

A sphere is the standard example. Its surface bends the same way in every tangent direction.

Positive curvature tends to make nearby geodesics converge relative to Euclidean expectations and contributes to triangle angle sums greater than \(180^\circ\).

Zero Gaussian Curvature

When

\[ K=0, \]

at least one principal curvature is zero.

A plane has zero principal curvature in every direction, so it is flat both intrinsically and extrinsically.

A cylinder provides a subtler example: it bends in space, yet its Gaussian curvature is zero.

Negative Curvature

At a point of negative Gaussian curvature, the principal curvatures have opposite signs.

The local shape is saddle-like: the surface bends one way in one principal direction and the opposite way in the other.

Hyperbolic geometry is modeled by spaces of constant negative intrinsic curvature.

A Surface Need Not Have One Curvature Everywhere

Many surfaces have curvature that varies from point to point.

An ellipsoid, for example, has positive Gaussian curvature throughout, but its curvature generally changes with location.

More complicated surfaces can contain regions of positive, zero, and negative curvature.

Constant Curvature Geometries

Three especially important model geometries have constant curvature.

The precise numerical value depends on the chosen scale, but the sign distinguishes the three geometric regimes.

Gaussian Curvature of a Sphere

A sphere of radius \(R\) bends equally in every tangent direction.

Its principal curvatures are

\[ k_1=\frac1R, \qquad k_2=\frac1R. \]

Therefore,

\[ \boxed{K=\frac{1}{R^2}}. \]

Example: Comparing Two Spheres

Suppose one sphere has radius \(R=2\) and another has radius \(R=10\).

Their Gaussian curvatures are

\[ K_1=\frac{1}{2^2}=\frac14 \]

and

\[ K_2=\frac{1}{10^2}=\frac1{100}. \]

The smaller sphere has greater curvature. The larger sphere appears flatter when examined over the same small physical distance.

Why a Large Sphere Looks Locally Flat

Earth's surface is curved, but a small parking lot can often be modeled as a flat Euclidean plane with excellent accuracy.

The reason is scale. If the region being studied is tiny compared with the radius of curvature, curvature effects are correspondingly small.

Local Euclidean geometry is therefore an approximation, not a claim that the entire surface is globally flat.

Local Euclidean Behavior

Smooth two-dimensional surfaces are locally modeled by the Euclidean plane.

In a sufficiently small neighborhood, we can choose coordinates in which distances and angles are close to their ordinary Euclidean forms.

Curvature becomes visible through the higher-order corrections that remain after this first local approximation.

Local Flatness Does Not Mean Zero Curvature

The phrase locally Euclidean can be misunderstood.

It does not mean that a small neighborhood has exactly zero curvature. It means that, at sufficiently small scale, Euclidean geometry provides the leading approximation.

A sphere has positive curvature at every point even though every tiny patch can be approximated by a tangent plane.

Intrinsic and Extrinsic Geometry

Extrinsic geometry describes how a surface is embedded in a surrounding space.

Intrinsic geometry uses quantities that can be measured from within the surface itself, such as distances, angles, and geodesics.

The distinction is essential because a surface may look bent from outside while remaining intrinsically flat.

The Cylinder: Bent but Intrinsically Flat

A circular cylinder is visibly bent in three-dimensional space.

Yet a sheet of paper can be rolled into a cylinder without stretching or tearing it. Distances measured within the paper are preserved.

This tells us that the plane and cylinder share the same local intrinsic geometry.

Gaussian Curvature of a Cylinder

For a cylinder of radius \(R\), one principal curvature is

\[ k_1=\frac1R, \]

while the curvature in the axial direction is

\[ k_2=0. \]

Therefore,

\[ \boxed{K=k_1k_2=0}. \]

The cylinder is extrinsically bent but has zero Gaussian curvature.

Unrolling Preserves Intrinsic Geometry

If we cut a cylinder along a vertical line and unroll it into a rectangle, we do not need to stretch the surface.

Lengths, angles, and local areas are preserved by this unrolling.

That is why geodesics on a cylinder become straight lines in the unrolled rectangle.

A Sphere Cannot Be Flattened Without Distortion

A sphere behaves differently from a cylinder.

No map can flatten an entire spherical surface into a plane while preserving all distances and angles simultaneously.

Some distortion is unavoidable because the sphere and plane have different intrinsic Gaussian curvature.

Gauss's Remarkable Theorem

Carl Friedrich Gauss proved a foundational result known as the Theorema Egregium, or "Remarkable Theorem."

One of its central consequences is that Gaussian curvature is an intrinsic property: it can be determined from measurements made within the surface.

We do not need an external three-dimensional viewpoint to discover whether the intrinsic geometry is positively, negatively, or zero curved.

How Could an Intrinsic Observer Detect Curvature?

Imagine creatures living entirely on a surface with no access to an outside dimension.

They could still study:

Deviations from Euclidean expectations reveal intrinsic curvature.

Circles Reveal Curvature

In Euclidean geometry, a circle of radius \(r\) has circumference

\[ C=2\pi r. \]

On curved surfaces, a geodesic circle can have a different circumference from \(2\pi r\).

Positive curvature tends to make the circumference smaller than the Euclidean prediction, while negative curvature tends to make it larger.

Small Circles on a Sphere

On a sphere of radius \(R\), a geodesic circle of intrinsic radius \(r\) has circumference

\[ \boxed{C=2\pi R\sin\left(\frac{r}{R}\right)}. \]

For small \(r/R\), we use

\[ \sin u\approx u, \]

giving

\[ C\approx2\pi r. \]

This shows mathematically why sufficiently small spherical neighborhoods behave approximately like the Euclidean plane.

Positive Curvature Shortens Circle Circumference

For positive \(r\) with \(0<r<\pi R\),

\[ \sin\left(\frac{r}{R}\right) < \frac{r}{R}. \]

Therefore,

\[ 2\pi R\sin\left(\frac{r}{R}\right) <2\pi r. \]

A spherical geodesic circle has smaller circumference than a Euclidean circle with the same intrinsic radius.

Hyperbolic Circles

In a hyperbolic plane of constant curvature

\[ K=-\frac1{R^2}, \]

a geodesic circle of intrinsic radius \(r\) has circumference

\[ \boxed{C=2\pi R\sinh\left(\frac{r}{R}\right)}. \]

Since \(\sinh u>u\) for \(u>0\), hyperbolic circles have more circumference than Euclidean circles with the same intrinsic radius.

Curvature Changes How Space Expands

Circle circumference gives a useful geometric interpretation of curvature.

This difference becomes increasingly visible as distances grow.

Nearby Geodesics Also Reveal Curvature

Another way to detect curvature is to watch how geodesics that begin near one another behave.

Roughly speaking:

This idea becomes important in differential geometry, relativity, and the study of dynamical systems.

Geodesic Deviation

In advanced geometry, the relative acceleration of nearby geodesics is described by a geodesic deviation equation.

Its full tensor form belongs to differential geometry, but the underlying message is accessible now:

curvature controls how neighboring intrinsically straight paths converge or diverge.

Local Geometry and the Metric

A metric tells us how to measure infinitesimal distance.

In the Euclidean plane,

\[ ds^2=dx^2+dy^2. \]

On a curved surface, the local distance rule may take a more general form,

\[ ds^2 =E\,du^2+2F\,du\,dv+G\,dv^2, \]

where \(E\), \(F\), and \(G\) can vary from point to point.

The Metric Encodes Local Geometry

Once the metric is known, we can calculate intrinsic quantities such as

This is why the metric is one of the central objects of modern geometry.

Coordinates Are Not the Geometry

A curved space can be described using many different coordinate systems. The formulas may look very different even when they describe the same intrinsic geometry.

Curvature is therefore not simply a visual feature of a coordinate grid or a diagram.

Good geometric quantities remain meaningful when coordinates change.

Spherical Coordinates and the Sphere's Metric

On a sphere of radius \(R\), let \(\theta\) denote colatitude and \(\phi\) longitude.

The intrinsic line element is

\[ \boxed{ ds^2 =R^2\,d\theta^2 +R^2\sin^2\theta\,d\phi^2 }. \]

The coefficients vary with \(\theta\), reflecting how east-west distances depend on latitude.

Why Longitude Spacing Changes

Near the equator, two meridians separated by a small longitude difference are relatively far apart.

Near a pole, the same longitude difference corresponds to a much smaller physical separation.

The factor

\[ \sin\theta \]

in the spherical metric captures exactly this local geometric change.

Curvature Has Units

Curve curvature has units of inverse length:

\[ [\kappa]=L^{-1}. \]

Gaussian curvature has units of inverse length squared:

\[ [K]=L^{-2}. \]

This matters whenever the same geometric shape is rescaled.

Scaling Changes the Numerical Curvature

If every length in a surface is multiplied by a factor \(c>0\), Gaussian curvature scales by

\[ \boxed{K\mapsto\frac{K}{c^2}}. \]

Doubling every length divides Gaussian curvature by \(4\).

The sign of curvature remains unchanged.

Example: Scaling a Sphere

A sphere of radius \(3\) has

\[ K=\frac{1}{9}. \]

If all lengths are doubled, its radius becomes \(6\), so

\[ K=\frac{1}{36}. \]

The curvature is one-fourth as large, exactly as the scaling law predicts.

Mean Curvature

Another important surface quantity is the mean curvature, defined by

\[ \boxed{H=\frac{k_1+k_2}{2}}. \]

Mean curvature is different from Gaussian curvature. It is especially useful in the study of minimal surfaces, soap films, capillarity, and geometric evolution.

For this lesson, Gaussian curvature is the primary intrinsic measure.

Gaussian and Mean Curvature Are Not Interchangeable

On a cylinder of radius \(R\),

\[ k_1=\frac1R, \qquad k_2=0. \]

Therefore,

\[ K=0, \]

but

\[ H=\frac{1}{2R}. \]

The cylinder has zero Gaussian curvature while still having nonzero mean curvature as an embedded surface.

Curvature and Triangle Angle Sums

Triangles provide one of the clearest intrinsic tests of curvature.

In Euclidean geometry,

\[ A+B+C=\pi. \]

In positively curved geometry, geodesic triangles can have

\[ A+B+C>\pi, \]

while in negatively curved geometry they can have

\[ A+B+C<\pi. \]

The next lesson develops this relationship systematically.

Spherical Excess as a Curvature Signal

On a sphere, the amount

\[ E=A+B+C-\pi \]

is called the spherical excess.

For a sphere of radius \(R\), the area \(\mathcal{A}\) of a geodesic triangle satisfies

\[ \mathcal{A}=R^2E. \]

Since

\[ K=\frac1{R^2}, \]

this can also be written

\[ E=K\mathcal{A}. \]

Hyperbolic Angle Defect as a Curvature Signal

In a hyperbolic plane of constant curvature

\[ K=-\frac1{R^2}, \]

geodesic triangles have an angle sum below \(\pi\).

The angle defect

\[ D=\pi-(A+B+C) \]

is positive and is proportional to the triangle's area.

This is another direct connection between local curvature and measurable geometry.

Small Triangles Look Nearly Euclidean

On a smooth surface, a sufficiently small geodesic triangle has angle sum close to \(\pi\).

The curvature effect becomes smaller as the triangle's area shrinks.

This is another expression of local Euclidean approximation.

Curvature Is Local, Topology Is Global

Curvature describes geometric behavior near points. Topology describes properties preserved under continuous deformation, such as connectedness and the number of holes.

These subjects interact, but they are not the same.

A cylinder and a plane can both have zero Gaussian curvature locally even though their global topology differs.

Local Geometry Does Not Determine Every Global Feature

Two spaces can have the same local curvature while differing globally.

For example, a flat plane and a flat torus can both have zero local Gaussian curvature, yet their global structures are different.

Local measurements reveal curvature, but global geometry may require additional information about topology and large-scale identification.

Curvature and Mapmaking

Cartography provides a practical consequence of intrinsic curvature.

Because a sphere and a plane have different Gaussian curvature, no flat map of Earth can preserve every geometric quantity at once.

Map projections must choose which properties to preserve approximately or exactly and which distortions to accept.

Curvature in Engineering

Engineers track curvature when designing roads, railways, pipes, shells, aircraft surfaces, and structural components.

Curvature affects turning requirements, stresses, manufacturability, visibility, aerodynamic form, and how surfaces can be fabricated from flat materials.

Curvature in Computer Graphics

In computer graphics and geometric modeling, local curvature helps describe surface shape.

It is used in tasks such as

Curvature in Physics

Modern physics uses geometric curvature far beyond ordinary surfaces.

In general relativity, gravity is described through the curvature of spacetime rather than as a conventional force acting inside a fixed flat background.

The mathematical curvature used there is more advanced than Gaussian curvature, but the foundational idea is the same: local geometric measurements can reveal that the ambient geometry is not flat.

Curvature in Data and Optimization

Curved-space ideas also appear in statistics, machine learning, robotics, and optimization when data or configurations lie on nonlinear spaces.

Examples include orientations, rotations, probability distributions, and constrained configuration spaces.

Local linear models are useful, but curvature tells us when those models begin to lose accuracy.

Common Error: Curved in Space Means Intrinsically Curved

A surface can look bent from outside without having nonzero Gaussian curvature.

The cylinder is the standard counterexample:

\[ \boxed{K=0}. \]

Extrinsic bending and intrinsic curvature are different concepts.

Common Error: Zero Gaussian Curvature Means Visually Flat

Zero Gaussian curvature does not require a surface to lie in a plane.

Cylinders and other developable surfaces can be visibly bent in three dimensions while remaining intrinsically flat wherever they are smooth.

Common Error: Local Euclidean Means Globally Euclidean

A sphere is locally approximated by a Euclidean tangent plane, but globally it has positive curvature and very different geodesic behavior.

Local approximation does not erase global curvature.

Common Error: Every Surface Has Constant Curvature

The sphere, Euclidean plane, and ideal hyperbolic plane are especially useful because their curvatures are constant.

Most surfaces are not so uniform. Their curvature changes with position.

Common Error: Curve Curvature and Gaussian Curvature Are the Same

The curvature \(\kappa\) of a path and the Gaussian curvature \(K\) of a surface answer different questions.

A curve can bend strongly while lying in a flat plane whose Gaussian curvature is zero.

Common Error: A Geodesic Must Look Straight Externally

A spherical great circle is a geodesic even though it appears curved in three-dimensional space.

Geodesic straightness is intrinsic to the surface geometry.

Common Error: Curvature Has No Scale

Curvature is not merely a label such as positive or negative.

Its magnitude matters. A sphere of radius \(1000\) has much smaller Gaussian curvature than a sphere of radius \(1\):

\[ \frac{1}{1000^2} \ll 1. \]

Scale determines how quickly non-Euclidean effects become noticeable.

A Reliable Procedure for Thinking about Local Curvature

  1. Identify whether the object is a curve or a surface.
  2. Separate intrinsic questions from extrinsic appearance.
  3. Choose a point or small neighborhood to study.
  4. Use the tangent line or tangent plane as the first local approximation.
  5. Examine how the object departs from that flat approximation.
  6. For a surface, determine the relevant principal or Gaussian curvature when available.
  7. Interpret the sign: positive, zero, or negative.
  8. Compare geometric measurements with Euclidean expectations.
  9. Check whether the curvature varies from point to point.
  10. Keep local conclusions separate from global topological conclusions.

Example: Identify the Curvature Type

Classify the local Gaussian curvature of each standard surface.

  1. A Euclidean plane.
  2. A sphere.
  3. A circular cylinder.
  4. An ideal hyperbolic plane.

The classifications are

\[ \boxed{0,\quad +,\quad 0,\quad -}. \]

The cylinder is the important reminder that extrinsic bending does not automatically imply nonzero Gaussian curvature.

Example: Radius from Gaussian Curvature

A sphere has Gaussian curvature

\[ K=\frac1{49}. \]

Since

\[ K=\frac1{R^2}, \]

we solve

\[ \frac1{R^2}=\frac1{49}. \]

Therefore,

\[ \boxed{R=7}. \]

Example: Curve Radius of Curvature

A curve has curvature

\[ \kappa=0.2\text{ m}^{-1}. \]

Its radius of curvature is

\[ \rho=\frac1{\kappa} =\frac1{0.2} =\boxed{5\text{ m}}. \]

Example: Scaling Curvature

Suppose a model surface has Gaussian curvature

\[ K=12\text{ m}^{-2}. \]

Every length is enlarged by a factor of \(3\). The new curvature is

\[ K_{\text{new}} =\frac{12}{3^2} =\boxed{\frac43\text{ m}^{-2}}. \]

Example: Comparing Circle Growth

Suppose three spaces contain small geodesic circles with the same intrinsic radius.

Relative to the Euclidean circumference \(2\pi r\):

The difference gives an intrinsic way to infer curvature.

Practice 1: Circle Curvature

Find the curvature of a circle with radius \(8\).

Practice 2: Radius of Curvature

A plane curve has curvature

\[ \kappa=\frac14\text{ cm}^{-1}. \]

Find its radius of curvature.

Practice 3: Gaussian Curvature of a Sphere

Find the Gaussian curvature of a sphere with radius \(5\).

Practice 4: Recover the Sphere Radius

A sphere has

\[ K=\frac1{144}. \]

Find its radius.

Practice 5: Intrinsic or Extrinsic?

Classify each quantity or observation as primarily intrinsic or extrinsic.

  1. Distance measured along a surface.
  2. How the surface bends inside three-dimensional space.
  3. Angles between tangent directions measured within the surface.
  4. The visible shape of a cylinder viewed from outside.

Practice 6: Cylinder Curvature

A circular cylinder has principal curvatures

\[ k_1=\frac16, \qquad k_2=0. \]

Find its Gaussian curvature and mean curvature.

Practice 7: Scaling

A surface has Gaussian curvature \(K=20\). Every length is multiplied by \(2\). Find the new Gaussian curvature.

Practice 8: Curvature from Circle Circumference

A geodesic circle has the same intrinsic radius as a Euclidean circle but a slightly smaller circumference. Which curvature sign does this suggest?

Practice 9: Local versus Global

Explain why a small region of Earth's surface can be approximated by a flat map even though Earth has positive spherical curvature in the idealized spherical model.

Practice 10: Identify the Misconception

A student says, "A cylinder is curved in three-dimensional space, so its Gaussian curvature must be positive."

Explain the error.

Practice Answers

Practice 1

For a circle,

\[ \kappa=\frac1R. \]

Therefore,

\[ \boxed{\kappa=\frac18}. \]

Practice 2

\[ \rho=\frac1\kappa =\frac{1}{1/4} =\boxed{4\text{ cm}}. \]

Practice 3

\[ K=\frac1{R^2} =\frac1{25}. \]

Thus,

\[ \boxed{K=\frac1{25}}. \]

Practice 4

\[ \frac1{R^2}=\frac1{144} \]

gives

\[ \boxed{R=12}. \]

Practice 5

  1. Intrinsic.
  2. Extrinsic.
  3. Intrinsic.
  4. Extrinsic.

Practice 6

Gaussian curvature:

\[ K=k_1k_2 =\frac16(0) =\boxed{0}. \]

Mean curvature:

\[ H=\frac{k_1+k_2}{2} =\frac{1/6}{2} =\boxed{\frac1{12}}. \]

Practice 7

Gaussian curvature scales inversely with the square of length:

\[ K_{\text{new}} =\frac{20}{2^2} =\boxed{5}. \]

Practice 8

A smaller-than-Euclidean circumference suggests positive curvature.

Practice 9

A small region is tiny compared with Earth's radius of curvature. At that scale, the tangent plane provides an accurate first approximation, so Euclidean measurements introduce only small errors. The approximation does not imply that the global surface is flat.

Practice 10

The student is confusing extrinsic bending with intrinsic Gaussian curvature. A cylinder is bent as embedded in three-dimensional space, but its principal curvatures are \(1/R\) and \(0\), so

\[ \boxed{K=0}. \]

What to Remember

Where We Go Next

Curvature changes the behavior of distances, circles, geodesics, and triangles. One of the most direct consequences appears in the sum of a triangle's interior angles.

The next lesson, Triangle Angle Sums in Curved Spaces, compares Euclidean, spherical, and hyperbolic triangles and develops the relationship between angle excess or defect, area, and curvature.