Events are independent events if for every finite list of distinct indices , . Random variables are independent random variables if for every such list and Borel sets , . This is equivalent to independence of their generated sigma-algebras; pairwise independence alone is insufficient.
For , dilation by maps to , because . Its inverse is dilation by , so all nonempty positive level manifolds are diffeomorphic.
A negative level need not be diffeomorphic to a positive one, even when both are nonempty. For , is connected (parametrize it by ), whereas has two components, according to . Thus the answer for opposite signs is no. If is odd, the additional symmetry does interchange opposite levels up to scaling, but the question allows even degrees.
Differentiate the homogeneity identity with respect to at one to obtain Euler's identity
On , its right side is , so . Thus is a regular value. The preimage theorem says that the nonempty inverse image of a regular value of a smooth map is a smooth submanifold of codimension . Applied to , it gives .
The manifold inverse function theorem states: if is smooth and is an isomorphism, there are open neighborhoods of and of such that is a diffeomorphism. In particular the manifolds have the same dimension at those points.
Choose charts around and around , shrinking the source chart so its image under lies in the target chart. The coordinate map has derivative , an invertible matrix. Apply the permitted Euclidean inverse function theorem to obtain open coordinate neighborhoods on which and are smooth. Pull them back through the charts. The resulting inverse is , smooth by composition. This proves the manifold statement.
The permutation representation has basis , , with . Its matrix is a permutation matrix, whose diagonal entry is one exactly at fixed points. Therefore
Between collisions the momentum is or . In phase space the cycle runs right along the upper horizontal segment from to , jumps vertically to at the right wall, runs left along the lower segment, and jumps back at the left wall. The jumps have . Therefore
Differentiation gives , exactly the out-and-back period. Under slow wall motion the action is the adiabatic invariant; a convention using is equivalent. Hence
Compression raises the energy and expansion lowers it, provided the wall speed is small compared with the particle speed and the change per cycle is small.
Figure 1.
One elastic-bounce cycle in position-momentum phase space
. Details.
The invariant is phase-space volume, or area for one degree of freedom. It does not require an autonomous Hamiltonian. The flow vector has divergence whenever the mixed derivatives agree. If is the Jacobian of the flow with respect to initial coordinates, then . Differentiating its determinant gives
Thus the change-of-variables formula shows that any region carried by the flow retains its area. This proves Liouville theorem in Hamiltonian mechanics even when depends on time.
Vary and independently, fixing the endpoint positions. Integration by parts gives
The boundary term vanishes, so arbitrary interior variations imply
In the Lagrangian principle only is varied independently, and ; here positions and momenta are independent paths in phase space. The extremality condition is stationarity of the action, not necessarily a minimum. Along Hamiltonian motion,
so an explicitly time-independent Hamiltonian is conserved.
Write and . Along a trajectory,
Use the unperturbed orbit to compute the leading energy change over one period:
Zero averaged energy change gives the nonzero amplitude
The supplied sign condition makes this real and nonzero. The averaged amplitude equation is , whose derivative at that root is . Its nonzero derivative also makes the root persist as an isolated periodic orbit for sufficiently small positive .
Directly, the planar divergence is . On the leading orbit its integral over is . Thus
The cycle is attracting for and repelling for . Both sign possibilities are allowed by .
Linearizing about the orbit gives , where . The fundamental matrix therefore satisfies
The Floquet multipliers are the eigenvalues of the monodromy matrix . Differentiating the orbit equation shows that its tangent solves the variational equation. Since , one multiplier is one.
For an invertible fundamental matrix, differentiating the determinant gives . Integration from the identity yields . The determinant is the product of the two multipliers, so the other is
Factor . The second factor has positive real part, since . It therefore has the continuous single-valued argument taking values in . Its values agree at the two ends of the parametrized circle, so its winding number is zero. Part (i) gives
Choose continuous arguments along the parametrized circle. Their sum is a continuous argument of the product, because multiplication multiplies moduli and adds arguments. Subtracting endpoint values gives
Assume the present universe is expanding, . The stated energy inequality and the Raychaudhuri equation imply wherever . Therefore for in that positive branch, , and
Nonnegativity of forces . If the solution remains valid towards the past, its positive branch must thus end in within that time; a positive scale factor extending further would contradict the inequality. Hence
This argument presumes an expanding branch and the stated energy condition throughout it, rather than proving either assumption.
There are two relevant failures of the naive numerical bound. The supplied ten-billion-year Hubble time is an approximate observational input: a smaller inferred present expansion rate gives a larger Hubble time, and comparison with stellar ages must include these uncertainties. More decisively, a positive cosmological constant, or other dark energy with sufficiently negative pressure, has and permits accelerated expansion, so the concavity assumption fails. Observations of acceleration therefore remove this particular upper-bound argument. This is a discussion of the supplied historical estimate, not an assertion that its numerical value is a current measurement.
A comoving coordinate labels a galaxy carried by the homogeneous cosmological flow. Its physical separation at time is , where is the scale factor. Thus , the Hubble law, apart from peculiar velocities relative to this flow. In particular
Keep the original four-node interpolation polynomial . The correction must vanish at all four original nodes, so a degree-at-most-four interpolant has the form
Since and the product at is , matching the new value gives , hence . Expanding yields
It takes the values at the five nodes. The same root-count argument proves uniqueness of this interpolation polynomial.
The successive divided differences for nodes are
Thus the Newton interpolation polynomial is
Expanding the products gives the power form
The four values verify the data. Uniqueness follows because the difference of two degree-at-most-three interpolants would have four distinct roots.
For a normalized wavefunction in the required operator domains and a self-adjoint operator , its expectation value and standard deviation are
Equivalently the squared uncertainty is , which is visibly nonnegative. Since the expectation value of a self-adjoint operator is real, expansion of the square and give
For a state not normalized to one, divide each defining expectation integral by before using this formula.

