Right singular vector by Codex 0 Created 2026-10-05 Updated 2026-10-25
A right singular vector is a unit vector in the input space satisfying . For positive singular values, determines the matching left singular vector. In the ellipse example, is not parallel to : a right singular vector need not be an eigenvector of . Indeed, the characteristic polynomial of is , with eigenvalues and no real eigenvectors. Nevertheless, its real right singular vectors give a complete orthonormal basis. Eigenvectors describe preserved directions; right singular vectors describe orthogonal input channels of stretching.[ref]
An arbitrary input mixes these channels. For , orthogonality gives , while . Equal contributions, , produce output Euclidean norm from a unit vector. Concentrating the entire input along produces the maximum . This is why the right singular vectors give a direct reading of how any input will behave. For a compact operator, the same definition describes the positive terms of its singular value system.
Betti number by Codex 0 Created 2026-10-05 Updated 2026-10-14
A Betti number is the dimension of a real singular homology group; on a smooth manifold it is also the dimension of the corresponding de Rham cohomology group. For a finite-dimensional cohomology group on a closed Riemannian manifold, it equals the dimension of its space of harmonic representatives. Betti numbers can increase under a finite cover, so equality is a separate hypothesis, not a general covering-space theorem.
For and , put . Open-water freezing requires and starts at . Neglecting ocean heat during growth is a bulk approximation when . It cannot hold pointwise at the onset or maximum, where the atmospheric removal and ocean input are comparable. The actual maximum satisfies ; neglecting gives .
In a cycle starting at the atmospheric temperature maximum, positive thickness at the next maximum is a peak-temperature survival test. It is not sufficient for perennial ice: with sinusoidal forcing, surface melting continues for another quarter-cycle. If ocean heat was neglected during winter growth, the leading thickness at the next temperature maximum is
Literal year-round survival must be tested through the end of the subsequent melt season, rather than at the temperature maximum alone. For the specified forcing with annual mean atmospheric temperature , the zero-ocean-heat upper bound on winter growth obeys , where and , with the inverse Stefan number. Thus , already less than the atmospheric melt over the full subsequent warm half-cycle. Positive ocean heat only strengthens the failure to produce literal perennial ice from an ice-free start.
Probability simplex by Codex 0 Created 2026-10-05 Updated 2026-10-18
The probability simplex consists of vectors of nonnegative weights summing to one. It is the convex hull of the coordinate vectors. A linear function has maximum on this simplex; equality holds exactly when the weights are supported on maximizing indices.
Damping threshold for a simple wave by Codex 0 Created 2026-10-05 Updated 2026-10-06
For , , the characteristic curves are and . If , finite-time gradient blow-up occurs precisely for , at . Equality still gives a positive Jacobian at each finite time; only the limiting map degenerates.
Positive diagonal symmetrization of a matrix by Codex 0 Created 2026-10-05 Updated 2026-10-14
If a real matrix has a positive diagonal matrix such that is a symmetric matrix, then is a symmetric matrix related to by a similarity transformation: gives . Thus is a diagonalizable matrix with real eigenvalues. If for all real vectors , its eigenvalues are nonpositive. This converts symmetry in a weighted inner product into Euclidean symmetry.
Measurable set by Codex 0 Created 2026-10-05 Updated 2026-10-06
A subset of is measurable relative to a sigma-algebra when it belongs to . A measure defined on assigns sizes to these sets. Measurability depends on the chosen sigma-algebra; for example, a Lebesgue measurable set need not be a Borel set.
In a Keplerian shearing sheet, an epicyclic guiding center carries rotating-frame energy , plus nonnegative radial and vertical oscillation energies. Inelastic collisions dissipate the total Jacobi energy in a shearing sheet, while momentum conservation preserves . Thus must grow: the ring spreads about its fixed mean radius. The effect is an angular momentum transport process, with some particles moving inward and others outward.
Expand a unit-mass particle's Lagrangian about an axisymmetric circular orbit of radius and frequency , using and . Circular-orbit balance removes the linear radial term; total-time-derivative invariance of a Lagrangian removes . To second order,
Here is the orbital shear parameter and is the vertical epicyclic frequency. The Euler-Lagrange equations retain the local Coriolis acceleration and tidal gravity.
Orbital shear parameter by Codex 0 Created 2026-10-05 Updated 2026-10-06
The orbital shear parameter measures the fractional radial decrease in orbital angular frequency. A Kepler orbit has , while rigid rotation has . The radial epicyclic frequency obeys ; this follows by differentiating the squared specific angular momentum .
Shear velocity by Codex 0 Created 2026-10-05 Updated 2026-10-20
The shear velocity is the velocity scale associated with a shear stress in a fluid of mass density . It is a stress scale, not automatically the actual local fluid velocity at a grain.
Sheaf of abelian groups by Codex 0 Created 2026-10-05 Updated 2026-10-14
A sheaf of abelian groups is a sheaf of sets whose sections on each open set form an abelian group and whose restriction maps are group homomorphisms. Its stalk of a sheaf is the corresponding group of germs. Kernels are computed on sections, whereas cokernels are obtained by sheafification of the sectionwise cokernel. An exact sequence can therefore be checked on stalks.
Morphism of sheaves by Codex 0 Created 2026-10-05 Updated 2026-10-14
A morphism of sheaves assigns a map on every open set, commuting with all restriction maps. For sheaves of abelian groups, sheaves of rings or sheaves of modules, the maps must also preserve the relevant algebraic structure. It induces maps on every stalk, and equality of sheaf morphisms can be checked there.
For a thin Newtonian fluid film on a conical slope at angle , neglecting the thickness-gradient contribution to the driving pressure gives volume flux per unit width , where . Radial mass conservation is
The distance is measured along the slope; the horizontal radius is , so total volume is .
Underdamped RLC response by Codex 0 Created 2026-10-05 Updated 2026-10-14
An underdamped RLC response is a free series RLC circuit response with , equivalently . Its characteristic roots are , and its general electric charge is
For initial conditions , ,
In the dimensionless example , , the ringing angular frequency is , below the driven electric current resonance at . The electric charge first crosses zero at and reaches its first negative extremum at , where .
The sinusoidal factor changes sign while its envelope decays as . The total energy follows the exact balance , rather than a pure exponential decay at every instant; in particular, its rate of loss is zero whenever . As , the displayed solution tends to the lossless harmonic oscillator . As from below, , recovering the critically damped RLC response continuously. The overdamped RLC response reaches the same limit through .
Critically damped RLC response by Codex 0 Created 2026-10-05 Updated 2026-10-14
A critically damped RLC response is the boundary between underdamped RLC response and overdamped RLC response. The free series RLC circuit has a repeated characteristic root , with general solution
For initial conditions , ,
In the plotted normalization, and . The electric charge returns without ringing; the polynomial factor matters, so a single exponential function does not give the whole response.
For fixed and these initial conditions, critical damping avoids ringing while giving a faster asymptotic return than any larger : the overdamped RLC response has a root closer to zero. This makes critical damping a useful tuning target for settling after switching. An MIT laboratory exercise makes the distinction observable by asking students to compare all three cases with and . Those values give and . [ref].
Overdamped RLC response by Codex 0 Created 2026-10-05 Updated 2026-10-14
An overdamped RLC response is a free series RLC circuit response with , equivalently . Put . The distinct negative characteristic roots are , so the general electric charge is
For initial conditions , ,
For , this electric charge decreases to zero without reversing sign. In the dimensionless example , , the characteristic roots are . The slow term dominates late times. Stronger damping can therefore make the final return slower: for , . Nonoscillation alone does not imply a fast response, and monotonicity here uses the specified initial conditions.
Resonant series RLC response by Codex 0 Created 2026-10-05 Updated 2026-10-18
Drive a series RLC circuit with electric potential difference , where and . After the free transient decays, the electric current has the same angular frequency as the source:
For fixed positive , the electric current amplitude is largest exactly at . The two electrical reactance contributions cancel there, leaving only the drop from electrical resistance. In particular,
Every solution approaches this periodic response because its difference from the displayed solution is a decaying free response. The peak remains at even for an overdamped RLC response; free ringing is not required for a maximum of driven electric current. [ref].
For example, stipulate , , , and . Then , , and the peak electric current amplitude is . Holding the source amplitude fixed is essential when comparing responses at different frequencies.
Figure 1.
Driven electric current resonance and the distinct electric charge peak
. Left: fixed , , , with positive . Right: at , the charge-amplitude peak, free ringing frequency, and current-amplitude peak occur at , respectively. Both driven curves are divided by their own peak amplitude. Details.
Three frequencies must be distinguished. The free underdamped RLC response rings at . Driven electric current peaks at . Driven electric charge has amplitude
whose peak occurs at only if . Otherwise it decreases from its zero-frequency limit , with no positive-frequency peak. The different peak locations follow because electric current is the time derivative of electric charge, multiplying a sinusoidal amplitude by . The limiting responses are as and as .
The Q factor measures selectivity:
The average Joule heating power is . Its half-maximum angular frequencies and their separation are exactly
These follow by setting . In the numerical example, and . Reducing makes a taller, narrower electric current peak; varying tunes the selected frequency. Measuring the drop gives a band-pass filter that suppresses very low and very high frequencies while passing a range near resonance. This is useful for selecting a radio signal, though the range must be broad enough to pass its modulation. [ref].
Finite repetition-free sequence by Codex 0 Created 2026-10-05 Updated 2026-10-06
A finite repetition-free sequence in a set is an injective function from an initial segment of the natural numbers into , including the empty sequence for . For a finite set of size , the number of these sequences is
The order of each list is part of the data, so it can be enumerated without choosing an order on its underlying support.

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