0과 양의 실수를 10진법으로 표현하고 유효숫자 3개만 사용하여 덧셈과 곱셈을 하는 방법을 생각해 보려고 한다. 예를 들어, 유효숫자 3개만 사용하여 1224와 56.78의 덧셈을 해 보자. 1224는 1220으로 56.78은 56.8로 간주하고, 1220+56.8=1276.8에서 1280을 얻는 셈을 생각하려는 것이다. 다음 글은 이러한 생각을 보다 정교하게 구현한 것이다. 읽고 물음에 답하시오.
F∗는 순서쌍 (u,v)의 집합으로서, 여기서 u와 v는 정수이고 각각 조건 0≤u≤9과 100≤v≤999를 만족한다. F=F∗−{(9,999)}라 하자. 실수집합을 R, 0과 양의 실수들의 집합을 R+={r∈R∣r≥0}이라 하자. 실수집합 R의 원소가 아닌 것을 도입하여 기호 ∞로 표기하고, R∗=R+∪{∞}라 하자. 이 때 함수 g:F∗→R∗를 다음과 같이 정의하자.
(1) g(0,100)=0,
(2) g(9,999)=∞,
(3) (u,v)∈/{(0,100),(9,999)}이면 g(u,v)=v×10u−7
예를 들어, g(5,123)=123×10−2=1.23이다.
(가) R′=g(F)={g(u,v)∣(u,v)∈F}이라 하자. R′의 원소 중 0이 아니면서 크기가 최소인 것은 0.0000101인데 이를 ϵ으로 표기하자. R′의 원소 중 크기가 최대인 것을 Ω으로 표기하면, Ω의 값은 무엇인가?
이제 함수 f:R+→F∗를 다음과 같이 정의하자.
(4) r=0이면, f(0)=(0,100)이다.
(5) r이 ϵ보다 작으면 f(r)=(0,100)이다.
(6) r이 Ω보다 크면 f(r)=(9,999)이다.
(7) 위 (4), (5), (6)이 아닌 경우, ϵ≤r≤Ω이다. 이 때, r×10a을 소수점 아래 첫째 자리에서 반올림한 값이 100이상이고 998이하가 되는 정수 a는 유일하게 존재한다.Caution. r=997이면 a=0과 a=−1이 모두 조건을 만족하므로 a가 유일하게 정해지지 않는다. 그러나 원칙에 따라 원문 표기를 그대로 실었다.
그 반올림한 값을 b라 하고, f(r)은 (7−a,b)로 정의하자.
예를 들어 r=5555인 경우를 생각하자. 5555×10−1=555.5이고 555.5를 소수점 아래 첫째 자리에서 반올림하면 556이다. 100≤556≤998이므로 f(5555)는 (7−(−1),556)=(8,556)이다.
(나) f(0.0012)는 무엇인가?
이제 집합 F에 이항연산 ⊕와 ⊗을 다음과 같이 정의하자.Caution. F 위의 이항연산이라면 연산 결과도 F에 속해야 한다. 그러나 (9,998)⊕(9,998)=(9,999)∈/F이므로, 주어진 정의는 이 조건을 만족하지 않는다. 그러나 원칙에 따라 원문 표기를 그대로 실었다.
(8) (u1,v1)⊕(u2,v2)는 f(g(u1,v1)+g(u2,v2))로 정의하자.
(9) (u1,v1)⊗(u2,v2)는 f(g(u1,v1)×g(u2,v2))로 정의하자.
(다) (4,123)⊕(7,456)은 무엇인가?
(라) f(31)⊗f(3)은 무엇인지를 쓰고, 그 값을 얻게 되는 과정을 기술하시오.
(마) 집합 F의 이항연산 ⊕과 ⊗에 대하여 교환법칙은 모두 성립한다. 그러나 결합법칙은 성립하지 않는다. 예를 들어 아래 조건을 만족하는 (u,v)가 존재한다.
((4,300)⊕(4,300))⊕(u,v)=(4,300)⊕((4,300)⊕(u,v))
이러한 (u,v)를 F에서 하나 찾고, 좌변과 우변의 값을 쓰시오.
(바) 무한급수 n=1∑∞n1=1+21+31+⋯은 무한대로 발산한다. 다음의 점화식에 의해 정해지는 수열 an을 생각하자.
{a1=g(f(1)),an=an−1+g(f(n1)),n≥2
수열 an은 수렴함을 설명하시오.