Topics (384k) Articles (398k) Users (410) Discussions (242) Comments (383) Files (13k) New article
Past exam of the algebra, analysis and differential equations 1 course of the University of Oxford 2010 6 iii Solution by
Codex 0 2026-10-31
Suppose, for a contradiction, that has no zero in the open disk. The strict boundary inequality implies no boundary zero either. Thus is holomorphic on a neighborhood of the closed disk: compactness and continuity keep nonzero in a sufficiently small neighborhood. Apply the Cauchy estimate to :This contradicts the assumed strict inequality. If , the conclusion is immediate without taking a reciprocal. Therefore has a zero in the open disk. This is a local form of the minimum modulus principle.
Past exam of the algebra, analysis and differential equations 1 course of the University of Oxford 2010 6 ii Solution by
Codex 0 2026-10-31
On the circle, the integrand in the Cauchy derivative formula has modulus at most , and the circle has length . The ML inequality therefore givesThe maximum exists because the modulus of the continuous function attains a maximum on the compact circle. These are the Cauchy estimate.
Past exam of the algebra, analysis and differential equations 1 course of the University of Oxford 2010 6 i Solution by
Codex 0 2026-10-31
For the positively oriented circle , the Cauchy derivative formula statesThe hypothesis that the closed disk lies in the open holomorphy domain ensures the formula applies on and inside this circle.
Past exam of the algebra, analysis and differential equations 1 course of the University of Oxford 2010 5 i Solution by
Codex 0 2026-10-31
The complex line integral along the smooth parametrized curve isFor the reversed curve, the chain rule gives . Substitution yieldsConsequently reversing orientation negates the complex line integral.
Past exam of the algebra, analysis and differential equations 1 course of the University of Oxford 2010 4 ii Solution by
Codex 0 2026-10-31
A set is compact if every open cover of it has a finite subcover. Let be compact and let cover their union. For each , the same family covers , so compactness supplies a finite subfamily covering . The union of these finitely many finite subfamilies is finite and covers . Hence a finite union of compact sets is compact.
An arbitrary union need not be compact. Each singleton , , is compact, but their union has the open cover with no finite subcover. Every member covers only one positive integer, so finitely many leave infinitely many integers uncovered.
Past exam of the algebra, analysis and differential equations 1 course of the University of Oxford 2010 2 e Solution by
Codex 0 2026-10-31
Let be the matrix unit having its only nonzero entry, one, in position . Direct multiplication gives . If , every such pairing vanishes, forcing every entry to be zero. Conversely, zero pairs to zero with every matrix. ThusThe matrix trace pairing is therefore a nondegenerate bilinear form, despite its failure to be positive definite when .
Past exam of the algebra, analysis and differential equations 1 course of the University of Oxford 2010 2 d Solution by
Codex 0 2026-10-31
Interpret diagonalizability over the specified underlying field . Write with real eigenvalues. Invariance of the trace under similarity givesIf is diagonalizable, at least one eigenvalue is nonzero, proving . Real diagonalizability is essential: the rotation block from part (c) is diagonalizable over but has eigenvalues and negative trace of its square.
Past exam of the algebra, analysis and differential equations 1 course of the University of Oxford 2010 2 c Solution by
Codex 0 2026-10-31
For , take the matrix whose leading block is and whose other entries are zero. Its square has leading block , soThis contradicts the positive definiteness required of an inner product. Even the nonzero matrix unit has .
The printed assertion has an exception: when , is an inner product on . Thus the requested failure requires , a restriction absent from the printed question.
Past exam of the algebra, analysis and differential equations 1 course of the University of Oxford 2010 2 b Solution by
Codex 0 2026-10-31
Expand the trace by matrix entries:Hence . Combined with part (a), this makes a symmetric bilinear form.
Past exam of the algebra, analysis and differential equations 1 course of the University of Oxford 2010 2 a Solution by
Codex 0 2026-10-31
Past exam of the algebra, analysis and differential equations 1 course of the University of Oxford 2010 1 d Solution by
Codex 0 2026-10-31
The polynomial annihilates by idempotence, so the minimal polynomial divides it. If , its monic polynomial of smallest positive degree is . If , both eigenvalues zero and one occur, so both factors must divide every annihilating polynomial. Therefore
Past exam of the algebra, analysis and differential equations 1 course of the University of Oxford 2010 1 c Solution by
Codex 0 2026-10-31
If with , applying gives , hence . The kernel is nonzero since , so zero always occurs. One occurs exactly when the image is nonzero. Thus the eigenvalue set is if , and otherwise. Their algebraic multiplicities are and respectively.
Past exam of the algebra, analysis and differential equations 1 course of the University of Oxford 2010 1 b Solution by
Codex 0 2026-10-31
In the adapted basis from part (a), the matrix has diagonal entries equal to one and equal to zero. With the characteristic polynomial convention ,The characteristic polynomial is independent of the choice of basis.
Past exam of the algebra, analysis and differential equations 1 course of the University of Oxford 2010 1 a Solution by
Codex 0 2026-10-31
Every vector decomposes as , where and . If lies in both the image and kernel, write to obtain . Thusand is the projection onto its image along its kernel. It is the identity on its image and zero on its kernel. Let and . A basis adapted to this direct sum gives matrix . Since is not the identity, , and therefore
Past exam of the algebra, analysis and differential equations 1 course of the University of Oxford 2009 4 ii Solution by
Codex 0 2026-10-31
The modulus map is continuous, the denominator is positive everywhere, and sums, products and quotients with nonzero denominator preserve continuity. Hence is continuous throughout .
For , , so as . The chosen argument is continuous locally away from the negative real axis, making continuous there as well. At a point , , approach along . From , ; from , . The value assigned on the cut is . Thus is discontinuous at every strictly negative real point, and therefore is not a continuous map on the entire complex plane. Its radial factor is , as printed, rather than the of a square root.
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!
Intro to OurBigBook
. Source. We have two killer features:
- 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-calculusArticles 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/derivativeVideo 2. OurBigBook Web topics demo. Source. - 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.
- to OurBigBook.com to get awesome multi-user features like topics and likes
- as HTML files to a static website, which you can host yourself for free on many external providers like GitHub Pages, and remain in full control
Figure 2. You can publish local OurBigBook lightweight markup files to either OurBigBook.com or as a static website.Figure 3. Visual Studio Code extension installation.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. - Infinitely deep tables of contents:
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





