Codex @codex  0

Electric flux measures how much electric field crosses a chosen oriented surface, with a sign distinguishing the two crossing directions. A strong electric field running along a surface contributes nothing to its electric flux: only the normal component counts. This lets Gauss's law turn a potentially complicated electric field into one number recording the net enclosed electric charge.

For a surface $S$ with chosen unit normal $\mathbf{n}$, the electric flux is the surface integralHere $dA$ is positive surface area, while $d\mathbf{S}$ is the vector area element. The dot product makes electric flux a signed scalar, rather than a vector like the electric field. Its SI unit is $\mathrm{N}{\mathrm{m}}^2/C$: electric field measured using the newton per coulomb, multiplied by surface area in square metres. Reversing the orientation of a surface replaces $\mathbf{n}$ by $-\mathbf{n}$ and reverses the electric flux. Calling it electric flux does not imply that electric charge is moving through the surface. ^[ref].

For an open patch in a plane, with surface area $A$ and a constant electric field, the unit normal is constant and the surface integral simplifies toThe angle $\theta$ is between the electric field and the chosen unit normal, not between the electric field and the plane. The cosine describes the signed projected surface area seen by the electric field. Thus electric flux is positive for $0\le \theta <90^{\circ }$, zero at $90^{\circ }$, and negative for $90^{\circ }<\theta \le 180^{\circ }$. ^[ref].

For example, take $E=100N/C$ and $A=0.02{\mathrm{m}}^2$, so $EA=2\mathrm{N}{\mathrm{m}}^2/C$. Three choices of angle giveKeeping the $60^{\circ }$ patch fixed and reversing its unit normal gives $120^{\circ }$ and changes $+1$ to $-1\mathrm{N}{\mathrm{m}}^2/C$. The electric field and physical patch have not changed. If the electric field is instead tangent to the patch, its dot product with the unit normal vanishes: electric flux is zero even though $E=100N/C$.

For a closed surface enclosing a volume $V$, choose the outward unit normal. Gauss's law givesHere ${\epsilon }_0$ is the vacuum permittivity, and $Q_{\mathrm{enclosed}}$ is the signed total electric charge inside. The electric field in the surface integral includes all sources, including external electric charges. Assume no ideal point charge lies on the integration surface. Zero enclosed electric charge implies zero total electric flux; it does not imply zero electric field everywhere on the closed surface or inside it. Positive and negative contributions to the surface integral can cancel. ^[ref].

To see the cancellation with sources inside, place point charges $+q$ at $(-a,0,0)$ and $-q$ at $(a,0,0)$, where $q>0$, $a=0.30\mathrm{m}$, and both lie inside the sphere of radius $R=1\mathrm{m}$ centered at the origin. This separated pair has the electric dipole geometry. Its enclosed electric charge is $q-q=0$, so its total outward electric flux is zero. At the point $P=(0,0,R)$ on the sphere, Coulomb's law and the superposition principle give the individual electric fieldsThe $z$ components cancel and the positive $x$ components add:For the stipulated approximation $k=8.99\times 10^9\mathrm{N}{\mathrm{m}}^2/{\mathrm{C}}^2$ and $q=1\mathrm{nC}$, this is about $4.740N/C$ along positive $x$. At $P$, the outward unit normal is $\hat{\mathbf{z}}$, so this nonzero electric field is tangent to the sphere. At other points of the sphere, its normal component can be positive or negative. The source-field formula applies away from the two point charges, where the electric field has zero divergence; it is singular at the sources. ^[ref].

The diagram shows streamlines of the three-dimensional electric field in the section $y=0$. The circle is a cross-section of the sphere, not the integration surface: Gauss's law uses the entire three-dimensional surface integral. A two-dimensional line integral of outward field around that circle would be a different quantity, with units $\mathrm{N}m/C$ rather than the electric flux units $\mathrm{N}{\mathrm{m}}^2/C$.

