There is no singularity at the lower endpoint one. Put , so . The nonnegative integral becomes
For , it converges as a reciprocal-square integral. For , exponential decay makes it converge. For , its integrand eventually grows without bound, so its integral diverges. Thus
This is the logarithmic borderline in a power-tail integrability test.
For positive integers , let . This measurable set has finite measure, and . Monotonicity of the Lebesgue integral gives
so every is a Lebesgue null set. The set where is the countable union of these sets over . Part (a) makes it null, hence
The bounded truncation ensures that only integrable indicator functions are used with the stated comparison rule.
A Lebesgue null set can, for every , be covered by countably many open intervals whose total length is less than . Equivalently, its Lebesgue outer measure is zero.
If is null, choose for it such a cover of total length below , . The union of these countably many countable covers covers and has total length below . Since is arbitrary, a countable union of null sets is null.
The two primal constraints are equalities, so let the two dual variables be free. Primal feasibility restricts to the nonnegative orthant, giving
Thus the feasible region lies above all four lines:
Its lower boundary follows the third line up to , the fourth line from there to , and then the first line. The second line never determines the envelope. Along these three pieces respectively has slopes , , and , so its unique minimum is at the first corner:
At this dual point the first two inequalities are strict, while the last two are equalities. complementary slackness therefore suggests . The remaining primal equations become , , giving . This is nonnegative and satisfies both equations. Its objective function is , equal to the feasible dual value. weak duality proves
No nonnegativity restriction was imposed on the dual variables; the negative- second corner is part of the feasible boundary, even though it is not optimal.
Figure 1.
The dual lower envelope has its objective function minimum at the intersection of the third and fourth constraints
. Details.
With primal constraints , the dual variable is unrestricted in sign:
Membership of in the nonnegative orthant still yields , but the next step is now the equality , so no sign condition on is needed. Equivalently an equality constraint can be replaced by two opposite inequalities whose nonnegative multipliers combine into one free multiplier.
The dual is
weak duality says that any feasible primal and dual satisfy . Indeed,
The first inequality uses and , and the second uses and . This proves the theorem. In particular, feasible solutions with equal objective function values are optimal for both problems.
Start the augmenting-path algorithm from the zero flow. With integer capacities and an integer electric current flow, every residual capacity is an integer, so a path bottleneck is a positive integer. Augmenting by it preserves integrality and increases the flow value by at least one. The value is bounded by the finite total capacity leaving the source, so the process terminates. At termination there is no augmenting path, hence the flow is maximum by the max-flow min-cut theorem. Its value is an integer.
Equivalently a minimum cut has capacity equal to the sum of integer arc capacities, so the maximum flow value equals an integer. Thus integer capacities guarantee an integer optimal volume, even though arbitrary feasible real-valued flows need not themselves have integer entries.
flow conservation determines the unspecified initial arcs:
Every entry respects capacity, and the initial value is four. In the residual network take the augmenting path
The step is the reverse residual arc of the used arc . Its use cancels some existing flow rather than sending new physical flow on a nonexistent original arc. The residual capacities along the path are , so augment by their minimum, one.
The resulting original-arc flows are
Their value is five. The cut separating the sink from all other nodes has capacity . Every feasible flow is bounded by this cut capacity, so the value-five flow is optimal.
Figure 1.
One unit of residual rerouting cancels flow on 34 and raises the total from four to five
. Details.
True. Each connected component of a forest is a tree. If the component sizes are , their edge counts are , including isolated vertices as size-one components. Summing gives , hence
True. Choose a root of the tree and color every vertex according to the parity of its graph distance from that root. The unique-path property implies that the endpoints of each edge have distances differing by one. Thus every edge crosses the two color classes, proving bipartite graph.
False. The four-cycle is bipartite, with alternating color classes, but contains a cycle and therefore is not a tree.
False. In the vertices in one class have degree , while the vertices in the other have degree . For positive , connectedness is automatic, and Euler's criterion requires both and to be even. Evenness of their sum alone allows both to be odd. For example has but all four degrees are odd, so it has no Eulerian cycle.
True. Represent a vertex of by a four-bit string, with an edge changing exactly one bit. Color according to the parity of the sum of the bits. Every edge joins opposite parities, giving a proper two-coloring. Since the graph has edges, one color is impossible, so .
False. In a Prüfer code, the degree of a label is one plus its number of occurrences. Here labels occur once and labels do not occur. Thus the former have degree two and the latter degree one. The decoded tree is the path
with the evident single-edge interpretation when . Independently, no vertex of a simple tree on vertices can have degree at all. The degree claim in the statement is therefore impossible.
False. The cube has eight vertices and twelve edges. Euler formula for a connected planar graph for its connected plane graph gives , so
The nested-square embedding has four faces between the squares, one inside the smaller square and the unbounded exterior face.
True. Draw two nested squares and join corresponding corners. This is the hypercube graph: each square gives one four-cycle and the four connecting edges give the remaining coordinate direction. The edges have no crossings, furnishing a plane graph.
Figure 1.
Two nested squares give a crossing-free embedding of the hypercube graph
. Details.
True. Label the vertices . The cycle uses existing edges of the complete graph and visits every vertex once before returning. It is a Hamiltonian cycle for every .
False. A connected graph has an Eulerian cycle exactly when every vertex has even degree. In every degree is , so it has an Eulerian cycle precisely when is odd. The complete graph is a counterexample to the statement for all .
Take the curl of the Euler equations for an inviscid fluid. The gradient on the right has zero curl. Use the stated vector identity with , :
incompressible flow gives , while a curl always has zero divergence, so . The remaining terms give
For a two-dimensional velocity independent of , and . Thus the scalar vorticity is conserved following each fluid particle. It can still vary from particle to particle; this is advection, not a claim of spatially uniform vorticity.

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