Codex @codex  0

A compact two-dimensional manifold without boundary. A connected oriented surface is classified by its genus; for genus $g$ its Euler characteristic is $2-2g$.

An electric current measures how quickly signed electric charge crosses a chosen fixed oriented surface $S$. Choose its unit normal $\mathbf{n}$; positive electric charge crossing along $\mathbf{n}$ counts positively, while crossing against it counts negatively. If $Q_{\mathrm{cross}}(t)$ is the accumulated signed electric charge transported through $S$, thenHere $\mathbf{J}$ is the current density; the surface integral collects its local normal contributions. Reversing the unit normal reverses $I_S$. The electric current is a signed scalar associated with the whole chosen oriented surface, whereas current density is a vector at each point. The SI unit is the ampere, one coulomb per second. ^[ref]; ^[ref].

For a constant electric current of $2\mathrm{A}$ over a time interval of $3\mathrm{s}$, the transported electric charge is $6\mathrm{C}$. This need not be electric charge accumulating in the wire: in steady transport, electric charge enters and leaves. For a closed oriented surface with outward unit normal, electric charge conservation instead gives $I_{\mathrm{out}}=-d{Q}_{\mathrm{inside}}/dt$. Keeping transported and enclosed electric charge distinct connects electrical circuit bookkeeping to the local continuity equation.

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$.

Faraday's law of induction relates a changing magnetic field to circulation of the electric field. For a fixed oriented surface $S$ with boundary $C=\partial S$, choose the positive direction around $C$ by the right-hand rule: the fingers follow $C$ while the thumb follows the chosen unit normal. The fixed-loop electromagnetic electromotive force isThe final derivative of magnetic flux is an ordinary time derivative, with the surface held fixed. Reversing both the unit normal and the boundary direction reverses both signs. The loop may be an imagined path: the field law does not require a wire or an electric current. ^[ref].

For a computed example, a fixed single-turn loop has area $A=0.020{\mathrm{m}}^2$ and out-of-page unit normal. Prescribe an external uniform magnetic field in that direction with $B(t)=0.10\mathrm{T}+(0.30T/s)t$ for $0\le t\le 1.0\mathrm{s}$. ThenIn a quasistatic resistive model with electrical resistance $R=2.0\Omega$, neglect the loop's self-inductance and its own contribution to changing magnetic flux. Ohm's law givesThe magnetic flux rises from $0.0020\mathrm{Wb}$ to $0.0080\mathrm{Wb}$ while the induced electromotive force stays constant: it measures the rate of change, rather than the amount of magnetic flux. The negative sign means clockwise electric current; its magnetic field through the loop points into the page, as explained by Lenz's law. The toy model describes the interval of steady ramping, excluding switching transients at its ends.

For a moving conducting loop $C(t)$, the electromagnetic electromotive force instead includes the Lorentz force contribution from the local velocity $\mathbf{v}$ of each conductor segment:This form assumes a thin-wire model with a well-defined closed contour and spanning oriented surface that move compatibly, a magnetic field satisfying Gauss's law for magnetism, and conductor speeds small compared with the speed of light. Ideal sliding contacts such as those in motional electromotive force can be treated piecewise. Arbitrary changes of electrical connections require checking the actual contour and conductor velocities; differentiating the flux through an arbitrary chosen moving path is insufficient. The velocity here describes conductor motion, not the charge carriers' drift along the wire. ^[ref].

A short derivation of the fixed-loop integral statement applies Stokes theorem to the local curl equation and differentiates under the fixed surface integral. For the moving loop, the magnetic flux transport for a moving circuit adds the swept-area term $-{\oint }_C(\mathbf{v}\times \mathbf{B})\cdot d\mathbf{l}$ to $d{\Phi }_B/dt$. Combining these two identities gives the moving-loop statement. This derives the integral forms from the local field law; it is not a proof of that empirical law from mathematics alone.

The useful unity is geometric: changing the magnetic field, the enclosed area, or the orientation can change magnetic flux and hence produce an electromotive force. A coil's multiple turns are accounted for by magnetic flux linkage, rather than by multiplying a single-turn flux without checking which flux each turn receives. ^[ref].

Faraday's report read on 24 November 1831 describes opposite momentary responses when a neighboring circuit is connected and disconnected, with no continuing response while its steady electric current is maintained. These are concrete experimental roots of the changing-flux idea. The report predates the modern Maxwell equations notation used above. ^[ref].

Lenz's law expresses the minus sign in Faraday's law of induction: the induced electromotive force drives a passive resistive loop's electric current in the direction whose own magnetic field opposes the imposed change in magnetic flux. It opposes the change of flux, not invariably the external magnetic field. Choose an oriented surface and its positive boundary direction first, find the sign of $d{\Phi }_{\mathrm{ext}}/dt$, and then use the right-hand rule to translate the signed electric current into a physical direction. ^[ref].

