How statement and proof provenance work
The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.
- Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
- AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
- AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.
These labels describe origin, not correctness: citations and verification chips remain separate evidence.
The Mobius band presented by two regular patches, with normal comparison on the interiors of the overlap components
Example
Let for . Set and let be the restrictions of to and . These two regular patches cover the Möbius band. At overlap points represented by interior parameter points of both patches, their induced normals agree on the component with the same angle values and are opposite on the component created by the shift.
Facts & Assumptions
Given: The map above, the two parameter rectangles and , and their restrictions .
A regular patch has no interior parameter point sharing its image with a distinct point of the parameter region (Regular parametrized surface patches on compact Jordan parameter regions).
In a compatible finite patch presentation, the preimage of each pairwise overlap has content zero in both parameter regions, and induced normals agree at every overlap point coming from interior parameter points of both patches (Finitely patched regular surfaces, their area, scalar integrals, and flux).
The cross product is that of The cross product in .
A parametrization induces its unit normal on the image of its interior (Unit normal fields, orientations, and flux through a regular surface patch).
Integration over a Jordan set is that of its zero extension (The Riemann integral of a bounded function over a bounded Jordan measurable set).
A bounded set is Jordan measurable exactly when its boundary has content zero (A bounded set in is Jordan measurable iff its boundary is null, equivalently of content zero).
Sine and cosine take values in (Signs, monotonicity intervals, and ranges of sine and cosine).
Verification
Writing and , the identities in [L1], [L2], and [L3] give for every , because and while and .
The two rectangles and each have angle length , their union covers a full turn modulo , they overlap directly on , and after the shift in step 1.1 they overlap again through on against on .
Differentiating and using [F3] and [L1] gives , so . Since and by [L5], one has , so this norm squared is positive. For injectivity on either rectangle, equality of two images first gives the same polar angle modulo because the radial coordinate is positive; the angle interval has length below , so the parameters have the same . The radial coordinate together with the third coordinate then recovers , because . Thus no interior parameter point shares its image with another point of the same rectangle, and both restrictions are regular.
The points of the first overlap that come from the interiors of both parameter regions have common parameters in . On this open rectangle the restrictions are literally the same map with the same derivatives, so their oriented area vectors and induced normals agree by [F4]. At , step 3.1 gives , so the common induced normal there is . No normal is asserted at an overlap point represented only by a boundary parameter, because [F4] defines the induced normal on the image of the parameter-region interior.
The points of the second overlap that come from both interiors are represented on by and on by , where . Step 1.1 gives there. Substituting into the explicit formula of step 3.1 changes the sign of every term in , because , , , and . Thus the oriented area vectors, and hence the induced normals from [F4], are opposite at every such interior-overlap point. At on , step 3.1 gives , while the corresponding point on gives .
Steps 4.1 and 4.2 exhibit, on the points where both induced normals are defined, one overlap component with matching normals and one with opposite normals. Thus this two-patch presentation carries both sign patterns at once.
Each overlap preimage is a closed rectangle of positive area, so the content-zero overlap condition in [F2] also fails. The example is therefore a two-patch presentation of the Möbius band, but not a compatible finite patch presentation for flux.
Remarks
- The point of the example is local to this presentation. It does not claim that no other presentation of the Möbius band could behave differently; the next false statement is the finite check on this one.
Depends on
- Regular parametrized surface patches on compact Jordan parameter regions
- Finitely patched regular surfaces, their area, scalar integrals, and flux
- The cross product in $\mathbb R^3$
- The derivatives of sine and cosine are cosine and minus sine
- Parity and the Pythagorean identity for sine and cosine
- Quarter-turn values and shifts by pi/2 and pi
- Unit normal fields, orientations, and flux through a regular surface patch
- The Riemann integral of a bounded function over a bounded Jordan measurable set
- A bounded set in $\mathbb{R}^m$ is Jordan measurable iff its boundary is null, equivalently of content zero
- The Euclidean inner product $\langle x,y\rangle = \sum_{k<n} x_k y_k$ on $\mathbb{R}^n$
- Signs, monotonicity intervals, and ranges of sine and cosine
Used by
Dependency tree · two levels
54 results within two dependency steps of this one, each drawn at its shortest distance from it. An arrow runs from a result to what uses it, so the chart reads left to right and ends at this result, which carries a heavier outline. Every node is a link to that result. Click elsewhere on the chart to enlarge it.
Sources
- University of Toronto MAT237 notes, Section 5.3 (standard reference, not scraped)
- M. E. Taylor, Introduction to Analysis in Several Variables, Section 3.2 (standard reference, not scraped)