. An ordered basis is chosen successively in ways, which also counts bijective endomorphisms. Counting ordered independent -tuples and dividing by the number of bases of gives the Gaussian binomial .
An extreme point is not a nontrivial convex combination of two distinct points of the set. Write with nonnegative parts and set , , , . An extreme feasible point of this standard-form LP has at most positive coordinates (otherwise the corresponding columns are dependent and permit a two-sided feasible perturbation); an optimum may be chosen extreme, and cancelling simultaneous positive pairs gives an with at most nonzeros. For the final problem, fix for any optimum and replace by such a sparse minimum- solution of ; is unchanged and the penalty cannot increase.
The MLE is , . Since , (in general ). If is the -quantile of , a central confidence interval is . A prior yields posterior and mean . With the quantiles of , take and .
Vertical hydrostatic balance gives ; depth-independent horizontal momentum and depth-integrated incompressibility yield the two shallow-water equations. Curling momentum and combining with mass conservation gives . Dot momentum with and use continuity to obtain with and . It is kinetic plus gravitational potential energy. A no-normal-flow boundary kills the flux and conserves its integral; a localized nonuniform height has excess positive energy relative to the uniform rest state with the same mass, so it cannot decay to that state without dissipation.
and . Schrödinger’s equation and its conjugate give ; a stationary state has . Continuity of at and matching plane waves give
so and . Transmission is minimised when , i.e. .
Characteristics satisfy , , , with data prescribed on a transverse curve. If then . For the displayed field the divergence is zero and one may take . Thus characteristics are its level curves (a cubic foliation), and because the general solution is for arbitrary differentiable .
Twice integrating by parts, with both endpoint variations fixed, gives . In the given integral the mixed term is a boundary term, and the equation is . Decay removes the growing solutions, so . The initial data give , hence .
, with transforms and ; transforms to and to . Algebra gives with , so . Writing gives for , for , and at equality. If , , so the initial velocity contributes .
is a square with two open square holes; its boundary is the three square boundary curves. Using their twelve corners gives a triangulation with . Doubling two compact connected copies along their common boundary is compact and connected, and boundary half-discs glue to discs, so the double is locally Euclidean and is a closed surface. Under the quotient the doubled triangulation has , hence . The classification theorem says a connected compact orientable surface is a sphere or a connected sum of tori with ; thus .
Bounded means finite diameter; sequential compactness means every sequence has a convergent subsequence. A failure of uniform continuity supplies two close sequences whose image distances stay apart; a convergent subsequence contradicts continuity. Into a discrete metric, continuity is local constancy, and compactness upgrades the radii uniformly. The Cantor set is closed in compact , hence sequentially compact. Uniform local constancy gives a positive separation scale, so finitely many initial Cantor-code (binary) digits determine . Removing zero destroys compactness: the hinted function reading the digit after the first is continuous at every remaining sequence but depends on arbitrarily late digits.
is the space of linear functionals and the dual basis satisfies . Nondegeneracy and equal finite dimensions make an isomorphism; evaluation similarly identifies with . Riesz representation applied to gives the unique adjoint. If is diagonalizable, declare an eigenbasis orthonormal to make it self-adjoint. Conversely, for self-adjoint and invariant , shows invariant.
The communicating classes are and ; only the latter is closed. Let , with and . The first-step equations give , , and , hence .
Unsteady Bernoulli gives the surface pressure from . The velocity-squared contribution integrates to zero net force, while the unsteady term gives with added mass . Hence , so : accelerating the bubble also accelerates surrounding fluid.
, with and position-position and momentum-momentum commutators zero. Expansion gives and . Thus , so they are not simultaneously diagonalisable.
Integration by parts gives and , so . The convolution theorem says ; multiplying the two Gaussian transforms and inverting yields .
For fixed boundary values, integration by parts gives . For , this is , or , with the independently prescribed boundary data on the circle.
Integrate around the wedge . The radial integrals differ by the factor , the arc vanishes, and the wedge contains the simple pole with residue . Solving the resulting identity gives .
The subspace opens are ; quotient opens are those whose inverse image is open; a homeomorphism is a continuous bijection with continuous inverse. Here identifies exactly the required pairs and induces a homeomorphism . An affine rescaling maps that rectangle homeomorphically onto .
. The class of has order , so has torsion and is not free. A unimodular change of basis (Smith normal form, using ) gives .
Gradient descent is . Integrating the Hessian along a segment gives the descent lemma. Applying it to the hinted and convexity yields cocoercivity: . Apply this to , whose Hessian lies between and , and rearrange to obtain the displayed strengthened inequality. With , , and , expansion of the squared update gives contraction factor per step and the stated bound.

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