- 締切済み
1+1=2の証明って?
stomachmanの回答
- stomachman
- ベストアンサー率57% (1014/1775)
> 私は演算が本来の+演算かどうかは問題にしていません。 >stomachmanさん自身、+(f)の演算を本来の演算と等価か >どうか議論すること無しに自分で勝手に定義されています。 仰るとおりです。公理論的に自然数とその足し算を定義しても、「普通の足し算」が厳密に定義されていないと比較のしようがない。ですから"+"をtgbさんのように定義すれば、「普通の足し算」を知らない人が 1+1=3 を確信するのは全く正当です。ただ、ここまでは用語(あるいは記号)の問題、すなわち「何を足し算と呼ぶか」の違いに過ぎません。さらにtgbさんの定義された"+"を使って数学を構成していけない理由など何処にもない。(しかし、この演算は群にならないから扱いにくいです。) 「普通の意味での自然数」や「普通の足し算」が理解されていて初めてstomachmanのf()だろうが、大学ノート一冊分だろうが、それが「普通の足し算」の形式化として相応しいかどうかが判断できるというのは、全くの正論です。そして、「普通の意味での自然数」や「普通の足し算」が定義されていないかと言いますと、そんなことはない。「普通の意味での自然数」はまさしくs(n)、つまり「ある自然数の次に来る自然数がある」という形で非形式的ながら定義されており、また「普通の足し算」は筆算であれそろばんであれ、数字の操作の規則という形で明確に定式化されています。したがって、stomachmanが提示した"+"が同じ規則に従うことを証明すれば、これは確かに「普通の足し算」であることが分かる。 「普通の足し算」は、「足し算の九九」および10進表現(或いはそろばん玉による表現)における繰り上がりの規則で記述できます。ですから、証明するにはNo.6の定義だけでは不足で、それを10進表記(或いはそろばん玉で)表現する方法を構成しなくてはいけません。 ともあれ「ま、感じだけ掴んで戴く」ための中途半端な説明であることはご理解戴きたい。必要最低限を記述するのなら大学ノート一冊までは必要ありませんし、数学基礎論の適当な参考書をご覧になれば良いでしょう。
関連するQ&A
- この問題の証明方法を教えてください!
複素数の問題なんですが、複素数αとβに対してαβ=0のときα=0またはβ=0の証明を教えて下さい。それと、虚数では大小関係を考えないのはナゼですか?具体例を教えて下さい。
- ベストアンサー
- 数学・算数
- フーリエ変換の式の証明
フーリエ変換の式の証明 下記式(1)~(7)まで定義されているとき、 (8)の条件から(9)式が導けるのですが、 なぜ(9)がいえるのか分かりません。 (3),(4)式は、実数部分と虚数部分に分けて表示したという式です。 (8)の最左辺にある式が条件式で、示したいのが(9)式です。
- ベストアンサー
- 数学・算数
- √(-1)・√(-1)≠1 を証明してください
複素数の範囲で、i を虚数単位とすると i^2=-1 であるので、書き換えると (√-1)・(√-1)=-1 という等式になると思います。しかしここで、 (-1)・(-1)=1 という等式が成り立つのであれば、 与式=√{(-1)・(-1)}=√1=1 ということになってしまい、なんだか矛盾します。 これがなぜなのかを、友達に分かりやすく教えたいのですが、 そもそも私自身なぜなのかが分からないので、皆さんに教えていただければと思います。 できるだけ分かりやすく答えていただけると嬉しいです。 回答よろしくお願いします。
- ベストアンサー
- 数学・算数
- 証明問題における変数の定義域について
「x+y>0かつxy>0のとき、y>0であることを示せ。」 この問題なのですが、xとyの定義域が示されていません。 高校数学では、特に定義域が示されていないときは複素数の範囲で考えると教わったので、以下のように答えました。 「この命題の対偶、すなわち『y<=0またはyは虚数 ならば (x+y<=0またはx+yは虚数)または(xy<=0またはxyは虚数)を示す。』 x=1+i, y=1-iのときx+y=2, xy=2であり、対偶は偽であるから、元の命題も偽である。」 と答えたのですが、なんだか腑に落ちません。 複素数の範囲で「y>0」の否定は「y<=0またはyは虚数」ですよね? 回答よろしくお願いします。
- 締切済み
- 数学・算数
- 証明がなぜ証明になるのかわからない
勉強をしているとたまにあることなのですが、理論的な事柄を証明するために Aを証明する。 ・ ・ ここで、○○が△△であるとすると、~~なので・・・ ・ ・ よってAとなる。 という記述を見ます。 この場合「であるとすると」という仮定が入っているので、所詮は仮定であって証明にはなっていないと思うですが、こういう書き方をしていても証明になっているものなのでしょうか。
- 締切済み
- 物理学
- z^5=1の虚数解が異なることを示すとは
閲覧ありがとうございます。拙い質問で恐縮ですが、よければお付き合い下さい。 方程式z^5=1のの虚数解の1つをαとするときα以外の相異なる3つの虚数解はα^2,α^3,α^4に等しいことを証明せよ という問題があり、回答に α^2,α^3,α^4がz^5=1の解であることを証明したあと、 α^k=α^l (1≦l<k≦4) とすると、 α^(k-l)=1 (1≦k-l≦3) これは、αがz^5=1の解であることに矛盾する。 以上から、α,α^2,α^3,α^4は全て相異なる。 との記述があったのですが、これは証明においてどのような意味があり、何が矛盾しているから相異なる虚数であると言っているのでしょうか? 回答よろしくお願い致します。
- ベストアンサー
- 数学・算数
- 背理法は必要十分ですか
たとえば √2が無理数であることを証明するときの定石として √2が有理数でないことを証明しますが 議論を複素数まで拡張し √2が純虚数であるとしたら √2は有理数でないが無理数でもないじゃないですか つまり √2が有理数でない←√2が無理数である は成り立ちますが √2が有理数でない→√2が無理数である は成り立たないのではないでしょうか(反例√2が純虚数) お願いします
- ベストアンサー
- 数学・算数