Question 10 clarified in this way, the kind of logical reasoning that characterizes mathematics becomesan incredibly powerful and effective tool. The history of mathematics is full of examplesof surprising practical applications of mathematical ideas that were originally discoveredand developed by people who were completely unaware of the eventual applications.EXERCISES 2.41. It is said that Hilbert once illustrated his contention that the undefined terms in ageometry should not have any inherent meaning by claiming that it should be possibleto replace point by beer mug and line by table in the statements of the axioms. Considerthree friends sitting around one table. Each person has one beer mug. At the momentall the beer mugs are resting on the table. Suppose we interpret point to mean beermug, line to mean the table, and lie on to mean resting on. Is this a model for incidencegeometry? Explain. Is this interpretation isomorphic to any of the examples in the text?2. One-point geometry contains just one point and no line. Which incidence axiomsdoes one-point geometry satisfy? Explain. Which parallel postulates does one-pointgeometry satisfy? Explain.3. Consider a small mathematics department consisting of Professors Alexander, Bailey,Curtis, and Dudley with three committees: curriculum committee, personnel committee,and social committee. Interpret point to mean a member of the department, interpretline to be a departmental committee, and interpret lie on to mean that the facultymember is a member of the specified committee.(a) Suppose the committee memberships are as follows: Alexander, Bailey, and Curtisare on the curriculum committee; Alexander and Dudley are on the personnel24Chapter 2Axiomatic Systems and Incidence Geometrycommittee; and Bailey and Curtis are on the social committee. Is this a model forIncidence Geometry? Explain.(b) Suppose the committee memberships are as follows: Alexander, Bailey and Curtisare on the curriculum committee; Alexander and Dudley are on the personnelcommittee; and Bailey and Dudley are on the social committee. Is this a model forincidence geometry? Explain.(c) Suppose the committee memberships are as follows: Alexander and Bailey are onthe curriculum committee, Alexander and Curtis are on the personnel committee,and Dudley and Curtis are on the social committee. Is this a model for incidencegeometry? Explain.4. A three-point geometry is an incidence geometry that satisfies the following additionalaxiom: There exist exactly three points.(a) Find a model for three-point geometry.(b) How many lines does any model for three-point geometry contain? Explain.(c) Explain why any two models for three-point geometry must be isomorphic. (Anaxiomatic system with this property is said to be categorical.)5. Interpret point to mean one of the four vertices of a square, line to mean one of thesides of the square, and lie on to mean that the vertex is an endpoint of the side. Whichincidence axioms hold in this interpretation? Which parallel postulates hold in thisinterpretation?6. Draw a schematic diagram of five-point geometry (see Example 2.2.5).7. Which parallel postulate does Fano's geometry satisfy? Explain.8. Which parallel postulate does the three-point line satisfy? Explain.9. Under what conditions could a geometry satisfy more than one of the parallel postulates?Explain. Could an incidence geometry satisfy more than one of the parallel postulates?Explain.10. Consider a finite model for incidence geometry that satisfies the following additionalaxiom: Every line has exactly three points lying on it. What is the minimum number ofpoints in such a geometry? Explain your reasoning.11. Find a finite model for Incidence Geometry in which there is one line that has exactlythree points lying on it and there are other lines that have exactly two points lying onthem.12. Find interpretations for the words point, line, and lie on that satisfy the followingconditions.(a) Incidence Axioms 1 and 2 hold, but Incidence Axiom 3 does not.(b) Incidence Axioms 2 and 3 hold, but Incidence Axiom 1 does not.(c) Incidence Axioms 1 and 3 hold, but Incidence Axiom 2 does not.13. For any interpretation of incidence geometry there is a dual interpretation. For eachpoint in the original interpretation there is a line in the dual and for each line in theoriginal there is point in the dual. A point and line in the dual are considered to beincident if the corresponding line and point are incident in the original interpretation.(a) What is the dual of the three-point plane? Is it a model for incidence geometry?(b) What is the dual of the three-point line? Is it a model for incidence geometry?(c) What is the dual of four-point geometry? Is it a model for incidence geometry?(d) What is the dual of Fano's geometry?2.5 THEOREMS, PROOFS, AND LOGICWe now take a more careful look at the third part of an axiomatic system: the theoremsand proofs. Both theorems and proofs require extra care. Most of us have enoughexperience with mathematics to know that the ability to write good proofs is a skill thatmust be learned, but we often overlook the fact that a necessary prerequisite to goodproof writing is good statements of theorems.A major goal of this course is to teach the art of writing proofs and it is not expectedthat the reader is already proficient at it. The main way in which one learns to write proofsSection 2.5Theorems, proofs, and logic 25is by actually writing them, so the remainder of the book will provide lots of opportunities- -- -.1-.---1.-1---- ----1 11. --- 41. ----:--1--

Answered: Image /qna-images/answer/87b49cc4-90aa-461f-b0f0-aad9c6a71448.jpg

10. Consider a finite model for incidence geometry that satisfies the following additional axiom: Every line has exactly three points lying on it. What is the minimum number of points in such a geometry? Explain your reasoning.

10. Consider a finite model for incidence geometry that satisfies the following additional axiom: Every line has exactly three points lying on it. What is the minimum number of points in such a geometry? Explain your reasoning.

Advanced Engineering Mathematics

10th Edition

ISBN:9780470458365

Author:Erwin Kreyszig

Publisher:Erwin Kreyszig

Chapter2: Second-order Linear Odes

Section: Chapter Questions

Problem 1RQ

See similar textbooks