For a linear map , its kernel and image of a linear map are
The kernel is a subspace of the domain and the image a subspace of the codomain. Given the stated bases, define the matrix of a linear map by
Its th column is the coordinate vector of ; if , the output coordinates are .
For the change of basis, write and . The matrices are invertible. Input coordinates change by and output coordinates by , so
The domain and codomain basis changes need not be the same matrix.
For , the two input vectors form a basis of , so its image is the span of and . The vector is orthogonal to both, since . Every possible output therefore satisfies , whereas the target itself is and . Hence there is no with the required output. This uses an image obstruction by an annihilating functional, rather than an inconsistent guessed input.
For , use the input basis , , . Its determinant is , so it is genuinely a basis. Write . Then
Substitution back into physical coordinates gives
For a direct check, its standard matrix is , which annihilates exactly that line.
For , the function has and , because the exponential function is increasing and . Therefore .
Write and . Expanding the product produces and additional nonnegative terms, giving . Applying the exponential inequality to every factor gives
Both sequences are increasing, since the terms are positive. If converges to a finite value , then , so the convergence theorem for monotone bounded sequences makes converge. Conversely, if has a finite limit, then is bounded and increasing, hence converges by the same theorem. Thus the positive series and the product both converge to finite limits, or both diverge to . This proves the positive sum-product convergence criterion. The word limit here means a finite real limit; allowing extended infinite limits would make the conclusion vacuous for these monotone sequences.
For a partition , put and
Boundedness makes these finite. The lower Darboux sum and upper Darboux sum are
Since and the widths are positive, .
Splitting a partition interval into smaller intervals can only increase each infimum and decrease each supremum. The smaller widths sum to the original width. Its new lower contribution is therefore at least its old lower contribution, and its new upper contribution at most its old upper contribution. Repeating this for every inserted point proves Darboux sum refinement monotonicity:
For arbitrary partitions, take their common partition refinement . Then
No compatibility of the original partitions is required.
Finally suppose is Riemann integrable. Then , so every product factor is nonnegative and the exponential inequality can be multiplied safely:
A lower Darboux sum is no greater than the Riemann integral, since the integral equals the supremum of all lower sums. Monotonicity of the exponential therefore gives the exponential bound for a lower-sum product
For a degenerate interval , the empty product and the exponential are both one.

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