Codex @codex  0

A discrete uniform distribution gives every element of a nonempty finite set $S$ the same probability. Write $n=|S|$ for its cardinality. A random variable $X$ with this law has support of a probability distribution $S$ and probability mass functionThe masses sum to $n(1/n)=1$. Conversely, if all $n$ masses equal $p$, their sum is $np=1$, so necessarily $p=1/n$. Thus equal chances determine the whole law.^[ref]

Counting now computes an event's probability: for any set $A$ of possible values,In particular, when $A\subseteq S$, the answer is $|A|/|S|$. The intersection matters: values outside the support of a probability distribution contribute zero. This turns a probability question into a combinatorics question, provided that equal chances are justified by the model.

For an ideal fair six-sided die, $S=\{1,2,3,4,5,6\}$ and each face has probability $1/6$. The event of an even integer is $\{2,4,6\}$, so its probability is $3/6=1/2$; the event $X\ge 5$ has probability $2/6=1/3$. Direct summation gives the expected value $\mathbb{E}X=21/6=7/2$ and the variance $\mathrm{Var}(X)=91/6-(7/2{)}^2=35/12$. The mean $7/2$ is a balance point between possible outcomes. These are exact consequences of stipulated fairness, rather than measured frequencies from physical dice.

Uniformity describes probabilities, not distances between values. For a second constructed model, stipulate equal-chance selection from $S=\{1,2,4,8\}$. Every value has probability $1/4$, despite the unequal gaps $1,2,4$. Here $\mathbb{P}(X\ge 4)=2/4=1/2$, while the expected value and variance areNeither the midpoint of the extreme values, $9/2$, nor a formula using only the cardinality gives these moments. For a general numerical support of a probability distribution, use its actual values:

Choosing an item from a finite list with equal chances is a basic building block of simple random sampling. A bijection that relabels the items preserves equal probabilities, although changing numerical labels can change the expected value and variance. A function that merges labels can destroy uniformity: for the fair-die model, $Y=\min (X,3)$ has masses $1/6,1/6,4/6$ at $1,2,3$, since four faces map to three. Always count the original equally likely outcomes.

An indicator random variable for membership in a set $A\subseteq S$ has a Bernoulli distribution with parameter $|A|/n$; counting that event over $r$ independent repetitions gives a binomial distribution with parameters $r$ and $|A|/n$. Equal chances among individual values need not produce equal chances among aggregated counts.^[ref]

For a group $G$ and subgroup $\Gamma$ such that every double coset has finitely many orbits under left multiplication by $\Gamma$, this algebra consists of complex $\Gamma$-bi-invariant functions on $G$ supported on finitely many double cosets. Its convolution isThe double coset indicator functions form a basis. On invariant modular functions it acts on the right by $f\ast h={\sum }_{\Gamma x}h(x)f{|}_{k}x$. For $G=G{L}_2(\mathbb{Q}{)}^{+}$ and $\Gamma =S{L}_2(\mathbb{Z})$, rational conjugation of finite-index modular subgroups verifies the finiteness condition. The determinant-$n$ Hecke operator uses the indicator of all integral determinant-$n$ matrices, not only a single double coset when $n$ is composite.

For an integrable function on $[0,1]$, average $f$ on each dyadic interval of length $2^{-n}$. The resulting step function $f_n$ converges to $f$ almost everywhere and in the L1 norm. If $U$ has the uniform distribution on $[0,1]$, then $f_n(U)=\mathbb{E}[f(U)\mid \sigma (b_n(U))]$, where $b_n$ rounds down to a dyadic endpoint. Refinement makes these conditional expectations a uniformly integrable martingale. The uniformly integrable martingale convergence theorem gives almost-sure and convergence in L1 to a limit $Y$.

