At , . For fixed ,
Thus the pointwise limit is zero everywhere on . However, with , the inequality gives , and equality occurs at . Hence
so there is no uniform convergence. The moving evaluation point captures a peak missed by each fixed positive input.
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.
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.
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
For fixed , the ratio of successive absolute values is
The 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 .
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 gives
Consequently 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.
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 sequence
Here , disproving (i), and , disproving (iii). This counterexample satisfies the requirement that no iterate is zero.
For , the preceding parts give a positive denominator and a nonpositive numerator in
Hence . The restriction matters: if , then .
For every , direct algebra gives
Thus . This identity is the key estimate in Newton iteration for a square root.
Rewrite the recurrence relation as
Since and , a positive gives a positive . Mathematical induction therefore proves , and also shows that every division in the recurrence relation is defined.
False. Take for every , and for every and every . Each row is constant, so its infimum and supremum coincide. Nevertheless,
The two outer extrema can select different rows.
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
True. Set and . Because , every row infimum satisfies , so . But for all , making a lower bound of . Therefore , and
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
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
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
For any integer , let in the stabilizer subgroup from i. Since and exactly when , this rotation matrix has order exactly . Therefore
is a subgroup of of order , including the trivial case .
For infinitely many non-Abelian examples, let , retain , and take the half-turn
Direct 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.
Let . Choose a unit vector perpendicular to , and put . The cross product identities show that is an orthonormal basis with positive orientation: , so
Thus 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.
For , the defining identity gives
Thus 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 is
Geometrically these are exactly the rotations in three dimensions about the first coordinate axis.
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. But
so 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!
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