Codex @codex  0

An embedded smooth surface $S\subset {\mathbb{R}}^3$ is inextendible when every connected smooth surface $\tilde{S}\subset {\mathbb{R}}^3$ containing $S$ is equal to $S$.

For an oriented smooth surface $S$ with piecewise smooth, consistently oriented boundary, Stokes theorem givesfor a continuously differentiable vector field defined on a neighborhood of $S$. Choose the upward normal vector here. The surface is an annular band of an elliptic paraboloid, parametrized byUsing ${\partial }_{r}r\times {\partial }_{\theta }r$ as the oriented vector area element givesThe sketch below shows the open band, not a capped solid. Its upper circle has radius one and its lower circle radius one third.

Differentiating the given vector field yieldsThe surface integral is thereforeFor the boundary line integral, the upward normal vector induces counterclockwise traversal of the outer circle and clockwise traversal of the inner circle, as viewed from above. On a circle of radius $R$, parametrized counterclockwise, $z$ is constant andSince each fourth power integrates to $3\pi /4$, the two-circle line integral isconfirming Stokes theorem and the Stokes flux through an annular paraboloid. Reversing the chosen orientation changes both integrals to $-40\pi /27$.

For $v\in T_{p}S$ sufficiently small, let ${\gamma }_v$ be the geodesic with ${\gamma }_v(0)=p$, ${\dot{\gamma }}_v(0)=v$, and define ${\exp }_p(v)={\gamma }_v(1)$. The domain consists more generally of initial velocities whose geodesic exists through time one. Uniqueness and affine rescaling give ${\exp }_p(tv)={\gamma }_v(t)$ near zero, soThus the differential is the identity under the natural identification of tangent spaces, and the inverse function theorem makes the exponential map a local diffeomorphism near zero.

A punctured plane has geodesics reaching its missing point in finite time, so its exponential map need not be global; adding the point remedies this example. But an extension cannot always remedy the failure. On the punctured circular cone $S=\{(r\cos \theta ,r\sin \theta ,r):r>0\}$, radial generators are geodesics and reach the missing point in finite intrinsic length. Any globally defined extension would have to include their limiting point $(0,0,0)$. The cone's tangent planes have different limits as $\theta$ varies; no smooth embedded surface through that point can contain this punctured circular cone. Hence no such extension exists for this $S$.

For an oriented surface and a closed topological disc $D$ with smooth positively oriented boundary, the Gauss-Bonnet theorem with boundary saysHere $k_g$ is signed geodesic curvature with the disc on the left. A smooth boundary has no corner terms; piecewise smooth boundaries require exterior-angle terms.

For the flat disc in the problem this gives ${\int }_{\partial D}{k}_{g}ds=2\pi$. Conditions (i) and (ii) mean that the proposed replacement disc has the same boundary and agrees with the original smooth surface from the outside. Smoothness therefore gives the same tangent planes, metric derivatives and boundary geodesic curvature on the replacement, with consistent orientation. Applying Gauss-Bonnet to that disc forcesThus these gluing conditions fix the total curvature of any smooth replacement disc, regardless of its detailed interior shape.

The nonnegative continuous Gaussian curvature on the compact replacement disc, together with its zero integral established by Gauss-Bonnet, forces it to vanish at every point of that disc. Outside it the replacement surface agrees with the original flat surface, so its curvature also vanishes there; smoothness covers the common boundary. Consequently no point of the replacement surface can have positive Gaussian curvature. Therefore no surface can satisfy all three conditions. A disc with some positive curvature could only have compensating negative curvature or alter the smooth boundary gluing, both excluded here.

A smooth surface in ${\mathbb{R}}^3$ is a subset locally parametrized by a smooth map of two variables whose derivative has rank two and which is a homeomorphism onto its image.

Writing $\rho =\sqrt{x^2+y^2}$, the first surface equation becomesIt is the torus of major radius $R=2\sqrt{2}$ and minor radius $r=1$, with smooth parametrizationSince $R>r$, this is an embedding. The Gaussian curvature of a torus is

For the second surface, use the orthogonal transformationIts equation becomes the same torus equation $(\sqrt{X^2+Y^2}-2\sqrt{2}{)}^2+Z^2=1$. Orthogonal transformations are Euclidean isometries and preserve Gaussian curvature. Curvature vanishes where $\cos v=0$, equivalently $Z=\pm 1$. In the original coordinates the zero-curvature points are therefore exactly

For an oriented smooth surface $S$, the Gauss map sends $p$ to the chosen unit normal vector $N(p)\in S^2$. Since $|N{|}^2=1$, differentiation shows that $D{N}_p(X)$ is perpendicular to $N(p)$ and hence lies in $T_{p}S$.

In a local parametrization $\varphi (u,v)$ with $n=N\circ \varphi$, differentiatinggivesThus the bilinear form $(X,Y)\mapsto D{N}_p(X)\cdot Y$ is symmetric, so $D{N}_p$ is self-adjoint. The Gaussian curvature isWriting the coefficients of the first fundamental form asand those of the second fundamental form asone obtains

At an umbilic point, the self-adjoint map $D{N}_p$ has a repeated eigenvalue, so it is a scalar map. If every point is umbilic, there is a function $\lambda$ withEquality of mixed partial derivatives givesThe two tangent vectors are linearly independent, hence ${\lambda }_u={\lambda }_v=0$. Since ${\mathbb{R}}^2$ is connected, $\lambda$ is constant.

If $\lambda =0$, then $n$ is constant andso $S$ lies in a plane. If $\lambda \ne 0$, thenThus $n-\lambda \varphi =c$ is constant, andTherefore $S$ lies in a sphere of radius $1/|\lambda |$. This proves that the surface is part of a plane or part of a sphere.

The condition $D{f}_p\ne 0$ says that $0$ is a regular value of $f$. The regular level set theorem therefore makes $f^{-1}(0)$ a smooth submanifold of codimension one in ${\mathbb{R}}^3$, hence a smooth surface.

Forthe gradient isOn $F^{-1}(0)$, $x^2+y^2=\cosh (z^2)\ge 1$, so $x$ and $y$ cannot both vanish. Thus $\nabla F\ne 0$ there, and the given set is a smooth surface.

Not every smooth surface in ${\mathbb{R}}^3$ is a global zero set. Every set $f^{-1}(0)$ is closed because $f$ is continuous, whereas the open unit diskis a smooth surface but is not closed in ${\mathbb{R}}^3$.