The Non-Euclidean Revolution by Richard J. Trudeau

By Richard J. Trudeau

How special and definitive is Euclidean geometry in describing the "real" area within which we live?

Richard Trudeau confronts the basic query of fact and its illustration via mathematical types in The Non-Euclidean Revolution. First, the writer analyzes geometry in its old and philosophical surroundings; moment, he examines a revolution each piece as major because the Copernican revolution in astronomy and the Darwinian revolution in biology; 3rd, at the such a lot speculative point, he questions the potential of absolute wisdom of the world.

Trudeau writes in a full of life, exciting, and hugely available type. His e-book offers some of the most stimulating and private displays of a fight with the character of fact in arithmetic and the actual global. A element of the publication gained the Pólya Prize, a unusual award from the Mathematical organization of America.

"Trudeau meets the problem of achieving a huge viewers in shrewdpermanent ways...(The publication) is an efficient addition to our literature on non-Euclidean geometry and it's endorsed for the undergraduate library."--Choice (review of 1st edition)

"...the writer, during this impressive booklet, describes in an incomparable method the interesting direction taken through the geometry of the airplane in its old evolution from antiquity as much as the invention of non-Euclidean geometry. This 'non-Euclidean revolution', in all its facets, is defined very strikingly here...Many illustrations and a few fun sketches supplement the very vividly written text."--Mathematical reports

Show description

Read Online or Download The Non-Euclidean Revolution PDF

Best geometry and topology books

Plane Geometry and its Groups

San Francisco 1967 Holden-Day. eightvo. , 288pp. , index, hardcover. wonderful in VG DJ, a number of small closed tears.

Additional info for The Non-Euclidean Revolution

Sample text

Since h is local, h−1 (0) = F . This proves the first statement. It is clear that S ⊥ is a face of H(Q) if S is any subset of Q and that T ⊥ is a face of Q if T is any subset of H(Q). Furthermore, S2⊥ ⊆ S1⊥ if S1 ⊆ S2 , and S ⊆ (S ⊥ )⊥ . The only nontrivial thing to prove is that F = (F ⊥ )⊥ if F is a face of Q. But this follows immediately from the existence of an h with F = h−1 (0). 5 If Q is fine, then Qsat is again fine. In fact, the action of Q on Qsat defined by the homomorphism Q → Qsat makes Qsat a finitely generated Q-set.

This proves that every exact submonoid of a fine sharp monoid is finitely generated. Slightly more generally, if M is an exact submonoid of any fine monoid N , we can choose a surjection Nr → N , and the inverse image M of M in Nr is an exact submonoid of Nr . It follows that M is finitely generated, and hence so is M . Suppose now that M is an exact submonoid of a saturated monoid N and x ∈ M gp with nx ∈ M for some n ∈ Z+ . Then x ∈ N ∩ M gp = M , so M is also saturated. This proves (2). Let F be a face of an integral monoid M , let x and y be elements of F , and suppose z := x − y ∈ M .

Let P be the submonoid of Q generated by S. Then P is still sharp and the induction hypothesis implies that there exists a local homomorphism h: P → N. Then h induces a homomorphism P gp → Z which we denote again by h. Replacing h by nh for a suitable n ∈ Z+ , we may assume that h extends to a homomorphism Qgp → Z we which still denote by h. If h(t) > 0 there is nothing more to prove. If h(t) = 0, choose any h : Qgp → Z such that h (t) > 0. Then if n is a sufficiently large natural number, nh(s) + h (s) > 0 for all s ∈ S and h (t) > 0, so nh + h ∈ H(Q) and is local.

Download PDF sample

Rated 4.04 of 5 – based on 4 votes