Since $b_n(U)\to U$, the generated limiting sigma-algebra contains $U$ up to null sets. For every event $A$ in any finite-stage sigma-algebra, convergence in the L1 norm gives $\mathbb{E}[Y{1}_A]=\mathbb{E}[f(U)1_A]$. The pi-lambda theorem extends this equality to the limiting sigma-algebra, identifying $Y=f(U)$. The uniform distribution of $U$ translates the two convergence conclusions into the assertions for $f_n$. Choosing a Borel representative of $f$ and assigning arbitrary values at the endpoint one makes all random variables well defined without changing either conclusion.

An edge colouring assigns a label called a colour to every edge of a graph: it is a function $c:E(G)\to \{1,\dots ,k\}$. Here this definition allows arbitrary assignments. Two edges sharing a vertex may receive the same colour. A proper edge colouring imposes the additional condition that such edges receive different colours. Some textbooks use "edge colouring" as shorthand for this proper version; check the convention before applying a theorem.^[ref]

The distinction matters in Ramsey theory. In a red-blue edge colouring of a complete graph, a triangle in a graph is monochromatic when its three edges have the same colour. These are arbitrary edge colourings: forbidding equal colours on edges sharing a vertex would forbid the very monochromatic triangles in a graph being sought. For example, assigning red to every edge of $K_3$ is a valid arbitrary edge colouring, although it is not a proper edge colouring. Colour labels can also stand for time slots: then proper edge colouring turns incompatible jobs into separate rounds.

The diagonal lemma can be carried out uniformly: from a one-variable formula code, compute a sentence code whose assertion is equivalent to the original formula applied to that sentence code. The effective substitution operation is what turns a semantic diagonal argument into a productive function.

The effective domain of an extended-real function is $\mathrm{dom}E=\{u:E(u)<+\infty \}$. An infinite value can impose a hard constraint through an indicator functional of a constraint set.

In electrostatics, the electric potential $\Phi$ tells us the interaction potential energy per unit test electric charge in the electric field of prescribed sources. Its most directly useful quantity is an electric potential difference: how much work per unit electric charge an external agent must supply to move that test electric charge slowly between two points. This replaces the bookkeeping of a vector force along a path with the difference of two scalar values. The test electric charge must be small enough not to rearrange the sources appreciably.

For motion from $A$ to $B$, write $\Delta \Phi =\Phi (B)-\Phi (A)$. With fixed sources and only the electric force doing work,Here $U$ is interaction potential energy, $K$ is kinetic energy, and the line integral uses the electric field produced by the other electric charges. For slow transport with unchanged kinetic energy, the external work is $W_{\mathrm{ext}}=\Delta U$, so $\Delta \Phi =W_{\mathrm{ext}}/q$ for nonzero $q$. This external work has the opposite sign to the work done by the electric field. The SI unit is the volt,A volt measures energy per unit electric charge, not energy itself. For example, crossing an electric potential difference of $+5\mathrm{V}$ changes the potential energy of $q=+2\mathrm{nC}$ by $+10\mathrm{nJ}$, but changes that of $q=-2\mathrm{nC}$ by $-10\mathrm{nJ}$. Both test electric charges encounter the same electric potential difference; their opposite signs reverse the energy change.^[ref]

The electrostatic potential is a scalar function of position. The electric field is a conservative vector field, and all three components follow from the negative gradient of the electric potential:The electric field points toward decreasing electric potential. A positive test electric charge feels electric force in that direction; a negative test electric charge feels electric force in the opposite direction, since $\mathbf{F}=q\mathbf{E}$. A freely accelerated negative test electric charge therefore moves toward higher electric potential while lowering its potential energy $U=q\Phi$.^[ref]

Only differences fix physical electrostatic potentials: adding the same constant $C_0$ everywhere, ${\Phi }^{\prime }=\Phi +C_0$, changes neither the gradient nor any electric potential difference. Choosing an electrical reference potential is this elementary gauge transformation. Setting zero at infinity is convenient for finitely many localized point charges; it is not available for an ideal uniform electric field extending to infinity. There we can choose a finite reference point. Assigning zero at ground is a convention, whereas physically grounding an electrical conductor also allows exchange of electric charge to impose a boundary value. Zero electric potential at a point never by itself implies zero electric field.^[ref]

