Suppose one observation comes from either $P$ or $Q$, each with prior probability $1/2$. A decision rule that chooses $P$ on an event $E$ and $Q$ otherwise has success probabilityOn a finite set, choosing $E=\{x:P(x)>Q(x)\}$ therefore gives $\frac{1}{2}(1+d_{\mathrm{TV}}(P,Q))$. This is the equal-prior version of minimum sum of errors in a simple hypothesis test; allowing a statistical test to use an auxiliary random variable cannot improve it, because for each outcome the better of the two decisions already maximizes its contribution.

For the four-outcome example, choose $P$ after $A$ and $Q$ after $B$ or $C$, with either decision allowed after $D$. Choosing $Q$ after $D$ yields $\frac{1}{2}(0.4+0.9)=0.65$. The best success probability is 65%, with a 35% error probability. A smaller total variation distance means the two sources are harder to distinguish from one observation. Unequal prior probabilities, unequal costs, or multiple observations change this particular decision problem; the $65\%$ figure is not a universal bound for every experiment.

Consider the probability mass functions $P=(0.4,0.1,0.2,0.3)$ and $Q=(0.1,0.3,0.3,0.3)$ on the finite set $S=\{A,B,C,D\}$. Their difference is $(0.3,-0.2,-0.1,0)$. ThusThe event $E=\{A\}$ attains this difference: $P(E)=0.4$ and $Q(E)=0.1$. Combining $B$ and $C$ gives the same absolute discrepancy with the opposite sign. Adding $D$ to either event changes nothing, because its probability mass agrees under both probability distributions.

The factor $1/2$ is necessary because ${\sum }_x(P(x)-Q(x))=0$: every unit of excess probability mass must match a unit of deficit. For any event, including a negative term cannot increase its signed discrepancy, while omitting a positive term cannot increase it either. Therefore $\{x:P(x)>Q(x)\}$ attains the positive maximum. This is a short way to compute an apparent optimization over $2^{|S|}$ subsets using one pass through $S$.

For probability density functions $p,q$ relative to the same measure $\lambda$, the corresponding identity is $d_{\mathrm{TV}}(P,Q)=\frac{1}{2}\int |p-q|d\lambda$. Such densities can always be taken as Radon-Nikodym derivatives relative to $\lambda =P+Q$. Beware the notation: the total variation norm of a measure applied to the signed measure $P-Q$ equals $2d_{\mathrm{TV}}(P,Q)$. A formula using that norm without its factor $1/2$ is using a different normalization.

Torsion balance zero drift is slow motion of the unloaded reference angle ${\beta }_0(t)$ during a measurement. If the torsion constant remains fixed, a constant applied torque gives ${\beta }_{\mathrm{eq}}={\beta }_0(t)+{\tau }_{\mathrm{ext}}/\kappa$. For two equal and opposite applied torques measured at the same reference zero, their equilibrium angles differ by $2{\tau }_{\mathrm{ext}}/\kappa$. A stable offset cancels; a changing zero contributes ${\beta }_0(t_{+})-{\beta }_0(t_{-})$ and does not cancel automatically.

A simple symmetric sequence makes the limitation explicit. Let $b_1,b_2,b_3$ be settled equilibrium angles for applied torques $+\tau ,-\tau ,+\tau$ at equally spaced times $t_0-h,t_0,t_0+h$. If the unloaded zero is linear in time, ${\beta }_0(t)=u+vt$, and $\kappa$ and $\tau$ remain fixed, thenThe arithmetic average of the outer zero values equals the middle zero, so both the constant offset and linear drift cancel. Curved zero motion, unequal time spacing, changing torsion constant, changing signal strength, or unsettled oscillations violate these assumptions. This is an algebraic control example, not a claim that every torsion balance follows a linear drift law.

The torsion constant, or torsional spring constant, is the positive restoring torque per unit twist angle of a complete suspension in its linear elasticity range:Its SI unit is $\mathrm{N}m/rad$. The minus sign describes restoration toward the untwisted orientation. The derivative specifies a local stiffness if the response is not globally linear; using one constant over a finite range additionally requires a straight calibration curve. Return to the same zero after unloading tests recoverable elastic deformation; repeat loading in both directions to check whether the response depends on its previous loading. Staying below permanent deformation is necessary, but does not alone prove proportionality between torque and twist.

