Hierholzer's algorithm constructs an Euler circuit by growing closed trails along unused edges and splicing them at shared vertices, as in the Euler circuit criterion. Each edge must have a distinct record. An implementation using adjacency lists, a stack, and a used flag for each edge runs in $O(|V|+|E|)$ time, including the connectivity and vertex degree checks. Store both incidences of a self-loop, while marking its single edge record used only once.

With fixed positive scale estimates $s_j$, this is Euclidean distance in standardized coordinates. It removes marginal units but ignores correlations. Small estimated variances can greatly amplify measurement noise; a zero scale must be handled separately.

A method-of-moments estimator equates selected theoretical moments $m_j(\theta )$ to corresponding empirical moment estimates and solves for the parameter. For a distribution with mean $\mu$ and variance ${\sigma }^2$, the first two raw moment equations give $\hat{\mu }=\overline{X}$ and $\widehat{{\sigma }^2}=n^{-1}{\sum }_i{X}_i^2-{\overline{X}}^2$. Existence, uniqueness and consistency require appropriate identifiability and moment assumptions; unbiased empirical moments do not make nonlinear parameter estimates unbiased. This statistical estimation procedure differs from the method of moments in probability for proving convergence in distribution.

For a sphere of radius $r_0$ and uniform mass density ${\rho }_0$, with no surrounding mass and gravitational potential zero at infinity, the spherical shell theorem gives $V_c^2=4\pi G{\rho }_0{r}^2/3$ inside. Matching to the exterior point-mass potential gives $\Phi (r)=-(2\pi G{\rho }_0/3)(3r_0^2-r^2)$. Since $v_e^2=-2\Phi$, the displayed relation follows for $0<r\le r_0$. Exterior shells leave the interior circular speed unchanged but deepen the potential and change the escape velocity; a uniform core alone is insufficient to determine escape.

A spacecraft trajectory is the path traced by a spacecraft's position over time. An unpowered exterior arc can approximate a Kepler orbit; other bodies' gravity, radiation pressure, and propulsion can change it.

Operational evidence comes from reconstructing a spacecraft's motion. A ground antenna transmits a coded signal; the spacecraft returns it. Corrected round-trip time constrains distance, while the Doppler effect of a coherent carrier constrains the line-of-sight relative velocity. NASA's navigation account describes calibration of onboard turnaround delays before launch, calibration of ground delays before use, and corrections for the terrestrial atmosphere. Measurements over multiple stations and epochs constrain the orbit; range and Doppler effect alone do not directly give all transverse motion. Navigators compare a fitted spacecraft trajectory with later tracking and remeasure after propulsion to assess the maneuver. The account identifies radiation pressure and imperfect propulsion as disturbances. This provides practical checks of a dynamical model and its corrections, rather than a laboratory measurement of a universal escape speed. The simple inverse-square potential predicts an unpowered exterior arc; accurate navigation includes additional forces and measurement delays.^[ref]

For a circular orbit, gravity supplies centripetal acceleration, giving $v_c^2/r=\mu /r^2$. ThusA body in a circular orbit is bound despite its continuous free fall. At the same $r$, escape needs twice its kinetic energy per unit mass. An instantaneous forward tangential velocity increment from the circular orbit requires $\Delta v=(\sqrt{2}-1)v_c$, rather than the full escape speed from rest. In the synthetic example this is exactly $2(\sqrt{2}-1)m/s\approx 0.828427m/s$.^[ref]

Escape speed is a coasting threshold, not a required continuously maintained speed or a measure of rocket propellant. A powered vehicle can start at rest and acquire energy gradually. The rocket equation relates an ideal velocity increment to rocket exhaust speed and rocket mass ratio; rocket thrust, drag, and the timing and direction of propulsion affect a real ascent. Rotation also changes the relation between surface-relative velocity and the inertial frame used in the calculation.

Reaching another body is a finite-destination spacecraft trajectory problem. In the synthetic radial example, a launch at $2m/s$ reaches $r=4\mathrm{m}$ while remaining bound. A spacecraft can similarly encounter the Moon on a bound geocentric transfer; actual planning must include the Moon's gravity, target motion, arrival velocity, and any propulsion needed for capture. Escaping Earth alone does not imply escaping the Sun, because the relevant reference frame and attracting mass have changed. The isolated formula describes one gravitational well; a full mission requires more than its scalar threshold.

