Apply the continued-fraction algorithm. Since ,The successive complete quotients areandTaking one more reciprocal returns to , so the continued fraction of the square root of eleven is
WriteThe first convergents are and , whenceThe continued fraction convergent recurrence iswhere for even and for odd .
SetIf is even and , thenbecause . If is odd and , thenbecause . The base case and induction prove the alternating multiplier recurrence for convergents of the square root of eleven:
LetThe function is continuous, withThe intermediate value theorem gives such that , and hence . This proves the fixed-point property of a closed interval.
Now suppose . For any , choose with and . Applying the intermediate value theorem to on the interval with endpoints gives a point with . Thus is a surjective function.
Let be a homeomorphism, and let be continuous. The conjugate mapis continuous. By hypothesis it has a fixed point . Thereforeand applying gives . Hence every continuous self-map of has a fixed point. This is the homeomorphism invariance of the fixed-point property.
The Brouwer fixed-point theorem for the closed unit disc states that every continuous maphas a fixed point.
The closed unit disc has the fixed-point property by the Brouwer fixed-point theorem. The annulus admits the fixed-point-free rotation of an annulus, for examplewhich is continuous, maps the annulus to itself, and has no fixed point because the origin is not in the annulus. If the disc and annulus were homeomorphic, the homeomorphism invariance of the fixed-point property would give the annulus the fixed-point property, a contradiction. Therefore they are not homeomorphic.
No. TakeIt contains more than one point and has the fixed-point property of a closed interval, but it is not homeomorphic to the closed unit disc. Indeed, deleting any point with disconnects , so such a point is a cut point. Deleting one point from a two-dimensional closed disc leaves a path-connected space. Since being a cut point is preserved by homeomorphisms, the two spaces cannot be homeomorphic. This gives the required counterexample.
For the standard dot product on , the dual code isIt is an intersection of kernels of linear functions, and is therefore a linear code.
Let denote cyclic right shift. If and , thenA cyclic code is closed under both and , so and the right-hand side vanishes. Hence , proving directly that the dual of a cyclic code is cyclic.
Identify words with polynomials in . If the generator polynomial of a cyclic code is the monic divisor andthen the generator polynomial of is the monic reciprocalEquivalently, the parity-check polynomial of one code becomes, after reversal, the generator polynomial of its dual.
Over , subtraction equals addition. The polynomial has the factorizationThe two cubic factors have no root in , so they are irreducible, and they are reciprocal to one another. PutEvery cyclic code corresponds to one monic divisor of . The complete list isThus the two cubic generators give the two cyclic coordinate orientations of Hamming's code. Their duals have generators and and are the simplex codes. The remaining four are the familiar whole-space, even-weight, repetition, and zero codes. This is the complete classification of binary cyclic codes of length seven.
A grammar is a right-linear regular grammar when every production has one of the formswhere and . Thus a production has at most one variable on its right-hand side, and that variable is at the right end.
We prove the claim by induction on the length of the grammar derivation from . At length zero the sentential form is , which has the required form.
Suppose the current sentential form is . Because is terminal, the only symbol to which a production can apply is . A production producesagain a terminal word followed by one variable. A production produces the terminal word . Once a completely terminal word is reached, no further production can apply. The induction proves the sentential form of a right-linear regular grammar: every reachable is either or .
In every derivation beginning at , the terminal prefix remains unchanged because no production has a terminal on its left-hand side. By the sentential-form result, each step rewrites the sole variable at the right and appends terminals immediately before its successor variable. Henceforces for some . Removing the inert prefix from every sentential form in the derivation gives
An accepting derivation in a right-linear grammar has the formwith one active variable until the final terminal production.
If no variable repeated on any accepting derivation, an accepting derivation could contain at most variable occurrences. Since the production set is finite, only finitely many such derivations and hence finitely many terminal words would exist. The hypothesis that is infinite therefore supplies an accepting derivation in which some variable occurs twice.
Split this derivation at the two occurrences:where . The first segment makes an accessible variable of a regular grammar, the middle segment makes it a looping variable of a regular grammar, and the last makes it a terminable variable of a regular grammar. Thus has all three properties, proving the accessible looping terminable variable criterion.
Use the R linear-model formula with only its implicit intercept:
fit1 <- lm(log(price) ~ 1, data = cars)fit2 <- lm(log(price) ~ mpg + psngr + length + width + weight, data = cars)fit3 <- lm(log(price) ~ mpg + psngr + length + width + weight + factor(make), data = cars)The models are nested. The first nested-model F-test compares fit2 with the intercept-only fit1. Adding the five quantitative predictors reduces the residual sum of squares from to , withThere is overwhelming evidence that these quantitative car properties jointly improve the model.
The second test compares fit3 with fit2. Adding make reduces the residual sum of squares further to , withThus manufacturer has a highly significant effect even after adjusting for the five quantitative properties, and fit3 is preferred among these nested models.
There are observations because the intercept-only model has residual degrees of freedom. The make term uses additional degrees of freedom. By the degrees of freedom of a factor predictor, a factor with represented levels contributes degrees of freedom when an intercept is present. Henceunique manufacturers occur in the dataset.
Put . Linearizing the morphogen reaction-diffusion equation at givesSeek separated modes . ThenThe mixed Dirichlet-Neumann modes on an interval areIndeed, the Dirichlet condition selects sine functions, while the Neumann condition requires . Their growth rates areThe largest growth rate is the lowest mode,Linear stability requires , after which all higher modes also decay. Therefore the critical length for a linearly growing morphogen isEquality gives a neutral lowest mode, while a larger domain is linearly unstable.
The Papperitz symbolspecifies a second-order Fuchsian differential equation. The first row lists its three distinct regular singular points ; is the independent variable. The two entries below each singular point are its characteristic exponents. Thus local solutions have leading behaviorsand, with the usual convention at infinity,When an exponent difference is an integer, a logarithmic second solution may replace the naive second Frobenius power. The entries obey the Fuchs relationFor a second-order equation with exactly three regular singular points, these exponent data determine the equation up to multiplication by a nonzero function; there is no accessory parameter. The symbol is therefore the one for the Gauss hypergeometric equation. Its distinguished solution is the exponent-zero solution analytic at zero and normalized to one there. For the ordinary power-series definition one assumes , with exceptional parameter values handled separately or by continuation.
Now putThe hypergeometric equation in has exponent pairsThe Möbius transformation of a Papperitz symbol sendsso has symbol
On the other hand, has exponent pairsat . Multiplication by applies the dependent-variable rescaling of a Papperitz symbol: it adds to both exponents at and subtracts from both at infinity. Hencehas exactly the same three exponent pairs as .
Both functions are analytic near and equal one at , so uniqueness of the normalized exponent-zero hypergeometric solution gives the Pfaff transformationThe identity first holds near zero with the branch of equal to one there, and then extends by analytic continuation on any domain where compatible branches are chosen.
An adiabatic invariant remains constant to leading order when a system parameter changes on a timescale much longer than one period. For a periodic one-degree-of-freedom system, the adiabatic invariance of the action supplies such an invariant.
The momentum magnitude between collisions is . A complete orbit crosses the gap once in each direction, so the unnormalized action used in the question isConsequentlybecause the speed is and the round-trip distance is .
When varies adiabatically, conservation of the adiabatic particle between moving parallel walls action givesA moving wall does work at each collision: an approaching wall raises the particle's energy and a receding wall lowers it. Elasticity holds in the instantaneous rest frame of the wall.
The Flatness problem is that the observed cosmological density parameter is close to , although in an ordinary decelerating universe any departure from one grows with time. Extrapolation backward therefore requires implausibly precise early cancellation of the curvature term.
The cosmological perfect-fluid continuity equation isConsequentlyFor an expanding universe . Ifthen increases. The Friedmann equation impliesIt therefore decreases during this period, driving toward one. By the Friedmann acceleration equation, the same condition gives when the cosmological constant is included in the effective fluid. This is the inflationary solution of the flatness problem.
For the scalar field, the slow-roll approximation meansThe equations reduce toTaking the positive-field branch gives , and thereforeWith ,Now integrate :Thus the quadratic-potential slow-roll solution isFinally,so equivalently
Let the unknown qubit be . Alice holds this qubit and her half of the shared Bell state , while Bob holds the other half.
Alice performs a measurement of her two qubits in the Bell basis and sends the two-bit outcome to Bob through the classical channel. For the shared state , the teleportation with the psi-plus Bell state correction table isup to physically irrelevant global phases. Here and are the Pauli X gate and Pauli Z gate. After the indicated correction, Bob's qubit is . This is quantum teleportation; no physical copy of the unknown qubit is sent.
Let denote Alice's unknown input qubit and her GHZ qubit. Expanding the four-qubit state in the Bell basis of giveswhere a global sign in the last term is immaterial.
For outcomes and , Bob and Charlie already haveFor either outcome, both apply the Pauli X gate. Since exchanges and , the branch becomes and the branch becomes , up to a global phase. This proves the Bell measurement on one qubit and one leg of a GHZ state result.
Finally, tracing out Charlie givesfor either sign. This reduced state has rank two exactly when and . By the entanglement criterion for a two-term correlated state,
For an odd prime , the Legendre symbol isEuler criterion states thatIf , both sides vanish. Otherwise choose a primitive root and write . Since ,The power is a square exactly when is even, proving the criterion. Taking gives the first supplementary law for quadratic reciprocity
Because and commute, the matrix binomial theorem givesFor prime , every intermediate coefficient is divisible by , proving the prime-power binomial congruence for a matrix
By Euler criterion, . In either case the preceding congruence gives . Since has the same parity as for , this is the second supplementary law for quadratic reciprocity
Write . When , the first supplementary law for quadratic reciprocity gives , so . Pairing with givesThe sum of the nontrivial character over all nonzero residue classes is zero. Because its two half-sums are equal when ,Hence
By Euler criterion,Choose a primitive root . For any integer not divisible by ,For , the exponent satisfies . ThereforeTogether with part (i), this is the weighted complete Legendre-symbol sum.
Put . Because , the supplementary laws giveLet and be the quadratic residues and nonresidues, respectively, among , and putSince is a nonresidue, the complete set of least positive quadratic residues isIf , its sum is
Since is a residue, multiplication by two permutes modulo . Exactly the upper-half residues cross when doubled. Equality of the sums before and after reduction therefore givesComparing the two formulas yieldsAs ,This is the lower-half quadratic-residue sum for primes congruent to seven modulo eight.
For , the triangle inequality and the Cauchy-Schwarz inequality giveThus is a continuous function. The unit sphere in the finite-dimensional Euclidean normed vector space is compact. Moreover, implies that the polynomial vanishes identically, so every coefficient is zero. Hence is strictly positive on the unit sphere. By the extreme value theorem, it has a positive minimum
Write each polynomial of degree at most as and defineThis is a continuous function, and the reverse triangle inequality together with part (a) givesConsequently is a coercive function. Choose so large that outside the closed Euclidean ball of radius . That ball is compact, so the extreme value theorem supplies a minimizer there. Then is a best uniform approximation to among polynomials of degree at most .
The Chebyshev alternation theorem says that a polynomial of degree at most is a best uniform approximation to if and only if there are pointsand a sign for whichThis is the equiripple criterion.
To prove sufficiency, put and suppose that another polynomial of degree at most satisfies . At every , the difference must have the same sign as ; hence its signs alternate at the ordered points. The intermediate value theorem then gives at least one distinct root of in every interval , for at least roots in all. The Lagrange root bound over a field forces the nonzero polynomial to have degree at least , contradicting . Therefore no gives a smaller error, and is best.
As printed, this part contains an indexing error. The displayed product ends at , but the hypotheses contain alternating intervals indexed by . On the first intervals the printed polynomial has sign , while on the last interval it has sign rather than the required . For example, when the printed product is the constant , which cannot reduce a negative extremum of on the final interval. The intended polynomial isWe prove the stated conclusion with this correction.
Each root lies in the gap between the st and th active intervals. Therefore has sign throughout . In particular, wherever , the numbers and have the same sign, and is nonzero.
LetThese are compact sets. On their union, the continuous function has a positive minimum. Hence, throughout some open neighbourhood of , subtracting a sufficiently small positive multiple moves strictly towards zero and gives . On the compact complement , continuity gives a uniform margin for some . Taking alsoshows that there. Thusfor every sufficiently small .
It remains to prove necessity in the Chebyshev alternation theorem. Let be a best approximation of degree at most , put , and let . If has no sequence of extrema with alternating signs, its sets of positive and negative extrema can be collected, from left to right, into alternating compact groups with . Choose disjoint intervals containing those groups and separated by regions on which . After replacing by if necessary, they satisfy the displayed hypotheses. The corrected construction produces a polynomial of degree and a small such thatThis contradicts the assumed optimality of . Therefore every best polynomial has the required alternating extrema.
Let be the first team's goal count in match , let be row of the design matrix, and let be the regression coefficient vector. The fitted Poisson regression assumes that the are independent random variables withThe likelihood function maximized by
glm is thereforeNone of the displayed one-coefficient Wald tests for
team1_form rejects at the significance level. That does not establish that formation has no effect: the relevant null hypothesis sets all nine displayed team1_form coefficients to zero simultaneously, and several individually imprecise estimates may still be jointly significant. One should compare the fitted model with the nested model omitting team1_form by an analysis of deviance for nested generalized linear models, equivalently a likelihood-ratio test of those joint restrictions.Writing for
team1_goal and for team1_xg, the first hypothesis concerns only the expected value:The second specifies the entire conditional probability distribution:with independence between matches as assumed in the question. The Poisson limit theorem, often called the law of small numbers in this setting, suggests a Poisson distribution when a goal count is the sum of many approximately independent rare scoring opportunities.Under , the slope in this through-origin linear regression is . Its observed Wald statistic isThe corresponding two-sided p-value is about , so the fit does not give evidence against at the significance level.
The usual least-squares standard error assumes constant conditional variance. Goal counts are counts, and under the natural Poisson distribution model their variance equals their mean , so observations with different expected goals are heteroscedastic. The reported homoscedastic standard error is therefore doubtful; a heteroscedasticity-robust calculation or a suitable count model would be more credible.
The fitted Poisson regression hasso that . Hypothesis requires both restrictionsas well as the adequacy of the assumed Poisson distribution. The displayed interval addresses only the single slope restriction . Even if the separate interval for the intercept also contains zero, separate one-parameter intervals do not implement the relevant joint hypothesis test, because the two coefficient estimators can be correlated. One should test jointly, for example by a likelihood-ratio test, and separately assess the Poisson goodness of fit. Thus the slope interval alone cannot decide whether is rejected at the level.
This is a birth-death process with birth and death ratesIts transition diagram has the two arrowsThe gain into state comes from a death in state or a birth in state , while the loss is the sum of both rates out of state . The birth-death master equation is consequently
Multiplying by , summing over the nonnegative integers, and shifting the summation indices shows that each birth contributes and each death contributes . Thus the first-moment equation of a birth-death process givesAt a stationary state, use the variance identity . Solving the resulting quadratic equation givesThe minus root is inadmissible whenever it is negative, namely when . Equality would give zero mean, which is also incompatible with a positive immigration rate , so for the minus branch requires even to be a possible mean.
For a continuum approximation, write and . Applying the Kramers-Moyal expansion to the two gain terms and retaining derivatives through second order gives the Fokker-Planck equationwhere the negative drift and infinitesimal jump variance areThis truncation requires the typical population and the scale on which varies to be much larger than the unit jump size, with the rates varying smoothly across that scale.
The positive zero of isso in particular as . Put . The linear noise approximation useswhereand, because ,In a stationary state with zero Fokker-Planck probability current,Its normalized solution is the normal distributionIt follows that
These estimates agree with the exact stationary first-moment relation on its plus branch to leading order: inserting gives . Moreover,Thus the stationary mass lies far from the boundary , is narrow relative to its mean, yet changes across many lattice sites. These are precisely the large-population and slow-variation conditions needed for the diffusion approximation.
A transformation of phase space is canonical when it preserves the symplectic form, or equivalently all Poisson brackets. For one degree of freedom this isequivalently .
Suppose a type-two generating function for a canonical transformation definesThenEquality of the mixed partial derivatives gives , so the transformation is canonical wherever it is locally invertible.
Forthe fundamental theorem of calculus and differentiation under the integral sign giveThusand in particular .
For the unit-frequency simple harmonic motion, the transformed Hamiltonian is simply . Hamilton's equations becomeThereforeand transformation back gives the familiar solution
Now consider the weak quartic oscillatorChoose the modified generating functionIt givesso the transformed Hamiltonian is again . Hence and . Expanding the square root with the Taylor series givesDifferentiation with respect to therefore yieldswhere
Set andWriting and expanding the inverse sine relation at givesExpanding similarly givesConsequentlySince , this is the required expression. The formula is understood away from turning points where and the ratio itself is singular.
Assume the axiom of choice. By the well-ordering theorem, every set is bijective with an ordinal, and hence with an initial ordinal. Any two ordinals are comparable, so for any sets either injects into or injects into . Transitivity is immediate, and antisymmetry on cardinalities follows from the Cantor-Schröder-Bernstein theorem. Thus cardinal comparison is a total order.
Conversely, assume the cardinal comparability principle. Given any set , let be its Hartogs ordinal. By Hartogs theorem, there is no injection . Comparability therefore supplies an injection . Pulling the ordinal order back to gives a well-order of . Hence every set can be well-ordered, and the well-ordering theorem implies the axiom of choice.
Under the axiom of choice, identify every infinite cardinal with its initial ordinal. We prove by transfinite induction on infinite cardinals. The countable case follows from the usual diagonal enumeration of .
For the induction step, well-order the Cartesian product by first comparingand then using lexicographic order among pairs with the same maximum. The predecessors of lie in , where . Put . If is infinite, the induction hypothesis makes this predecessor set have cardinal at most ; if is finite, the same conclusion is immediate.
Let be the order type of this well-order. Every proper initial segment of therefore has cardinal less than . Hence , since otherwise its initial segment of order type would have cardinal . Thus . The map gives the reverse injection, and the Cantor-Schröder-Bernstein theorem yields
Letbe the injection witnessing , and fix . Extend the inverse of to a surjectionby settingThis construction uses only the fixed pair, not the axiom of choice.
Restrict to the -summand and take its second coordinate:If is onto, it is the required surjective function from to .
Otherwise choose one . For each , surjectivity of gives a preimage of . No such preimage lies in the -summand, by the choice of , so it lies in the -summand. Unless , this preimage is exactly and is unique: all points outside the range of map only to the default pair. Distinct give distinct preimages because is injective.
If , these unique preimages therefore define an injective function . The only exceptional case is , where they initially define an injectionIf is onto, extend it arbitrarily at to obtain a surjection . If it is not onto, choose one and set ; this gives an injection . These cases prove the product-sum comparison lemma entirely in ZF.
Part (b) proves one implication. Conversely, assume in ZF thatfor every infinite cardinal . Let be any set and let be its Hartogs ordinal. Finite is already well-orderable, so suppose is infinite and form the disjoint unionBy hypothesis, is bijective with . Since injects into , we obtain
Apply part (c), with and . It gives either an injection or a surjection . The first alternative contradicts Hartogs theorem. In the second, every fiber is a nonempty set of ordinals and therefore has a least member. The mapis an injection of into the ordinal and pulls its well-order back to . Thus every set is well-orderable, so the well-ordering theorem gives the axiom of choice. This proves the Tarski cardinal-square theorem.
The vertex form of Menger theorem states that if and are distinct nonadjacent vertices of a finite graph, then the maximum number of pairwise internally vertex-disjoint paths from to equals the minimum cardinality of an - vertex separator.
The Hall marriage theorem says that a bipartite graph with classes has a matching saturating if and only ifwhere is the graph neighbourhood of . Necessity follows because the matching sends the vertices of to distinct vertices of .
For sufficiency, add vertices , join to every vertex of , and join every vertex of to . Let be an - vertex separator, and write and . If an edge joined a vertex of to a vertex of , it would give an - path avoiding . HenceHall's condition givesand therefore . By Menger theorem, there are internally vertex-disjoint - paths. Each has the form with and ; disjointness makes all the and all the distinct. Their middle edges form a matching saturating .
Construct a bipartite graph with left vertices , right vertices , and an edge exactly when . For , every point of lies in some adjacent to one of those . ThusUsing finite additivity of Lebesgue measure and the equal-volume hypotheses,Hence for every . The Hall marriage theorem supplies a perfect matching, which has the form for a permutation of . Every matched edge means precisely that .
Articles were limited to the first 100 out of 286 total.
Articles by others on the same topic
There are currently no matching articles.