Write and . The mapis a surjective ring homomorphism: in , the image of is and . Its kernel is exactly . Indeed, both generators lie in the kernel; conversely, if is even, thenand is even. Hence and the index of a subgroup is .
If were a principal ideal, multiplication by would identify its additive lattice with a sublattice of indexThus principality would require . This Diophantine equation has no integer solution: would give , while makes the left side at least . Therefore
A function is uniformly continuous if, for every , there is a such thatThe same must work at every pair of points in the domain.
The function is not uniformly continuous on . Take and . Then , whereasThis contradicts the sequential criterion for uniform continuity.
The square-root function is uniformly continuous on . For ,so . Given , choosing proves uniform continuity.
The function is uniformly continuous on . Its derivative satisfiesso the mean value theorem givesThus the function is Lipschitz, which implies uniform continuity.
A compact space is one for which every open cover has a finite subcover. A metric space is sequentially compact when every sequence in it has a convergent subsequence whose limit belongs to the space.
First, compactness makes totally bounded: for every positive integer , the open cover by balls of radius has a finite subcover. Given a sequence, repeatedly choose a ball of radius containing infinitely many terms of the subsequence retained at the preceding stage. Taking a diagonal subsequence , any two terms with indices at least lie in one ball of radius , so their distance is below . The diagonal subsequence is therefore a Cauchy sequence.
A compact metric space is complete. To see this without assuming sequential compactness, let be Cauchy and put . These nonempty closed sets are nested and have the finite intersection property; compactness gives a point . Given , a sufficiently late tail has diameter below , and because lies in its closure, every point of that tail lies within of . Thus .
The Cauchy subsequence constructed above consequently converges in . Hence every compact metric space is sequentially compact.
The Möbius transformationmaps the unit disc conformally onto the upper half-plane. On the upper semicircle of its boundary, approaches the positive real axis; on the lower semicircle it approaches the negative real axis. If , the harmonic functionhas the required boundary limits.
For ,Since the imaginary part is positive inside the disc,Therefore the solution of the Dirichlet problem isThe exceptional boundary endpoints are precisely the jump points of the prescribed data.
On the unit sphere, the spherical excess formula gives the area of a spherical triangle asFor a sphere of radius , the right side is multiplied by .
Join an interior point of a convex spherical -gon to its vertices by geodesics. The resulting spherical triangles contain all polygon angles and angles summing to at the interior point. Adding their spherical excesses givesFor a regular polygon with interior angle , positivity of area requires , while strict convexity requires . Both limiting values can be approached by regular polygons, so
Sincefor , the second-derivative criterion shows that is strictly convex. Put , so . For dual variable , the stationary equation in the Legendre transform isIt is the unique global maximizer of , and henceApplying the same calculation with the conjugate exponent givesUnder the Legendre-Fenchel transform on all real dual variables, the same supremum additionally gives for .
Now take , , and apply the Fenchel–Young inequality . This yields Young's inequality for productsfor positive and conjugate exponents .
Let . Using the conventionthe discrete Fourier transform of the supplied sequence follows from the binomial theorem:The orthogonality of roots of unity givesSince both lie between zero and , it follows that
For square-integrable wavefunctions with the stated decay, multiplication by the real coordinate is Hermitian becauseFor , integration by parts givesand the boundary term vanishes. The same arguments apply to and .
If and are Hermitian on a common suitable domain, then , soBecause commutes with and with ,is Hermitian. Using and its analogue,so is Hermitian as well.
Finally set and . Direct evaluation on a smooth test function gives : rotations commute with radial dilations. The scalar term in also commutes with everything, and therefore
States communicate when each is accessible from the other: there exist nonnegative integers such that and . A communicating class is an equivalence class for this relation.
The period of a state in a Markov chain isA state is aperiodic when this greatest common divisor is one.
Suppose and communicate. Choose with and . Then is a possible return time to , so divides . If is any possible return time to , concatenating the paths gives a return to of length . Thus also divides , and subtraction shows that divides every such . Therefore . Interchanging and gives the reverse divisibility, soHence period is constant on a communicating class.
The symmetric bilinear form associated with a quadratic form is obtained by polarization:To diagonalize it, argue by induction on . If for every , polarization gives , so every basis works. Otherwise choose with . Thenand diagonalize the restriction to inductively. Thus some basis gives a diagonal matrix with positive, negative, and zero entries. By Sylvester's law of inertia, their counts are basis-independent. In the convention relevant here, the signature of a quadratic form is
Suppose lies in the radical of a bilinear form, so for all . Then andHence is a well-defined quadratic form on the quotient vector space . In an adapted diagonal basis, quotienting by merely removes zero diagonal directions, so and , and therefore the signature, are unchanged.
Now let . Its Gram matrix iswhich has determinant . Thus is nondegenerate and has one positive and one negative square: it is a hyperbolic plane (quadratic form) and has signature zero. Nondegeneracy gives the orthogonal direct sumSignature is additive under orthogonal direct sums, so
The Eisenstein integers are , where . Their multiplicative algebraic norm isGiven , choose an Eisenstein integer nearest to the complex number . The hexagonal lattice has covering radius , soWith , multiplicativity givesThus division with remainder decreases the nonnegative integer norm, proving that .
Every Euclidean domain is a principal ideal domain: in a nonzero ideal choose an element of least positive Euclidean value and divide every other element by it; minimality forces every remainder to vanish. Every principal ideal domain is a unique factorization domain: the ascending-chain condition supplies factorizations into irreducibles, and Euclid lemma follows because every irreducible generates a prime ideal. Therefore
Factor the equation in the Eisenstein integers:Let . Its norm is , andso is a unit times . Suppose , say . Since ,The first term is divisible by and the second has discrete valuation exactly one, so . Conjugation gives as well. ConsequentlyBut is divisible by three, a contradiction. Hence
A local form of the Picard-Lindelof theorem is as follows. Let be continuous on a rectangle about and uniformly Lipschitz in there. Then some interval about admits a unique continuously differentiable solution ofThe solution is the unique fixed point of the associated integral operator. If is continuous on and globally Lipschitz in with one constant, the solution exists uniquely throughout .
Since and ,Taking suprema givesThus the weighted norm and the usual uniform norm are equivalent norms.
For , the Lipschitz condition givesChoose so that . Then is a contraction mapping. The space is complete in the sup norm, and therefore also in the equivalent weighted norm.
For initial value , defineIt has the same contraction constant. The Banach fixed-point theorem gives a unique fixed point , which satisfies the integral equation. The fundamental theorem of calculus then givesConversely every solution satisfies that integral equation, proving uniqueness on . This weighted-norm argument is the Bielecki norm method.
For a closed piecewise smooth path avoiding , its winding number isA meromorphic function has a zero of order at whenwith holomorphic; it has a pole of order at when extends holomorphically and nonvanishingly there.
The argument principle states that, if has no zero or pole on ,For a positively oriented simple contour this is the number of enclosed zeros minus poles, counted with multiplicity. It follows from the residue theorem because the residue of at a zero of order is , while at a pole of order it is .
LetOn the imaginary axis,Thus always lies in the open right half-plane, has no zero there, and its continuous argument has net change zero as the imaginary-axis part of a large right-half-disc contour is traversed. On the right semicircle, uniformly, so the argument change tends to that of , namely . The argument principle therefore givesroots in the open right half-plane, counted with multiplicity.
A geodesic triangulation of a closed smooth surface decomposes it into finitely many triangular discs whose edges are geodesic arcs and whose intersections are common faces. Its Euler number isThe Gauss-Bonnet theorem for a closed surface statesFor any triangulation of a closed surface, each triangular face has three edges and every edge belongs to two faces, so . The sum of all vertex valencies is . Hence the average valency isThe torus has Euler characteristic . Using gives , so and
Subdividing one face in the stated way adds one vertex, three edges, and two net faces. Starting from any spherical triangulation and repeating this operation makes while preserving the sphere. Since every resulting average isthese averages approach six from below. Thus spherical triangulations can have average valency arbitrarily close to six.
If everywhere, compactness makes the integral negative, so . For every triangulation, again yields the general identitySince and ,This supplies bounds depending only on the surface.
Let solveThe spatial Fourier transform turns this into the preceding oscillator equation with , soInverting with the supplied radial integral gives the three-dimensional retarded Green function
For zero initial displacement and initial velocity , convolution with this kernel gives the Kirchhoff formulaThus the value at depends only on the initial data on the sphere of radius , not on its interior. This is the Huygens principle and describes propagation at the finite wave speed .
Inside the infinite square well, the stationary Schrodinger equation for unit mass isIts normalized eigenstates and energies areThe general normalized time-dependent solution is
Immediately after removing the barrier, the normalized wavefunction isIts Fourier sine series coefficients in the full-well basis areThey areThe Born rule therefore gives
For a boost of speed in the direction, withthe Lorentz transformation of electromagnetic fields isExpanding , the mixed terms cancel and the remaining transverse terms acquire the factor . Together with the unchanged longitudinal product, this proves the Lorentz invariantAn independent invariant isIf only and are nonzero, thenand direct subtraction gives
Now put and . Invariance of the dot product gives , while the displayed components giveHenceAt this equals , and as it tends continuously to zero with the same sign. Thus boosts realize every when , and every when .
Let the perturbed interface be . For inviscid disturbances about rest, the initially irrotational velocities remain potential flows,in the upper layer and lower layer . The rigid walls impose no-penetration boundary conditionand zero normal derivative at . Linearizing the kinematic and pressure-continuity conditions at gives
The horizontal Neumann eigenfunctions arewhere are nonnegative integers, not both zero. For time dependence , the vertical factors satisfying the rigid lids areThe kinematic condition gives their interface valuesSubstitution into the dynamic condition yields the interfacial gravity-wave dispersion relationFor , the lowest nontrivial wavenumber is , with the two degenerate modes and . If , the relation reduces to the finite-depth free-surface result . If , then and disturbances grow exponentially: this is the Rayleigh-Taylor instability.
Bilinearity and symmetry follow from the corresponding properties of the integral. Since ,If this integral is zero, the nonnegative continuous integrand must vanish everywhere, so . Therefore the displayed formula is a real inner product on .
Inductively, is monic of degree , because the leading term of comes only from . Assume are mutually orthogonal. The definitions giveUsing the preceding recurrence in the formgivesso by the definition of . If , then lies in the span of , all orthogonal to , and the remaining recurrence terms are also orthogonal to . Hence . Induction proves that the recurrence defines monic orthogonal polynomials.
The probabilists' Hermite polynomials satisfywhich follow by differentiating the Rodrigues formula. Thusso and .
For the squared norm, substitute the Rodrigues formula and integrate by parts times. All boundary terms vanish under the Gaussian weight, and , giving
Let be the distinct real roots of . The Gauss-Hermite quadrature rule iswhere is the weighted integral of the th Lagrange interpolation polynomial. Equivalently,The orthogonality of makes the rule exact for every polynomial of degree at most
The sample mean isWrite the Gaussian sample vector as its orthogonal projection onto the span of plus its projection onto the orthogonal complement. These two Gaussian projections are independent. Their squared standardized lengths give Cochran's theorem:
Combining the independent standard normal variable with the independent chi-squared variable givesthe Student's t-distribution with degrees of freedom.
Let denote the -quantile of the standard normal distribution. Since the variance is known,so a confidence interval is
Let denote the -quantile of Student's t-distribution. Part (b) gives the Student t confidence interval
Let denote the -quantile of the chi-squared distribution. Since , inversion of the central probability event givesas a confidence interval for .
For an independent second sample, letUnder , independence and the two chi-squared laws give the F-distributionFor the one-sided alternative , reject for large , using the upper critical value.
No values of the unknown means enter this statistic: centering by the sample means removes them. If both means are known, one may instead use sums about the known means; the corresponding degrees of freedom are and , rather than and . Thus knowledge of the means changes the degrees of freedom and critical value, while the variance-ratio principle is unchanged.
Choose a set of column indices for which the square matrix is invertible. The associated basic solution sets for and solves . It is a basic feasible solution when all its coordinates are nonnegative.
Let be a basic feasible solution with basis . If for , then and nonnegativity force for every . Since and is invertible, . Thus is an extreme point.
Conversely, let be extreme and let . If , the corresponding columns are linearly dependent, so there is a nonzero vector supported on with . For sufficiently small , both and remain nonnegative and feasible, contradicting extremality. Hence . Enlarge to a set of indices. By the hypotheses is invertible, and is the resulting basic feasible solution. Therefore
Introduce slack variables after rewriting the third inequality as . The initial dictionary isIn the simplex method, enters first because it has the largest positive objective coefficient. The ratio test makes leave, and substitution givesNext enters and leaves. Solving for produces the final objective rowAll reduced costs are now nonpositive, so the dictionary is optimal at the nonbasic values . ThereforeThe first constraint has slack , while the second and third constraints are active.
Articles by others on the same topic
There are currently no matching articles.