Final answer:
To solve for specific g(m, n) values, we substitute m and n into the function definition. The preimage for (0,0) is (0,0) and for (8,-3) it is (4,7). The proposition is false as it does not hold for all (s,t) pairs.
Step-by-step explanation:
The function g:Z × Z → Z × Z is defined by g(m, n) = (2m, m-n) for integers m and n.
Calculating g(3, 5) and g(-1,4)
To calculate g(3, 5), we substitute m = 3 and n = 5 into the function to get:
g(3, 5) = (2×3, 3-5) = (6, -2).
Similarly, to calculate g(-1,4), we substitute m = -1 and n = 4 into the function to get:
g(-1, 4) = (2×(-1), -1-4) = (-2, -5).
Determining the Preimages
Preimages of (0, 0): We want to find all pairs (m, n) such that g(m, n) = (0, 0). Setting the equations 2m = 0 and m-n = 0, we find that m = 0 and n = 0. Therefore, the only preimage of (0, 0) is (0, 0).
Preimages of (8,-3): To find preimages of (8, -3), we set 2m = 8 and m-n = -3. Solving these equations gives us m = 4 and n = 7. Therefore, the only preimage of (8, -3) is (4, 7).
Evaluating the Proposition
The proposition states For each (s, t) ∈ Z × Z, there exists an (m, n) ∈ Z × Z such that g(m, n) = (st, t). This is false, because if s and t are both even numbers, st would be divisible by 4, but 2m can only be divisible by 2, not necessarily by 4.