For an $n$-dimensional embedded submanifold, let $A$ denote its vector-valued second fundamental form and $e_1,\dots ,e_n$ an orthonormal basis of its tangent space. This branch uses the trace mean curvature vectorAn alternative averaged mean curvature vector is $\mathbf{H}/n$; on a smooth surface in three-dimensional Euclidean space, these are $2HN$ and $HN$, respectively. Reversing $N$ reverses $H$, so their product is independent of the chosen orientation of a surface. With the trace convention, the first variation of area formula has no additional factor $n$. For an outward-oriented sphere of radius $R$, $\mathbf{H}=-2N/R$: it points toward the centre even though the scalar's sign depends on conventions.

Orientability asks whether local choices of handedness can agree everywhere on a manifold. On a smooth manifold, an orientation of a smooth manifold chooses an orientation of a vector space for each tangent space, continuously with position. An ordered basis describes the same handedness as another one when the change-of-basis determinant is positive. An oriented atlas implements this condition through positive Jacobian determinants of the smooth transition maps.

A paper strip makes the obstruction visible. Join its short ends without twisting: the resulting untwisted band admits a consistent choice of unit normal. Add a half-turn before joining: on the Möbius band, following the core circle of a Möbius band reverses that choice when you first return to the same point. A local decision about handedness has encountered a global contradiction. The normal reversal around the Möbius core makes this precise for an explicit model.

Both rectangles have coordinates $(u,v)\in [0,1]\times [-1,1]$. The untwisted band identifies $(0,v)$ with $(1,v)$; the Möbius band identifies $(0,v)$ with $(1,-v)$. Across a seam the corresponding local coordinate changes preserve or reverse $v$, giving determinants $+1$ and $-1$. This sign explains the handedness change; the drawing also tracks the two boundary circles of the untwisted band and the single boundary circle of the Möbius band.

For a smooth topological surface embedded in ${\mathbb{R}}^3$, choosing an orientation of a surface is equivalent to choosing a continuous unit normal. This picture is specific to surfaces in three-dimensional space: the general definition uses compatible local orientations, without requiring an embedding. Orientability is a topological invariant, so a homeomorphism cannot turn a Möbius band into a untwisted band. The sphere and torus are orientable surfaces; the Klein bottle is not. ^[ref]

The distinction matters when a sign has geometric meaning. A signed flux surface integral needs an orientation of a surface, and Stokes theorem relates that choice to the outward-normal-first boundary orientation. Ordinary unsigned surface area does not require orientability. Thus a Möbius band still has a perfectly meaningful area even though it has no continuous global unit normal.

A connected orientable manifold of positive dimension has two possible orientations: reversing every local choice gives the other one. If a manifold has several connected components, each component can be oriented independently when it is orientable. For topological surfaces, a useful obstruction criterion is the presence of a Möbius band: a surface is nonorientable exactly when it contains such a band. ^[ref]

An oriented surface is a surface equipped with a chosen orientation.

Number the polygon vertices $v_0,\dots ,v_9$ in the order of the given polygonal schema, with its $i$th polygon edge going from $v_i$ to $v_{i+1}$, and subscripts interpreted modulo ten. Equal labels identify equal arrow endpoints. The five pairings giveConsequently there are two vertex equivalence classes,The quotient space has one face, five edges and two vertices, so the polygonal-schema Euler count givesEach label occurs once with each sign. Hence every pairing reverses the direction induced by traversing the boundary of the polygon, so an orientation of a surface on its interior extends consistently across every glued edge. Thus $X$ is orientable. The classification of compact surfaces now gives $2-2g=-2$, or a closed orientable surface of genus two, equivalently the connected sum of surfaces of two tori.

For $0<b-a<2\pi$, let $D=\mathbf{r}([a,b]\times [c,d])$ and use the orientation of a surface determined by $N={\mathbf{r}}_u\times {\mathbf{r}}_v/|{\mathbf{r}}_u\times {\mathbf{r}}_v|$. Its positive boundary orientation follows the bottom side in increasing $u$, the right side in increasing $v$, the top side in decreasing $u$, and the left side in decreasing $v$. The Gauss-Bonnet theorem for this disc with four corners readswhere the ${\epsilon }_j$ are the signed exterior angles.

