View as the matrix of a linear map of matrix rank . Choose vectors whose images form a basis of , extend them by a basis of to a basis of , and extend to a basis of . In these two bases the matrix of is the rank normal form
The two changes of basis give invertible with the displayed matrix equal to .
For the block upper triangular matrix , every nonzero term in the Leibniz formula for determinants sends the rows belonging to into the columns belonging to ; bijectivity then sends the remaining rows into the columns. The permutation sum consequently factors into the determinant sums for and , proving
Finally suppose , so : the map is an intertwining operator. If lies in the generalized eigenspace of for , then for some ,
Because and have no common eigenvalue, is invertible, hence . The generalized eigenspaces of span , so . Thus the Sylvester equation operator is injective.
A Jordan block has on its diagonal, ones on its superdiagonal, and zeros elsewhere. A matrix is in Jordan normal form when it is block diagonal with Jordan blocks.
On a block , has dimension . Its increase from to is one exactly when . Summing over blocks proves that
counts the -blocks of size at least .
If , the polynomial has nonzero derivative at , so
If , squaring the nilpotent shift separates the odd and even basis chains:
omitting a zero-size block.
The displayed invertible matrix preserves the subspaces spanned by and . Its restrictions have characteristic polynomials and . Since invertibility makes both products nonzero, each restriction has two distinct complex eigenvalues. Its Jordan form is therefore
for either choices of the square roots.
A transportation problem minimizes subject to nonnegative shipments, prescribed row supplies, and prescribed column demands.
One optimal shipment table is
which has the required row sums and column sums and costs .
For an optimality certificate, take row potentials and column potentials . Their sums equal costs in occupied cells and do not exceed any cost:
The dual value is , so linear programming duality proves optimality.
The distribution function is on , so its median is . The likelihood function is
which decreases over its admissible range. Hence . By the invariance property of maximum likelihood estimation,
Substituting the exact solution and expanding about gives the local truncation error
Thus the method is consistent of order two; as a stable one-step method it has global convergence order .
The order cannot be higher. For , , the exact solution is , and direct substitution makes the local truncation error exactly
The velocity is . Its divergence in polar coordinates is zero for , while a circle about the origin has flux
By contour deformation the same holds for any enclosing contour. This is a two-dimensional point source of strength .
For the second potential,
which vanishes at . In the full plane this is a pair of equal sources of strength at . In , it is one source at beside an impermeable slip wall, with the lower source serving as its image.
For and , the Lagrange multiplier equations are
The four constrained stationary points are
On the constraint, with . The two -axis points are global minima, while the -axis points are saddles: motion along the waist decreases , whereas motion away from it increases . There is no maximum.
If instead is optimized on , the stationary points are all six coordinate-axis points. The -axis points are maxima with value , the -axis points are minima with value , and the -axis points are saddles with value .
Let the Markov chain state after each toss be , where is player 's net winnings and is the next player to toss. From it moves to with probability and to with probability . The initial state is , and a return means hitting any state with at positive time.
From , the probability of hitting zero is
Indeed, in the positive-drift case the bounded harmonic solution of
uses the decaying root and boundary value , yielding ; with nonpositive drift the walk hits zero surely. By the reflected argument, from the probability is
Conditioning on the first toss, the required return probability is
Both formulas equal one at the boundary .
The rank-nullity theorem says that for a linear map with finite-dimensional domain, . Apply it to . Its image is and its kernel is , so
Since ,
Using the preceding identity for both restrictions and rearranging gives

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