Topics (384k) Articles (398k) Users (410) Discussions (242) Comments (383) Files (13k) New article
Past exam of the mathematics course of the University of Oxford 2017 Prelims Mathematics II 5 c i Solution by
Codex 0 2026-10-25
At , . For fixed ,Thus the pointwise limit is zero everywhere on . However, with , the inequality gives , and equality occurs at . Henceso there is no uniform convergence. The moving evaluation point captures a peak missed by each fixed positive input.
Past exam of the mathematics course of the University of Oxford 2017 Prelims Mathematics II 4 a ii Solution by
Codex 0 2026-10-25
Let lie in , and put and . Equality would imply . If , strict monotonicity of would give . Both are impossible, so . Therefore the inverse function is strictly increasing.
Past exam of the mathematics course of the University of Oxford 2017 Prelims Mathematics II 4 a i Solution by
Codex 0 2026-10-25
If , one of and holds. Since is strictly increasing, the corresponding values are strictly ordered, so . Thus is an injection. Every element of the image of a function equals for some , which is precisely surjectivity onto that image of a function. Hence is a bijection.
Past exam of the mathematics course of the University of Oxford 2017 Prelims Mathematics II 3 c ii Solution by
Codex 0 2026-10-25
Split the power series into even and odd indices:whenever the two series converge absolutely. If , the even part is a convergent geometric series, while the odd part is bounded termwise in absolute value by , also a convergent geometric series. Hence there is absolute convergence throughout .
If , the odd terms have absolute values . Their successive ratio tends to , so these terms grow eventually and do not tend to zero. The term test for divergence therefore forces divergence of the original power series. Consequently its radius of convergence is
Past exam of the mathematics course of the University of Oxford 2017 Prelims Mathematics II 3 c i Solution by
Codex 0 2026-10-25
For fixed , the ratio of successive absolute values isThe ratio test says that a series converges absolutely when this ratio has a limit of a sequence strictly below one. Thus this power series converges absolutely for every complex ; at zero the conclusion is immediate. Its radius of convergence is .
Past exam of the mathematics course of the University of Oxford 2017 Prelims Mathematics II 2 c ii Solution by
Codex 0 2026-10-25
Write . Suppose, for a contradiction, that only finitely many sign changes occur. Since every , the sign is then constant for . Set on that tail. Multiplying the recurrence relation by this constant sign givesConsequently for , and by comparison with a geometric sequence. But positivity of requires at every step, which is incompatible with . Thus the negative-parameter square-root iteration changes sign infinitely often.
Past exam of the mathematics course of the University of Oxford 2017 Prelims Mathematics II 2 c i Solution by
Codex 0 2026-10-25
Only (ii) is necessarily true. Every real satisfies , so (ii) holds automatically. For a single counterexample to (i) and (iii), choose and . The recurrence relation then gives the nonzero periodic sequenceHere , disproving (i), and , disproving (iii). This counterexample satisfies the requirement that no iterate is zero.
Past exam of the mathematics course of the University of Oxford 2017 Prelims Mathematics II 2 b iii Solution by
Codex 0 2026-10-25
Past exam of the mathematics course of the University of Oxford 2017 Prelims Mathematics II 2 b ii Solution by
Codex 0 2026-10-25
For every , direct algebra givesThus . This identity is the key estimate in Newton iteration for a square root.
Past exam of the mathematics course of the University of Oxford 2017 Prelims Mathematics II 2 b i Solution by
Codex 0 2026-10-25
Rewrite the recurrence relation asSince and , a positive gives a positive . Mathematical induction therefore proves , and also shows that every division in the recurrence relation is defined.
Past exam of the mathematics course of the University of Oxford 2017 Prelims Mathematics II 1 b iv Solution by
Codex 0 2026-10-25
Past exam of the mathematics course of the University of Oxford 2017 Prelims Mathematics II 1 b iii Solution by
Codex 0 2026-10-25
True. For every ,Fix . The number is an upper bound for every column infimum, so . This holds for every , making a lower bound of the row suprema. Taking their infimum gives the weak minimax inequality
Past exam of the mathematics course of the University of Oxford 2017 Prelims Mathematics II 1 b ii Solution by
Codex 0 2026-10-25
True. Set and . Because , every row infimum satisfies , so . But for all , making a lower bound of . Therefore , and
Past exam of the mathematics course of the University of Oxford 2017 Prelims Mathematics II 1 b i Solution by
Codex 0 2026-10-25
True. Write and . All these suprema exist in . Since , we have for every , hence . Conversely, every , so is an upper bound of and . Thus the iterated extrema of an array satisfy
Past exam of the mathematics course of the University of Oxford 2017 Prelims Mathematics II 1 a ii Solution by
Codex 0 2026-10-25
Let . Every element of the union is at most , so is an upper bound. Conversely, every upper bound of is an upper bound of each of and , hence is at least both suprema and therefore at least . Consequently
Past exam of the mathematics course of the University of Oxford 2017 Prelims Mathematics II 1 a i Solution by
Codex 0 2026-10-25
Put . For every , , hence , so is a lower bound of . If is any lower bound of , then for every , making an upper bound of . The definition of supremum gives , or . Thus is the greatest lower bound, and
Past exam of the mathematics course of the University of Oxford 2017 Prelims Mathematics I 7 b iii Solution by
Codex 0 2026-10-25
For any integer , let in the stabilizer subgroup from i. Since and exactly when , this rotation matrix has order exactly . Thereforeis a subgroup of of order , including the trivial case .
For infinitely many non-Abelian examples, let , retain , and take the half-turnDirect multiplication gives and . Every word in therefore reduces to or , . The are distinct, as are the , and no element from the first family equals one from the second: they send to and , respectively. Hence has exactly elements and is a dihedral group.
It is non-Abelian because for , so . Different values of give different group orders, and therefore different subgroups. Thus has infinitely many non-Abelian subgroups, already among its finite subgroups.
Past exam of the mathematics course of the University of Oxford 2017 Prelims Mathematics I 7 b ii Solution by
Codex 0 2026-10-25
Let . Choose a unit vector perpendicular to , and put . The cross product identities show that is an orthonormal basis with positive orientation: , soThus the matrix with these columns belongs to the special orthogonal group and satisfies . For any , the element sends to . Therefore the group action on the unit sphere is transitive.
Past exam of the mathematics course of the University of Oxford 2017 Prelims Mathematics I 7 b i Solution by
Codex 0 2026-10-25
For , the defining identity givesThus an orthogonal transformation preserves the Euclidean norm and sends the unit sphere to itself. Restricting the given group action to this invariant set preserves both action axioms.
If , the first column of is . The other columns are unit vectors perpendicular to it, so the first row is also . Hence with and . Conversely, every such matrix lies in and fixes . Since every element of the special orthogonal group in two dimensions has the planar rotation matrix form, the stabilizer subgroup isGeometrically these are exactly the rotations in three dimensions about the first coordinate axis.
Past exam of the mathematics course of the University of Oxford 2017 Prelims Mathematics I 6 c iii Solution by
Codex 0 2026-10-25
Choose a normal subgroup of prime order as in ii, and choose a subgroup of the other prime order . Their intersection is trivial by Lagrange's theorem. Both are cyclic groups, and ii gives .
The image of a group homomorphism from iii has order dividing , because its kernel of a group homomorphism partitions into equally sized cosets. Its order also divides by Lagrange's theorem. Butso is trivial in either case. By iii, has order and therefore equals .
If and generate and , the element has order , since its th power is the identity exactly when both and divide . Thus this direct product of groups is cyclic, and
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