“Arrives at infinity with zero speed” is an asymptotic statement. For outward radial motion at zero specific orbital energy,Every finite distance takes finite time, but $t(r)\to \infty$ as $r\to \infty$. There is no instant of rest at an infinitely distant destination. Differentiating the displayed solution gives $\ddot{r}=-\mu /r^2$, independently checking Newton's second law. In the synthetic example, reaching $r=4\mathrm{m}$ takes exactly $(4-\sqrt{2})/3\mathrm{s}\approx 0.861929\mathrm{s}$. For nonzero specific angular momentum, the Barker equation gives the corresponding infinite-time limit along a parabolic trajectory. Positive-energy escape also takes infinite time to reach infinity; it retains nonzero asymptotic speed.

The same initial distance can lead to strikingly different orbits. Let $s=v_0/\sqrt{\mu /r_0}\ge 1$ and launch tangentially in one orbital plane. Then periapsis is the launch point, specific angular momentum is $h=r_0{v}_0$, andwhere $f$ is true anomaly. These follow by combining the initial specific orbital energy with the orbital eccentricity relation and the Kepler orbit equation. With $\mu =8{\mathrm{m}}^3/{\mathrm{s}}^2$ and $r_0=2\mathrm{m}$, the initial speeds $2$, $\sqrt{6}$, $2\sqrt{2}$, and $2\sqrt{3}m/s$ give $e=0,1/2,1,2$: a circular orbit, an elliptic orbit with apoapsis distance $6\mathrm{m}$, a parabolic trajectory, and a hyperbolic Kepler orbit. The two open paths have asymptotic speeds zero and $2m/s$ respectively. Their different directions at large distance are part of the Kepler orbit, not an extra scalar escape threshold.

Use the synthetic standard gravitational parameter $\mu =8{\mathrm{m}}^3/{\mathrm{s}}^2$ and launch distance $r_0=2\mathrm{m}$. Then escape speed is $2\sqrt{2}m/s$. Three outward radial launches give exact comparisons: $v_0=2m/s$ has specific orbital energy $-2J/kg$ and stops outward at $r=4\mathrm{m}$; $v_0=2\sqrt{2}m/s$ has zero specific orbital energy; $v_0=2\sqrt{3}m/s$ has specific orbital energy $+2J/kg$ and asymptotic speed $2m/s$. The second case has speed $2m/s$ at $r=4\mathrm{m}$. Doubling $r_0$ divides escape speed by $\sqrt{2}$, whereas doubling $M$ at fixed $r_0$ multiplies it by $\sqrt{2}$. Changing the test particle's mass changes $E$ but cancels from the escape speed.

An inviscid fluid with conservative body force, a materially conserved stratifying scalar $\alpha$, and an equation of state making $\nabla \rho ,\nabla p,\nabla \alpha$ coplanar conserves its Ertel potential vorticity. The stretching of absolute vorticity per unit density cancels the deformation of the scalar gradient; the remaining baroclinic triple product vanishes. In an incompressible density-stratified ideal fluid, choosing the advected density as $\alpha$ gives that cancellation directly.

A point is generic for an invariant measure $\mu$ of a continuous map on a compact metric space if the displayed convergence holds for every continuous function $\phi$. Its empirical probability measures converge against continuous test functions to $\mu$. The same test-function condition may be used before invariance is known: the telescoping identity for $\phi \circ f-\phi$ then proves that the limiting Borel probability measure must be invariant. If almost every point is generic for the same measure, continuous approximation of invariant-set indicators proves that this measure is ergodic.

The colors $\nu$ here range over nonzero cardinals. The Erdős-Rado theorem for pairs makes this function total, and target and color monotonicity make it nondecreasing, with $f(\alpha )\ge \alpha$. If an uncountable cardinal $\kappa$ is closed below itself under $f$, then it is strong limit. Indeed, coloring distinct binary strings of length $\lambda <\kappa$ by their first differing coordinate uses $\lambda$ colors and has no monochromatic triangle, so $f(\lambda +1)>2^{\lambda }$. If $\kappa$ also has the tree property, the end-homogeneous tree for any $\nu <\kappa$ has levels of size below $\kappa$ and a cofinal branch; regularity makes one color occur $\kappa$ times. Thus $f(\kappa )=\kappa$. This distinguishes function closure plus the tree property from the tree property alone.

For a coloring of $(r+1)$-subsets of an ordinal, route a vertex through the least earlier vertices matching its colors on every $r$-subset of previously chosen ancestors. The path stops when the vertex itself is selected. Common path prefixes agree, yielding a set-theoretic tree; a node at level $\alpha$ is determined by its color table on $[\alpha {]}^r$. Along a branch, the color of an $(r+1)$-tuple is independent of its last entry. If the domain has size $(2^{\mu }{)}^{+}$ and $\lambda \le \mu$, levels below ${\mu }^{+}$ have size at most $2^{\mu }$; counting all those levels forces a branch of length ${\mu }^{+}$. If the domain is a regular strong-limit cardinal $\kappa$, those levels instead have size below $\kappa$, and the tree property supplies a cofinal branch when needed.

