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.
Opposite electric charges give the same RN metric
Example
Fix a length and a real mass parameter . On any positive-radius interval where the two functions are nonzero, compare the pure electric RN data with and .
Facts & Assumptions
Given: The dyonic RN formula with and the same domain in both cases.
Lorentzian exterior calculus and Hodge star: on a positively oriented Lorentzian orthonormal coframe, the two-form Hodge map is determined by the metric and orientation and satisfies .
A continuous function on is Riemann integrable, by Heine-Cantor and Riemann's criterion makes a continuous real function on a compact interval Riemann integrable. The second fundamental theorem: if is differentiable on with and is integrable, then evaluates its integral as when the integrand is the derivative of a differentiable primitive .
Geometric electrovac equations and flux normalization defines sphere flux by pulling back the smooth field or its Hodge dual along a smooth embedding of a compact oriented sphere and integrating the resulting top form. The integral uses the inherited convention; the flux parameter is the integral divided by .
Verification
Since , both lapse functions equal . Every metric coefficient is consequently identical.
At fixed and admitted radius , the sphere map from the oriented unit sphere into the RN product is a smooth embedding; it is a product-factor inclusion, so it is injective with injective differential and has the continuous inverse given by the sphere projection. The source sphere is compact and has no boundary, and the fields are smooth on a neighborhood since and . Thus its pulled-back field and dual are smooth compactly supported top forms, and the flux integrals below are the well-defined operation in [F4]. The two fields are , so . If , use the positively oriented coframe , , , . If , use , , , . In both cases and , so [F2] gives and . For the explicit sphere parametrization , differentiation gives , so the outward form pulls back to , as in [F1]. The sine density is continuous, hence integrable by [F3]; its primitive is . Its integral on , is , and the two omitted caps have total area by the same bounded polar density; the seam has zero width in the azimuthal integral. Thus . The normalized oriented electric sphere fluxes are therefore . Thus the metric does not determine the sign of the electric flux parameter.
Depends on
Dyonic Reissner-Nordström metric and field domains
Geometric electrovac equations and flux normalization
Lorentzian exterior calculus and Hodge star
A continuous function on is Riemann integrable, by Heine-Cantor and Riemann's criterion
The second fundamental theorem: if is differentiable on with and is integrable, then