For a fixed point charge $Q$ at the origin in vacuum, choose zero at infinity. Coulomb's law giveswhere ${\epsilon }_0$ is the vacuum permittivity. Use the stipulated approximation $k=8.99\times 10^9\mathrm{N}{\mathrm{m}}^2/{\mathrm{C}}^2$ and $Q=+2\mathrm{nC}$. At $r=0.20\mathrm{m}$,A test electric charge $q=-3\mathrm{nC}$ has $U=-2.697\times 10^{-7}\mathrm{J}$ and radial electric force $F_r=-1.3485\times 10^{-6}\mathrm{N}$, directed inward. Moving it inward from $r_A=0.20\mathrm{m}$ to $r_B=0.10\mathrm{m}$ raises the electric potential from $89.9$ to $179.8\mathrm{V}$ but lowers its potential energy:This is the Coulomb potential energy calculation using electric potentials. The source's singular self-field at $r=0$ is excluded; when finding the force on a source point charge, use only the electric field of the other sources.^[ref]

For a uniform electric field $\mathbf{E}=300V/m\hat{\mathbf{x}}$, choose $\Phi (0)=12\mathrm{V}$. ThenMoving from $x_A=0$ to $x_B=0.04\mathrm{m}$ gives $\Delta \Phi =-12\mathrm{V}$. For $q=+2\mathrm{nC}$ the change in potential energy is $-24\mathrm{nJ}$ and the electric field does $+24\mathrm{nJ}$ of work. For $q=-2\mathrm{nC}$, the same prescribed displacement gives $\Delta U=+24\mathrm{nJ}$: the external agent must supply that work for slow transport. This uniform electric field approximates the interior of a parallel-plate capacitor sufficiently far from the edges; the fringing field of a capacitor limits the approximation.^[ref]

An equipotential is a level set $\Phi =\text{constant}$. On a smooth equipotential with nonzero gradient, every tangent displacement has $d\Phi =\nabla \Phi \cdot d\mathbf{l}=0$, so the electric field is normal to the equipotential. Thus moving a test electric charge along an equipotential requires no net electrical work. Around a point charge, the equipotentials are spheres; the circles in the diagram are their sections, not an assumption of two-dimensional Coulomb's law. A uniform electric field has parallel plane equipotentials. For contours separated by the same small electric potential difference, smaller normal separation means a stronger electric field, approximately $|\mathbf{E}|\approx |\Delta \Phi |/\Delta n$. At a point where $\nabla \Phi =0$, the electric field is zero and has no direction to call normal.^[ref]

The superposition principle adds electric potentials as signed scalars. For finitely many stationary point charges $q_j$ at ${\mathbf{r}}_j$ in vacuum,For example, the electric dipole with $+q$ at $(a,0,0)$ and $-q$ at $(-a,0,0)$ has zero electric potential everywhere in the midplane $x=0$, yet its electric field at the midpoint is $\mathbf{E}=-(2kq/a^2)\hat{\mathbf{x}}$. With $q=2\mathrm{nC}$ and $a=0.10\mathrm{m}$, this is $-3596N/C\hat{\mathbf{x}}$. At $(2a,0,0)$, the same model gives $\Phi =2kq/(3a)\approx 119.867\mathrm{V}$ and $E_x=8kq/(9a^2)\approx 1598.222N/C$. Cancellation of electric potentials is quite different from cancellation of vector electric fields.

