Apply the continued-fraction algorithm. Since ,
The successive complete quotients are
and
Taking one more reciprocal returns to , so the continued fraction of the square root of eleven is
Write
The first convergents are and , whence
The continued fraction convergent recurrence is
where for even and for odd .
Set
If is even and , then
because . If is odd and , then
because . The base case and induction prove the alternating multiplier recurrence for convergents of the square root of eleven:
Let
The function is continuous, with
The 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 map
is continuous. By hypothesis it has a fixed point . Therefore
and 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 map
has 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 example
which 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. Take
It 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 is
It is an intersection of kernels of linear functions, and is therefore a linear code.
Let denote cyclic right shift. If and , then
A 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 and
then the generator polynomial of is the monic reciprocal
Equivalently, the parity-check polynomial of one code becomes, after reversal, the generator polynomial of its dual.
Over , subtraction equals addition. The polynomial has the factorization
The two cubic factors have no root in , so they are irreducible, and they are reciprocal to one another. Put
Every cyclic code corresponds to one monic divisor of . The complete list is
Thus 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 forms
where 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 produces
again 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. Hence
forces for some . Removing the inert prefix from every sentential form in the derivation gives
An accepting derivation in a right-linear grammar has the form
with 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)
This models every log-price by one common mean plus an error term.
The other quantitative columns are mpg, psngr, length, width, and weight, so use
fit2 <- lm(log(price) ~ mpg + psngr + length + width + weight, data = cars)
This is a normal linear model with an intercept and five slopes.
Treat make as a categorical predictor, converting it to a factor explicitly if necessary:
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 , with
There 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 , with
Thus 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. Hence
unique manufacturers occur in the dataset.
Put . Linearizing the morphogen reaction-diffusion equation at gives
Seek separated modes . Then
The mixed Dirichlet-Neumann modes on an interval are
Indeed, the Dirichlet condition selects sine functions, while the Neumann condition requires . Their growth rates are
The 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 is
Equality gives a neutral lowest mode, while a larger domain is linearly unstable.
The Papperitz symbol
specifies 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 behaviors
and, 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 relation
For 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 put
The hypergeometric equation in has exponent pairs
The Möbius transformation of a Papperitz symbol sends
so has symbol
On the other hand, has exponent pairs
at . Multiplication by applies the dependent-variable rescaling of a Papperitz symbol: it adds to both exponents at and subtracts from both at infinity. Hence
has 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 transformation
The 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 is
Consequently
because the speed is and the round-trip distance is .
When varies adiabatically, conservation of the adiabatic particle between moving parallel walls action gives
A 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 is
Consequently
For an expanding universe . If
then increases. The Friedmann equation implies
It 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 means
The equations reduce to
Taking the positive-field branch gives , and therefore
With ,
Now integrate :
Thus the quadratic-potential slow-roll solution is
Finally,
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 is
up 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 gives
where a global sign in the last term is immaterial.
For outcomes and , Bob and Charlie already have
For 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 gives
for 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 is
Euler criterion states that
If , 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 gives
For prime , every intermediate coefficient is divisible by , proving the prime-power binomial congruence for a matrix
For
one has and . If , then
so . If , then and
so .
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 gives
The 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 . Therefore
Together with part (i), this is the weighted complete Legendre-symbol sum.
Put . Because , the supplementary laws give
Let and be the quadratic residues and nonresidues, respectively, among , and put
Since is a nonresidue, the complete set of least positive quadratic residues is
If , 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 gives
Comparing the two formulas yields
As ,
This is the lower-half quadratic-residue sum for primes congruent to seven modulo eight.
For , the triangle inequality and the Cauchy-Schwarz inequality give
Thus 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
The supremum norm is homogeneous. For ,
It follows directly that whenever .
Write each polynomial of degree at most as and define
This is a continuous function, and the reverse triangle inequality together with part (a) gives
Consequently 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 points
and a sign for which
This 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 is
We 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.
Let
These 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 also
shows that there. Thus
for 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 that
This 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 with
The likelihood function maximized by glm is therefore
None 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 is
The 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 has
so that . Hypothesis requires both restrictions
as 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 rates
Its transition diagram has the two arrows
The 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 gives
At a stationary state, use the variance identity . Solving the resulting quadratic equation gives
The 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 equation
where the negative drift and infinitesimal jump variance are
This 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 is
so in particular as . Put . The linear noise approximation uses
where
and, because ,
In a stationary state with zero Fokker-Planck probability current,
Its normalized solution is the normal distribution
It 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 is
equivalently .
Suppose a type-two generating function for a canonical transformation defines
Then
Equality of the mixed partial derivatives gives , so the transformation is canonical wherever it is locally invertible.
For
the fundamental theorem of calculus and differentiation under the integral sign give
Thus
and in particular .
For the unit-frequency simple harmonic motion, the transformed Hamiltonian is simply . Hamilton's equations become
Therefore
and transformation back gives the familiar solution
Now consider the weak quartic oscillator
Choose the modified generating function
It gives
so the transformed Hamiltonian is again . Hence and . Expanding the square root with the Taylor series gives
Differentiation with respect to therefore yields
where
Set and
Writing and expanding the inverse sine relation at gives
Expanding similarly gives
Consequently
Since , 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 comparing
and 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
Let
be the injection witnessing , and fix . Extend the inverse of to a surjection
by setting
This 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 injection
If 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 that
for 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 union
By 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 map
is 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 if
where 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 . Hence
Hall's condition gives
and 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 . Thus
Using 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 (0)

There are currently no matching articles.