MARTIN C. COOKE
To Continue with Continuity
ABSTRACT
The metaphysical concept of continuity is important, not least because physical
continua are not known to be impossible. While it is standard to model them
with a mathematical continuum based upon set-theoretical intuitions, this essay
considers, as a contribution to the debate about the adequacy of those intuitions,
the neglected intuition that dividing the length of a line by the length of an individual
point should yield the line’s cardinality. The algebraic properties of that
cardinal number are derived pre-theoretically from the obvious properties of a
line of points, whence it becomes clear that such a number would cohere surprisingly
well with our elementary number systems.
1. Introduction.
ere there physical continua, e.g. space-time, there would be an
objective fact of the matter about the truth of our hypotheses about
continuity. One hypothesis that has shaped modern mathematics (and
thence logic and metaphysics) to a very great extent is that the geometrical
line and the real number line are isomorphic, which I will call C-D, as it is
due to Cantor and Dedekind. That hypothesis is assumed by almost all scientists
nowadays, but nonetheless its philosophical analysis might one day
benefit from our having available the widest possible range of alternative
hypotheses (e.g. see Ehrlich 1994, not to mention such category-theoretic
possibilities as synthetic differential geometry). In this essay I take an informal
(pre-theoretic) look at one neglected hypothesis. I cannot consider
any of its philosophical ramifications in any depth, not as well as defining
it (in §2) and exhibiting its structural coherence (in succeeding sections),
but I will at least be enabling that to be done.
My hypothesis may be introduced as an extrapolation from the familiarly
finite. If we consider sand grains to be cubic millimetres of silicate, to
keep things simple, then a sandstone mountain, say M, composed entirely
of such grains and occupying a cubic kilometre, would contain 109 m
3
÷
10–9 m
3
= 1018 grains. That may be expressed, using Kessler’s (1980, 69)
empiricistic notation, as 1018(M, being-a-grain). By extrapolating, it is not
W
92
hard to imagine that, if lines were composed of points, each of length 0,
then a line of arbitrary unit length u might contain 1·u ÷ 0·u = 1/0 points.
Such extrapolations, from finite cases to an infinite case, are unreliable, but
they do not necessarily fail (e.g. they found set theory, see principle b of
Hallett 1984, p. 7) and that one turns out to be coherent enough, as you will
see.
First I should define my terms a little more precisely. Let the primitive
line be the line that would be physically instantiated, e.g. as time, were
time infinitely divisible. That idea, of a pre-theoretic geometrical line,
makes sense whether or not there actually are any physical continua, and is
more fundamental (conceptually) than such formal mathematical models of
it as the standard real number line. Let primitive cardinality be what collections
that may be related by bijections (one-to-one correlations) must
have in common. That concept is also fundamental, and therefore its nature
is also highly debatable, but the following may contribute to such debates,
so I shall simply assume that definition. Finally, let k denote the (primitive)
cardinality of the continuum. In other words, if lines were composed of
points, and if there were physical continua, so that a line of points, say L,
would be instantiated, then we would have k(L, being-a-point) in Kessler’s
notation.
I will begin to clarify what the possibility of k resembling 1/0
amounts to in §2, but an immediate problem is that you may already regard
1/0 as an impossible whole number. You may think, for example, that from
1 × 0 = 2 × 0 we would be able to deduce 1 = 2, were we to allow arithmetical
division by 0, so I shall end this introductory section by challenging
that particular reason. For an apposite historical analogy, when Cantor
introduced (informally) his transfinite whole numbers he first had to challenge
prejudices against their possibility (see Cantor 1883, pp. 892-893)
before arguing that they were not just possible, but were actually coherent
and useful.
Now, although the 1 = 2 above does follow from assuming 0/0 = 1
(together with associativity), why should 0/0 = 1? One reason might be that
a/a = 1 whenever a/a is defined at present (for finite a), and additionally
defining 0/0 is like allowing a to be 0. But that kind of extrapolation is notoriously
unreliable, and note that indeterminate forms within the calculus
are often denoted by 0/0, the reason being that all the finite numbers yield
0 upon multiplication by 0. In fact, it need only follow, from dividing 1 × 0
= 2 × 0 by 0, that 0/0 includes x iff (if and only if) it contains 2·x, and that
would allow arithmetical division by 0 (if not as a function) if 0/0 could be
93
a collection of numbers (if not a set of numbers). I consider such collections
in §2; but incidentally, multifunctions and mereological collections
have indeed proved to be mathematically coherent and useful.
Another reason might be that ‘division by x’ means ‘multiplication
by the multiplicative inverse of x’ within the number fields, and x’s multiplicative
inverse is whatever yields 1 when multiplied by x. But from 0/0 ≠
1 it need only follow that division by 0 is not allowed within number
fields. You will see (in §5) that it is allowed within number pitches, which
contain number fields in an algebraically strong way. Note that I will not
be suggesting that functions and fields are not useful. They are extremely
useful, but we may certainly extend that repertoire so as to include other
structures that nature might be instantiating. By analogy, there is an obvious
utility to having the cardinality of a collection increase by 1 when a
new object is added to it, yet we may consider infinite cardinals whenever
we have reason to.
2. A Non-set-theoretic Cardinal.
http://www.metaphysica.de/texte/mp2005_2-Cooke.pdf
再生核研究所声明296(2016.05.06) ゼロ除算の混乱
ゼロ除算の研究を進めているが、誠に奇妙な状況と言える。簡潔に焦点を述べておきたい。
ゼロ除算はゼロで割ることを考えることであるが、物理学的にはアリストテレス、ニュートン、アンシュタインの相当に深刻な問題として、問題にされてきた。他方、数学界では628年にインドで四則演算の算術の法則の確立、記録とともに永年問題とされてきたが、オイラー、アーベル、リーマン達による、不可能であるという考えと、極限値で考えて無限遠点とする定説が永く定着してきている。
ところが数学界の定説には満足せず、今尚熱い話題、問題として、議論されている。理由は、ゼロで割れないという例外がどうして存在するのかという、素朴な疑問とともに、積極的に、計算機がゼロ除算に出会うと混乱を起こす具体的な懸案問題を解消したいという明確な動機があること、他の動機としてはアインシュタインの相対性理論の上手い解釈を求めることである。これにはアインシュタインが直接言及しているように、ゼロ除算はブラックホールに関係していて、ブラックホールの解明を意図している面もある。偶然、アインシュタイン以後100年 実に面白い事件が起きていると言える。偶然、20年以上も考えて解明できたとの著書さえ出版された。― これは、初めから、間違いであると理由を付けて質問を送っているが、納得させる回答が無い。実名を上げず、具体的に 状況を客観的に述べたい。尚、ゼロ除算はリーマン仮説に密接に関係があるとの情報があるが 詳しいことは分からない。
1: ゼロ除算回避を目指して、新しい代数的な構造を研究しているグループ、相当な積み重ねのある理論を、体や環の構造で研究している。例えて言うと、ゼロ除算は沢山存在するという、考え方と言える。― そのような抽象的な理論は不要であると主張している。
2:同じくゼロ除算回避を志向して 何と0/0 を想像上の数として導入し、正、負無限大とともに数として導入して、新しい数の体系と演算の法則を考え、展開している。相当なグループを作っているという。BBCでも報じられたが、数学界の評判は良くないようである。― そのような抽象的な理論は不要であると主張している。
3:最近、アインシュタインの理論の専門家達が アインシュタインの理論から、0/0=1, 1/0=無限 が出て、ゼロ除算は解決したと報告している。― しかし、これについては、論理的な間違いがあると具体的に指摘している。結果も我々の結果と違っている。
4:数学界の永い定説では、1/0 は不可能もしくは、極限の考え方で、無限遠点を対応させる. 0/0 は不定、解は何でも良いとなっている。― 数学に基本的な欠落があって、ゼロ除算を導入しなければ数学は不完全であると主張し、新しい世界観を提起している。
ここ2年間の研究で、ゼロ除算は 何時でもゼロz/0=0であるとして、 上記の全ての立場を否定して、新しい理論の建設を進めている。z/0 は 普通の分数ではなく、拡張された意味でと初期から説明しているが、今でも誤解していて、混乱している人は多い、これは真面目に論文を読まず、初めから、問題にしていない証拠であると言える。
上記、関係者たちと交流、討論しているが、中々理解されず、自分たちの建設している理論に固執しているさまがよく現れていて、数学なのに、心情の問題のように感じられる微妙で、奇妙な状況である。
我々のゼロ除算の理論的な簡潔な説明、それを裏付ける具体的な証拠に当たる結果を沢山提示しているが、中々理解されない状況である。
数学界でも永い間の定説で、初めから、問題にしない人は多い状況である。ゼロ除算は算数、ユークリッド幾何学、解析幾何学など、数学の基本に関わることなので、この問題を究明、明確にして頂きたいと要請している:
再生核研究所声明 277(2016.01.26):アインシュタインの数学不信 ― 数学の欠陥
再生核研究所声明 278(2016.01.27): 面白いゼロ除算の混乱と話題
再生核研究所声明279(2016.01.28) : ゼロ除算の意義
再生核研究所声明280(2016.01.29) : ゼロ除算の公認、認知を求める
我々のゼロ除算について8歳の少女が3週間くらいで、当たり前であると理解し、高校の先生たちも、簡単に理解されている数学、それを数学の専門家や、ゼロ除算の専門家が2年を超えても、誤解したり、受け入れられない状況は誠に奇妙で、アリストテレスの2000年を超える世の連続性についての固定した世界観や、上記天才数学者たちの足跡、数学界の定説に まるで全く嵌っている状況に感じられる。
以 上
考えてはいけないことが、考えられるようになった。
説明できないことが説明できることになった。
再生核研究所声明199(2015.1.15) 世界の数学界のおかしな間違い、世界の初等教育から学術書まで間違っていると言える ― ゼロ除算100/0=0,0/0=0
ゼロ除算は 西暦628年インドでゼロが文献に記録されて以来、問題とされてきた。ゼロ除算とは、ゼロで割ることを考えることである。これは数学の基本である、四則演算、加法、減法、乗法、除法において、除法以外は何時でも自由にできるのに、除法の場合だけ、ゼロで割ることができないという理由で、さらに物理法則を表す多くの公式にゼロ除算が自然に現れていることもあって、世界各地で、今でも絶えず、問題にされていると考えられる。― 小学生でも どうしてゼロで割れないのかと毎年、いろいろな教室で問われ続いているのではないだろうか.
これについては、近代数学が確立された以後でも、何百年を越えて 永い間の定説として、ゼロ除算は 不可能であり、ゼロで割ってはいけないことは、初等教育から、中等、高校、大学そして学術界、すなわち、世界の全ての文献と理解はそうなっている。変えることのできない不変的な法則のように理解されていると考えられる。
しかるに2014年2月2日 ゼロ除算は、可能であり、ゼロで割ればゼロであることが、偶然発見された。その後の経過、背景や意味付け等を纏めてきた:
再生核研究所声明 148(2014.2.12) 100/0=0, 0/0=0 - 割り算の考えを自然に拡張すると ― 神の意志
再生核研究所声明154(2014.4.22) 新しい世界、ゼロで割る、奇妙な世界、考え方
再生核研究所声明157(2014.5.8) 知りたい 神の意志、ゼロで割る、どうして 無限遠点と原点が一致しているのか?
再生核研究所声明161(2014.5.30)ゼロ除算から学ぶ、数学の精神 と 真理の追究
再生核研究所声明163(2014.6.17)ゼロで割る(零除算)- 堪らなく楽しい数学、探そう零除算 ― 愛好サークルの提案
再生核研究所声明166(2014.6.20)ゼロで割る(ゼロ除算)から学ぶ 世界観
再生核研究所声明171(2014.7.30)掛け算の意味と割り算の意味 ― ゼロ除算100/0=0は自明である?
再生核研究所声明176(2014.8.9) ゼロ除算について、数学教育の変更を提案する
Announcement 179 (2014.8.25): Division by zero is clear as z/0=0 and it is fundamental in mathematics
Announcement 185 : The importance of the division by zero $z/0=0$
再生核研究所声明188(2014.12.15)ゼロで割る(ゼロ除算)から観えてきた世界
再生核研究所声明190(2014.12.24)
再生核研究所からの贈り物 ― ゼロ除算100/0=0, 0/0=0
夜明け、新世界、再生核研究所 年頭声明
― 再生核研究所声明193(2015.1.1)―
再生核研究所声明194(2015.1.2)大きなイプシロン(無限小)、創造性の不思議
再生核研究所声明195(2015.1.3)ゼロ除算に於ける高橋の一意性定理について
再生核研究所声明196(2015.1.4)ゼロ除算に於ける山根の解釈100= 0x0について
ところが、気づいてみると、ゼロ除算は当たり前なのに、数学者たちが勝手に、割り算は掛け算の逆と思い込み、ゼロ除算は不可能であると 絶対的な真理であるかのように 烙印を押して、世界の人々も盲信してきた。それで、物理学者が そのために基本的な公式における曖昧さに困ってきた事情は ニュートンの万有引力の法則にさえ見られる。
さらに、誠に奇妙なことには、除算はその言葉が表すように、掛算とは無関係に考えられ、日本ばかりではなく西欧でも中世から除算は引き算の繰り返しで計算されてきた、古い、永い伝統がある。その考え方から、ゼロ除算は自明であると道脇裕氏と道脇愛羽さん6歳が(四則演算を学習して間もないときに)理解を示した ― ゼロ除算は除算の固有の意味から自明であり、ゼロで割ればゼロであるは数学的な真実であると言える(声明194)。数学、物理、文化への影響も甚大であると考えられる。
数学者は 数学の自由な精神で 好きなことで、考えられることは何でも考え、不可能を可能にし、分からないことを究め、真智を求めるのが 数学者の精神である。非ユークリッド幾何学の出現で 絶対は変わり得ることを学び、いろいろな考え方があることを学んできたはずである。そのような観点から ゼロ除算の解明の遅れは 奇妙な歴史的な事件である と言えるのではないだろうか。
これは、数学を超えた、真実であり、ゼロ除算は不可能であるとの 世の理解は間違っている と言える。そこで、真実を世界に広めて、人類の歴史を進化させるべきであると考える。特に声明176と声明185を参照。ゼロ除算は 堪らなく楽しい 新世界 を拓いていると考える。
以 上
考えてはいけないことが、考えられるようになった。
説明できないことが説明できることになった。
1+0=1 1ー0=0 1×0=0 では、1/0・・・・・・・・・幾つでしょうか。
0??? 本当に大丈夫ですか・・・・・0×0=1で矛盾になりませんか・・・・
1/0=∞ (これは、今の複素解析学) 1/0=0 (これは、新しい数学で、Division by Zero)
ゼロ除算は、不可能であると誰が最初に言ったのでしょうか・・・・
7歳の少女が、当たり前であると言っているゼロ除算を 多くの大学教授が、信じられない結果と言っているのは、まことに奇妙な事件と言えるのではないでしょうか。
割り算を掛け算の逆だと定義した人は、誰でしょう???
世界中で、ゼロ除算は 不可能 か
可能とすれば ∞ だと考えられていたが・・・
しかし、ゼロ除算 はいつでも可能で、解は いつでも0であるという意外な結果が得られた。
小学校以上で、最も知られている数学の結果は何でしょうか・・・
ゼロ除算(1/0=0)は、ピタゴラスの定理(a2 + b2 = c2 )を超えた基本的な結果であると考えられる。
https://www.pinterest.com/pin/234468724326618408/
原点を中心とする単位円に関する原点の鏡像は、どこにあるのでしょうか・・・・
∞ では無限遠点はどこにあるのでしょうか・・・・・
無限遠点は存在するが、無限大という数は存在しない・・・・
加(+)・減(-)・乗(×)・除(÷) 除法(じょほう、英: division)とは、乗法の逆演算・・・・間違いの元 乗(×)は、加(+) 除(÷)は、減(-)
http://detail.chiebukuro.yahoo.co.jp/qa/question_detail/q1411588849/a37209195?sort=1&fr=chie_my_notice_canso
0×0=0・・・・・・・・・だから0で割れないと考えた。
アラビア数字の伝来と洋算 - tcp-ip
http://www.tcp-ip.or.jp/~n01/math/arabic_number.pdf
明治5年(1872)
割り算のできる人には、どんなことも難しくない
世の中には多くのむずかしいものがあるが、加減乗除の四則演算ほどむずかしいものはほかにない。
ベーダ・ヴェネラビリス
数学名言集:ヴィルチェンコ編:松野武 山崎昇 訳大竹出版1989年
地球平面説→地球球体説
天動説→地動説
1/0=∞ 若しくは未定義 →1/0=0
地球人はどうして、ゼロ除算1300年以上もできなかったのか? 2015.7.24.9:10 意外に地球人は知能が低いのでは? 仲間争いや、公害で自滅するかも。 生態系では、人類が がん細胞であった とならないとも 限らないのでは?
リーマン球面における無限遠点は、実は、原点0に一致していました。
Einstein's Only Mistake: Division by Zero
http://refully.blogspot.jp/2012/05/einsteins-only-mistake-division-by-zero.html
ゼロ除算(100/0=0, 0/0=0)が、当たり前だと最初に言った人は誰でしょうか・・・・ 1+1=2が当たり前のように
Title page of Leonhard Euler, Vollständige Anleitung zur Algebra, Vol. 1 (edition of 1771, first published in 1770), and p. 34 from Article 83, where Euler explains why a number divided by zero gives infinity.
https://notevenpast.org/dividing-nothing/
Impact of 'Division by Zero' in Einstein's Static Universe and ...
gsjournal.net/Science-Journals/.../Download/2084
このページを訳す
Impact of 'Division by Zero' in Einstein's Static Universe and Newton's Equations in Classical Mechanics. Ajay Sharma physicsajay@yahoo.com. Community Science Centre. Post Box 107 Directorate of Education Shimla 171001 India.
http://gsjournal.net/Science-Journals/Research%20Papers-Relativity%20Theory/Download/2084
Reality of the Division by Zero $z/0=0$
http://www.ijapm.org/show-63-504-1.html
ビッグバン宇宙論と定常宇宙論について、http://detail.chiebukuro.yahoo.co.jp/qa/question_detail/q1243254887 #知恵袋_
地球平面説→地球球体説
地球が丸いと考えた最初の人-ピタゴラス
地球を球形であることを事実によって証明しようとした人-マゼラン
地球を球形と仮定して初めて地球の大きさを測定した人-エラトステネス
天動説→地動説 アリスタルコス=ずっとアリストテレスやプトレマイオスの説が支配的だったが、約2,000年後にコペルニクスが再び太陽中心説(地動説)を唱え、発展することとなった。https://ja.wikipedia.org/wiki/%E3%82%A2%E3%83%AA%E3%82%B9%E3%82%BF%E3%83%AB%E3%82%B3%E3%82%B9 …
何年かかったでしょうか????
1/0=∞若しくは未定義 →1/0=0
何年かかるでしょうか????
地球平面説→地球球体説
天動説→地動説
何年かかったでしょうか???
1/0=∞若しくは未定義 →1/0=0
何年かかるでしょうか???
ゼロ除算の証明・図|ysaitoh|note(ノート) https://note.mu/ysaitoh/n/n2e5fef564997
ゼロ除算は1+1より優しいです。 何でも0で割れば、0ですから、簡単で美しいです。 1+1=2は 変なのが出てくるので難しいですね。
∞÷0はいくつですか・・・・・・・
∞とはなんですか・・・・・・・・
分からないものは考えられません・・・・・
Reality of the Division by Zero z/0 = 0
http://www.ijapm.org/show-63-504-1.html
http://okmr.yamatoblog.net/
1人当たり何個になるかと説いていますが、1人もいないのですから、その問題は意味をなさない。
よってこれは、はじめから問題になりません。
ついでですが、これには数学的に確定した解があって それは0であるという事が、最近発見されました。
再生核研究所声明200(2015.1.16) ゼロ除算と複素解析の現状 ―佐藤超関数論との関係が鍵か?
正確に次のように公開して複素解析とゼロ除算の研究を開始した:
特異点解明の歩み100/0=0,0/0=0 関係者:
複素解析学では、1/0として、無限遠点が存在して、美しい世界です。しかしながら、1/0=0 は 動かせない真実です。それで、勇気をもって進まざるを得ない:― 哲学とは 真智への愛 であり、真智とは 神の意志 のことである。哲学することは、人間の本能であり、それは 神の意志 であると考えられる。愛の定義は 声明146で与えられ、神の定義は 声明122と132で与えられている。― 再生核研究所声明148.
私には 無理かと思いますが、世の秀才の方々に 挑戦して頂きたい。空論に付き合うのはまっぴらだ と考える方も多いかと思いますが、面白いと考えられる方で、楽しく交流できれば幸いです。宜しくお願い致します。 添付 物語を続けたい。2014.4.1.11:10
上記で、予想された難問、 解析関数は、孤立特異点で確定値をとる、が 自分でも予想しない形で解決でき、ある種の実体を捉えていると考えたのであるが、この結果自体、世のすべての教科書の内容を変える事件であるばかりではなく、確立されている無限遠点の概念に 新しい解釈を与えるもので、1次変換の美しい性質が、ゼロ除算の導入によって、任意の1次変換は 全複素平面を全複素平面に1対1 onto に写すという美しい性質に変わるが、 極である1点において不連続性が現れ、ゼロ除算は、無限を 数から排除する数学になっている。
6月、帰国後、気に成っていた、金子晃先生の 30年以上前に購入した超函数入門の本に 極めて面白い記述があり、佐藤超関数とゼロ除算の面白い関係が出てきた。さらに 特異積分におけるアダマールの有限部分や、コーシーの主値積分は、弾性体やクラック、破壊理論など広い世界で、自然現象を記述するのに用いられているが、面白いのは 積分が、もともと有限部分と発散部分に分けられ、 極限は 無限たす、有限量の形になっていて、積分は 実は、普通の積分ではなく、そこに現れる有限量を便宜的に表わしている。ところが、その有限量が実は、 ゼロ除算にいう、 解析関数の孤立特異点での 確定値に成っていることが分かった。これはゼロ除算の結果が、広く、自然現象を記述していることを示している。
現在まで、添付21ページの論文原稿について 慎重に総合的に検討してきた。
そこで、問題の核心、ゼロ除算の発展の基礎は、次の論点に有るように感じられてきた:
We can find many applicable examples, for example, as a typical example in A. Kaneko (\cite{kaneko}, page 11) in the theory of hyperfunction theory: for non-integers $\lambda$, we have
\begin{equation}
x_+^{\lambda} = \left[ \frac{-(-z)^{\lambda}}{2i \sin \pi \lambda}\right] =\frac{1}{2i \sin \pi \lambda}\{(-x + i0)^{\lambda}- (-x - i0)^{\lambda}\}
\end{equation}
where the left hand side is a Sato hyperfunction and the middle term is the representative analytic function whose meaning is given by the last term. For an integer $n$, Kaneko derived that
\begin{equation}
x_+^{n} = \left[- \frac{z^n}{2\pi i} \log (-z) \right],
\end{equation}
where $\log$ is a principal value: $ \{ - \pi < \arg z < +\pi \}$. Kaneko stated there that by taking a finite part of the Laurent expansion, the formula is derived.
Indeed, we have the expansion, for around $ n$, integer
$$
\frac{-(-z)^{\lambda}}{2i \sin \pi \lambda}
$$
\begin{equation}
= \frac{- z^n}{2\pi i} \frac{1}{\lambda -n} - \frac{z^n}{2\pi i} \log (-z )
- \left( \frac{\log^2 (-z) z^n}{2\pi i\cdot 2!} + \frac{\pi z^n}{2i\cdot 3!}
\right)(\lambda - n) + ...
\end{equation}
(\cite{kaneko}, page 220).
By our Theorem 2, however, we can derive this result (4.3) from the Laurant expansion (4.4), immediately.
上記ローラン展開で、\lambda に n を代入したのが ちょうど n に対する佐藤の超関数になっている。それは、ゼロ除算に言う、 孤立特異点における解析関数の極における確定値である。これはゼロ除算そのものと殆ど等価であるから、ローラン展開に \lambda = n を代入した意味を、上記の佐藤超関数の理論は述べているので 上記の結果を分析すれば、ゼロ除算のある本質を捉えることができるのではないかと考えられる。
佐藤超関数は 日本で生まれた、基本的な数学で 優秀な人材を有している。また、それだけ高級、高度化しているが、このような初歩的、基本的な問題に関係がある事が明らかになってきた。そこで、佐藤超関数論の専門家の方々の研究参加が望まれ、期待される。また、関係者の助言やご意見をお願いしたい。
ゼロ除算における新現象、驚きとは Aristotélēs の世界観、universe は連続である を否定して、強力な不連続性を universe の現象として示していることである。
以 上
0 件のコメント:
コメントを投稿