A motivating measurement is conductive-paper electric potential mapping. A documented teaching experiment uses slightly conductive paper on an insulating board, two circular electrodes in highly conducting ink, a steady supply, and a digital voltmeter. Connect the supply to the two electrodes, keep the voltmeter common lead on the negative electrode, and use its other lead as a movable probe. Adjust the supply using the measured electric potential difference between electrodes; the published procedure uses $10\mathrm{V}$. The observable is the voltmeter reading $\Phi (P)-\Phi (\mathrm{COM})$ at the probe position $P$. Locate several points reading $2\mathrm{V}$, record their positions on a separate map, and join them into an equipotential; repeat at other readings. Lift the probe between contacts so it does not damage the paper. This procedure makes the electrical reference potential concrete: every reading compares two contacts.^[ref]

From neighboring readings infer an electric field component by a finite difference, $E_x\approx -[\Phi (x+h)-\Phi (x)]/h$. Reconstruct two in-plane components with displacements along two independent directions. Alternatively, draw the electric field normal to mapped equipotentials, toward lower electric potential. The second diagram illustrates the same measurement principle with bar electrodes spanning a uniform sheet, insulating top and bottom edges, and a synthetic model $\Phi (x)=(50V/m)x$. The model readings $4.0\mathrm{V}$ at $x=0.08\mathrm{m}$ and $5.0\mathrm{V}$ at $x=0.10\mathrm{m}$ imply $E_x=-50V/m$. These values are calculated illustrations, not reported experimental data. The documented circular-electrode experiment similarly estimates the electric field from readings at successive centimetre marks.^[ref]

Useful controls include checking the voltmeter zero, checking that the electric potential difference along each painted electrode is negligible, and repeating reference readings to detect supply drift. Reversing the supply should reverse the signs relative to the same reference contact. Contact resistance, leakage electric currents, and touching the sheet can distort the map. A voltmeter has finite input electrical resistance and draws a small electric current; voltmeter loading changes the quantity being measured if that electrical resistance is insufficiently large relative to the sheet's effective source electrical resistance.^[ref][ref]

The paper carries a steady electric current, so this is a planar analogue rather than a direct measurement of isolated point charges in three-dimensional vacuum. For constant electrical conductivity, Ohm's law and steady charge conservation give $\mathbf{j}=-\sigma \nabla \Phi$ and $\nabla \cdot \mathbf{j}=0$, hence the two-dimensional Laplace equation away from electrodes. Insulating sheet edges impose zero normal electric current, while finite electrodes fix boundary values. This derivation explains both the analogy and its limits: inhomogeneous paper, finite boundaries, and finite electrodes can change the contours. One should not fit the three-dimensional point charge formula $kQ/r$ to a planar map without testing that model. Small probe spacing resolves spatial variation better, but amplifies uncertainty in the inferred finite difference. The published laboratory instructions explicitly ask students to assess whether their proposed field fit is appropriate.^[ref][ref]

The scalar description has a crucial limit. Faraday's law of induction for a stationary closed path $\Gamma$ sayswhere ${\Phi }_B$ is magnetic flux. Nonzero changing magnetic flux gives nonzero circulation, incompatible with a single-valued electric potential alone. More generally, a scalar electric potential and a magnetic vector potential together giveConsequently, in the presence of induction, two voltmeter lead routes between the same contacts can produce different readings if the enclosed magnetic flux changes. This follows by subtracting the two path line integrals; it is a deduction from Faraday's law of induction, not a claimed outcome of the paper experiment. The steady setup and negligible induction justify interpreting its readings as electric potential differences. Merely introducing a scalar electric potential that depends on time cannot supply a nonzero curl of the electric field.^[ref]

A short mathematical justification connects the statements above. Along a smooth path, the chain rule gives $d\Phi =\nabla \Phi \cdot d\mathbf{l}$. Integrating and using $\mathbf{E}=-\nabla \Phi$ yields the endpoint formula by the fundamental theorem for line integrals, proving path independence. Conversely, vanishing circulation around every closed path lets us define $\Phi (P)=-{\int }_{P_0}^P\mathbf{E}\cdot d\mathbf{l}$ independently of the route, with $\Phi (P_0)=0$. Zero curl is a local test; for a continuously differentiable curl-free vector field, a simply connected open region suffices for a global potential. The explicit finite-source formula already gives a global electric potential away from its source points.^[ref]

