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.
On the circle, the integrand in the Cauchy derivative formula has modulus at most , and the circle has length . The ML inequality therefore gives
The maximum exists because the modulus of the continuous function attains a maximum on the compact circle. These are the Cauchy estimate.
For the positively oriented circle , the Cauchy derivative formula states
The hypothesis that the closed disk lies in the open holomorphy domain ensures the formula applies on and inside this circle.
The complex line integral along the smooth parametrized curve is
For the reversed curve, the chain rule gives . Substitution yields
Consequently reversing orientation negates the complex line integral.
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.
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. Thus
The matrix trace pairing is therefore a nondegenerate bilinear form, despite its failure to be positive definite when .
Interpret diagonalizability over the specified underlying field . Write with real eigenvalues. Invariance of the trace under similarity gives
If 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.
For , take the matrix whose leading block is and whose other entries are zero. Its square has leading block , so
This 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.
Expand the trace by matrix entries:
Hence . Combined with part (a), this makes a symmetric bilinear form.
For real scalars and matrices , distributivity of matrix multiplication and linearity of the trace give
Thus is linear in its first argument.
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
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.
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.
Every vector decomposes as , where and . If lies in both the image and kernel, write to obtain . Thus
and 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
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!
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