---------- Forwarded message --------- From: Saburou Saitoh Date: 2019年3月30日(土) 19:06 Subject: Re: two justification of division by zero To: Jose Manuel Rodriguez Caballero Cc: Okoh Ufuoma
Dear Jose:
Your e-mail is very exciting and I have already some ideas on the topics. I have some document on the topics in Japanese, however, its English version is difficult still, because my representation ability is indeed poor.
Anyhow, I would like to write it in English.
INFINITY and ZERO,
Divergence and zero.
With great pleasures, With deep thanks,
Sincerely yours,
Saburou Saitoh
2019.3.30.19:00
2019年3月30日(土) 18:42 Jose Manuel Rodriguez Caballero Dear Okoh,
Here is the definition of the horn torus: http://mathworld.wolfram.com/HornTorus.html
In short: the horn torus is the result of the identification between zero and infinity on the Riemann sphere. Here is the Riemann sphere: https://en.wikipedia.org/wiki/Riemann_sphere
The result of x/0+2000, according to Isabelle/HOL is 2000. Explanation: the identification between zero and infinity on the Riemann sphere holds for the multiplication, but not for the addition. The reason is that zero and infinity behave in the same way for the product by a number z which is neither zero nor infinity, i.e.,
0 * z = 0, infinity * z = infinity.
Therefore, we can identify the zero and the infinity in case of multiplication. For addition, such identification is not possible, because,
0 + z = z, infinity + z = infinity.
Nevertheless, you can use that x/0 = 0, following the rules from Isabelle/HOL and you will obtain no contradiction. Indeed, you can check this fact just downloading Isabelle/HOL: https://isabelle.in.tum.de/
and copying the following code
theory DivByZeroSatoih imports Complex_Main
begin
theorem T: ‹x/0 + 2000 = 2000› for x :: complex by simp
end
Now, returning to your question, "The number of terms of the sequence 1, 2, 3, -------- is A. infinity B. zero C. one D all of the above E. any of the above. Which option is correct?" Again, like in the case of addition, the identification between zero and infinity, which can be done in multiplication, is not justified for cardinality of sets.