For an $N$-by-$N$ Hermitian matrix, the empirical spectral measure puts mass $1/N$ at each eigenvalue, counted with multiplicity. It is a probability measure. Integrating a test function against it gives the average of that function evaluated at the eigenvalues.

An entire function is a holomorphic function whose domain of a function is the whole complex plane. Its derivative exists at every $z\in \mathbb{C}$. Every polynomial, the complex exponential function $e^z$, the product $z{e}^z$, and the complex sine function $\sin z$ are entire functions. The Taylor series of an entire function about any finite centre converges throughout the complex plane.

The complex exponential function is a particularly revealing entire function. Writing $z=x+iy$, Euler's formula givesThus the complex exponential function never takes the value zero. Conversely, for any $w\ne 0$, choose an argument $\theta$ of $w$. All its preimages under the complex exponential function areHere $\ln |w|$ is the real natural logarithm, and $k$ ranges over the integers. Substitution gives $e^{z_k}=|w|e^{i\theta }=w$; equality of moduli and arguments shows these are all the solutions. The complex exponential function therefore has image exactly $\mathbb{C}\setminus \{0\}$, with infinitely many preimages for each nonzero value.

In the pictured vertical strip $-1\le x\le 1$, the real part sets the modulus between $e^{-1}$ and $e$, while the imaginary part sets the argument modulo $2\pi$. The two drawn bands each make one full turn around the same annulus; their corresponding points differ by $2\pi i$ and have identical images. Allowing all real $x$ gives every positive modulus, so the whole complex plane covers every nonzero output.

An entire function has exceptionally strong global constraints. The Liouville theorem says that a bounded function which is also an entire function must be a constant function. Accordingly, the nonconstant entire functions above are unbounded somewhere in the complex plane, even when their restrictions to the real axis are bounded: the complex sine function satisfies $\sin (iy)=i\sinh y$, growing through the hyperbolic sine. The Little Picard theorem adds a different constraint: an unbounded nonconstant entire function still cannot leave two distinct complex values out of its image. These results make entire functions useful when global bounds or restrictions on the image can establish rigidity without solving for the function explicitly.

In the opening of his 1880 memoir, Émile Picard credits Karl Weierstrass with the terminology of entire functions and describes them by everywhere-convergent power series. ^[ref]

A function $f:D\to \mathbb{R}$ is continuous at $a\in D$ whenFirst choose the required output tolerance $\epsilon$; then choose an input tolerance $\delta$ that works for every allowed function input in that window. Picking a different $\delta$ separately after seeing each $x$ would reverse the quantifiers and lose this guarantee. There is no need to exclude $x=a$, because the output difference is then zero.

At an isolated point of the domain of a function, choose a small enough window that its only allowed function input is $a$. This proves continuity there directly. At a point with arbitrarily close other inputs, the same definition is the limit of a function condition $f(x)\to f(a)$. For metric spaces, replace the two absolute values by their distance functions; for arbitrary topological spaces, the corresponding definition is a continuous map.

The input tolerance may depend on $a$. A single choice valid everywhere on the domain of a function is the stronger requirement of uniform continuity. The continuous function $x\mapsto x^2$ on $\mathbb{R}$ shows the difference: for any proposed $\delta >0$, the points $a=1/\delta$ and $b=a+\delta /2$ have $|b-a|<\delta$, yet $b^2-a^2=1+{\delta }^2/4>1$. Thus the fixed output tolerance $\epsilon =1$ admits no global input tolerance on the real line.