For an ideal uniform circular wire of length $\ell$, radius $r$, and shear modulus $G_s$, the filament torsional stiffness is $C=G_s{J}_p$, with polar second moment of area $J_p=\pi r^4/2$. Uniform twist gives $\theta /\ell$ as the twist per unit length, soHere $U$ is stored elastic energy. Doubling the wire's radius multiplies the ideal torsion constant by $16$; doubling its length halves it. This explains why a long thin fiber is useful for weak torque measurement. The formula assumes linear elasticity with uniform material and circular section; it does not calibrate arbitrary ribbons, clamps, or a compound suspension. Within this ideal model, the equipartition theorem predicts an equilibrium thermal mean-square angular displacement $⟨{\theta }^2⟩=k_B\mathcal{T}/\kappa$, where $k_B$ is the Boltzmann constant and $\mathcal{T}$ the uniform absolute temperature. A softer suspension magnifies both the signal and its thermal fluctuations.

Static calibration supplies known torques without assuming the unknown interaction being measured. Apply a known perpendicular force $F$ at lever arm $a$, record the change from the unloaded twist, and useSeveral positive and negative settings test proportionality; fit the slope of applied torque against twist and retain a possible intercept. A nonzero intercept must not be silently absorbed into the slope. Convert degrees to radians before reporting $\mathrm{N}m/rad$. PASCO's procedure turns the Coulomb balance on its side and adds small known masses to generate a gravitational weight at the sphere's lever arm, returning the rod to its index mark by turning the dial. Its tabulated coefficient is force per degree: multiply by the lever arm and $180/\pi$ to obtain our torsion constant. ^[ref]

The figure's ideal static calibration uses $\kappa =1.0\times 10^{-8}\mathrm{N}m/rad$: an applied torque of $2.0\times 10^{-10}\mathrm{N}\mathrm{m}$ gives $0.020\mathrm{rad}$. Both signs lie on the same straight line. The plotted points are calculated examples, not experimental observations; they cannot demonstrate a real fiber's linearity.

Dynamic calibration instead measures the oscillation period $T_0$ with known total suspended moment of inertia $I$. For negligible damping, small free oscillations about a fixed reference obey simple harmonic motion:Include the rod, mirrors, and any attachments in $I$ unless their contributions are demonstrably negligible. Keep the applied torque absent or independent of angle. If an external torque has derivative $g_{\tau }=d{\tau }_{\mathrm{ext}}/d\theta$ at equilibrium, linearization gives effective stiffness $\kappa -g_{\tau }$: timing alone then measures that combination, and stability requires $\kappa -g_{\tau }>0$. A constant applied torque merely shifts equilibrium. Non-negligible damping changes the measured period; damped torsional oscillation gives a correction under a specified damping model. Agreement between static and dynamic calibrations is a useful check on the assumed moment of inertia, reference stability, and restoring law, rather than a reason to ignore their assumptions.

For a simplex with vertices indexed by $0,\dots ,n$, let closed sets $F_i$ have the property that every face spanned by an index set $I$ lies in ${\bigcup }_{i\in I}{F}_i$. Then ${\bigcap }_{i=0}^n{F}_i$ is nonempty. The triangle KKM lemma is a two-dimensional covering formulation of this simplex-intersection principle.

A topological space is normal when every two disjoint closed subsets have disjoint open neighbourhoods.

A subset is dense when every nonempty open set meets it, equivalently when its closure is the whole ambient space.

An $n$-dimensional topological disc is a space homeomorphic to a Euclidean ball in ${\mathbb{R}}^n$, with its open or closed convention specified. A closed disc is homeomorphic to $D^n=\{x\in {\mathbb{R}}^n:|x|\le 1\}$. The planar disk is the Euclidean two-dimensional instance, rather than the whole abstract topological class.

A planar Euclidean disk consists of the points within a fixed radius of a centre, with either the open or closed boundary convention. The closed disk centered at the origin is $D_R=\{x\in {\mathbb{R}}^2:|x|\le R\}$ and has area $\pi R^2$. It is the two-dimensional closed Euclidean ball; the general closed disc may have any dimension.