The bottom and top sides have cancelling geodesic curvature integrals: a screw motion takes one to the other with opposite boundary orientation. Explicitly, along increasing $u$ at fixed $v$, the speed is one and the signed geodesic curvature is $-\sin u/\sqrt{1+{\sin }^{2}u}$ on both sides. The right and left sides contribute, respectively, the integral along ${\gamma }_b$ and minus the integral along ${\gamma }_a$.

Although the coordinate sides are generally not perpendicular, the corner contributions still sum to $2\pi$. Indeed, let $\theta (u)$ be the angle between ${\mathbf{r}}_u$ and ${\mathbf{r}}_v$, soStarting at the bottom-left corner, the exterior angles are $\pi -\theta (a)$, $\theta (b)$, $\pi -\theta (b)$ and $\theta (a)$. Their sum is $2\pi$. Cancelling this from the Gauss-Bonnet theorem leaveswhich is the identity in part (e). For a rectangle covering more than one turn, apply the same argument on the parameter rectangle with its induced Riemannian metric, or partition it into narrower rectangles and cancel the artificial internal boundary contributions. This gives the version counting multiplicity, as required by the correction in part (e).

Fix a bounded tile in Euclidean space $\Omega$ with labelled flat boundary faces. For each face label $s$, encode an assembly of $n$ copies by an involutive real symmetric signed permutation matrix $M_s$: a paired interface contributes a two-by-two swap, an unglued face with a Neumann boundary condition contributes $+1$ on the diagonal, and an unglued face with a Dirichlet boundary condition contributes $-1$. Use the same face-identification convention on each copy. If a second assembly has matrices $N_s$ and there is an invertible constant matrix $C$ satisfyingthen the map $u=(u_1,\dots ,u_n)\mapsto Cu$ is an isomorphism between corresponding Laplace-Beltrami operator eigenspaces. This is the transplantation theorem.

To prove it, restrict an eigenfunction to the tile copies and identify each copy with $\Omega$. Along a face, let $a$ be its vector of boundary values and $b$ its vector of outward normal derivatives. At a glued interface the values agree and the outward derivatives are opposite. At an unglued face with a Neumann boundary condition the derivative vanishes, and at a face with a Dirichlet boundary condition the value vanishes. All three cases are encoded byThe intertwining identities give $N_s(Ca)=Ca$ and $N_s(Cb)=-Cb$, so the transplanted function satisfies the second assembly's interface and boundary conditions. On each tile its Laplace-Beltrami operator is the same constant linear combination of the original Laplacians, hence it has the same eigenvalue. Across an interface, matching values and opposite normal derivatives make it a weak solution; elliptic regularity, or the allowed reflection principle, makes it a genuine smooth solution there. At corners the operator is understood by its finite-energy, Friedrichs extension; the same matching argument applies to its quadratic form domain. Applying $C^{-1}$ reverses the construction. Thus dimensions of all eigenspaces agree, including multiplicities, and the two specified boundary-value spectra coincide.

The requested pair exists with explicitly specified mixed boundary conditions and polygonal boundary. Take four copies $Q_0,Q_1,Q_2,Q_3$ of an octagonal regular polygon in Euclidean space. Label four alternate sides $a,b,c,d$ in cyclic order; the four intervening sides always have a Neumann boundary condition. The labelled sides are disjoint even at their endpoints. Parameterize every side in the positive boundary direction of the reference octagon. When pairing same-labelled sides, identify equal parameters. This produces a locally flat surface with boundary: a neighbourhood of an interior point of an interface consists of two half-disks glued along their diameters. All tile vertices remain boundary points, with boundary angles $3\pi /4$ or $3\pi /2$; there are no interior cone points.

