On the product of two sigma-finite measure spaces, Tonelli's theorem states that a nonnegative measurable function has measurable iterated-integral functions and
with values allowed to be infinite. Fubini's theorem states that if is measurable and , then its sections are integrable almost everywhere, both iterated integrals exist as finite integrals, and the same equality holds, also for real or complex signed functions. Tonelli applied to can first be used to verify the absolute-integrability hypothesis of Fubini.
Let . These are nonnegative measurable functions increasing to the extended-valued sum . Monotone convergence gives
A nonnegative function with finite integral cannot be infinite on a set of positive measure. Hence almost everywhere, which is exactly almost-everywhere convergence of the nonnegative series. One may redefine the sum arbitrarily on the exceptional null set to obtain an ordinary integrable representative.
An invertible matrix is exactly an ordered basis of its column space. The first column has choices. After independent columns have been chosen, their span has elements, so the next column has choices. Therefore
At the current dual prices , the new product has reduced cost , so it can increase profit. Its transformed resource column is
Increasing by changes the old basic variables to and . Thus leaves at , giving
For a certificate, take dual prices . They price the four products at , respectively, each at least its profit. Their resource total is , equal to the achieved profit. Weak duality proves optimality, and the profit has increased by two.
Introduce nonnegative slack variables and use a simplex tableau with the last row representing . The starting tableau is
Enter and let leave. Dividing the second row by three and eliminating its column gives
Enter and let leave. The next simplex tableau is
Thus
The pivot choices and the optimality certificate are justified in the following parts.
Let be the production amounts of the three distinct products; the repeated first-product labels in the printed table are interpreted using the surrounding text and the three separate columns. The linear program is
Before a potential update, let be the reached rows and the reached columns in an alternating forest grown from unmatched rows. Every reached column is matched, or an augmentation would already have occurred, and its matched row is reached. Each tree has one more reached row than reached column, so .
The update amount is the smallest slack across . It is strictly positive because all zero-slack edges have already been explored, and the complete assignment problem guarantees that the set is nonempty before a perfect matching is found. Increasing for and decreasing for therefore increases the dual sum by
All feasibility inequalities remain valid by the definition of the minimum slack.
Begin with and the printed matching . Grow an alternating tree from unmatched row two. Its tight edge reaches column two, whose matched row is three. Thus the reached row set is and the reached column set is . Among unreached columns the reduced costs are from row two and from row three, so their minimum is two.
Increase by two and decrease by two. The new tight edge reaches an unmatched column. Augment along , replacing by . The matching becomes .
Now grow from unmatched row four. Edge reaches matched row one, and edge reaches unmatched column five. Augment along , replacing by . This yields
No further potential update is needed. The final potentials are and . Their reduced-cost matrix is
Every entry is nonnegative and every chosen entry is zero. The dual sum is , so part (a) certifies optimality.

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