The closure of a subset $A$ of a topological space $X$ is the smallest closed set containing $A$. Equivalently, it is the intersection of all closed sets containing $A$, or the set of points whose every neighbourhood in $X$ meets $A$. The notation ${\mathrm{cl}}_{X}A$ makes the ambient topological space explicit. This definition works without a metric or any appeal to sequences. ^[ref]

For $A=[0,1)$ in the usual real line, $\overline{A}=[0,1]$: every neighbourhood of $1$ meets $A$, while a point outside $[0,1]$ has an open ball disjoint from $A$. Passing to the closure adds the missing endpoint and retains all original points, including isolated points when present. In general, the closure is $A$ together with its limit points; its individual points are the adherent points of $A$.

The closure turns an arbitrary subset into a closed set with no unnecessary added points. It satisfies $A\subseteq \overline{A}$ and $\overline{\overline{A}}=\overline{A}$; a subset is closed exactly when $A=\overline{A}$. In a metric space, $x\in \overline{A}$ exactly when some sequence of points of $A$ has limit of a sequence $x$: choose its $n$th point in $A\cap B(x,1/n)$. For a general topological space, keep the neighbourhood definition; sequences need not detect every point of the closure.

A topological space is extremally disconnected when the closure of every open set is open. This concerns open sets, not arbitrary subsets. In particular, a nonisolated singleton in a Hausdorff space is closed but not open, so its closure gives a counterexample to that stronger condition.

The $g$th symmetric product of a space $X$ is ${\mathrm{Sym}}^g(X)=X^g/S_g$, where the symmetric group permutes the factors. Its points are unordered $g$-tuples, with repetitions allowed. If $X$ is a Riemann surface, elementary symmetric functions in local complex coordinates make its symmetric product a smooth complex manifold, including along the locus of repeated points. A collection of disjoint circles in $X$ gives a product torus in this symmetric product.

The lower limit topology on $\mathbb{R}$ has basis of a topology $\{[a,b):a<b\}$. Every such nonempty interval contains a rational, so this topological space is separable. Its topology is finer than the usual Euclidean topology; the one-sided basic neighbourhoods allow its square to have an uncountable discrete antidiagonal.

On an infinite set, the family consisting of all finite subsets and the whole set need not be closed under arbitrary unions. On $\mathbb{Z}$, the union of the singleton subsets of $2\mathbb{Z}$ is infinite and proper, so this family is not a topology. It must not be confused with the cofinite topology, whose proper open sets have finite complements.

Given a partition of a set, declare a subset open precisely when it is a union of partition blocks. Arbitrary unions and finite intersections of such unions are again unions of blocks, giving a topology. The quotient map to the block set with its discrete topology pulls that topology back to the original set. For the partition of $\mathbb{Z}$ into its two parity classes, the only open sets are the empty set, those two classes, and all of $\mathbb{Z}$.

A closed cover of a topological space is a family of closed sets whose union is the whole space. A finite closed cover can be used in separation and antipodal arguments: in a metric space, vanishing distance to a closed member means actual membership. Unlike an open cover, a closed cover does not automatically have a partition of unity subordinate to its members.

A topological space is hyperconnected if any two nonempty open sets intersect. Every continuous map from a nonempty hyperconnected space to a Hausdorff space is constant: two distinct image points would have disjoint open neighbourhoods whose nonempty inverse images contradict hyperconnectedness. Every infinite set with the cofinite topology is hyperconnected.

These sets form a topology: a nonempty union of upper rays is another upper ray, or all of $\mathbb{R}$ when their endpoints have no lower bound; a finite intersection of rays has endpoint the maximum of their endpoints. The whole line must be included. The continuous map $n\mapsto n$ from $\mathbb{N}$ with the cofinite topology to this space is nonconstant, because each upper ray has cofinite inverse image.

The Fell topology on the closed subsets of a locally compact space has subbasic open sets requiring intersection with an open set or avoidance of a compact set. On a locally compact separable metric space, its sequential convergence says that every convergent subsequence of points from the varying sets has its limit in the limiting set, and every point of the limiting set is approximated by points from the varying sets.

The nonempty open sets are the upper tails of the natural numbers. Arbitrary nonempty unions select the smallest starting index, and finite intersections select the largest, so these sets form a topology. A map into this space is continuous exactly when the inverse image of every upper tail is open.