Put $\theta =(2^{\mu }{)}^{+}$ for an infinite cardinal $\mu$. Choose $M\prec H_{\chi }$ of size $2^{\mu }$, containing all ordinals below ${\mu }^{+}$, and closed under externally given sequences of length at most $\mu$. Such a model is built by ${\mu }^{+}$ successive Skolem hull closures, since $(2^{\mu }{)}^{\mu }=2^{\mu }$. For a coloring of $[\theta {]}^{r+1}$ with at most $\mu$ colors in $M$, put $\beta =\sup (M\cap \theta )<\theta$. Recursively choose $x_{\alpha }\in M\cap \theta$ for $\alpha <{\mu }^{+}$, above all earlier points, so that every earlier $r$-tuple has the same color with $x_{\alpha }$ as with $\beta$. There are at most $\mu$ constraints, their code belongs to $M$ by closure, and $\beta$ witnesses their consistency. The elementary embedding supplies the required witness in $M$. The resulting sequence is end-homogeneous, providing the induction step in the Erdős-Rado theorem for finite arities.

On $C(X)$ for compact Hausdorff $X$, any complete norm making every point evaluation functional continuous is equivalent to the uniform norm. If $f_n$ converges in the new norm to $f$ and uniformly to $g$, evaluation gives $f(x)=g(x)$ for every $x$, so the identity map between the two Banach spaces has closed graph. The closed graph theorem and open mapping theorem make the identity and its inverse bounded. Completeness of the proposed norm is essential to this argument.

For equivalent norms $q$ and $\Vert \cdot \Vert$ on an infinite-dimensional closed linear subspace $Y$, define its relative distortion on a further infinite-dimensional closed linear subspace $Z\subseteq Y$ byThe equivalent norms condition makes the denominator positive and the numerator finite. A Banach space has bounded distortion if one constant $D<\infty$ works for every such $Y$ and every $q$ among the equivalent norms on $Y$: there is a further infinite-dimensional closed linear subspace $Z\subseteq Y$ with ${\mathrm{dist}}_Z(q,\Vert \cdot \Vert )\le D$. The constant is uniform over renormings and starting subspaces; $Z$ may depend on both.

This convention is expressed by saying that, for some finite distortion threshold, no subspace is distortable beyond that threshold. A block-subspace formulation additionally assumes a specified Schauder basis and tests further block subspaces; the basis must be stated rather than silently assumed.^[ref]

The ratio is unchanged by multiplying $q$ by a positive scalar. Equivalently, on the selected $Z$ there is $a>0$ such that $a\Vert z\Vert \le q(z)\le aD\Vert z\Vert$. For $q=100\Vert \cdot \Vert$, the distortion is exactly one, not one hundred. Allowing that rescaling is essential: distortion compares relative geometry rather than the arbitrary unit of length.

Relative to a Schauder basis, take the supremum over successive finite intervals whose minima belong to a specified hereditary family $\mathcal{F}$, and signs ${\epsilon }_i\in \{-1,1\}$. If this supremum is bounded above by a multiple of the original norm and the family contains all singletons, it gives an equivalent norm. Composing two admitted signed interval projections costs at most a factor of two in this norm: split their nonempty intersections according to which interval supplies the later left endpoint. In each of the two resulting families the minima form a subset of one original list, so heredity preserves admissibility. This estimate lets bounded distortion of a Banach space give a uniform bound independent of the complexity of $\mathcal{F}$.

Two norms $p,q$ on a vector space give the same topology if and only if $cp(x)\le q(x)\le Cp(x)$ for some positive constants. Indeed, continuity of the identity at zero gives $p(x)<\delta \Rightarrow q(x)<1$. For $x\ne 0$, apply this to $\delta x/(2p(x))$ to obtain $q(x)<2p(x)/\delta$. Reverse the roles of the norms for the lower bound. Conversely the two inequalities compare every translated open ball. This proof uses absolute homogeneity of a norm, not finite dimension.

Suppose a finite-horizon market has a strictly positive numéraire $B$ and an equivalent measure under which all prices $S^i/B$ are local martingales. The discounted wealth of a self-financing strategy is a stochastic integral against those prices. If it is bounded below by a deterministic constant, that wealth is a supermartingale: add the lower-bound constant to obtain a nonnegative local martingale, then apply conditional Fatou to a localizing sequence. A zero-cost admissible portfolio therefore has expected discounted terminal wealth at most zero. Nonnegative terminal wealth with positive probability of a strict gain would have strictly positive expectation under the equivalent measure, a contradiction. Thus there is no admissible arbitrage. True martingales are not needed for this implication.