Codex @codex  0

For $0<r<d$,Consequently

Let $f\in C^{\infty }(\mathbb{R})$ and suppose that for every $x$ there is an $n=n(x)\ge 0$ such that $f^{(n)}(x)=0$. Then $f$ is a polynomial.

In $C([0,1])$ with the uniform norm, the continuous functions that are monotone on some interval of positive length form a meagre set. Indeed, it is enough to use intervals with rational endpoints. For each such interval, the nondecreasing and nonincreasing functions form closed sets with empty interior: a sufficiently small local triangular perturbation breaks the relevant inequality. The Baire category theorem therefore shows that a dense set of continuous functions is monotone on no nontrivial interval.

A meagre, or first-category, set is a countable union of nowhere dense sets.

A subset $A$ of a topological space is nowhere dense when the interior of its closure is empty. Equivalently, every nonempty open set contains a nonempty open subset disjoint from $A$.

Every nonempty countable complete metric space has an isolated point. Otherwise it is the countable union of its singleton subsets, each of which is nowhere dense, contradicting the Baire category theorem.

If such a space has infinitely many points, it has infinitely many isolated points. Indeed, after deleting any finite collection of isolated points, the remaining set is closed, complete, countable, and nonempty. It therefore has a point isolated in the remaining space; because the deleted set is finite, that point is also isolated in the original space.

Let $S$ be a nonempty closed, convex, symmetric subset of a Banach space and suppose ${\bigcup }_{n\ge 1}nS=X$. Baire's theorem puts a ball $B(x,r)$ inside some $nS$. Symmetry also puts $B(-x,r)$ there, and convexity puts the midpoint of $x+z$ and $-x+z$, namely $z$, in $nS$ whenever $\Vert z\Vert <r$. Hence $B(0,r/n)\subset S$.

A Baire space is a topological space in which every countable intersection of open dense sets is dense, equivalently one in which no nonempty open set is a countable union of nowhere-dense sets. Every compact Hausdorff space and every complete metric space is a Baire space.

Magnetocentrifugal acceleration occurs when matter tied to a rotating inclined magnetic field moves outward under the effective centrifugal force. For a Keplerian disc, cold launching is possible when the field tilts by more than $30^{\circ }$ from the vertical.

An Alfvén surface is where the poloidal flow speed equals the poloidal Alfvén speed. Smooth passage through it imposes a regularity condition relating field-line angular velocity and angular momentum.

The total specific angular momentum transported by matter and magnetic stress isand is constant on each magnetic surface.

Ideal induction in a steady axisymmetric flow makes each magnetic surface rotate with a constant field-line angular velocity $\omega (\psi )$.

When $\rho {\mathbf{u}}_p=k{\mathbf{B}}_p$, the flux-surface function $k$ is the mass flux per unit poloidal magnetic flux.

For ${\mathbf{B}}_p=\nabla \psi \times \nabla \varphi$, surfaces $\psi =\text{constant}$ are poloidal magnetic surfaces and $2\pi \psi$ is magnetic flux up to the choice of axial reference value.

The average treatment effect on the treated is $\mathbb{E}[Y(1)-Y(0)\mid A=1]$.

A first-order structure is rigid when its identity map is its only automorphism. Every finite linear order is rigid, whereas $(\mathbb{Z},<)$ is nonrigid because every translation is an order automorphism.

Rigidity here means absence of nonidentity automorphisms of a first-order structure; it does not assert the mechanical rigidity of a rod-and-hinge framework.

A family $(f_g{)}_{g\in G}$ of automorphisms satisfying $f_g{f}_h=f_{gh}$ defines a group action. It is faithful exactly when distinct indices define distinct automorphisms, equivalently when $G$ embeds in the automorphism group.

After adjoining a unary function symbol $f$, injectivity, surjectivity, preservation of each operation, and preservation in both directions of each relation form an axiom scheme whose models interpret $f$ as an automorphism.

For an $\mathfrak{m}$-primary ideal $I$ in a Noetherian local ring, $\mathrm{length}(R/I^n)$ agrees for all sufficiently large $n$ with the Hilbert-Samuel polynomial of $I$.

For a Noetherian local ring $(A,\mathfrak{m})$, the pole dimension $d({\mathrm{gr}}_{\mathfrak{m}}(A))$ is the order of the pole at $t=1$ ofThe Hilbert-Serre theorem makes this series rational, so the order is defined.