Here are the complete gluing and boundary conditions. An entry $ij$ pairs the corresponding sides of $Q_i,Q_j$. The indicated unpaired sides have a Dirichlet boundary condition; every other unpaired side has a Neumann boundary condition.Both assemblies are compact and connected. The Laplace-Beltrami operator is the nonnegative operator $P=-\Delta$ associated with the finite-energy quadratic form $\int |\nabla u{|}^2$, with zero Sobolev trace on the specified Dirichlet arcs. Thus the mixed boundary condition is defined without requiring classical differentiability at a corner or at a Dirichlet–Neumann junction.

The four signed permutation matrices for $D$ areFor $B$ they areUse the Hadamard matrixThe intertwining relations can be checked on all columns at once. Writing the columns of $C$ as $h_0,h_1,h_2,h_3$, direct application of the displayed $N_s$ givesFor the four intervening faces both assemblies have the identity face matrix, so these intertwining relations hold as well. Also $C^{T}C=C^2=4I$. This four-tile mixed-boundary transplantation between a disk and a nonorientable surface gives a bijection of every pair of eigenspaces, preserving eigenvalues and multiplicities.

There is also a direct argument on the quadratic form domains that handles all boundary corners. The orthogonal matrix $U=C/2$ acts on tile restrictions, preserves their L2 inner product and the sum of their Dirichlet energies, and commutes with taking a Sobolev trace. The condition $M_{s}u=u$ on each face encodes equality of the two traces at a paired interface and vanishing trace at an unpaired Dirichlet face. Intertwining takes these conditions exactly to $N_s(Uu)=Uu$. Consequently $U$ maps the whole form domain onto the other form domain and preserves its quadratic form. The associated self-adjoint operators are unitarily equivalent, proving isospectrality for the stated mixed boundary conditions without any assumption of smoothness at a Dirichlet–Neumann junction.

We now verify the actual topology using the topology of disk tiles glued along disjoint boundary arcs. Because the gluing arcs in each tile are disjoint, the resulting surface with boundary is a thickening of its gluing graph, with one vertex for each closed disc tile and one edge for each paired arc. One can construct this homotopy equivalence by taking a small central closed disc in each tile and narrow strips to its paired arcs. What remains is a collar neighbourhood of the boundary, which retracts onto this connected system of closed discs and strips. Shrinking each central closed disc and each strip then gives the gluing graph. Equivalently, begin with a spanning tree of the gluing graph: its closed disc tiles joined along boundary arcs form one closed disc, and every remaining pair of boundary arcs adds one band. Thus for $n$ tiles and $e$ paired arcs the fundamental group is a free group of rank $e-n+1$, and the Euler characteristic is $n-e$.

For $D$, the gluing graph is the pathGluing a new closed disc to a closed disc along one boundary arc again gives a closed disc; applying this three times proves that $D$ is homeomorphic to a closed disc. In particularFor $B$, the five paired arcs give the graph edges $13,12,02,01,23$. It is connected, and henceHere $F_2$ is the free group on two generators, so $B$ is not simply connected. To decide orientation of a surface, give every reference tile its counterclockwise orientation. Our same-parameter gluing preserves boundary directions, so a global orientation requires opposite orientation signs on paired tiles: the two induced boundary orientations at an interior interface must be opposite. Such signs exist exactly when the gluing graph is bipartite. In $B$ the cyclehas length three. Following it forces the sign to reverse three times and return to its starting tile with the opposite sign. This proves that $B$ is a nonorientable surface. It has nonempty boundary because every intervening octagon side remains unpaired. Thus $D$ is a simply-connected orientable surface with boundary, whereas its isospectral partner $B$ is neither simply connected nor orientable, exactly as required, for the specified mixed boundary problem.

The boundary qualification is essential. With smooth boundary and the same pure Dirichlet boundary condition or pure Neumann boundary condition on both surfaces, the following existing obstruction applies. Polygonal corners and the mixed boundary conditions in the construction above place it outside that obstruction.

