is a square with two open square holes; its boundary is the three square boundary curves. Using their twelve corners gives a triangulation with . Doubling two compact connected copies along their common boundary is compact and connected, and boundary half-discs glue to discs, so the double is locally Euclidean and is a closed surface. Under the quotient the doubled triangulation has , hence . The classification theorem says a connected compact orientable surface is a sphere or a connected sum of tori with ; thus .
Bounded means finite diameter; sequential compactness means every sequence has a convergent subsequence. A failure of uniform continuity supplies two close sequences whose image distances stay apart; a convergent subsequence contradicts continuity. Into a discrete metric, continuity is local constancy, and compactness upgrades the radii uniformly. The Cantor set is closed in compact , hence sequentially compact. Uniform local constancy gives a positive separation scale, so finitely many initial Cantor-code (binary) digits determine . Removing zero destroys compactness: the hinted function reading the digit after the first is continuous at every remaining sequence but depends on arbitrarily late digits.
is the space of linear functionals and the dual basis satisfies . Nondegeneracy and equal finite dimensions make an isomorphism; evaluation similarly identifies with . Riesz representation applied to gives the unique adjoint. If is diagonalizable, declare an eigenbasis orthonormal to make it self-adjoint. Conversely, for self-adjoint and invariant , shows invariant.
The communicating classes are and ; only the latter is closed. Let , with and . The first-step equations give , , and , hence .
Unsteady Bernoulli gives the surface pressure from . The velocity-squared contribution integrates to zero net force, while the unsteady term gives with added mass . Hence , so : accelerating the bubble also accelerates surrounding fluid.
, with and position-position and momentum-momentum commutators zero. Expansion gives and . Thus , so they are not simultaneously diagonalisable.
Integration by parts gives and , so . The convolution theorem says ; multiplying the two Gaussian transforms and inverting yields .
For fixed boundary values, integration by parts gives . For , this is , or , with the independently prescribed boundary data on the circle.
Integrate around the wedge . The radial integrals differ by the factor , the arc vanishes, and the wedge contains the simple pole with residue . Solving the resulting identity gives .
The subspace opens are ; quotient opens are those whose inverse image is open; a homeomorphism is a continuous bijection with continuous inverse. Here identifies exactly the required pairs and induces a homeomorphism . An affine rescaling maps that rectangle homeomorphically onto .
. The class of has order , so has torsion and is not free. A unimodular change of basis (Smith normal form, using ) gives .
Gradient descent is . Integrating the Hessian along a segment gives the descent lemma. Applying it to the hinted and convexity yields cocoercivity: . Apply this to , whose Hessian lies between and , and rearrange to obtain the displayed strengthened inequality. With , , and , expansion of the squared update gives contraction factor per step and the stated bound.
Neyman–Pearson rejects for large and is most powerful at its size. For the normal sample, monotone likelihood ratio makes the UMP test reject when ; its rejection probability increases in , so it also has size for the composite null . A likelihood-ratio test against a mixture null that has size under each component bounds every competing test’s mixture power and is therefore UMP for the original two-point null. In the drug problem, the symmetric interval test has equal size at and no larger size farther out; it is the NP test against the equal mixture of those boundary laws, hence is UMP.
Expanding the order condition about yields and . Thus BDF2 has , , and BDF3 has , . Their first characteristic polynomials satisfy the root condition, so consistency plus Dahlquist equivalence gives convergence. For BDF2 the stability boundary has nonnegative real part; hence the whole left half-plane is stable.
Momentum balance gives . Steadiness forces and no slip gives , hence . After removal, separation gives
With , , and the field tensor, separating temporal and spatial components yields the Lorentz force and power equations. The invariants are and . For perpendicular fields with , boost with (here ); then and . Perpendicular motion is circular with and radius . Transforming back adds the frame velocity, giving the nonrelativistic drift, independent of ; a parallel velocity would additionally produce a helix.
Away from the Newton kernel is harmonic, while integrating its normal derivative over a small sphere gives one, proving . Green’s second identity is . For the half-space, images give . Substitution in the boundary formula yields the Poisson kernel ; polar integration against the Gaussian gives exactly the stated one-dimensional integral.
Expanding the derivative limit along real and imaginary increments gives and . Since , the required function is , and . Two such functions differ by a holomorphic function with zero real part; the open mapping theorem makes it constant, and the value at zero makes that constant zero.
A base covers the space and refines intersections. On , products of opens form a base. The weighted metric satisfies the metric axioms and has exactly this topology; convergence is coordinatewise. For the metric induces the stated product topology: finitely many coordinates control a basic neighbourhood and the tail is uniformly small. Thus sequences converge exactly coordinatewise.
A norm is positive definite, homogeneous, and subadditive; equivalence means mutual bounds by positive constants. Finite-dimensional norm equivalence gives corresponding constants for operator norms, whose th roots tend to one, so is norm-independent. If , Picard iteration gives . If , choose and define ; it is finite, equivalent to the original norm, and .

There are unlisted articles, also show them or only show them.