Yes. A surjective has , so every is attained. Its rank of a linear map is , and the rank-nullity theorem gives
The solution set of a linear system is therefore a translate of a nonzero vector subspace, containing infinitely many solutions as in iii.
No. The rank-nullity theorem gives
but this guarantees infinitely many solutions only when the linear system is consistent. For a counterexample take
There is no solution, since the left side always vanishes.
No. Take and . The homogeneous linear system then has only the solution . Homogeneity ensures existence, but infinitely many solutions would additionally require a nonzero kernel.
No. Here has more rows than columns, which does not force a nonzero kernel. For example, with , ,
the linear system has the unique solution . With the same and it has no solution at all.
If is outside the image of a linear map , there is no solution. Otherwise choose with . By ii, a zero kernel gives a unique solution. If the kernel contains a nonzero vector , all
are solutions. They are distinct, since forces . Hence there are infinitely many. These alternatives exhaust all possibilities.
Suppose is one solution. By linearity,
Thus the solution set of a linear system is exactly . It has one member if the kernel is . Conversely, if there is a unique solution and , then is also a solution, forcing . Combining this with i gives
By definition, the image of a linear map is
Consequently means exactly that some satisfies . This is precisely the existence of a solution of the linear system.
Put and for . Since and , the two families have the same linear span. Moreover,
If the are linearly independent, a vanishing expression forces for and then . Conversely,
so linear independence of the forces all . Thus both the spanning set condition and linear independence are equivalent for the two families, proving the desired equivalence of bases.
The Steinitz exchange lemma states that if are linearly independent and span a vector space , then and some of the can be replaced by while preserving the spanning set property.
Here is the exchange argument. Suppose that after replacements, a spanning set is
where the remaining have been relabelled if necessary. Express as a linear combination of this family. At least one remaining has a nonzero coefficient; otherwise belongs to the span of , contradicting linear independence. Relabel this entry . Solving for shows that it lies in the span of
The new family therefore still spans . Starting at repeats this step until all independent vectors have been inserted. If , after steps the next would lie in the span of , a contradiction. Thus , and the construction proves the replacement assertion as well.
The vectors are linearly independent if
They span if every is a linear combination with real coefficients. They form a basis of if they are linearly independent and span . Equivalently, every has exactly one such representation: existence is the spanning set condition, and subtracting two representations shows that uniqueness is precisely linear independence.
For the thin spherical charge layer limit, smoothness of gives
Thus the shell's total electric charge tends to while its thickness tends to zero. At each fixed , the observation point eventually lies outside the shell, whereas at each fixed the interior electric field is unchanged. The limiting electric field away from the sphere is therefore
Its outward-minus-inward jump is
Physically, the limit is a uniformly charged ball of charge density , together with an infinitesimally thin spherical shell of uniform surface charge density
Indeed its electric charge is , and the standard normal electric field jump is . The surface charge density can have either sign, or vanish, according to .
The order of limits matters. For every finite , taking the two one-sided limits at first gives zero jump. The displayed nonzero jump is obtained by first taking at fixed points on either side, then approaching . The value at the surface itself need not coincide with either trace of the limiting electric field.
Set in the enclosed electric charge formula:
Outside the entire charge distribution, Gauss's law gives . Integrating with gives
Thus the exterior electric potential and electric field are exactly those of a point charge placed at the center. This is the electrostatic shell theorem: outside a spherically symmetric charge distribution, only its total electric charge affects the electric field, not how that electric charge is distributed radially. If positive and negative electric charges cancel to give , both exterior quantities vanish.
By the assumed spherical symmetry of the electric potential, the electric field is radial: for . On a sphere of radius , Gauss's law therefore reads
Put . For , the enclosed electric charge is . In the spherical shell, the factor in the volume element cancels in the charge density, so
It follows that
At the origin the first formula gives without needing a radial unit vector. At both shell interfaces the adjacent formulas agree: for every fixed , there is no surface charge concentrated on either sphere, and the electric field is continuous there. No sign restriction on has been assumed, so the shell charge density and the radial electric field can be negative.
The space is simply connected, and the electric field has zero curl. Hence it is a conservative vector field. More explicitly, Stokes theorem gives zero circulation around any closed loop, since such a loop bounds a spanning surface in . Therefore the line integral between two fixed endpoints is independent of the chosen path.
Fix a reference point and define the electric potential
Taking a short straight terminal segment in each coordinate direction shows . Consequently
The electric potential is determined up to an additive constant; the later condition at infinity fixes that constant for the finite charge distribution in part (b).
For any bounded volume with piecewise smooth closed boundary and outward unit normal vector , Gauss's law in integral form is
Thus the outward electric flux equals the enclosed electric charge divided by the vacuum permittivity. To prove it, apply the divergence theorem to the electric field and use its given divergence:
The classical proof assumes the requisite differentiability of the electric field. For piecewise smooth charge densities, one may apply the divergence theorem piece by piece and cancel the internal fluxes.
When , set . The reduced ordinary differential equation is . Enforcing the same initial conditions gives
The corresponding overdamped normal mode can also be written
Both rates in the exponential functions are negative because , so the hyperbolic sine factor does not prevent decay.
When , the reduced ordinary differential equation is . The initial conditions , give
This is the critically damped normal mode, also obtained by taking in .
Substitute the separated solution into the damped wave equation. Its time derivatives give
whereas . Thus
The last two conditions follow from and . For , let . The simple harmonic motion equation has solution of a differential equation
This is an underdamped normal mode: its oscillations have the decaying factor .
Use the same difference and wave energy as in part (i). The damped wave equation now gives the energy dissipation identity for a linearly damped string
Because and , the energy remains zero. Hence , and the homogeneous Dirichlet boundary conditions force . Therefore the solution of a differential equation is unique also for ; positive damping can only decrease this energy.
Let be the difference of two sufficiently regular solutions of the wave equation with the prescribed data. By linearity, has zero initial displacement, zero initial velocity, and homogeneous Dirichlet boundary conditions. Define its wave energy by
For , differentiation under the integral sign and integration by parts yield
The boundary term vanishes because at both fixed endpoints implies there. The zero initial data give , so for all times. Thus is spatially constant, and its zero boundary values give . This proves uniqueness for the undamped wave equation.

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