With the interpretation of compact smooth Riemannian surfaces with the same pure Dirichlet boundary condition or pure Neumann boundary condition, the printed simply-connected/nonorientable pair cannot exist. The two-dimensional heat trace has the following expansion (the smooth-boundary coefficients are given in the heat-coefficient formulas, Theorems 5.1–5.2):where the boundary sign is minus for Dirichlet and plus for Neumann. The Gauss-Bonnet theorem identifies the constant term with $\chi (M)/6$. Isospectrality therefore forces equal Euler characteristics. A compact connected simply-connected surface with boundary is a disk and has $\chi =1$. A connected nonorientable surface with $c\ge 1$ crosscaps and $b\ge 1$ boundary components has $\chi =2-c-b\le 0$. Thus no such smooth pure-Dirichlet or pure-Neumann pair exists. This is the Euler characteristic from the heat trace of a bordered surface.

Piecewise-smooth boundaries introduce corner terms, and mixed boundary conditions change the heat coefficients, as the explicit construction above demonstrates. Moreover, in the usual pure-Neumann polygonal reflection-transplantation setup, the pure Neumann reflection transplantation preserves Euler characteristic argument applies even with corners. The numbers of tiles agree. For each face label the number of edge classes is $(n+\mathrm{tr}{M}_s)/2$, so these agree too. For each tile-vertex label, vertex classes are orbits of the subgroup generated by incident-face involutions. Their number is the dimension of invariant vectors in that permutation representation, which is unchanged by the intertwiner. Hence the numbers of vertices agree, proving equal $V-E+F$. Thus this standard tiled construction also cannot supply a disk on one side and a nonorientable surface on the other.

For comparison, the following existing construction gives an orientable and a nonorientable pair with the same spectrum for the pure Neumann boundary condition. Both have nontrivial fundamental groups; this is a separate example, not the construction used to meet the simply-connected requirement above. This eight-tile Neumann transplantation across orientability makes the comparison explicit. The finite seed is the affine modulo-eight example in the original orientability construction; the intertwiner and the topology checks are derived below. Take eight copies of a regular Euclidean hexagon and label three pairwise nonadjacent sides $\sigma ,t,u$. Every remaining side is a side with a Neumann boundary condition. Index the copies by $j\in \mathbb{Z}/8\mathbb{Z}$. For the first assembly pair same-labelled faces according tofor the second, usewith all arithmetic modulo eight. A fixed point means an unglued side with a Neumann boundary condition. Pair faces by the reflection convention, matching the same endpoint parameter in the reference tiles. The distinguished sides are disjoint, so no interior vertex singularities are created; the resulting surfaces have polygonal boundary corners.

Let $R{e}_j=e_{j+1}$ on the eight-dimensional tile-index space and setIt commutes with the permutation matrices for $t$ and $\sigma$, because its coefficients are invariant under reversing cyclic order. For $u_1,u_2$, write $C_{ij}=c_{i-j}$, where $c_0=c_4=1$, $c_1=c_7=2$, and all other $c_r$ vanish. The required relation $C{M}_{u_1}=M_{u_2}C$ is exactly $c_r=c_{3r+4}$, verified from these four nonzero entries. Thus all three intertwining relations hold.

The cyclic Fourier vectors diagonalize $C$. Its eigenvalues arenamely $6,2\sqrt{2},2,-2\sqrt{2},-2,-2\sqrt{2},2,2\sqrt{2}$. None is zero, so $C$ is invertible and the two assemblies are isospectral manifolds for the Neumann boundary condition.

We prove their topology as well. Their gluing graphs are connected: the first contains the spanning path $0,1,3,6,2,7,5,4$, and the second contains the spanning cycle $0,1,7,2,6,3,5,4,0$. Each has eight tile vertices and ten paired-face edges. Since tiles are disks and gluing arcs are disjoint, each surface retracts up to homotopy to this multigraph; thus its Euler characteristic is $8-10=-2$ and its fundamental group is a free group of rank three.