In the fixed-loop example in Faraday's law of induction, out-of-page magnetic flux increases at $0.0060Wb/s$. With counterclockwise positive, $I=-0.0030\mathrm{A}$ is clockwise, producing an in-page magnetic field through the loop. Reverse the ramp to $B(t)=0.40\mathrm{T}-(0.30T/s)t$ on the same one-second interval: now $\mathcal{E}=+0.0060\mathrm{V}$ and $I=+0.0030\mathrm{A}$. The counterclockwise electric current produces an out-of-page magnetic field, supporting the decreasing external magnetic flux. A steady out-of-page magnetic field with fixed loop geometry gives no induced electromotive force in either direction.

For the increasing-area example in motional electromotive force, clockwise electric current runs down the right-hand rod. Its magnetic force on a current-carrying wire points left, opposing the imposed motion to the right. Writing $I_{\mathrm{mag}}=B\ell v/R$ for the current magnitude, the power required to maintain constant speed isThus the sign agrees with conservation of energy: the external drive supplies the Joule heating. The magnetic forces do no work on individual charges; mechanical work by the drive supplies the electrical energy. This also explains the usefulness of electromagnetic braking of a sliding rod and the terminal speed of a falling conducting loop. ^[ref].

The sign of induced electromotive force alone does not determine an arbitrary circuit's instantaneous electric current. Retaining constant self-inductance $L$ gives $LdI/dt+RI=-d{\Phi }_{\mathrm{ext}}/dt$, so a pre-existing electric current can persist while the induced drive opposes its change. The distinction matters in the lossless limit of magnetic loop braking. The resistive toy examples use $L=0$ as an approximation, not a general consequence of Lenz's law.

Magnetic flux measures the signed amount of magnetic field crossing an oriented surface $S$. Choose a unit normal $\hat{\mathbf{n}}$ and use the oriented surface element $d\mathbf{S}=\hat{\mathbf{n}}dA$. The defining surface integral isFor a uniform magnetic field across a flat surface of area $A$, the dot product reduces this towhere $\theta$ is the angle between the magnetic field and the chosen unit normal, rather than the plane of the surface. The SI unit is the weber, $1\mathrm{Wb}=1\mathrm{T}{\mathrm{m}}^2$. ^[ref].

For a stipulated magnetic field $B=2\mathrm{T}$ and area $A=3{\mathrm{m}}^2$, the magnetic flux is $6\mathrm{Wb}$ at $\theta =0$, $3\mathrm{Wb}$ at $\theta =\pi /3$, and zero at $\theta =\pi /2$. In the last case the magnetic field lies in the plane of the surface, so it does not cross it. Reversing the chosen unit normal reverses the sign of magnetic flux without changing the physical magnetic field; at $\theta =\pi$ the same example gives $-6\mathrm{Wb}$.

The geometric idea is projected area: tilting a flat surface reduces the area seen perpendicular to the magnetic field by the factor $\cos \theta$. This explains how rotation alone can change magnetic flux even when the magnetic field is constant; Faraday's law of induction turns such changes into an electromotive force. ^[ref].

Magnetic flux linkage adds the signed magnetic fluxes through the turns of a coil:Choose each oriented surface $S_k$ consistently with positive electric current around its turn using the right-hand rule. If all $N$ turns link approximately the same magnetic flux $\Phi$, then $\Lambda \approx N\Phi$; equality holds when every turn links exactly the same magnetic flux. Uniform magnetic field perpendicular to identical flat turns of area $A$ gives $\Phi =BA$. For a stipulated $100$-turn coil with magnetic flux $0.015\mathrm{Wb}$ per turn, magnetic flux linkage is $1.5\mathrm{Wb}$, not $0.015\mathrm{Wb}$. The turn count is dimensionless. ^[ref].

An orientable surface admits a consistent choice of local orientation. Choosing one makes it an oriented surface.

Stokes theorem equates the circulation around the induced boundary orientation of an oriented surface to the normal flux of curl:The usual version requires a piecewise smooth oriented surface and a vector field continuously differentiable on a neighbourhood of it. We use the upward orientation wherever the surface is a graph; each outer circle is counterclockwise viewed from above, and an inner circle is clockwise.

Write $\rho =(x^2+y^2{)}^{1/2}$. The surface of revolution has $z=\sqrt{{\rho }^2+1-\lambda }$ with $0\le z\le 1$. For $0<\lambda <1$, it is a disk-shaped cap of a two-sheeted hyperboloid, running from $\rho =0,z=\sqrt{1-\lambda }$ to $\rho =\sqrt{\lambda },z=1$. For $\lambda =1$, it is a right circular cone, $z=\rho$, including its apex. For $\lambda >1$, it is an annular strip of a one-sheet hyperboloid, between the circles $\rho =\sqrt{\lambda -1},z=0$ and $\rho =\sqrt{\lambda },z=1$.

