Write in the new coordinates. Since
the partial differential equation becomes
For a twice continuously differentiable solution of a differential equation, is independent of , so integration first in and then in gives
This is the decomposition of the one-dimensional wave equation into waves traveling in opposite directions.
The first initial condition gives . The second initial condition gives . Differentiating the first relation and combining the two relations yields . Thus and . The constants cancel, and the cosine addition formula gives
Both initial conditions and the partial differential equation follow directly by differentiation.
Multiplying the ordinary differential equation by two suggests using the dependent variable , whose derivative is . On the interval through , this gives the linear ordinary differential equation
After integration, . The initial condition gives . As , continuity selects the positive branch:
The interval is the maximal real interval through the given initial condition: at the formula approaches , but its derivative is unbounded, so it does not extend through zero as a differentiable solution of a differential equation.
Use for the angular coordinate and for the radius. Parametrize the first annulus by , running from its inner to its outer boundary. Parametrize the second by , running from its outer to its inner boundary. The outer-boundary identity gluing puts them together at . The remaining inner-boundary identification reverses the angle, so the entire quotient is
This is the mapping torus of reflection of a circle, after rescaling the interval.
To verify the homeomorphism, send in the first annulus to in , and in the second to . Both formulas are continuous, agree under the outer gluing, and agree under the reflected inner gluing. They therefore descend by the universal property of the quotient topology. Conversely, on the lower half of the cylinder send to the class of in the first annulus; on the upper half send it to the class of in the second. The formulas agree at , and at the identified endpoints. The pasting lemma and the quotient property give a continuous inverse. Thus the two quotient descriptions are homeomorphic.
The quotient is compact. Its equivalence relation on the compact Hausdorff cylinder is closed: it is the union of the diagonal and the two graphs of the boundary reflection. Therefore is Hausdorff by compact Hausdorff quotient by a closed equivalence relation. Away from the seam its local charts are circle arcs times open intervals. At the seam, an arc near at glues to its conjugate arc at ; using the reflection as the transition gives another open rectangle. These are disc neighbourhoods, and a finite choice of such charts gives a countable basis. Hence is a closed surface.
Cutting the circle coordinate gives a rectangle with its vertical sides matched and its horizontal sides reflected. The reflection changes the sign of the angular coordinate while leaving the interval direction unchanged, so an orientation transported around the interval loop comes back reversed. Thus is a nonorientable surface. The rectangle quotient has one vertex, two edges and one face, giving Euler characteristic zero. By the classification theorem for closed combinatorial surfaces, the nonorientable genus is , so . This is the gluing annuli with one reflected boundary construction.
Figure 1.
The two annuli become one cylinder with a reflected end identification
. The lower band parametrizes the first annulus from inner to outer boundary, and the upper band the second from outer to inner boundary. Their common middle level is the identity gluing. Identifying the remaining ends by reflection gives the Klein bottle. Details.

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