0
$\begingroup$

Let $\langle a_n\rangle$ , $\langle b_n\rangle$ , $\langle c_n\rangle$ be Cauchy sequences of rational numbers, and $\langle c_n\rangle$ is equivalent to $\langle a_nb_n\rangle$. Prove or disprove that there are two Cauchy sequences $\langle a_n'\rangle$ , $\langle b_n'\rangle$ of rational numbers such that

(1) $\langle a_n\rangle$ is equivalent to $\langle a_n'\rangle$ ;

(2) $\langle b_n\rangle$ is equivalent to $\langle b_n'\rangle$ ;

(3) $\langle c_n\rangle=\langle a_n'b_n'\rangle$ .

If it is true, can we prove it intuitionistically?

  • 0
    Does this not follow immediately from the transitivity property for equivalence relations?2012-12-02

1 Answers 1

1

Case 1: both $a_n,b_n$ converge to zero. Let $a'_n=r_n,b'_n=c_n/r_n$. Where $r_n$ is a sequence of rationals such that for all n $|r_n-\sqrt c_n|<1/n$

Case 2: one of the two sequences does not converge to zero

Let $lim_{n\rightarrow \infty} a_n=A$ . Assume WLOG that A is different from $0$. Let $a'_n$ be a sequence of nonzero rationals converging to $A$, and let $b'_n=c_n/a'_n$

  • 0
    In case 1, how can we prove that $b_n'\rightarrow 0$ ?2012-12-02