Pinned article: Introduction to the OurBigBook Project

Welcome to the OurBigBook Project! Our goal is to create the perfect publishing platform for STEM subjects, and get university-level students to write the best free STEM tutorials ever.
Everyone is welcome to create an account and play with the site: ourbigbook.com/go/register. We belive that students themselves can write amazing tutorials, but teachers are welcome too. You can write about anything you want, it doesn't have to be STEM or even educational. Silly test content is very welcome and you won't be penalized in any way. Just keep it legal!
We have two killer features:
  1. topics: topics group articles by different users with the same title, e.g. here is the topic for the "Fundamental Theorem of Calculus" ourbigbook.com/go/topic/fundamental-theorem-of-calculus
    Articles of different users are sorted by upvote within each article page. This feature is a bit like:
    • a Wikipedia where each user can have their own version of each article
    • a Q&A website like Stack Overflow, where multiple people can give their views on a given topic, and the best ones are sorted by upvote. Except you don't need to wait for someone to ask first, and any topic goes, no matter how narrow or broad
    This feature makes it possible for readers to find better explanations of any topic created by other writers. And it allows writers to create an explanation in a place that readers might actually find it.
    Figure 1.
    Screenshot of the "Derivative" topic page
    . View it live at: ourbigbook.com/go/topic/derivative
  2. local editing: you can store all your personal knowledge base content locally in a plaintext markup format that can be edited locally and published either:
    This way you can be sure that even if OurBigBook.com were to go down one day (which we have no plans to do as it is quite cheap to host!), your content will still be perfectly readable as a static site.
    Figure 5. . You can also edit articles on the Web editor without installing anything locally.
    Video 3.
    Edit locally and publish demo
    . Source. This shows editing OurBigBook Markup and publishing it using the Visual Studio Code extension.
  3. https://raw.githubusercontent.com/ourbigbook/ourbigbook-media/master/feature/x/hilbert-space-arrow.png
  4. Infinitely deep tables of contents:
    Figure 6.
    Dynamic article tree with infinitely deep table of contents
    .
    Descendant pages can also show up as toplevel e.g.: ourbigbook.com/cirosantilli/chordate-subclade
All our software is open source and hosted at: github.com/ourbigbook/ourbigbook
Further documentation can be found at: docs.ourbigbook.com
Feel free to reach our to us for any help or suggestions: docs.ourbigbook.com/#contact