The rank-nullity theorem says that for a linear map with finite-dimensional domain, . Apply it to . Its image is and its kernel is , so
Since ,
Using the preceding identity for both restrictions and rearranging gives
Choose
It is holomorphic on the right half-plane with derivative , and its inverse has positive real part precisely for . Thus this branch of the complex logarithm is a conformal bijection onto .
For ,
so lies in the unit disc. Its inverse is , whose real part is . Both derivatives are nonzero, proving this Möbius transformation is conformal.
Composing the maps gives
a conformal bijection from to the unit disc.
For a geodesic triangle on the unit sphere with angles , the Gauss-Bonnet theorem gives
For a geodesic triangulation with vertices, edges, and faces, summing the spherical excess gives , because all angles around each vertex sum to . Also . Therefore
Thus every geodesic triangulation of the sphere has Euler number .
If six triangles met at every vertex, counting vertex-face incidences would give , hence . But part b gives , a contradiction. Therefore no such triangulation exists.
For and , the Lagrange multiplier equations are
The four constrained stationary points are
On the constraint, with . The two -axis points are global minima, while the -axis points are saddles: motion along the waist decreases , whereas motion away from it increases . There is no maximum.
If instead is optimized on , the stationary points are all six coordinate-axis points. The -axis points are maxima with value , the -axis points are minima with value , and the -axis points are saddles with value .
The velocity is . Its divergence in polar coordinates is zero for , while a circle about the origin has flux
By contour deformation the same holds for any enclosing contour. This is a two-dimensional point source of strength .
For the second potential,
which vanishes at . In the full plane this is a pair of equal sources of strength at . In , it is one source at beside an impermeable slip wall, with the lower source serving as its image.
Substituting the exact solution and expanding about gives the local truncation error
Thus the method is consistent of order two; as a stable one-step method it has global convergence order .
The order cannot be higher. For , , the exact solution is , and direct substitution makes the local truncation error exactly
The distribution function is on , so its median is . The likelihood function is
which decreases over its admissible range. Hence . By the invariance property of maximum likelihood estimation,
A transportation problem minimizes subject to nonnegative shipments, prescribed row supplies, and prescribed column demands.
One optimal shipment table is
which has the required row sums and column sums and costs .
For an optimality certificate, take row potentials and column potentials . Their sums equal costs in occupied cells and do not exceed any cost:
The dual value is , so linear programming duality proves optimality.
A Jordan block has on its diagonal, ones on its superdiagonal, and zeros elsewhere. A matrix is in Jordan normal form when it is block diagonal with Jordan blocks.
On a block , has dimension . Its increase from to is one exactly when . Summing over blocks proves that
counts the -blocks of size at least .
If , the polynomial has nonzero derivative at , so
If , squaring the nilpotent shift separates the odd and even basis chains:
omitting a zero-size block.
The displayed invertible matrix preserves the subspaces spanned by and . Its restrictions have characteristic polynomials and . Since invertibility makes both products nonzero, each restriction has two distinct complex eigenvalues. Its Jordan form is therefore
for either choices of the square roots.
Write with . The Sylow theorems state:
Proceed by induction on . If , Cauchy's theorem for finite groups gives a central subgroup of order . By induction has a subgroup of order ; its inverse image in has order .
If , the class equation shows that some noncentral conjugacy class has size not divisible by . For a representative , its class size is , so . This centralizer is proper because is noncentral, and induction gives it, hence , a subgroup of order . This proves Sylow's first theorem.
For , the third Sylow theorem gives and , so or . In the first case the Sylow -subgroup is unique.
If , conjugation acts transitively on the four Sylow -subgroups. Each normalizer has order and is the subgroup it normalizes. The action kernel lies in every such subgroup, whose intersection is trivial, so embeds in . Its image has order and hence index two. The unique index-two subgroup of is , so
The map is differentiable at when there is a linear map such that
It is when it is differentiable everywhere and is continuous. The definition immediately gives , so differentiability implies continuity.
The inverse function theorem says that if is near and is invertible, then restricts to a diffeomorphism between neighbourhoods of and .
For distinct , convexity keeps the segment in . Continuity of makes
The fundamental theorem of calculus along a line segment gives
so . Thus is injective.
The bound makes invertible by the Neumann series. The inverse function theorem therefore makes locally open at every point, so is open.
Surjectivity need not hold: the identity map on a proper convex open set has proper image. Even for it can fail. In one dimension, satisfies , but its image is .
Here
This matrix acts as multiplication by the complex number , so its operator norm is . The largest set is therefore
A compact space is one for which every open cover has a finite subcover. Let cover , and let
The set is nonempty. If , choose containing . An interval about lies in ; a point of just to the left of then extends the finite cover beyond , contradicting the definition of the supremum. Hence , and the same neighbourhood argument covers , proving compact.
The continuous map maps onto . A continuous image of a compact space is compact: pull an open cover back, choose a finite subcover, and push the corresponding sets forward. Thus is compact.
In the unusual topology on , a proper closed set is a finite union of punctured lines through the origin. Take any nonempty member of an open cover. Its complement is such a finite union. Each punctured line has the indiscrete subspace topology, because every other vector subspace meets it only at the removed origin, and is therefore compact. Finitely many finite subcovers, together with , cover . Hence is compact.
The integrand
has one pole inside the rectangle, at , with residue . The residue theorem therefore gives . The vertical-side integrals tend to zero as .
On the horizontal sides, direct substitution , with the upper side oppositely oriented, shows that their sum is
Taking the limit and comparing with gives
Integrate over the upper semicircle. Jordan lemma removes the arc, and the pole at has residue . Hence
The cosine contribution is odd, while the sine contribution is even. Therefore
The convolution is . Under the usual integrability hypotheses, Fubini's theorem and give
The supplied transform and the Fourier shift theorem give
Since
the shift and differentiation rules yield
The coincident boundary values make the endpoint convention immaterial.
For an S-wave, put . A bound state has , and the radial Schrödinger equation gives
where
Continuity of at gives
The first bound state appears at threshold , where . The zero-energy threshold itself is not normalizable, so a deuteron bound state exists precisely when
The wavefunction is , with normalization fixing the remaining constant.
For a localized steady current, define
Assume the external field varies negligibly across the current distribution. Expanding it to first order, the uniform term gives no net force because . Using the supplied integral identity and , the first-order term in reduces to
Since , the magnetic dipole potential energy is
Here
increases away from the -axis. A dipole parallel to has energy and is drawn toward stronger field, hence outward from the axis. An antiparallel dipole has energy and is driven toward the weak-field axis. The field therefore spatially separates the two orientations.
Take vertically downward along the wall and normally outward, with the wall at and free surface at . The expected steady velocity is : it vanishes at the wall and is opposed by an upward air shear at the surface. Gravity supplies the downward body force , while the surface normal stress is the atmospheric pressure .
The steady parallel-flow Navier-Stokes equations reduce to
The boundary conditions are
The last condition balances the liquid's tangential traction with the opposing air stress. Hence and
Substitution of gives
The volume flux per unit width is
Therefore
The first is the stress-free film; the second has an effectively immobilized free surface.
Let . This is an orthogonal projection matrix, so and . Therefore the Householder transformation
satisfies . If and , then
and hence .
Apply a Householder transformation to the first column of to map it to a multiple of , then apply transformations supported on the trailing coordinates to clear each later column below its diagonal. Their product is orthogonal and produces ; reversing the product gives .
For the displayed matrix, one resulting factorization is
Direct multiplication gives the stated , and .
Minimizing gives the normal equations . Full column rank makes invertible, so
With the hat matrix , the residual is . The symmetric projection has rank , hence
and the latter estimator is unbiased.
With
the model has
Let be the observed closure error. Solving the normal equations gives
Every residual equals , so the residual sum of squares is . There is one residual degree of freedom, and therefore
Let the Markov chain state after each toss be , where is player 's net winnings and is the next player to toss. From it moves to with probability and to with probability . The initial state is , and a return means hitting any state with at positive time.
From , the probability of hitting zero is
Indeed, in the positive-drift case the bounded harmonic solution of
uses the decaying root and boundary value , yielding ; with nonpositive drift the walk hits zero surely. By the reflected argument, from the probability is
Conditioning on the first toss, the required return probability is
Both formulas equal one at the boundary .
The dual vector space is , the vector space of all linear functionals on . For a vector subspace , its annihilator of a vector subspace is
Given a basis , define by and extend linearly. If , evaluation at gives , so the are linearly independent. Every satisfies
so they also span and therefore form its dual basis.
Write . The condition is
Gaussian elimination gives and . Hence
Let . Since a principal ideal domain is an integral domain and , is a multiplicative subset avoiding zero. The stated equivalence relation and operations are precisely those of the localization of a ring .
For completeness, reflexivity and symmetry are immediate, while transitivity follows by multiplying the two cross-multiplication identities and cancelling a nonzero power of . If and , cross multiplication shows that the proposed sums and products are equivalent. Thus the operations do not depend on representatives. The usual fraction calculations then prove associativity, commutativity and distributivity, with identities and . Therefore is a well-defined commutative ring.
Let be an ideal of and contract it to
This is an ideal of , so because is a principal ideal domain. Every is a unit in a ring . Consequently, if , then , so and . Conversely , hence every multiple of it belongs to . Thus
so every ideal of is principal. The localization remains an integral domain; hence is a principal ideal domain.
The L1 norm properties of absolute homogeneity and the triangle inequality follow from the corresponding properties of the absolute value and the integral. If , the nonnegative continuous function has zero integral. Were , continuity would make it bounded below by a positive number on a nontrivial interval, contradicting the zero integral. Thus , proving positive definiteness.
Put and choose the continuous cutoff function
Then , , and is supported in the two endpoint intervals of total length . Therefore
Now suppose for every . Apply this to the above . By the uniform norm bound,
Hence , and continuity again gives .
A metric space metric satisfies positivity, exactly when , symmetry, and the triangle inequality. A subset is an open set when every has some with the open ball .
Both and are open. An arbitrary union of open sets is open because a point lies in one member supplying a ball. A finite intersection is open because the minimum of the finitely many available radii supplies a ball. Thus the metric-open sets satisfy the topology axioms.
For , the Cauchy-Schwarz inequality gives , so the topology is at least as fine as the topology. To see strictness, define the continuous triangular spikes
Then
Thus converges to zero in the L1 norm but not in the L2 norm. The two metrics induce different topologies.
Along a curve , the chain rule gives
Together with the second-order partial differential equation, these form a linear system for whose coefficient matrix is
A characteristic curve is precisely one along which this system is singular, equivalently where the principal symbol vanishes on a normal covector. Taking the determinant yields
For a time-independent current, the Maxwell equations reduce to magnetostatics:
Write using a vector potential and choose the Coulomb gauge . The vector identity for the curl of a curl gives the Poisson equation
The free-space Green function therefore gives
Taking the curl with respect to , moving it under the integral, and using gives the Biot-Savart law
Write . The vertical component of the balance gives hydrostatic pressure,
Its horizontal gradient is . The horizontal balance is consequently
Thus : the velocity is tangent to every level set of , so those contours are streamlines of the geostrophic flow.
Across a vertical section joining the contours and , an element of horizontal distance normal to the contours is , while . The volumetric flow rate is therefore
For dimensional analysis, , and , so the result has dimension , exactly that of a volume flux.
A simple hypothesis specifies a single probability distribution. For a test with rejection region , its size of a statistical test is the rejection probability under the simple null hypothesis, while its statistical power against the simple alternative is the rejection probability under that alternative. The Neyman-Pearson lemma states that among tests of size at most , a test rejecting for the largest values of the likelihood ratio has greatest power, with boundary randomization if needed.
Here
which decreases with . The best test therefore rejects for . Under , , so size requires . Its power is
Thus reject exactly when .
Articles were limited to the first 100 out of 327 total.

Articles by others on the same topic (0)

There are currently no matching articles.