Alphabeta Math
CounterexampleConstruction: AI-generatedVerification: AI-generatedverified 2026-09-26 (gpt-6-sol)
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.

Uniformly tiny perturbations on larger and larger shells of a noncompact manifold can create new critical points far out

Statement refuted

On a noncompact manifold, perturbations that are uniformly tiny in value cannot create new critical points far out at infinity.

Facts & Assumptions

Given: A smooth bump function β:R→R supported in [−1,1] with β′(0)=−1, the base function f(x)=x, and the perturbations gn(x)=x+1nβ(n2(x−n)).

[L1]

The A-page remark records that compact-set smallness alone is not a substitute for the strong topology on a noncompact manifold, because drifting-shell perturbations can create new critical points far out at infinity (On a noncompact manifold, this page states Morse genericity as a strong-topology residual theorem).

Counterexample

technique · direct construction
1.1givenalgebra

Since β has compact support, ∥gn−f∥∞≤∥β∥∞/n→0, so the perturbations are uniformly tiny in value. Their supports lie in [n−1/n2,n+1/n2], hence for every fixed compact set K⊆R one has gn=f on K once n is large enough.

2.1step 1.1givenalgebra

Differentiating gives gn′(x)=1+n β′(n2(x−n)). In particular gn′(n)=1+nβ′(0)=1−n≤0, with equality only when n=1, while outside the support interval one has gn′(x)=1. Thus g1′(1)=0, and for every n≥2 continuity gives some xn∈[n−1/n2,n+1/n2] with gn′(xn)=0. Thus each gn has a new critical point near x=n.

3.1L1step 1.1step 2.1∎

Step 1.1 shows that the perturbations are tiny on every fixed compact set, while step 2.1 shows that they still create new far-out critical points. This is exactly the noncompact failure mode recorded in [L1]. Therefore the displayed claim is false.

Depends on

Used by

Nothing in the library uses this result yet.

Dependency tree · two levels

4 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