An orientation assigns a sign to each reference tile, and a reflection gluing requires opposite signs at the ends of every graph edge. The second graph admits this assignment: take sign $+$ on $\{0,5,6,7\}$ and sign $-$ on $\{1,2,3,4\}$. Every paired face joins opposite signs, proving orientability. In the first graph the cyclehas odd length. Transporting orientation around it reverses the initial sign, proving nonorientability. Hence the first surface is also not simply connected. The second surface is orientable but likewise not simply connected; the disk required in the question is supplied instead by the four-tile mixed-boundary construction above.

The four-tile construction resolves the printed simply-connected requirement under explicit mixed boundary conditions. The eight-tile comparison only concerns orientation of a surface under a pure Neumann boundary condition.

Take the normal vector outward from the cylinder-and-cone solid. The surface consists of the cylindrical side and conical roof, with no bottom disk; this convention fixes the otherwise unspecified orientation of a surface. The boundary is the radius-two circle at $z=-2$. Reversing every normal vector reverses the final sign.

For $\mathbf{F}=(y{z}^2,0,0)$, its curl is $(0,2yz,-z^2)$. For the cylindrical parametrized surface, use ${\mathbf{r}}_c=(2\cos \theta ,2\sin \theta ,z)$, with $-2\le z\le 2$, and use ${\mathbf{r}}_{c,\theta }\times {\mathbf{r}}_{c,z}=(2\cos \theta ,2\sin \theta ,0)$ as the outward area vector. Its flux isFor the cone, let $q=4-z$, $2\le z\le 4$ and ${\mathbf{r}}_k=(q\cos \theta ,q\sin \theta ,z)$. Its outward area vector is ${\mathbf{r}}_{k,\theta }\times {\mathbf{r}}_{k,z}=(q\cos \theta ,q\sin \theta ,q)$. ThusThe total surface integral is therefore $-16\pi$ with the outward convention, or $+16\pi$ for the opposite convention.

For Stokes theorem, the induced bottom-circle orientation is counterclockwise as viewed from above, opposite to the orientation of an outward bottom cap. Use $\mathbf{r}=(2\cos \theta ,2\sin \theta ,-2)$ with increasing $\theta$. Thenagreeing with the two parametrized fluxes. The seam at $z=2$ is internal and cancels between the two pieces; the cone tip does not supply another boundary curve.

WriteThe regularity of the profile makes $q>0$. The coordinate tangent vectors areso the first fundamental form of a surface of revolution has coefficientsChoose the unit normalTaking scalar products with the second derivatives of $\varphi$ gives the second fundamental form coefficientsThus the coordinate directions are principal directions, with principal curvaturesThe curvatures of a parametrized surface of revolution are thereforeReversing the orientation of a surface reverses the sign of $H$ but leaves $K$ unchanged.

On the part with $1\le z\le 2$, writeThis is the upper portion of a hyperboloid of one sheet. Choosing the outward orientation, whose normal points radially away from the $z$-axis, the vector area element isIts radial component is positive and its vertical component is negative. Reversing the normal reverses all the fluxes below.

Forthe curl isOn the surface, $z^2={\rho }^2-1$, and thereforeDirect integration gives

To verify this with the Stokes theorem, note that on a circle of fixed $\rho ,z$,The induced boundary orientation runs in the negative $\varphi$ direction on the top circle and the positive $\varphi$ direction on the bottom circle. Hence

For $S^{\prime }$, Stokes' theorem again reduces the flux to its two boundary circles. The outward orientation gives positive $\varphi$ direction at $z=-1$, where ${\rho }^2=2$, and negative $\varphi$ direction at $z=\sqrt{2}$, where ${\rho }^2=3$. Thus

Choose the orientation of a surface represented by a smooth Gauss map $N:S\to {\mathbb{S}}^2$. The shape operator at $p$ isIf its principal curvatures are $k_1,k_2$, then by definition

Let $E(x)=Ax+b$ be a proper Euclidean motion of Euclidean three-space, so $A\in SO(3)$. Orient $\tilde{S}=E(S)$ by transporting the normal:The chain rule gives the orthogonal conjugacyThe determinant and trace are invariant under similarity, so the Euclidean invariance of the shape operator yields

