17.2 Let : II →→ II be a map of a Hilbert plane into itself. For any point A, denote (A) by A'. Assume AB A'B' for any two points A, B. (a) Prove that is 1-to-1 and onto. (b) Show that in fact, 9 is a rigid motion.

Advanced Engineering Mathematics
10th Edition
ISBN:9780470458365
Author:Erwin Kreyszig
Publisher:Erwin Kreyszig
Chapter2: Second-order Linear Odes
Section: Chapter Questions
Problem 1RQ
icon
Related questions
Question

[Classical Geometries] How do you solve this question? Thank you

17.2 Let : II →→ II be a map of a Hilbert plane into itself. For any point A, denote (A)
by A'. Assume AB A'B' for any two points A, B.
(a) Prove that is 1-to-1 and onto.
(b) Show that in fact, ø is a rigid motion.
Transcribed Image Text:17.2 Let : II →→ II be a map of a Hilbert plane into itself. For any point A, denote (A) by A'. Assume AB A'B' for any two points A, B. (a) Prove that is 1-to-1 and onto. (b) Show that in fact, ø is a rigid motion.
Definition
If II is a geometry consisting of the undefined notions of point, line, between-
ness, and congruence of line segments and angles, which may or may not sat-
isfy various of Hilbert's axioms, we define a rigid motion of II to be a mapping
9: II → II defined on all points, such that:
(1) p is a 1-to-1 mapping of the points of II onto itself.
(2) sends lines into lines.
(3) 9 preserves betweenness of collinear points.
(4) For any two points A, B, we have AB (A)q(B).
(5) For any angle α, we have Lα = Ly(a).
In other words, o preserves the structures determined by the undefined
notions in our geometry.
Transcribed Image Text:Definition If II is a geometry consisting of the undefined notions of point, line, between- ness, and congruence of line segments and angles, which may or may not sat- isfy various of Hilbert's axioms, we define a rigid motion of II to be a mapping 9: II → II defined on all points, such that: (1) p is a 1-to-1 mapping of the points of II onto itself. (2) sends lines into lines. (3) 9 preserves betweenness of collinear points. (4) For any two points A, B, we have AB (A)q(B). (5) For any angle α, we have Lα = Ly(a). In other words, o preserves the structures determined by the undefined notions in our geometry.
Expert Solution
steps

Step by step

Solved in 4 steps with 4 images

Blurred answer
Recommended textbooks for you
Advanced Engineering Mathematics
Advanced Engineering Mathematics
Advanced Math
ISBN:
9780470458365
Author:
Erwin Kreyszig
Publisher:
Wiley, John & Sons, Incorporated
Numerical Methods for Engineers
Numerical Methods for Engineers
Advanced Math
ISBN:
9780073397924
Author:
Steven C. Chapra Dr., Raymond P. Canale
Publisher:
McGraw-Hill Education
Introductory Mathematics for Engineering Applicat…
Introductory Mathematics for Engineering Applicat…
Advanced Math
ISBN:
9781118141809
Author:
Nathan Klingbeil
Publisher:
WILEY
Mathematics For Machine Technology
Mathematics For Machine Technology
Advanced Math
ISBN:
9781337798310
Author:
Peterson, John.
Publisher:
Cengage Learning,
Basic Technical Mathematics
Basic Technical Mathematics
Advanced Math
ISBN:
9780134437705
Author:
Washington
Publisher:
PEARSON
Topology
Topology
Advanced Math
ISBN:
9780134689517
Author:
Munkres, James R.
Publisher:
Pearson,