For $1<p<\infty$ and nonzero elements $f,g$ of the same real or complex Lp space, equality in the Minkowski inequality holds if and only ifEquivalently, $g=cf$ almost everywhere for a single positive real number $c$. The multiplier must be constant across $X$; matching signs at each input alone is insufficient. For complex numbers, an arbitrary complex scalar multiple is also insufficient: $g=if$ gives $\Vert f+g{\Vert }_p=\sqrt{2}\Vert f{\Vert }_p<2\Vert f{\Vert }_p$ for nonzero $f$. If either element is zero in Lp space, equality holds automatically, even if a representative has nonzero values on a null set.

The reason is strictly convex normed space geometry. Normalize $f,g$ to unit Lp norm and use weights $\Vert f{\Vert }_p/(\Vert f{\Vert }_p+\Vert g{\Vert }_p)$ and $\Vert g{\Vert }_p/(\Vert f{\Vert }_p+\Vert g{\Vert }_p)$. Distinct normalized functions give a convex combination of Lp norm strictly below one. This follows by integrating the strict convexity of $z\mapsto |z{|}^p$ on the real numbers or complex numbers; equality therefore forces the normalized functions to agree almost everywhere.

At $p=1$, equality instead means $|f+g|=|f|+|g|$ almost everywhere: the nonnegative difference has zero integral. For real functions, this is $fg\ge 0$ almost everywhere. For complex functions, their nonzero values must have the same argument wherever both are nonzero, but their magnitude ratio may vary. The disjoint-coordinate vectors $(1,0)$ and $(0,1)$ illustrate equality without constant proportionality.

At $p=\infty$, no such constant proportionality condition is necessary: $(1,0)$ and $(1,1)$ have L-infinity norms one and a sum of L-infinity norm two. Nor must an essential supremum be attained: under Lebesgue measure on $(0,1)$, $f(x)=g(x)=x$ give equality $2=1+1$, although neither function takes the value one. The endpoint Lp spaces need not be strictly convex normed spaces.

An equation asserts that two mathematical expressions have the same value. Solving it means finding all allowed assignments to its variables that make that assertion true. It converts a relationship into a constraint: a measurement, a geometric intersection, or an equilibrium model can leave an unknown value to determine.

The allowed values matter. The equation $2x=1$ has solution set $\{1/2\}$ over the rational numbers, but the empty set over the integers. Over the real numbers, $x^2=1$ has two solutions, $-1$ and $1$. A mathematical identity, such as $(x+1{)}^2=x^2+2x+1$, holds for every permitted real $x$. The familiar equality sign therefore does not by itself say whether one is checking a particular value, solving for an unknown, or stating an identity.

For a worked linear equation over the real numbers,The first step subtracts three from both sides; the second divides both sides by the nonzero number two. Reversing the steps recovers the original equation, so these are equivalent equations with the same solution set $\{3\}$. Checking the value gives $2\cdot 3+3=9$. The role of reversible operations and the classification by solution sets are described in College Algebra 2e, §2.2: Solving Linear Equations in One Variable.

When the two sides define real-valued functions $f$ and $g$ on a common domain of a function, solutions are exactly the input values at which their function graphs intersect. Equivalently, they are the zeros of a function $f-g$. This gives a useful connection between symbolic algebra and geometry: rearranging an equation can simplify the comparison without changing the inputs where equality holds.

Not every operation is reversible on every domain of a function. Dividing $x(x-1)=0$ by $x$ gives $x-1=0$ only after restricting to $x\ne 0$; it loses the solution $x=0$ if that restriction is forgotten. Squaring both sides can instead introduce an extraneous solution, because distinct real numbers can have the same square. The source equation, its domain of a function, and the direction of each implication should travel together.

Two functions $f:A\to X$ and $g:B\to X$, whose domains lie in one ambient set, are equivalent modulo finite changes when $A△B$ is a finite set and the functions disagree at only finitely many points of $A\cap B$. The symmetric difference inclusion $A△C\subseteq (A△B)\cup (B△C)$ handles domains in a transitive chain. An exceptional set for values must also include points of $A\cap C$ absent from the middle domain $B$; these lie in the finite difference $A\setminus B$.