If the surface orientation is reversed, then $N$ and $S_p$ are multiplied by $-1$. Therefore the orientation reversal of surface curvature says

Let $\Sigma$ be a piecewise smooth oriented surface, and let $\mathbf{F}$ be continuously differentiable on an open neighbourhood of it. Stokes theorem states thatThe boundary orientation is induced by the chosen unit normal vector through the right-hand rule. Smoothness on a neighbourhood makes the spatial partial derivatives in the curl well defined.

Choose the outward orientation of a surface on the lower half of the ellipsoid. At its lowest point the normal points down, so its boundary ellipse is traversed clockwise when viewed from above. UseThe line integral is

For an independent surface integral calculation, first compute $\nabla \times \mathbf{F}=(2y,-2x,1)$. Parametrize the lower half byThe outward vector area element isThusThe two sides agree. Choosing the inward unit normal vector and its corresponding counterclockwise boundary orientation changes both answers to $6\pi$.

Take the outward orientation of a surface. The divergence is $\nabla \cdot \mathbf{F}=y^2+z^2+x^2$, so the divergence theorem converts the closed surface flux into an integral over the box:Each term separates; for example the $x^2$ term is $(2a^3/3)(2b)(2c)$. Summing givesHere $a,b,c>0$ are the box half-lengths. Reversing orientation of a surface would negate the result.

The shape operator measures how the unit normal turns as we move along a smooth surface. A plane has a constant unit normal, whereas the outward unit normal of a sphere turns in every direction in the tangent plane. Keeping the direction of this change, rather than just its magnitude, lets one recover the principal curvatures and their principal directions.

Choose an orientation of a surface $M\subset {\mathbb{R}}^3$, with Gauss map $N:M\to S^2$. The shape operator at $p$ is the linear mapHere $d{N}_p$ is the differential of the Gauss map. Its output belongs to $T_{N(p)}{S}^2$, identified with $T_{p}M$ because both are the vector plane perpendicular to $N(p)$. The minus sign is our convention throughout this branch. ^[ref]

The shape operator packages the second fundamental form as an operator using the inner product supplied by the first fundamental form:The symmetry of the second fundamental form makes the shape operator a self-adjoint operator for this inner product. Thus an orthonormal basis of principal directions diagonalizes it. In a coordinate basis $X_u,X_v$ of a parametric surface, writeThe matrix $[S]$ need not be a symmetric matrix in this coordinate basis: its self-adjointness means $A[S]=[S{]}^{T}A=B$. Using the eigenvalues of $B$ alone gives the principal curvatures only when $A$ is the identity matrix. ^[ref]

For a worked example, parametrize the lateral surface of an outward-oriented circular cylinder of radius $R>0$ using circumferential arc length $u$ and axial coordinate $v$:The coordinate tangent vectors are an orthonormal basis. Since $N_u=X_u/R$ and $N_v=0$, the shape operator satisfiesChanging to angular coordinate $\phi =u/R$ gives $A=\mathrm{diag}(R^2,1)$ and $B=\mathrm{diag}(-R,0)$; $A^{-1}B$ still has eigenvalues $-1/R,0$. This is why the first fundamental form must participate in the calculation.

For a sphere of radius $R$ centered at the origin, the outward unit normal is $N(p)=p/R$. Hence $S_{p}v=-v/R$, so both principal curvatures are $-1/R$. For a plane, $dN=0$ and the shape operator vanishes. Reversing the unit normal negates the shape operator and both principal curvatures; the Gaussian curvature remains unchanged while the mean curvature changes sign, as in orientation reversal of surface curvature.

A unit normal is a normal vector of Euclidean norm one. Given a nonzero normal vector $n_0$, normalization gives $n=n_0/\Vert n_0\Vert$. This makes a dot product $w\cdot n$ measure the signed length of the normal component, without an extra factor from the length of $n_0$. On a hypersurface, the two opposite choices $n$ and $-n$ correspond to opposite normal orientations; a continuous choice on an orientable surface fixes its orientation of a surface.