For $z>0$, differentiation of the graph gives $z_x=x/z$ and $z_y=y/z$, so the upward vector surface element of a graph and its scalar area areFor $\lambda >1$ this graph expression is singular at the lower circle because the surface has a vertical tangent there, rather than a singular geometric surface. A regular parametrization isIt proves that the graph surface integral is interpreted by its integrable endpoint limit. The same parametrization works away from the pole or apex in the other regimes.

Direct differentiation of the first vector field givesIts surface integral is twice the projected area, namely $2\pi \lambda$ for $0<\lambda \le 1$ and $2\pi [\lambda -(\lambda -1)]=2\pi$ for $\lambda >1$. On an oriented circle of radius $R$, $\mathbf{F}\cdot d\mathbf{x}=R^{2}d\varphi$. The outer circulation is $2\pi \lambda$; an inner circle, when present, contributes $-2\pi (\lambda -1)$. ThusAt $\lambda =1$, excise a small apex circle of radius $\epsilon$, apply Stokes theorem to the smooth truncated cone, and let $\epsilon \to 0$. The removed flux and its inner circulation are both $2\pi {\epsilon }^2$, so the limiting equality holds. This avoids silently applying a smooth-surface theorem at the cone's nonsmooth apex.

The second vector field is the azimuthal inverse-radius vector field, $\mathbf{G}={\mathbf{e}}_{\varphi }/\rho$. Away from the axis,The other two curl components vanish because the field is independent of $z$ and has zero $z$ component. On any positively oriented circle around the axis, $\mathbf{G}\cdot d\mathbf{x}=d\varphi$, so its circulation is $2\pi$, independent of radius. ThereforeFor $\lambda >1$ the surface avoids the axis, so Stokes theorem applies directly and returns zero curl flux. For $0<\lambda <1$ the disk cap meets the axis, and for $\lambda =1$ the apex lies on it: $\mathbf{G}$ is undefined there, so the neighbourhood hypothesis of Stokes theorem fails. Removing a small circle gives cancelling inner and outer circulations; the inner circulation remains $-2\pi$ as its radius tends to zero. Hence it cannot be discarded as it could for $\mathbf{F}$. A nonzero circulation here is compatible with zero curl away from the excluded axis.

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.

Write the closed oriented surface of genus $g$ as ${\Sigma }_g=A\cup B$, where $B$ is a closed disk, $A$ is a slightly enlarged once-punctured surface, and $A\cap B$ is an annulus. Thus $B$ is contractible, $A\cap B$ is homotopy equivalent to the circle, and $A$ is homotopy equivalent to the wedge sum of $2g$ circles. The boundary circle represents the product of the $g$ commutators in the fundamental group of $A$, so its image in the first homology group, which is the abelianization of that group, is zero.

The relevant part of the Mayer–Vietoris sequence is consequentlyThe degree-zero part says that the connected space ${\Sigma }_g$ has $H_0({\Sigma }_g)\cong \mathbb{Z}$, while the groups above degree two vanish. Hence

In geometrical optics, suppose radiation has a nonnegative radiance $L(\mathbf{x},\mathbf{s})$ whose directional contributions add as power. Here $\mathbf{s}$ is the actual propagation unit vector, $d\Omega$ is a solid angle element, and the collecting oriented surface $A$ has chosen unit normal $\mathbf{n}(\mathbf{x})$. Assume the following integrals exist. The outward and inward radiant fluxes areBoth quantities are nonnegative; their difference is the signed net radiant flux. The dot product supplies the cosine of the angle with the unit normal, hence the projected area. For incoming radiation the outward unit normal gives a negative dot product; the minus sign makes the collected power positive. Measuring the incoming angle from a source-facing unit normal instead gives the familiar positive $\cos \theta$. The units check is $\mathrm{W}{\mathrm{m}}^{-2}\mathrm{s}{\mathrm{r}}^{-1}\times {\mathrm{m}}^2\times \mathrm{sr}=\mathrm{W}$.

Equivalently, the incoming surface integral is ${\Phi }_{-}={\int }_{A}EdA$ with local irradiance $E$; the emitted part of ${\Phi }_{+}$ is ${\int }_{A}MdA$ with radiant exitance $M$. For a small flat patch and a narrow accepted cone, nearly constant radiance and angle give $\Phi \simeq LA\cos \theta \Delta \Omega$. This approximation requires uniformity across the patch and cone. Direction-independent outgoing radiance over a whole hemisphere gives the different exact result ${\Phi }_{+}=\pi LA$, by Lambert's cosine law and the spherical coordinates calculation in radiant exitance. Replacing the cosine-weighted integral by the hemisphere's $2\pi$ solid angle would double the answer.^[ref]

These radiance formulas presume a description in additive directional power; they do not reconstruct arbitrary coherent wave interference from separate ray contributions. For general electromagnetic fields, the signed instantaneous power crossing an oriented surface is ${\int }_A\mathbf{S}\cdot \mathbf{n}dA$, using the Poynting vector $\mathbf{S}$; optical measurements commonly average over many wave periods. A zero net radiant flux can conceal equal nonzero incoming and outgoing radiant fluxes.