You are currently browsing the tag archive for the ‘gauss’ tag.
In the previous post, two proofs were given for the Cauchy-Schwarz inequality. We will now consider another proof.
Definition 1 Let be an
matrix written as a
block matrix
where is a
matrix,
is a
matrix,
is a
, and
is a
, so
. Assuming
is nonsingular, then
is called the Schur complement of in
; or the Schur complement of
relative to
.
The Schur complement probably goes back to Carl Friedrich Gauss (1777-1855) (for Gaussian elimination). To solve the linear system
that is
by mimicking Gaussian elimination, that is, if is square and nonsingular, then by eliminating
, by multiplying the first equation by
and subtracting the second equation, we get
Note, the matrix is the Schur complement of
in
, and if it is square and nonsingular, then we can obtain the solution to our system.
The Schur complement comes up in Issai Schur’s (1875-1941) seminal lemma published in 1917, in which the Schur determinate formula was introduced. By considering elementary operations of partitioned matrices, let
where is square and nonsingular. We can change
so that the lower-left and upper-right submatrices become
. More precisely, we can make the lower-left and upper-right submatrices
by subtracting the first row multiplied by
from the second row, and by subtracting the first column multiplied by
from the second column. In symbols,
and in equation form,
Note that we have obtain the following factorization of :
By taking the determinants
we obtain the Schur’s determinant formula for block matrices,
Mathematician Emilie Virginia Haynsworth (1916-1985) introduced a name and a notation for the Schur complement of a square nonsingular (or invertible) submatrix in a partitioned (two-way block) matrix. The term Schur complement first appeared in Emily’s 1968 paper On the Schur Complement in Basel Mathematical Notes, then in Linear Algebra and its Applications Vol. 1 (1968), AMS Proceedings (1969), and in Linear Algebra and its Applications Vol. 3 (1970).
We will now present a block matrix proof, focusing on
complex matrices.
Proof: Let . Then
By taking the Schur complement of , we arrive at
and hence
which ensures, when and
are square, that
Equality occurs if and only if rank rank
; that is, by the Guttman rank additivity formula, rank
rank
rank
if and only if
. When
is nonsingular,
is nonsingular if and only if
is nonsingular.
References
[1] Zhang, Fuzhen. Matrix theory: basic results and techniques. Springer Science & Business Media, 2011.
Proofs from THE BOOK by Martin Aigner and Günter Ziegler begins by giving six proofs of the infinity of primes. We will go over the third proof. Before we go over this proof, lets cover some background.
— 1. Fermat Numbers —
Fermat numbers are defined by
so that and
. They are of great interest in many ways: for example, it was proved by Gauss that, if
, is a prime
, then a regular polygon of
sides can be inscribed in a circle by Euclidean methods. The property of the Fermat numbers which is relevant here is
We will prove this theorem later.
The first four Fermat numbers are prime, and Fermat conjectured that all were prime. Euler, however, found in 1732 that
is composite.
In 1880 Landry proved that
It is currently known that , is composite for
. Factoring Fermat numbers is extremely difficult as a result of their large size.
has
known factors with
remaining (where
denotes a composite number with
digits).
has
known factors with
remaining.
has no known factors but is composite. There are currently four Fermat numbers that are known to be composite, but for which no single factor is known:
and
. In all the other cases proved to be composite a factor is known. No prime
has been found beyond
, and it seems unlikely that any more will be found using current computational methods and hardware.
— 2. Infinitude of Primes Theorem —
We are now ready to prove Euclid’s Second Theorem, also called the Infinitude of Primes Theorem using the third proof in Proofs from THE BOOK.
from which our assertion follows immediately. Indeed, if is a divisor of, say,
and
, then
divides
, and hence
or
. But
is impossible since all Fermat numbers are odd.
To prove the recursion we use induction on . For
we have
and
. With induction we now conclude
IMAGE: This knot has Gauss code O1U2O3U1O2U3.
In his article “The Combinatorial Revolution in Knot Theory”, to appear in the December 2011 issue of the Notices of the AMS, Sam Nelson describes a novel approach to knot theory that has gained currency in the past several years and the mysterious new knot-like objects discovered in the process.
As Nelson reports in his article, mathematicians have devised various ways to represent the information contained in knot diagrams. One example is the Gauss code, which is a sequence of letters and numbers wherein each crossing in the knot is assigned a number and the letter O or U, depending on whether the crossing goes over or under. The Gauss code for a simple knot might look like this: O1U2O3U1O2U3.
In the mid-1990s, mathematicians discovered something strange. There are Gauss codes for which it is impossible to draw planar knot diagrams but which nevertheless behave like knots in certain ways. In particular, those codes, which Nelson calls *nonplanar Gauss codes*, work perfectly well in certain formulas that are used to investigate properties of knots. Nelson writes: “A planar Gauss code always describes a [knot] in three-space; what kind of thing could a nonplanar Gauss code be describing?” As it turns out, there are “virtual knots” that have legitimate Gauss codes but do not correspond to knots in three-dimensional space. These virtual knots can be investigated by applying combinatorial techniques to knot diagrams. Read the article here.
Euler Formula
The Euler formula, sometimes also called the Euler identity, states
where is the imaginary unit. Note that Euler’s polyhedral formula is sometimes also called the Euler formula, as is the Euler curvature formula.
The special case of the formula with gives the beautiful identity
an equation connecting the fundamental numbers and
, the fundamental operations
,
, and exponentiation, the most important relation
, and nothing else. Gauss is reported to have commented that if this formula was not immediately obvious, the reader would never be a first-class mathematician.