The rank-nullity theorem says that for a linear map with finite-dimensional domain, . Apply it to . Its image is and its kernel is , soSince ,Using the preceding identity for both restrictions and rearranging gives
ChooseIt 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.
For a geodesic triangulation with vertices, edges, and faces, summing the spherical excess gives , because all angles around each vertex sum to . Also . ThereforeThus 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 areThe four constrained stationary points areOn 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 fluxBy 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 errorThus 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 iswhich 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.
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 thatcounts the -blocks of size at least .
If , the polynomial has nonzero derivative at , soIf , 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 thereforefor either choices of the square roots.
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.
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 thatIt 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 makesThe fundamental theorem of calculus along a line segment givesso . 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 .
HereThis 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 letThe 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 integrandhas 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 isTaking the limit and comparing with gives
Integrate over the upper semicircle. Jordan lemma removes the arc, and the pole at has residue . HenceThe cosine contribution is odd, while the sine contribution is even. Therefore
The supplied transform and the Fourier shift theorem giveSincethe shift and differentiation rules yieldThe coincident boundary values make the endpoint convention immaterial.
For an S-wave, put . A bound state has , and the radial Schrödinger equation giveswhereContinuity of at givesThe first bound state appears at threshold , where . The zero-energy threshold itself is not normalizable, so a deuteron bound state exists precisely whenThe wavefunction is , with normalization fixing the remaining constant.
For a localized steady current, defineAssume 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 toSince , the magnetic dipole potential energy is
Hereincreases 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 toThe boundary conditions areThe last condition balances the liquid's tangential traction with the opposing air stress. Hence and
Substitution of gives
The volume flux per unit width isThereforeThe 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 transformationsatisfies . If and , thenand 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 isDirect multiplication gives the stated , and .
Minimizing gives the normal equations . Full column rank makes invertible, soWith the hat matrix , the residual is . The symmetric projection has rank , henceand the latter estimator is unbiased.
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 isIndeed, in the positive-drift case the bounded harmonic solution ofuses the decaying root and boundary value , yielding ; with nonpositive drift the walk hits zero surely. By the reflected argument, from the probability isConditioning on the first toss, the required return probability isBoth 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 satisfiesso they also span and therefore form its dual basis.
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 toThis 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 . Thusso 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 functionThen , , 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 spikesThenThus 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 givesTogether with the second-order partial differential equation, these form a linear system for whose coefficient matrix isA 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 equationThe free-space Green function therefore givesTaking 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 consequentlyThus : 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 thereforeFor 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.
Articles were limited to the first 100 out of 327 total.
Articles by others on the same topic
There are currently no matching articles.