Let Q^2 be the rational plane of all ordered pairs (x,y) of rational numbers with the usual interpretations of the undefined geometric terms used in analytical geometry. Show that axiom C-1 and the elementary continuity principle fail in Q^2. (Hint: the segment from (0,0) to (1,1) can not be laid off on the x axis from the origin. Axiom C-1: If A, B are two points on a line a, and if A′ is a point upon the same or another line a′ , then, upon a given side of A′ on the straight line a′ , we can always find a point B′ so that the segment AB is congruent to the segment A′B′ . We indicate this relation by writing AB ≅ A′ B′. Every segment is congruent to itself; that is, we always have AB ≅ AB.
Let Q^2 be the rational plane of all ordered pairs (x,y) of rational numbers with the usual interpretations of the undefined geometric terms used in analytical geometry. Show that axiom C-1 and the elementary continuity principle fail in Q^2. (Hint: the segment from (0,0) to (1,1) can not be laid off on the x axis from the origin.
Axiom C-1: If A, B are two points on a line a, and if A′ is a point upon the same or another line a′ , then, upon a given side of A′ on the straight line a′ , we can always find a point B′ so that the segment AB is congruent to the segment A′B′ . We indicate this relation by writing AB ≅ A′ B′. Every segment is congruent to itself; that is, we always have AB ≅ AB.

Trending now
This is a popular solution!
Step by step
Solved in 2 steps









