Question

Prove: Let x,y be in R such that x < y. There exists a z in...

Prove: Let x,y be in R such that x < y. There exists a z in R such that x < z < y.

Given:
Axiom 8.1. For all x,y,z in R:
(i) x + y = y + x
(ii) (x + y) + z = x + (y + z)
(iii) x*(y + z) = x*y + x*z
(iv) x*y = y*x
(v) (x*y)*z = x*(y*z)
Axiom 8.2. There exists a real number 0 such that for all z in R, x + 0 = x.
Axiom 8.3. There exists a real number 1 such that 1 ≠ 0 and whenever x is in R, x*1 = x.
Axiom 8.4. For each x in R, there exists a real number, denoted by -x, such that x+(-x) = 0
Axiom 8.5. For each x in R-{0}, there exists a number, denoted by x-1, such that x*x-1 = 1

Homework Answers

Know the answer?
Your Answer:

Post as a guest

Your Name:

What's your source?

Earn Coins

Coins can be redeemed for fabulous gifts.

Not the answer you're looking for?
Ask your own homework help question
Similar Questions
Using field and order axioms prove the following theorems: (i) Let x, y, and z be...
Using field and order axioms prove the following theorems: (i) Let x, y, and z be elements of R, the a. If 0 < x, and y < z, then xy < xz b. If x < 0 and y < z, then xz < xy (ii) If x, y are elements of R and 0 < x < y, then 0 < y ^ -1 < x ^ -1 (iii) If x,y are elements of R and x <...
8.4: Let f : X → Y and g : Y→ Z be maps. Prove that...
8.4: Let f : X → Y and g : Y→ Z be maps. Prove that if composition g o f is surjective then g is surjective. 8.5: Let f : X → Y and g : Y→ Z be bijections. Prove that if composition g o f is bijective then f is bijective. 8.6: Let f : X → Y and g : Y→ Z be maps. Prove that if composition g o f is bijective then f is...
Let f : R → R be defined by f(x) = x^3 + 3x, for all...
Let f : R → R be defined by f(x) = x^3 + 3x, for all x. (i) Prove that if y > 0, then there is a solution x to the equation f(x) = y, for some x > 0. Conclude that f(R) = R. (ii) Prove that the function f : R → R is strictly monotone. (iii) By (i)–(ii), denote the inverse function (f ^−1)' : R → R. Explain why the derivative of the inverse function,...
Using the following axioms: a.) (x+y)+x = x +(y+x) for all x, y in R (associative...
Using the following axioms: a.) (x+y)+x = x +(y+x) for all x, y in R (associative law of addition) b.) x + y = y + x for all x, y elements of R (commutative law of addition) c.) There exists an additive identity 0 element of R (x+0 = x for all x elements of R) d.) Each x element of R has an additive inverse (an inverse with respect to addition) Prove the following theorems: 1.) The additive...
(a) Let the statement, ∀x∈R,∃y∈R G(x,y), be true for predicate G(x,y). For each of the following...
(a) Let the statement, ∀x∈R,∃y∈R G(x,y), be true for predicate G(x,y). For each of the following statements, decide if the statement is certainly true, certainly false,or possibly true, and justify your solution. 1 (i) G(3,4) (ii) ∀x∈RG(x,3) (iii) ∃y G(3,y) (iv) ∀y¬G(3,y)(v)∃x G(x,4)
Prove the following: Theorem. Let R ⊆ X × Y and S ⊆ Y × Z...
Prove the following: Theorem. Let R ⊆ X × Y and S ⊆ Y × Z be relations. Then 1. Range(S ◦ R) ⊆ Range(S), and 2. if Domain(S) ⊆ Range(R), then Range(S ◦ R) = Range(S)
Exercise1.2.1: Prove that if t > 0 (t∈R), then there exists an n∈N such that 1/n^2...
Exercise1.2.1: Prove that if t > 0 (t∈R), then there exists an n∈N such that 1/n^2 < t. Exercise1.2.2: Prove that if t ≥ 0(t∈R), then there exists an n∈N such that n−1≤ t < n. Exercise1.2.8: Show that for any two real numbers x and y such that x < y, there exists an irrational number s such that x < s < y. Hint: Apply the density of Q to x/(√2) and y/(√2).
Using field axioms and order axioms prove the following theorems (i) The sets R (real numbers),...
Using field axioms and order axioms prove the following theorems (i) The sets R (real numbers), P (positive numbers) and [1, infinity) are all inductive (ii) N (set of natural numbers) is inductive. In particular, 1 is a natural number (iii) If n is a natural number, then n >= 1 (iv) (The induction principle). If M is a subset of N (set of natural numbers) then M = N The following definitions are given: A subset S of R...
1. Let W be the set of all [x y z}^t in R^3 such that xyz...
1. Let W be the set of all [x y z}^t in R^3 such that xyz = 0. Is W a subspace of R^3? 2. Let C^0 (R) denote the space of all continuous real-valued functions f(x) of x in R. Let W be the set of all continuous functions f(x) such that f(1) = 0. Is W a subspace of C^0(R)?
Let s = f(x; y; z) and x = x(u; v; w); y = y(u; v;...
Let s = f(x; y; z) and x = x(u; v; w); y = y(u; v; w); z = z(u; v; w). To calculate ∂s ∂u (u = 1, v = 2, w = 3), which of the following pieces of information do you not need? I. f(1, 2, 3) = 5 II. f(7, 8, 9) = 6 III. x(1, 2, 3) = 7 IV. y(1, 2, 3) = 8 V. z(1, 2, 3) = 9 VI. fx(1, 2, 3)...
ADVERTISEMENT
Need Online Homework Help?

Get Answers For Free
Most questions answered within 1 hours.

Ask a Question
ADVERTISEMENT