負の数×負の数
レス数が1000を超えています。これ以上書き込みはできません。
0001昆布
2006/02/18(土) 22:31:390002132人目の素数さん
2006/02/18(土) 22:32:340003132人目の素数さん
2006/02/18(土) 22:33:040004GiantLeaves ◆6fN.Sojv5w
2006/02/18(土) 22:33:300005132人目の素数さん
2006/02/18(土) 22:38:08リアル厨房×DQNには分かんないんす
0006132人目の素数さん
2006/02/18(土) 22:43:21あんまり多いと大変だから、+3〜-3くらいで。
まずは(+3)×(+3)から始めて、横一列を埋めて行く(このときの規則性に留意)。
以下、+2の段、+1の段、0の段,-1の段と進めていくわけだが、多分こうなる。
+9,+6,+3,0,-3,-6,-9
+6,+4,+2,0,-2,-4,-6
+3.+2,+1,0,-1,-2,-3
-0,-0,-0,0,-0,-0,-0
-3,-2,-1,0,??,??,??
-6,-4,-2,0,??,??,??
-9,-6,-3,0,??,??,??
??の所には何を入れるか?そう思った理由を述べよ。
ってところでどうだ?中学生相手にやった中ではこれが一番受けが良かったぞ。
0007GiantLeaves ◆6fN.Sojv5w
2006/02/18(土) 22:45:130008132人目の素数さん
2006/02/18(土) 22:50:320009132人目の素数さん
2006/02/18(土) 22:52:53xの+を回復、-をダメージを与える
yの+を自分への、-相手への
と考え
+*+や-*-は自分にとっていいから
変な説明だなww
0010132人目の素数さん
2006/02/18(土) 22:53:30各行がどういう数字の列になってるか、最初の3段を観察しなさい。
左の縦3列でもいいよ。
0011132人目の素数さん
2006/02/18(土) 22:53:51>ってところでどうだ?中学生相手にやった中ではこれが一番受けが良かったぞ。
糞スレにしたいのか?
0012132人目の素数さん
2006/02/18(土) 23:00:120013132人目の素数さん
2006/02/18(土) 23:01:56見た目が違うだけで本質的には同じですよ。
0015132人目の素数さん
2006/02/18(土) 23:07:56たとえば1段目ならば
「3の倍数が減っていく方向」とか、
「3ずつ減っている」とか、
その程度しか期待してないんだけど。
その上で、例えば5段目を見ると
「2の倍数が増えていっている」とか
「2ずつ増えている」とかが分かる。
それでは??の部分はどうすべきだろうか?
……どう思う?>12
0016132人目の素数さん
2006/02/18(土) 23:18:20??のとこに正の数が入るってことですよね それが答えなんですか?
0017132人目の素数さん
2006/02/18(土) 23:28:363の倍数言えるよな?それが言えないと負の数どころではないから。
で、正が入るってのは、結論から言えばね。
-6,-4,-2,0,の次の数は+2,+4,+6…だから。
しかし、お前は結論ではなく理由を知りたかったのではないか?
で、一応言っておくと、この説明はちゃんと
「負×負=正の証明には分配法則を使う」が背景に隠れている。
二重否定は使っていない。二重否定はどっちかというと -(-1)=+1 の方。
0018132人目の素数さん
2006/02/18(土) 23:35:41分配法則をどう使うんですか?
0019132人目の素数さん
2006/02/18(土) 23:37:290020132人目の素数さん
2006/02/18(土) 23:52:02で、普通に代数学の教科書に載ってる証明は
(-1)*(-1)+(-1)*(+1)=(-1)*{(-1)+(+1)}=(-1)*0=0
よって(-1)*(-1)=-{(-1)*(+1)}=-(-1)=+1
ただし、-(-1)=+1なのは、
-(-1)=「-1と足して0になる数」=+1だから。
でも、分配法則のそもそもの意味を考えてみると、
これは自然数の掛け算の意味を数式化したものにすぎない。
その一番簡単な形が
(a+1)*b={(a+1)個のb}={a個のb}+b=a*b+b
つまりbの段はbずつ増えていく(減っていく)形になる。
これを負の数まで拡張したい。
でも分配法則は「掛け算の意味」そのものだから絶対守りたい。
そうなると、-1の段には1ずつ減っていく列が出来る。
1*(-1)=-1,0*(-1)=0,の順番だと(-1)*(-1)=+1がくるしかない。
すべては「掛け算の意味」を守るために起きた事。
(-1)*1+(-1)*(-1)=0
(-1)+(-1)^2=0
∴(-1)*(-1)=1
これは駄目??
0022132人目の素数さん
2006/02/19(日) 20:15:57っていう言葉どっかで見たな。
0023132人目の素数さん
2006/02/19(日) 20:32:34二重否定=肯定って日本では当たり前のように思われていて、
漫才のネタにまでなってるけど、
他の国ではどうもそうでもないらしい。
否定疑問文の答えとか、素朴主義論理とかみてると。
>>21
いろいろ省略してるだけで、>>20に書いてあるのと同じやん。
0024KingOfCrab ◆2LJf1MohA6
2006/02/19(日) 23:32:140025132人目の素数さん
2006/02/20(月) 06:33:47←←←←←←負の方向
←←←←←←負の方向
→→→→→→負の方向の負の方向
0026ソモサンセッパー ◆zVktpwq0Bw
2006/02/20(月) 07:05:43まず白紙を用意し、数直線を書いてみましょう。但し、まだ目盛りには数字を
書き込まないでください。この目盛りの中から任意の二つを選び出し、
それらを0と1だとみなせば、他の数(2とか-1)がどの目盛りかはわかりますね?
では実際に書き込んでみましょう。余白の便宜上、真ん中辺りの目盛りを0、
その右隣を+1として他の目盛りにも数字を書き込んでいきます。
さて、ここで次のことが成り立つか確認して下さい。
足し算:A+B=C
+1の方向(ここでは右)と大きさ(ここでは一目盛り分)が同じだけど
0の目盛りが違う仮の数直線を用意します。元の数直線のAの場所を
仮の数直線上の0として仮の目盛りを振った時の仮のBの場所が、
元の数直線上のCとなります。
掛け算:AxB=C
0の目盛りが同じだけど、+1の方向と大きさが違う仮の数直線を用意します。
元の数直線のAの場所を仮の数直線上の+1として仮の目盛りを振った時の
仮のBの場所が、元の数直線上のCとなります。
これで負の数の掛け算の謎は解けたでしょうか?
この考え方は将来、複素数を習ったときも全く同じやり方で理解できますよ。
0027132人目の素数さん
2006/02/20(月) 07:11:06>掛け算:AxB=C
>0の目盛りが同じだけど、+1の方向と大きさが違う仮の数直線を用意します。
>元の数直線のAの場所を仮の数直線上の+1として仮の目盛りを振った時の
>仮のBの場所が、元の数直線上のCとなります。
>
>これで負の数の掛け算の謎は解けたでしょうか?
>この考え方は将来、複素数を習ったときも全く同じやり方で理解できますよ。
日本語不自由
0028132人目の素数さん
2006/02/20(月) 07:12:28>足し算:A+B=C
>+1の方向(ここでは右)と大きさ(ここでは一目盛り分)が同じだけど
>0の目盛りが違う仮の数直線を用意します。元の数直線のAの場所を
>仮の数直線上の0として仮の目盛りを振った時の仮のBの場所が、
>元の数直線上のCとなります。
これも不自由。
一意になるように励んでください。
0029ソモサンセッパー ◆zVktpwq0Bw
2006/02/20(月) 07:44:26>>28
具体的なことに触れてないんでただの揚げ足取りかと思ったら
2レスも費やして捏造引用ですか…。
0030132人目の素数さん
2006/02/20(月) 08:20:38正直、一番頭良さそうな書き込みなのですが、
馬鹿には分かり憎いです。
すいません噛み砕いてください。
0031132人目の素数さん
2006/02/20(月) 08:32:52日本語でおk
0032132人目の素数さん
2006/02/20(月) 08:37:16正直26に興味が有る。
でもわからん。
お願いですから、、、
0033132人目の素数さん
2006/02/20(月) 08:40:08>+1の方向(ここでは右)と大きさ(ここでは一目盛り分)が同じだけど
大きさ??同じ??まずここがわからんです。。なにと一緒なんだろう。。
>0の目盛りが違う仮の数直線を用意します。元の数直線のAの場所を
0の目盛りが違う仮の数直線:これもわからない。。メモリが違う?
メモリの間隔?方向?単位??
Aの場所:勝手に決めていいの??
>仮の数直線上の0として仮の目盛りを振った時の仮のBの場所が、
あqwせdrftgyふじこlp;@:
>元の数直線上のCとなります。
お願いします。
馬鹿にしてる訳ではないです。
はしょらないで下しさい。
数学にはなれていません。。
0034132人目の素数さん
2006/02/20(月) 08:43:56まあキミは-×-=+というのを分配法則から演繹した定理とみなしてるんだよね。
でも本当のことをいうとそうじゃない。
分配法則を成り立たせるためには-×-=+である必要がある。
だからそう決めた、つまり定義なんだよ。
キミは定理だと思ってたんだろうけど定義なの。
ここまでついてこれるかな?
ついてこれたら続きを話そう。
0035ソモサンセッパー ◆zVktpwq0Bw
2006/02/20(月) 08:48:20>>32
>>33
承知しました!
ちょっと今から他の用事を済ませてきますんで
それまでお待ち下さいな。
0036ソモサンセッパー ◆zVktpwq0Bw
2006/02/20(月) 10:16:03「0と+1の場所さえ決まれば数直線を書ける」
という方を対象にします。白紙とトレーシングペーパー(写し紙)を何枚か用意して下さい。
白紙に、任意の点0を決め、これを原点(規準点)とします。
同じ白紙上に、0以外の任意の点+1を決め、0から見た+1の方向を規準方向、0
0から+1までの長さを単位長(規準長)とします。
これで白紙上に数直線をかけますよね? この数直線を「元の数直線」と
呼ぶことにします。足し算や掛け算などの演算は、トレーシングペーパー上に
「仮の数直線」を書いて行うものだと思って下さい。
→続く
0037ソモサンセッパー ◆zVktpwq0Bw
2006/02/20(月) 10:38:58先程書いた元の数直線上にトレーシングペーパーを重ね、仮の数直線の0と+1を
決めましょう。
足し算 A+B=C の場合
元の数直線上のAを0、0から元の数直線の決めた規準方向へ規準長だけ移動した
点を+1とします。
掛け算 AxB=C の場合
元の数直線上のAを+1、元の数直線の決めた規準点を0とします。
するとトレーシングペーパー上に仮の数直線かかけますよね。
仮の数直線上のBの位置が、元の数直線上のCになります。
このように、数というのは0と+1という2点から、演算によって拡張されます。
超越数だけは演算を無限回必要とするので事実上ムリですが、
虚数iを含めた二元複素数まではこれで拡張可能です。(数直線でなく平面)
ちなみに、AxA=-1 となる点を探すと該当する点が2箇所見つかりますので
どちらかを i と名付けて下さい。もう片方が-iですが、
ix(-1)の演算を考えれば一目瞭然ですね。
0038132人目の素数さん
2006/02/20(月) 12:51:450039132人目の素数さん
2006/02/21(火) 00:22:24>先程書いた元の数直線上にトレーシングペーパーを重ね、仮の数直線の0と+1を
>決めましょう。
もう決まってる。さっき書いた。。
なんのことやらさっぱり。
決める?新しい紙に?
何を基準に???????????
決めろって???
>
>足し算 A+B=C の場合
>元の数直線上のAを0、0から元の数直線の決めた規準方向へ規準長だけ移動した
A?元の数直線にAは無いよ。
どこにAがあるの???
やっぱり日本語不自由なんじゃないの???
以下略。
0040132人目の素数さん
2006/02/21(火) 00:27:02賛成だ。まあ、「定義」だろうな。現実問題を観察して、そう定義したら都合が良いから、
符合を含む演算をそう定義したってのが正解だろう。分配則は偶然それが成り立って
いたから、ウハウハってヤツだろうな。
0041132人目の素数さん
2006/02/21(火) 00:32:28「正の数で成り立つ性質を負の数でも成り立つと考えるとする」
という仮定を使ってる訳だけど(大雑把に言うと)、
なんでそう仮定するのかと中学生に聞かれたら何て答えればいいだろう…
0042132人目の素数さん
2006/02/21(火) 00:51:140043132人目の素数さん
2006/02/21(火) 00:58:11(-X)×(-Y)=Z
---------- --
-1 -1
(X)×(-Y)=-Z
(X)×(-Y)=-Z
---------- --
-1 -1
XY=Z
0044132人目の素数さん
2006/02/21(火) 05:22:19数学なんて、小さな対象のルールを大きな対象に拡張する、出来なきゃ類似品を考える。
そればっかりやん。数学者以外が理解出来ないメンタリティとも思えないし。
>>34,40
言いたい事はわかるが、「そう定義したら都合が良い現実」ってどんなんだ?
負の数の「発見」の遅さから考えて、そんなに簡単な例は無さそうな気がするが。
0045ソモサンセッパー ◆zVktpwq0Bw
2006/02/21(火) 07:39:47>>36 を読みましょう。
白紙に 0 と +1 を決めましたよね?
0
+1 が決まれば数直線はかけますよね?
数直線がかければ、その数直線上に任意の数Aがありますよね?
それとも具体的に 1+1=2 とかで説明しないとわかりませんか?
1はありますよね?
人の日本語を指摘する前に自分の理解力を疑いましょうよ。
0046ソモサンセッパー ◆zVktpwq0Bw
2006/02/21(火) 08:08:33私の書いた
『先程書いた元の数直線上にトレーシングペーパーを重ね、仮の数直線の0と+1を決めましょう。』
に対する貴方のレスについてですが、
>決める?新しい紙に?
>>36に
『足し算や掛け算などの演算は、トレーシングペーパー上に「仮の数直線」を書いて行うものだと思って下さい。』とあります。
>何を基準に???????????決めろって???
>>37 に
『足し算 A+B=C の場合 元の数直線上のAを0、0から元の数直線の決めた規準方向へ規準長だけ移動した点を+1とします。』
とあります。
ちゃんと読んでますか?
0047132人目の素数さん
2006/02/21(火) 12:22:04ここまで数人に突っ込まれて自分の日本語を疑う方が良いよ
言語とは頭の中にある共通の観念等を利用して意思の疎通を図る道具なんだ
頭の中身に共通点が少ない場合には、その共通点まで掘り下げる必要が有るよね
Aの認識とBの認識がともに限りなく大きいとしても、
Aの認識かつBの認識かつ言語で表現可能な部分とは少ないよね
0048132人目の素数さん
2006/02/21(火) 12:23:51理解する方に共通の観念がない場合には
寝言にしか聞こえないよね
そのとき表現したいなら表現者が頑張るしか無いよもしくはあきらめるかだね
0049132人目の素数さん
2006/02/21(火) 23:01:21>言いたい事はわかるが、「そう定義したら都合が良い現実」ってどんなんだ?
-×-=+じゃなかったら任意の実数で分配法則がなりたたないでしょ?
a(b+c)=ab+acが成り立たなかったらものすごく不便じゃない?
「そう定義したら都合が良い現実」というよりむしろ
「そう定義しないと都合が悪い現実」ということですね。
0050132人目の素数さん
2006/02/21(火) 23:14:41ここでも迷惑かけてたのか。
いい加減にしろ
0051132人目の素数さん
2006/02/22(水) 02:51:19-5秒間走ったら何メートル走るでしょう?っとかんがえれば簡単
0052132人目の素数さん
2006/02/22(水) 03:47:25自分ネ申じゃないから迷ってるんだろ
だって>>5
0053132人目の素数さん
2006/02/22(水) 09:55:56日本語でおk
0054132人目の素数さん
2006/02/22(水) 12:14:410055132人目の素数さん
2006/02/22(水) 17:33:39それを言う前に
>>34>>40には
環とか体を知った上での発言なのかを聞くべきじゃないかな?
>>54
環の上では数式で証明できる。
個人的には、住人が反応しないのは面倒だからだと思う。
0056132人目の素数さん
2006/02/22(水) 19:01:20分配則は「後付」だろ。現実を観測して、「借金×返す」みたいな奴まで計算できる
ように定義しただけ。
0057132人目の素数さん
2006/02/22(水) 19:16:37そしてn*(m+l)=n*m+n*l (n+m)*l=n*l+m*lが生まれた。
0058132人目の素数さん
2006/02/22(水) 19:50:30それは後付け。まず現実があったんだろ。それに合わせて理論が構築された。
0059132人目の素数さん
2006/02/22(水) 20:06:1157は現実の後の話
0060132人目の素数さん
2006/02/22(水) 20:30:20>個人的には、住人が反応しないのは面倒だからだと思う。
数式から逸脱すると思考が停止するんだろ。
ソモサンとかいうコテもこの前爆発してたしな。
自分の中の概念が一般的でないから、
言語によるコミニュケーションがとれなくなるんだよ。
「自分には概念が有るからわかる」
そう宣言するのは対話の放棄だろ
でも別に悪い事じゃない。
世間から乖離して行く事は別におかしい事じゃない。
0061132人目の素数さん
2006/02/23(木) 15:41:57これはなんだ?
0062132人目の素数さん
2006/02/26(日) 08:23:34って本当の話なの?
0063132人目の素数さん
2006/02/26(日) 08:54:41> 数式から逸脱すると思考が停止するんだろ。
数式が言葉でないと考えるほうがどうかしている。
ソモサンは電波だけどな。
0064132人目の素数さん
2006/02/26(日) 15:22:28嘘。分配則ありき。ウィキペディアあたりで環とか体の項目見るべし。
0065132人目の素数さん
2006/02/26(日) 16:15:07>数式が言葉でないと考えるほうがどうかしている。
数式も図も現象も皆同じ。
同じ事の形の変わった物という事だろ。
数式のみしか感じられない奴は低能。
0066132人目の素数さん
2006/02/26(日) 18:17:490067132人目の素数さん
2006/02/26(日) 23:44:24なんで、体や環を前提にできるんだ?
それはあくまで現実を観測した結果だろ?
0068132人目の素数さん
2006/02/26(日) 23:59:30だからその現実ってなんだ?
たとえば「マイナス×マイナス=プラスにすると、グラフが直線になる」
は比較的いい説明だと思うが(でも中学生にはあまり受けなかったな)、
これもよく考えてみれば、正のみの場合が直線なのも分配法則が成り立ってるからであって、
結局分配法則の延長に過ぎん。
正の有理数で起きる現実が既に分配法則で規定されている事実を考慮せんといかんだろ。
この辺言い出すと鶏が先か卵が先かって話になってしまうが、
「みんなが馴染んでいる正の有理数と同じ現象が負でも成り立ってますよ」で悪いか?
006968
2006/02/27(月) 00:02:590070132人目の素数さん
2006/02/27(月) 00:08:25数学が体や環なんかのモデルを前提にしてるから。
モデルのもとになったのは現実だろうが、数学で論理展開するのはそれを抽象化したモデル上だろ。
0071132人目の素数さん
2006/02/27(月) 00:14:54答えが違ってきそうだな…
0072132人目の素数さん
2006/02/27(月) 00:16:59だから1+1=2になったんだろ?
1+1=2と決めた後にそうなったのならそれもまた面白いけど。
上に1Mという概念に上に1Mという概念を合成すると
上に2Mになる。これも1+1=2だろ?
それを9回繰り返すのが
1+(1X9)=10
下に1Mという概念があるときに「-」の概念が必要になり、それでうだうだして「- x - = +」だという事。
それが現実だという事。
0073132人目の素数さん
2006/02/27(月) 00:18:08それを違うというのか。
おれにはその考えは不思議に見えるなぁ。
0074132人目の素数さん
2006/02/27(月) 00:26:57小中高・文系社会人には「借金が少なくなったら儲けでしょ?」
大学生以上対象では、単位的環の定義を説明して「単位的環上で(-1)*(-1)+(-1)=(-1)*(-1)+(-1)*(+1)=(-1)*{(-1)+(+1)}=(-1)*0=0」
でいいんでない?
0075132人目の素数さん
2006/02/27(月) 08:05:54分配法則から導き出される定理なのか、
いったいどっちなんですか?!
0077132人目の素数さん
2006/02/27(月) 17:34:57例が悪すぎる。中国では「借金」とかを利用して、この計算やってたんだろ?
「借金」を「返す」とかは分かりやすくて良いな。
>「みんなが馴染んでいる正の有理数と同じ現象が負でも成り立ってますよ」で悪いか
取って付けた感じがするから「悪い」。
結局、負の演算を試行錯誤で現実に定義したトコロ、偶然分配則が成り立っていたって
コトだろ。
>>70
その通りだな。ただ、あまりに元のモデルになった「現実」がないがしろになって
いるような気がしてね>数学
>>75
分配則は後付けだが、数学的にやるなら出発点は分配則だろうな。分配則を認めるだけ
であまりに多くの事実が言える。スマートだ。定義が極めて簡単だ…。
だが、最初にあったのはあくまで「現実」
0078132人目の素数さん
2006/02/27(月) 20:55:45本当は「マイナス掛けるマイナス」をどう決めようと構わない。
問題は、その様な数学が何かの役に立ったり、それ自身が美しかったり、他の方面への広がりを見せたりするか否かで、値打ちが決まる。
それが数学でいう約束、即ち定義の正体なのである。
この場合には、結果を「プラス」と決めるのが「美しい」のである。
これを読む限りでは定義のようですが。。。
0079GiantLeaves ◆6fN.Sojv5w
2006/02/27(月) 20:58:140080132人目の素数さん
2006/02/27(月) 21:46:29代数の本とその人が書いた文章
どちらが信憑性が高いかはわかると思うが。
0081132人目の素数さん
2006/02/27(月) 21:46:36ん?現実を観察してたらなし崩し的にそっちの方向に向かって行くしか無かった…って表現でもOK?
0082132人目の素数さん
2006/02/27(月) 21:51:490083132人目の素数さん
2006/02/27(月) 22:13:54定義って人為的に作ったものだろ
0084GiantLeaves ◆6fN.Sojv5w
2006/02/28(火) 08:33:060085132人目の素数さん
2006/02/28(火) 15:45:05・Gが加法についてアーベル群
・乗法に関して任意のGの元 a, b, c が結合法則を満足する。
・Gが乗法単位元1を持つ
・(-1)・(-1)=1
上記から右分配則、左分配則が導けるのか?積と和を結びつける式がないから無理だと思うんだが。
0086GiantLeaves ◆6fN.Sojv5w
2006/02/28(火) 15:53:070087132人目の素数さん
2006/03/01(水) 00:00:18あれを定理だという人はいないだろう。
「行列という概念を導入した段階」では「行列の積」というものは「存在しない」。
行列の積を「定義」して初めてそういうものが存在し得るというわけだ。
では実数においていくつかの公理(分配法則など)を設定した段階で、
「数のマイナス×マイナスという概念」は「存在」しているのだろうか?
存在していないのであれば「定義」するしかないのではないだろうか?
0088 ◆FXTk5l1l1s
2006/03/01(水) 01:13:242*1=2
2*0=0
2*(-1)=-2
2*(-2)=-4
:
:
:
∴正*負=負
(-2)*2=-4
(-2)*1=-2
(-2)*0=0
(-2)*(-1)=2
:
:
:
∴負*負=正
これじゃだめ!?
0089132人目の素数さん
2006/03/01(水) 01:17:32今、西に毎秒10mで動いている人が、5秒前にはどこにいたか?
→ 東に50m
→ (-10) × (-5) = + 50
これでよくね?
0090132人目の素数さん
2006/03/01(水) 01:24:57とりあえず数学者に真面目に答えてもらったら
「分配法則を成り立たせるため」
ってのが一番多いと予想。
これがなかったら乗法と加法の繋がりがなくなっちゃうもんね。
0091132人目の素数さん
2006/03/01(水) 06:37:47「普通の式」と「定義式」の2種類だ。
普通の式の場合、例えばピタゴラスの定理を見てみると
a^2+b^2=c^2
この式は
右辺は既知の値。
左辺も既知の値。
定義式の場合、例えば導関数の定義式を見てみると
f ’ (x)=lim(h→0)f(x+h)-f(x)/h
この式は
右辺は既知の値。
左辺は「未知」のもの。
では
(-1)×(-1)=1
この式をよーく見ると
右辺は既知の値。
左辺は「未知」のものではないだろうか?
つまりこの式は定義式なのではないのだろうか?
つまり定理ではないのではないだろうか?
定理というのは「既知のものと既知のものをイコールで結んだ式」であり
定義というのは「未知のものと既知のものをイコールで結んだ式」でしょ?
(だって未知のものを既知のもので説明(定義)するんだから当たり前でしょ)
「実数の公理を設定しただけの初期の段階」ではマイナス×マイナスというものは未知のものでしょ?
0092132人目の素数さん
2006/03/01(水) 10:00:40定義には
「 :=」という記号を使うこともあるし
0093132人目の素数さん
2006/03/01(水) 11:44:57ベクトルでカンガルー
0094132人目の素数さん
2006/03/01(水) 19:55:45なかなか面白いですね。うーん。その通りだなあ。
0095132人目の素数さん
2006/03/01(水) 20:36:49あながち間違いとも言えないけど(特に行列はね)、
Rを連続の公理を満たす順序体として定義する立場(杉浦とか)だと、
マイナス×マイナスは定理として導かれます。
0096132人目の素数さん
2006/03/01(水) 21:08:030097132人目の素数さん
2006/03/02(木) 06:39:15>定理というのは「既知のものと既知のものをイコールで結んだ式」であり
>定義というのは「未知のものと既知のものをイコールで結んだ式」
これって本当なんですか?
0098132人目の素数さん
2006/03/02(木) 06:54:240099132人目の素数さん
2006/03/02(木) 06:55:15式で表されるもののうち。。
0100100
2006/03/02(木) 07:28:410101132人目の素数さん
2006/03/02(木) 11:25:480102ヨッシー
2006/03/02(木) 21:15:201X-1=-1∵1が-1個ある∴マイナスは数字の正負をひっくり返す
∴-1X-1=+1
0103少し解りにくい
2006/03/02(木) 21:17:270104132人目の素数さん
2006/03/02(木) 21:33:220105132人目の素数さん
2006/03/02(木) 23:53:03根本にあるのに、数学の教科書とかがそれを直視せず、なにやら理屈をこねくっているからこん
な問題がいつまでもいつまでもぐだぐだ続く気がするんだが…。
その現実とは別に、フツーの教科書では演繹的に記述がしたいからあーゆー形式になって
いるわけで…。そこいらへんのかねあいをキチンと記述している教科書ないんかいな。
0106132人目の素数さん
2006/03/03(金) 01:59:33その考え好き。
0107132人目の素数さん
2006/03/03(金) 07:14:27これを分配法則を使って展開すると
(-1)(-1)=1となります。
そこで、これは定理だと主張している方に聞きたいのですが
「実数の公理を設定した初期の段階」で「負×負の存在」を予定していますか?
もしそういうものの存在は予定していないのであれば
(-1)(-1)=1の
右辺は既知の値
左辺は未知のもの
ということになりますよね?
左辺は(-1)(-1)という得体の知れないものです。
どうしてこれが定理になるのでしょうか?
今まで習った定理を思い出してください。
定理というのは右辺も左辺も既知のものをイコールで結んだものです。
右辺が既知のもので左辺が未知のものの場合、それは定義式です。
(-1)(-1)という得体の知れないものが出てきた段階でいったん、計算を止めなければなりません。
計算を止めて、(-1)(-1)=1と定義して、また計算を再開すべきものなのです。
0108132人目の素数さん
2006/03/03(金) 21:12:35(-1)(-1)=1
が出てきた時点でそれが否定できないかを考える方が先じゃないのか。
0109132人目の素数さん
2006/03/03(金) 22:38:01そうですね。では否定できないかを考えてみます。
(-1)(-1)という得体の知れないものがもし1億だったらと仮に考えてみます。
(-1)(-1)=1億=1
となってしまい、分配法則が成り立たなくなってしまいます。
それならそれで別にいいんですけど、
やっぱり分配法則は成り立たせたい。
だから分配法則を成り立たせるために
(-1)(-1)=1
としたほうが美しいだろうということですね
0110132人目の素数さん
2006/03/04(土) 00:37:090111132人目の素数さん
2006/03/04(土) 00:53:48両辺+1して、
0=1*(-1)+1
両辺-1倍すると、
0=(-1)*(-1)-1
すなわち
1=(-1)*(-1)
0112132人目の素数さん
2006/03/04(土) 01:08:31その説明だと
正の数*負の数=負の数
が定理なり定義で確立されてないといけないな
0113132人目の素数さん
2006/03/04(土) 01:16:261*(-1)=ー1は一般に自明ととるだろうから、説明する術としては1番まともなのでは
0114132人目の素数さん
2006/03/04(土) 02:21:20元々は現実観測。
0115132人目の素数さん
2006/03/04(土) 05:33:13114の意見が至極まとも、
もし分配法則を利用して定義した-1X-1が現実に即していなかったら、
分配法則は廃止されるか改変されただろう、
優先順位としては現実観測が最上の物、
数学馬鹿は無垢な小学生にでも生意気な中学生にでも同じように数式でやり込めるから
基地外だと思われる、かなしかな実際基地外なのは教える方。
0116132人目の素数さん
2006/03/04(土) 23:16:39>定理というのは「既知のものと既知のものをイコールで結んだ式」であり
>定義というのは「未知のものと既知のものをイコールで結んだ式」
これを根拠にマイナス同士の積がプラスなのは定義だという説明は
初めて見ました。でも言われてみるとそうですね。
0117132人目の素数さん
2006/03/05(日) 00:34:28x軸とy軸上の点が点A(−1,0)B(0、−1)
点Aからx軸に垂直な線と点Bからy軸に垂直な線を書くと1辺が1の正方形ができる
正方形の面積を求める式は1辺×1辺なので
1×1=1
しかし、この1辺は実は−1なので
−1×(−1)=1
とあらわすことができ、これを定義とする。
高1の数学力じゃこんなんが限界ですorz
0118132人目の素数さん
2006/03/05(日) 00:38:25それは数学力じゃなくて
計算力じゃないの?
数学は算術じゃないよ?
計算なんか便宜上やるもんなんだよ。
やらなくていいならやらない。
それが一番良い事。
0119132人目の素数さん
2006/03/05(日) 00:44:34突っ込みどころまちがってね?
0120132人目の素数さん
2006/03/05(日) 00:47:48だめかな?
0121132人目の素数さん
2006/03/05(日) 01:03:16まじめに>>117読んでみた。
辺が-1ってなんだ?
じゃ
y≧0 , X≦0の領域での四角形を考えてみろよ。
(-1)x(1)=1
とかになるのか?
ってことでいいのかい?>>119
そうそう突っ込みどころが大いに間違ってる。
そもそもx軸上の点からx軸に垂直な線を引かせるところも微妙。
(-1,-1)から引かせるのが普通。
そしたら1x1=1になって悶絶
んなかんじでいい?
0122132人目の素数さん
2006/03/05(日) 15:28:470123132人目の素数さん
2006/03/05(日) 16:14:12>辺が-1ってなんだ?
0124132人目の素数さん
2006/03/05(日) 16:16:50阿呆だ
0125132人目の素数さん
2006/03/26(日) 15:31:040126132人目の素数さん
2006/03/28(火) 22:02:18足し算が可換則を満たさなくても
分配則を使って
(逆元)*(逆元)=(元)*(元)
になる演算を定義できるだろう?
0127132人目の素数さん
2006/04/05(水) 22:08:000128132人目の素数さん
2006/04/06(木) 05:08:52虚数の情緒という本からの引用ですよね?
その本を本屋に買いに行ったのですが、立ち読みして買うの辞めました。
分厚すぎるので戦意喪失しました。
0129132人目の素数さん
2006/04/06(木) 09:31:48買ってまで読む本じゃないよ。
0130132人目の素数さん
2006/04/08(土) 03:58:14これももしかして定義でしょうか?
だとするなら、数学の正体がだんだんと見えてきました。
行列の積も何であんな計算するのかなぁと思っていたらあれは定義だし、
負×負もなんでプラスになるのかと思ってたら定義だし。
数学の正体がだんだん見えてきました。
0131132人目の素数さん
2006/04/08(土) 06:34:070132132人目の素数さん
2006/04/08(土) 06:44:31炉とエンコー物upしたぞ。すぐ消すぞ
http://www.freepe.com/ii.cgi?school21
0133132人目の素数さん
2006/04/08(土) 07:49:37>そこで、これは定理だと主張している方に聞きたいのですが
>「実数の公理を設定した初期の段階」で「負×負の存在」を予定していますか?
>もしそういうものの存在は予定していないのであれば
「実数の公理」を設定するとき、すべての実数に対して「和」や「積」の演算が
定義されていることを前提とする(でなければ、分配法則とかが、すべての実数
を対象にした公理ではなくなってしまう)。
つまり、分配法則などは文字式で表現するが、その文字が負の数であってもよいこ
とは「実数の公理」を設定する立場では前提されている。(でなければ「すべての実
数」に対して何かを仮定したことにならない!)
ただし、その値(たとえば(-1)×(-1))がいくらになるか(どんな他の実数に一致
するか)はとくに仮定(定義)しない。(する必要がない)
なぜなら、一連の仮定(分配法則などの公理)から、(-1)×(-1)が1に等しくなるこ
とが導かれるから。(つまり「定理」として導けるから。)
したがって、>>95のように言える。
だから、(>>109のように)(-1)×(-1)の値を「勝手に定義」すると矛盾が出る。
0134132人目の素数さん
2006/04/08(土) 13:56:50いいところに気づきましたね。
そうです。
例えば
0!=1も定義です。
nPo=1も定義です。
nCo=1も定義です。
a^0=1も定義です。
ゼロで割ってはいけないのも定義です。
なんでそうなるの?と疑問に思ったら、まずは「定義なのでは?」と疑ってみてください。
大抵の場合、定義ですから。
0135132人目の素数さん
2006/04/08(土) 14:31:030^0
0136132人目の素数さん
2006/04/08(土) 18:00:16じゃあ、なんでそのような定義(群)が一般的なんだろう??
0137132人目の素数さん
2006/04/08(土) 18:12:53安全が安全は安全。
安全が危険は危険。
危険が安全は安全。
危険が危険は安全。
で、説明がつく、って昔誰かに言われたけど、
これは比喩として正しいの?
0138132人目の素数さん
2006/04/08(土) 18:25:15(-1)×(-1)だから
1ではない×1ではない
=1×1×ではない×ではない
=1である。
0139132人目の素数さん
2006/04/08(土) 18:30:37論理式とかいうやつですか?
上手い解説をありがとうございました。
0140Geek ◆8MQVxjnUkg
2006/04/08(土) 18:38:53「危険が安全は安全」って・・・
まぁ、どっちにしろ納得しにくいからその比喩はどうかと・・
-1を「反対向く」にして+1を「そのまま」にしたらいいんじゃない?
そのまま×そのまま=そのまま
そのまま×反対向く=反対向いている
反対向く×そのまま=反対向いている
反対向く×反対向く=そのままに戻っている
これなら分かりやすいかと。。
0141132人目の素数さん
2006/04/08(土) 18:51:26そう定義したほうが美しいからです。
それがいやならほかの定義の仕方で数学を構築してもかまいません。
あなたの自由です。
それが数学です。
0142138
2006/04/08(土) 20:22:54偏差値40の高ニですが参考にしてもらえて光栄です。
0143132人目の素数さん
2006/04/08(土) 20:49:52参考までに、一松信「微分積分学第四課」p.7より(長いので適当に中略した)
----------------
かつて某大学教授が,数学教員志望の学生達に対する試験問題の1つとして,「なぜ
複素数に順序が入らないのか?」という問題を出したが, 期待した解答がなかった
という話を聞いたことがある. 大半の答案は虚数は幽霊であって, それにはもとも
と足(順序)がない(考えてもむだ)といった発想の説明であった. 最もまともな
答は, 「昔から考えないことになっている」という記述だった. しかしこれでは,
数学理論上の必然的な制約というよりも, 単なる習慣かタブーのような理解である.
単なる形式的な順序関係を複素数に導入することは【可能】である. しかしそれ
を数学的に意味のある(あるいは役に立つ)ものにしようとして, さらにいくつか
の条件を課すと, たちまち矛盾を生じて導入が不可能になる.
その意味を以下に述べる.
(以下2ページ分の要約: 単なる全順序なら辞書式順序を入れれば実現できる. し
かしそれは, 演算に関する整合性(加法性,乗法性)をもたない. また, 複素数全
体に推移律,整合性,加法性,乗法性をみたす半順序を導入することも【可能】である.
α,βについてImα=Imβのときのみ比較可能とし, Reα≦Reβのときα≦βと定義すれば
よい. しかしこれは完全に実数の順序の焼き直しであって, 複素数特有の順序とは
いい難い. そしてもしも虚数部が違う2つの複素数で比較可能な組を許すと, たちま
ち矛盾を生じる.)
いずれにせよ実数に対する整合性と乗法に関する条件を仮定し, 虚数部の違う2つ
の複素数に比較可能な組があるとすると矛盾を生じる. 以上が「形式的な順序は導入
できるが, 数学的に意味のある順序は矛盾を生じる」といった主張の意味である.
「数学は自由」であるが, 「自由は放縦」ではない. きわめて主観的な判断だが
「役に立たない形式的な概念」は空虚な一般論(abstract nonsense)であり,
「虚学」的な数学でも, それなりの価値観に基づく選択が基礎にあるものである.
0144132人目の素数さん
2006/04/08(土) 21:07:090145132人目の素数さん
2006/04/08(土) 21:09:54ら
ー
は
二
行
以
上
あ
っ
た
ら
ス
ル
ー
で
す
0146GiantLeaves ◆6fN.Sojv5w
2006/04/08(土) 21:13:150147132人目の素数さん
2006/04/08(土) 22:07:41位置=速度×経過時間を使えば、
「-1 × -1 = 1」が見えてくる。
後ろ向きに歩いてる人が数秒前にいた所は、
正の世界だったということさ。
014887
2006/04/09(日) 00:11:39そうですかねぇ。
では行列の公理を設定したとき「行列の積」は存在しているんでしょうか?
存在してないから「定義」して存在させたんだと思うのですが。
あんな縦と横を掛けて足すなんて人為的な計算方法は絶対に定義ですよ。
本にも定義と書いてありますし。
>>133さんの論理でいくと行列の積も定理ということになりませんか?
014987
2006/04/09(日) 00:23:53すみません。この部分は消してください。
0150132人目の素数さん
2006/04/09(日) 01:29:04皆が使っている以上、美しさの他に何か積極的な理由があったはずだ。
それは何だろう?
0151132人目の素数さん
2006/04/09(日) 18:22:55乗法性
a≦b かつ 0≦c ならば ac≦bc
0152132人目の素数さん
2006/04/09(日) 18:25:11>では行列の公理を設定したとき「行列の積」は存在しているんでしょうか?
行列は実数や複素数を用いて定義し、その和や積も実数の和や積を用いて定義する
ので、実数のように「公理で設定」するわけではない。一緒にするのが間違い。
0153132人目の素数さん
2006/04/09(日) 23:14:430=1-1
0=1+(-1)
-(-1)=1
(-1)(-1)=1 □
0154132人目の素数さん
2006/04/10(月) 07:18:24(-1)(-1)=1 □
この展開に無理があるかと・・・
0155132人目の素数さん
2006/04/11(火) 22:07:440156132人目の素数さん
2006/04/13(木) 00:33:34でも虚数の情緒という本を読みましたけど
定義って書いてありましたよ?
>>136
虚数の情緒に書いてあったのは、僕の記憶では
+*+=+
+*−=−
−*+=−
と来れば、
−*−=+と決める方が、右辺が、+が2個、−も2個でバランスがいいから、美しいから、
みたいなことが書いてあったような気がします。
0157132人目の素数さん
2006/04/13(木) 04:04:39ふふふふふふふふふふふふふふふふふふふふふふふふふふ(´∀` )
ふふふふふふふふふふふふふふふふふふふふふふふふふふ( )
ふふふふふふふふふふふふふふふふふふふふふふふふふふ | | |
ふふふふふふふふふふふふふふふふふふふふふふふふふふ(__(___)
ふふふふふふふふふふふふふふふふふふふふふふふふふふ
ふふふふふふふふふふふふふふふふふふふふふふふふふふ
0158132人目の素数さん
2006/04/13(木) 08:25:06それ数学書?
0159132人目の素数さん
2006/04/16(日) 01:03:100160132人目の素数さん
2006/05/10(水) 02:19:26(⇒の証明、略記)
1=0.999…より、x+x^2+x^3…=x/1-xを認め、…9999=-1
よって、(-1)(-1)=(…9999)(…9999)
=…99991+…999910+…9999100+…
=…00001
=1
(←の証明、略記)
逆に見ていけばよい
0161132人目の素数さん
2006/05/13(土) 22:17:460162132人目の素数さん
2006/05/17(水) 17:22:32=(−1)×(−1)−1+1
=(−1)×(−1)+(−1)+1
=(−1){(−1)+1}++1
=(−1)×0+1
=1
でいいじゃん。
0163132人目の素数さん
2006/05/17(水) 17:42:560164132人目の素数さん
2006/05/17(水) 17:44:330165132人目の素数さん
2006/05/17(水) 18:41:26式 4(2+3) において,括弧の中を先に計算すると,
4 * 5 = 20
となり,また結合則を使って2と3にそれぞれ4を掛けると,
8 + 12 = 20
となる。ここで式 -4(-2 + 3) を考え、上と同様に展開すると、
-4(-2)-12 ・・・�@
-4 * 1 = 1 ・・・�A
の2式を得られるが結合則によりこの2式は等しいので、
-1 * (-1) = 1 となる。
0166132人目の素数さん
2006/05/21(日) 02:24:350167132人目の素数さん
2006/05/21(日) 03:35:34By医学科
0168132人目の素数さん
2006/05/21(日) 06:36:250169132人目の素数さん
2006/05/21(日) 07:26:27「3.14」から「約3」と少しずつ簡略化されてきた円周率が、
来年より「約0」になることが決定された。その理由に対し教
育委員会代表の緒方屑男氏(63歳)は、「たまたま1の位で四
捨五入してみたら0になった。計算も楽だし、この方がベスト
」と述べた。これによりすべての円の面積が「約0」になり、
小学生の勉強が格段に楽になる。
これに対し反対派の代表である松島犬蔵教諭(49歳)は「明
らかに間違っている。うちの家内の乳輪の面積は、依然として
大きい」と反論。両者の議論は当分平行線をたどりそうだ。
0170132人目の素数さん
2006/05/21(日) 14:52:41それは、書いた人が一般の人向けに書いたんじゃないの?
数学的には、(−1)(−1)=1 は、紛れもなく「定理」。
しかも、実数だけでなく、一般の体に対して成立するよ。
>>156 >>163
これは、「約束」。(定義と言うほどのものでもないから、こう呼んでみた。)
a+(−b) は a−b と記し、aとbとの「差」と言う。
またab^(−1) は a/b , a÷bなどと記し、aのbによる「商」と言う。
これらは全部、便宜上の決まりごと。
「解析入門1」(杉浦)のはじめの2ページを読んでみれば?
0171132人目の素数さん
2006/05/21(日) 15:03:31加法に対してアーベル群,乗法に関してモノイドであり、
乗法が加法に対して分配的である集合(体)の上での乗法だからである。
分配則が成り立つ場合、誰かが前レスで指摘していたとおりだ。
0172132人目の素数さん
2006/05/21(日) 17:53:12んなもん後付けだよ。体とか持ち出さなくても、とりあえず分配則が成り立てばOK。
現実の現象に正負の数をあてはめ観測して、その観測結果をもとに法則を作っているだけ。
現実の現象がもしも違ったものだったら、違った法則が作られていただろう。
それだけだ。
要するに、「負の数×負の数=正の数」は計算結果がそうなるように諸法則を定義した結果
そうなっているわけだ。この意味で「定義である」としてもいいな。
0173132人目の素数さん
2006/05/21(日) 17:57:49「解析入門1」みたいな本を読んでも、天下り的に規則を定義(約束?)して、それを元に
理論を構築しているだけだろ。今の日本の数学書はさ。
じゃ、なぜそう定義(約束)するのかとか、そう定義する意義とか哲学的なコトは一切無視。
ユークリッド以来の伝統なのかも知れないが、教育的でなく一種の自慰みたいになっていて
教育的には有害なんじゃないのか?
0174132人目の素数さん
2006/05/21(日) 19:44:20宇宙を記述する物理学と言えども、「なぜ?」を突き詰めていくと
「だって、世界はこうなんだもん」と言わざるを得ない壁にぶちあたる。
数学の場合、物理における自然法則すら捨象しているから、
最初っからその壁にぶちあたっていてもおかしくなくね?
「負×負=正」だって後でド・モルガンとか出てきたりして、
「あー、何だかやっぱり整合性あるのねぇ」って何か納得してみたりとかなかった?
ねーなら氏ね。
0175132人目の素数さん
2006/05/21(日) 20:31:29そんな整合性があるなーって経験たしかに俺にもあるよ。だが、それを一般化できるかって証明も
できるわけもなく…。やはり基本の基本は現実観察だろ。
ところで、行列で乗法の交換則が破れた時は君はどう感じたんだ?
0176code ◆8U./Lb8Pi6
2006/05/22(月) 09:55:52「おー、超凄ェ!!どーなっちまうんだァァッ!!」って単純に感動しましたが、何か?僕 数オタです。
0177132人目の素数さん
2006/05/22(月) 11:31:400178132人目の素数さん
2006/05/22(月) 19:11:02根拠は?
0179132人目の素数さん
2006/05/24(水) 21:32:14wikiからの引用ではあるのだが
整数同士の乗法は、負の整数を掛けるという事を以下のように定める:
整数 m と自然数 n に対して
m × (-n) := (-m) × n
すなわち、「負の整数 -n を掛ける」ということを、
「対応する正の整数 n の数だけ符号を反転した整数(ここでは −m)を加える」
という演算として定義する。
これを利用して
-m × (-n) := (m) × n
負の整数-nを掛けるということを対応する正の整数nの数だけ符号を
反転させた整数mを加える。
言葉とかでは既にこれに似たのが出てたり、他の方法による>>20とか。
まー、暇だったんでこんなこと考えてみました。
大学受験の身で数学とか素人なんでコレ間違ってるよ!とか言う場合は
指摘などお願いしたいかも。
自分でも書いておいて納得できるようで納得できない理論なんでorz
0180132人目の素数さん
2006/05/26(金) 22:48:42「皆さーん1+1=2ですよー。」
「先生、でも粘土はー1つになるよー。」
「重さが2になるでしょ。」
「え、でも、数の問題だよね。そもそもさ、具体的になにを求めるかを曖昧にしてさ
概念的な数をいたずらにこねくり回してるから負の整数なんて物を掛けるなんて事をしt(ry」
0181132人目の素数さん
2006/05/27(土) 08:18:440182132人目の素数さん
2006/05/27(土) 08:22:34だからさー。「そうなるコトにしたから」ってのは当然として、じゃなぜ「負の数×負の数=
正の数」となるように「そうなるコトにする」のかというと…それが現実観察だと言うことだろ。
0183β ◆aelgVCJ1hU
2006/05/27(土) 08:44:30-1+(-1)*(-1)=0
-1*(-1)=1
何か文句ある?
0184132人目の素数さん
2006/05/27(土) 08:55:270185132人目の素数さん
2006/05/27(土) 10:30:44文句か?あるよ。
>>20>>21>>74>>107>>111>>162を読んだ上で、「激しくガイシュツ」という
言葉の意味をググって調べてから出直せ!
0186132人目の素数さん
2006/05/27(土) 12:22:050187132人目の素数さん
2006/05/27(土) 12:32:37定義不明だが、仮に(-a,-b)と原点を結ぶ線分をを
対角線とする正方形という意味であれば、同様に
して(-a,b)を考えれば-a*bも正になるな。
0188β ◆aelgVCJ1hU
2006/05/27(土) 15:37:44絶対嫌!
0189132人目の素数さん
2006/05/28(日) 07:16:430190132人目の素数さん
2006/06/02(金) 11:15:32「足し算は、併せていくつなのかを考えます」
「引き算は、比べてどのくらいの違いがあるのかを考えます」
「掛け算は、同じものが何個かある時、足し算より速く計算するために使います」
「割り算は、あるものをみんなで分けたときに、一人何個ずつになるかを考えます」
で、まず負の数の足し算
A君はB君から100円、C君から200円借りています。A君は人から300円借りていることになります。
持っていることを、普通の金額で考えるなら、借りているのはどう表せばいいんでしょう?
借りているという記号として"−"を使うことにします。
でA君−300円
0191132人目の素数さん
2006/06/02(金) 11:26:52(−100)+(−200)=−300
次に負の数の引き算
A君はB君から100円借りているのですが、C君には200円借りています。
B君から借りている金額とC君から借りている金額を比べると100円の差があります。
つまり、B君からはC君より100円少なく借りている
(−200)−(−100)=−100
C君からはB君より100円多く借りている
(−100)−(−200)=100
0192132人目の素数さん
2006/06/02(金) 11:41:18ちょっと用事ができたので、続く
0193132人目の素数さん
2006/06/02(金) 14:41:01180ではないが.....「そうなっているから」(≠慣習,
分配法則を成り立たせようとしたらそうなっていたから)という理解でおk?
0194132人目の素数さん
2006/06/02(金) 15:04:09ここで「少ない」ということを"-"を使って表しましたが、
持っていることを何も書かずに、借りていることを"-"を使って表すように
普段の状態と違うときにしばしば、"-"を使って表すことがあります。
「多い」に対して「少ない」とき
「増える」に対して「減る」ときなどが"-"を使って表されます。
さて、ここで借金王K君が現れます。
K君はある日L君から300円借りました。
次の日、今度はM君から300円借りました。
また次の日、今度はN君から300円借りました。
そしてその次の日、さらにO君からも300円借りました。
「ある日」(−300)×1=−300
1人から300円借りたので−300円
「次の日」(−300)+(−300)=(−300)×2=−600
2人から300円借りたので−600円
「また次の日」(−300)+(−300)+(−300)=(−300)×3=−900
3人から300円借りたので−900円
「その次の日」(−300)+(−300)+(−300)+(−300)=(−300)×4=−1200
4人から300円借りたので−1200円
これが負の数の掛け算
0195132人目の素数さん
2006/06/02(金) 15:24:10「ある日」と「次の日」では
(−300)−(−600)
={(−300)×1}−{(−300)×2}
=(−300)−{(−300)+(−300)}
=300
となり「ある日」のほうが300円多いということになります。
これは2つ目の式が表しているように、
1人から借りているから−300円 (−300)×1
「ある日」より1人多いから−600円 (−300)+{(−300)×1}
これを「次の日」を基準に見ると
2人から借りているので−600円 (−300)×2
「ある日」より1人少ないので−300円 {(−300)×2}+{(−300)×(2−1)}
ちょっとややこしくなってきましたが
「ある日」は「次の日」より300円借りている(−300)人が1人少ないから(−1)
「ある日」のほうが「次の日」のほうが300円多いと言うことになります。
式で整理すると
300円を4人から借りると
(−300)×4=−1200
300円を−1人から借りると
(−300)×(−1)=300
という、おもしろい式ができあがるのです。
これらを、図を使いながらゆっくり説明すると理解してくれることが多い。
0196132入目の素数さん
2006/06/02(金) 18:53:49乗法・ に関しても、結合則,分配則,単位元,逆元が定められていれば、
負の数・負の数=正の数
だお。
0197132人目の素数さん
2006/06/02(金) 21:24:37それは、例えば行列についても成り立つような条件ですか?
0198132人目の素数さん
2006/06/02(金) 22:14:28「誰」が成り立たせようとしたんだよw
0199132人目の素数さん
2006/06/02(金) 23:46:40じゃあダメぽ?
0200132人目の素数さん
2006/06/03(土) 02:42:09(⇒の証明、略記)
1=0.999…より、x+x^2+x^3…=x/1-xを認め、…9999=-1
よって、(-1)(-1)=(…9999)(…9999)
=…99991+…999910+…9999100+…
=…00001
=1
(←の証明、略記)
逆に見ていけばよい
0201132人目の素数さん
2006/06/03(土) 03:04:50地上100mとは空に向かって100mで、地上マイナス100mは地下に向かって100mてな感じだわなウム。
マイナスN(反対方向にN)xマイナスM(その向きをまた反対にしてM倍)=正面に向かってNxMだなウンウン。
つまり>>199てことだな。分数のかけ算とかより直感的に分かるんじゃね。
0202132从且の素数さん
2006/06/03(土) 08:23:29乗法 ・ に関しても、結合則,分配則,単位元,逆元が定められていれば、
負の数 ・負の数=正の数
と示せる冫だお。何故かは自分で導いて衤。
辶疒癶艸龜氵犭灬
0203132∧目の素数さん
2006/06/03(土) 09:20:26│ ω
\ 艸
0204132人目の素数さん
2006/06/03(土) 23:51:01│ ω
\ 艸
 ̄
0205132人目の素数さん
2006/06/16(金) 01:38:030206132人目の素数さん
2006/06/17(土) 05:09:53「無意味なスレ立て厳禁」
って読めませんか?
そういうくだらない話は質問スレでやってください
終 了
そして>>1はすぐ死ね
0207132人目の素数さん
2006/06/17(土) 19:03:440208132人目の素数さん
2006/06/17(土) 20:59:42負の数の乗法の原理を知りたくて初めて数学板にきたんだが
「*」←このアナルマークて何?
0209132人目の素数さん
2006/06/17(土) 23:53:35昔のキーボード、そもそもASCIIコードには「×」の記号がなかったから、仕方なく
「*」を乗法の演算記号に使ったんだよ。
0210132人目の素数さん
2006/06/18(日) 06:44:25プログラミングやってる人は×でなく*使う
0211132人目の素数さん
2006/07/05(水) 19:39:110212KingOfUniverse ◆667la1PjK2
2006/07/06(木) 11:37:070213132人目の素数さん
2006/07/06(木) 14:38:54ば時間は不変で空間は歪まない。なぜ原子は同じく振動して同じ時を刻むのか。
それは神の胎動に基づくからである。物質の粒子・反発力は物体の性質であり、
物質の波動・引力は霊体の性質なのである。
科学はフリーメーソンが神を否定するために考え出した妄説(大嘘)
最初に狂牛病になった牛は病原体プリオンとはまったく関係がない。狂牛病は、
牛をと殺して食い物にし、そのうえ、草食動物の牛に牛の死体を共食いさせた事が
原因で発生した病気です。なぜ、同種の共食いで狂牛病になるのか、科学で解明で
きますか。
鶏は約3ヶ月、豚は半年、牛は1年。皆さんこれは何の年か分かりますか。人間
の食に給するためのこれらの生物の寿命です。これらの生物がと殺される時に、い
くら泣き叫んでも無駄です。人間の力には勝てません。すべての生物が人間の横暴
によって、地獄の苦しみにあえいでいるのです。神がこの世に存在するのなら、神
はけっしてこの状況を見過ごす筈がありません。抗がん剤が効かないがん、狂牛病、
薬の効かないエイズやインフルエンザの出現、地震などの天変地異が頻発するのは、
神の裁きが近い事の現れであり、神は警告から実行の段階に入ってきているのです。
ボウフラは蚊の卵からかえるのではなくて、汚水からわくのです。梅雨時、玄米
に蛾の幼虫がわくのは胚芽が虫に変化したのであり、蛾の産卵口は籾殻を貫通する
事が不可能です。がん細胞は穢れた血液(成分が豚や牛などの死体)が細胞に変化
する時に、殺された動物たちの怨念がそこに宿り、仇を討つために人間を取り殺そ
うとしてがん細胞として働くのです。戦争はこれらの怨霊が戦争指導者に憑依して
行わせるもので、弱肉強食の悪法を行っている限り戦争は永久に無くならない。
この世の森羅万象は神の意志(心)によって働いているのです。幽霊、超能力、
輪廻転生は真実であり、科学が嘘である事の証拠です。怪我した場合傷口が元通り
修復できるのは、神の修復命令に細胞が従うからであり、統制の取れた各細胞の連
携動作はどんな連絡方法によって可能となるのか。科学では説明出来ません。
0214132人目の素数さん
2006/07/06(木) 14:41:15私は若い頃から、教科書に書かれている事柄に疑問を持ち、色々悩んできました。
1たす1がどうして2になるのか。真剣に考え込みました。すると、数が不変な
物理的な事象でしか成り立たないことに気づきました。
1個のりんごの存在する状態の中にもう1個のりんごを加えた結果が、2個のり
んごになると言う事です。
掛け算の逆の演算が割り算になるということの証明は、2列に並んだサイコロの
3組の総数は6個であり、6個を3組に等分するすると2個になるということで証
明できます。数学とは物理的事象を記号化して、論理的に築き上げられた学問だと
分かりました。
しかし、負の数の概念が理解できないのです。1個のりんごにマイナス1個のり
んごを加えると0(ゼロ)となる。このマイナス1個のりんごとは何なのか。1個
のりんごの存在を消すマイナス1個のりんごは物理的に存在するのか。この世の物
理的現象では、物質は姿を変えることがあっても、決して存在が無くなる事は無い
のです(エネルギーに変わっても)。だから、負の数など存在しないのです。
アインシュタイン博士は、光の速度が観測者の運動とは関係なしに、たえず、一
定であるという仮説の基に、特殊相対性理論を打ち立てました。しかし、私は疑問
とせざるを得ない。光の速度が一定なら、光速度で運動している物質を光速度で逆
方向に運動している観測者が見れば、2倍の光速度になる筈です。そのようになら
ないのは、光が物質の動きに反応して速度を変えるから、観測すると一定の光速度
になるのです。ちょうど、物質が動こうとすれば、それに逆らって空間から慣性力
が働くように。フレミングの右手の法則も物質の動きに逆らうように電流が流れる。
まるで、意志を持っているかのように物質の動きに反応する。
怪我などで生体に傷が出来た時に、それが元どおりに修復出来るのはなぜなのか。
修復作業の命令を出しているものは何なのか。その命令がどのようにして各細胞に
伝わるのか。
この世の森羅万象は神の意志(心)によって動いているのです。超能力現象はこ
の原理によって人の意志でも発揮出来る事があるのです。
0215132人目の素数さん
2006/07/28(金) 16:47:320216132人目の素数さん
2006/08/01(火) 11:54:39=(−1)×(−1)+0×1
=(−1)×(−1)+{(−1)+1}×1
=(−1)×(−1)+(−1)×1+1×1
={(−1)×(−1)+(−1)+1}+1×1
=(−1)×{(−1)+1} +1×1
=(−1)×0 +1
=0+1
=1
0217132人目の素数さん
2006/08/01(火) 12:22:300218Geek ◆8MQVxjnUkg
2006/08/01(火) 13:10:32これの3ページ目以降を見るとマイナス×マイナス=プラスってのが
よく分かると思う。まぁ俺はここで使われている最初の定義が
現在の数学で用いられている公理と同値なのかということは知らないが、
少なくともこのスレに書かれているものと比べれば厳密な証明になっていると思う。
0219132人目の素数さん
2006/08/03(木) 12:52:510220132人目の素数さん
2006/08/04(金) 22:56:01代数構造での証明は、直ちに位相構造や順序構造の保持を意味しまつか?
「0で負の数と非負を切断可」とか、
「任意の a<=b で、-b<-a」とか。
説明が必要だと思われ。
0221132人目の素数さん
2006/08/15(火) 04:12:10このとき
定理のCを定義にしてしまうとする。
つまり
公理Aと定義Cとする。
そうするとそこから定理Bが導かれるのではないのだろうか?
つまり-×-=+というのは定義としてもいいし、定理として導いても良いのではないだろうか?
0222KingOfUniverse ◆667la1PjK2
2006/08/15(火) 06:55:250223132人目の素数さん
2006/08/15(火) 17:10:44何が間違っているのかを具体的に指摘していただけるとありがたいのですが。
0224132人目の素数さん
2006/08/15(火) 17:17:530225132人目の素数さん
2006/08/15(火) 17:46:200226132人目の素数さん
2006/08/15(火) 17:51:150227KingOfUniverse ◆667la1PjK2
2006/08/15(火) 21:07:550228132人目の素数さん
2006/08/15(火) 22:18:03定理の1つを定義にしてしまうとします。
すると、
今まで定義とされていたものが1つ、証明可能(定理)になるのではないのでしょうか?
と思ったのですがどうなんでしょうか?
違いますかね。
0229132人目の素数さん
2006/08/15(火) 22:20:200230132人目の素数さん
2006/08/15(火) 22:47:50かならずしもそうならないだろ。
0231132人目の素数さん
2006/08/15(火) 23:52:52では
定理と公理を出発点にするなら、定義がゴールになりませんか?
数学は必要十分条件で論理を進めていきます。
ですので、出発点からゴールまで論理を進めることが出来たのであれば
ゴールから出発点に論理を進めることもできるはずです。
何故なら必要十分条件なのですから。
この考えのどこがおかしいのでしょうか?
0232132人目の素数さん
2006/08/15(火) 23:59:40つまり定理1個と定義1個は入れ替え可能じゃないと思います。
しかし、
「定理複数個と定義1個を入れ替える」
ということは可能なんじゃないですかね?
どうでしょうか?
0233132人目の素数さん
2006/08/16(水) 00:02:09何故なら必要十分条件なのですから。
どうでしょうか?
0234132人目の素数さん
2006/08/16(水) 00:03:10たとえば、三辺の長さが等しい三角形を正三角形と定義すれば
正三角形の角は全て等しい、というのは定理になるし
角が全て等しい三角形を正三角形と定義すれば
正三角形の三辺は全て等しい、というのは定理になる。
0235132人目の素数さん
2006/08/16(水) 00:06:34たとえば、
定義1 AとBは等しい
定義2 AとCは等しい
から
定理 BとCは等しい
が導けるが、定理で定義を置き換えることはできませんな。
0236132人目の素数さん
2006/08/16(水) 00:07:56ということは、このスレで議論になっている、
「-×-=+ は定理なのか定義なのか」という問題は、
どっちも正解
ということになるのでしょうか?
0237132人目の素数さん
2006/08/16(水) 00:10:07形式的にはどっちも正解だろう。
まあそれでも
「どちらが定義としてふさわしいか」みたいなのはあるよね。
これは美学的な問題だと思うが。
0238132人目の素数さん
2006/08/16(水) 00:10:41>定義1 AとBは等しい
>定義2 AとCは等しい
>から
>定理 BとCは等しい
定義1 A=B
定義2 B=C
から
定理 A=C
が導けますよ?
0239132人目の素数さん
2006/08/16(水) 00:14:12その場合、A=BとB=Cを組み合わせると、A=Cが導き出されるけど
B=C単体とA=C単体は同値じゃないよね。
0240132人目の素数さん
2006/08/16(水) 00:19:50>234にあたればね。
0241132人目の素数さん
2006/08/16(水) 01:13:55定義n個と定理m個を入れ替えることができるような自然数n,mが必ず存在する」
という
数学の定理の証明に挑戦してみようとおもうのですが
とっかかりがわかりません。
ヒントかなにかありますでしょうか?
0242132人目の素数さん
2006/08/16(水) 02:13:52ある定理を定めたとき、それに対し必ず〜
みたいな格好じゃないと。
0243132人目の素数さん
2006/08/16(水) 13:35:24そうですか。
では
「ある定理と交換可能な定義が必ず存在する」
にします。
でもこれって当たり前のことのような気がします。
何故なら必要十分条件で論理を進めるのが数学だからです。
どうでしょうか?
0244132人目の素数さん
2006/08/16(水) 13:37:36公理と定理も交換可能になりうるような気がします。
公理と定義も交換可能になりうるような気もします。
間違ってますかね?
0245132人目の素数さん
2006/08/16(水) 13:54:230246132人目の素数さん
2006/08/16(水) 14:01:48そうでしたっけ?
今までやってきた勉強を思い出してみたのですが
すべて必要十分条件だった気がしますけど。。。
必要十分条件で導かれていない定理ってどんなものがありますでしょうか?
0247132人目の素数さん
2006/08/16(水) 14:22:430248132人目の素数さん
2006/08/16(水) 14:48:34うん。
0249132人目の素数さん
2006/08/16(水) 23:44:34その文章全体としては必要十分条件で導かれてますよね。
あなたが言っているのは
その文章を「ならば」の前後で分けたときの話ですよね。
二等辺三角形であることは正三角形であるための必要条件である、と。
しかしその「文章全体」としては必要十分条件で導かれてるじゃないですか。
0250132人目の素数さん
2006/08/17(木) 00:01:330251132人目の素数さん
2006/08/17(木) 00:38:380252132人目の素数さん
2006/08/17(木) 15:35:29必要十分条件で導かれていない定理を教えていただけないでしょうか?
0253132人目の素数さん
2006/08/17(木) 16:07:52ちゃんと「-1*-1=1」とか「∀正の数a,bに対して-a*-b=ab」とか書けや一部の奴ラめ
0254132人目の素数さん
2006/08/17(木) 16:41:59定義ロ:B→C
定理ハ:A→C
として
定義イ:A→B
定義ハ’:A→C
定理ロ’:B→C
は必ず言える?
0255132人目の素数さん
2006/08/17(木) 17:18:560256132人目の素数さん
2006/08/17(木) 22:36:22定義ロ:B→C
定理ハ:A→C
として
定義イ:A→C
定理ロ:A→B
定理ハ:B→C
は言えるでしょ。
私が言いたいのは、定理何個かと定義何個かとで交換可能なのではないか?
と言うことなのです。
どなたか反証してみてください。
0257132人目の素数さん
2006/08/17(木) 23:07:310258132人目の素数さん
2006/08/18(金) 00:49:19このスレで
-×-=+は定理なのか定義なのか
が議論になっていたんですよ。
で、私は
定理と考えてもいいし、定義と考えてもいい
ということを言いたいために
「定理と定義の交換可能性」を私は主張しておるのです
0259132人目の素数さん
2006/08/18(金) 00:57:040260132人目の素数さん
2006/08/18(金) 02:05:01いえませんけど・・・。
0261132人目の素数さん
2006/08/18(金) 06:29:42言葉が少し足りなかったようです。もう少し詳しく書きます。
定義イ:A→C
定理ロ:A→B となるようなBが存在し、A→Bが成り立つ。
定理ハ:B→C となるようなBが存在し、B→Cが成り立つ。
これならどうですか?
たとえば、
BにAを代入してみてください。定理ロも定理ハも成り立ちますね?
あるいは
BにCを代入してみてください。定理ロも定理ハも成り立ちますね?
定義と定理は交換できましたね?
0262132人目の素数さん
2006/08/18(金) 08:32:070263132人目の素数さん
2006/08/18(金) 16:15:38マイナスとマイナスを掛けるとプラスなんだと思う。
0264132人目の素数さん
2006/08/18(金) 16:27:08笑う回数が偶数なら+に奇数なら‐になるよ。
0265132人目の素数さん
2006/08/18(金) 22:20:03>>FFで例えるとゾンビ状態にケアルかけてダメージ与えるみたいなものじゃね?
むしろ炎吸収の敵にファイアかけて回復するようなものでは?ダメージってマイナスっぽいし。
0266132人目の素数さん
2006/08/19(土) 23:29:380267132人目の素数さん
2006/08/21(月) 20:40:180268132人目の素数さん
2006/08/21(月) 20:41:13公理にもなりうるということになりますでしょうか?
0269132人目の素数さん
2006/08/21(月) 20:49:560270132人目の素数さん
2006/08/21(月) 22:21:160271132人目の素数さん
2006/08/21(月) 22:30:02話じゃね?
a*b = (-a)*(-b)
っていう公理を含むような。
0272132人目の素数さん
2006/08/22(火) 00:09:21ということは数学という学問の正体とは一言で言うと
公理、定義、定理、の3つのうちどれか好きなものの2つを出発点とし、1つをゴールとする
学問体系ということになりますでしょうか。
私は今まで数学と言うものは
公理と定義から出発して定理というゴールにたどり着く学問だとおもっていたのですが
出発点を何にするかはその人の自由なんですね。
自分の心の中でパラダイムシフトした気分です。
0273132人目の素数さん
2006/08/22(火) 00:17:07それと、そもそも公理や定義から定理を導くというより、
定理を導くために定義や公理を生み出すわけ。
そこがわかってないと思う。
0274132人目の素数さん
2006/08/22(火) 00:27:33ユークリッドからの伝統だからね。なかなか止められないんだよ。
人間の理解ってのはまた別の方法ですると良いと思うんだけどねえ。
今のやり方、教科書の記述の仕方は、伝統に基づいているが、理解しにくい。
0275132人目の素数さん
2006/08/22(火) 00:33:25>>公理、定義、定理、の3つのうちどれか好きなものの2つを出発点とし、1つをゴールとする
>>学問体系
というのも、なんか微妙に変な捉え方だぞ。
公理と定義の集まりAと、そこで証明される定理の集まりTがあるとき、Aの一部とTの一部から
改めて新しい公理系A'を作るとかでもいいわけでさ。
0276132人目の素数さん
2006/08/22(火) 02:08:220277132人目の素数さん
2006/08/22(火) 02:37:01だから虚数iをかけるってことは90度回転なんだとずっと思ってた
スイマセン
0278132人目の素数さん
2006/08/22(火) 03:23:14-1×+1、-1が順方向1個で-1
-1×-1、-1が逆方向に1個で+1
-17×-1、は-17が(0を基点に)方向変えて1個分
て感じでいいんじゃないかしら
0279132人目の素数さん
2006/08/22(火) 06:19:480280132人目の素数さん
2006/08/22(火) 11:28:500281132人目の素数さん
2006/08/22(火) 11:34:060282132人目の素数さん
2006/08/22(火) 13:12:06同じように解釈すれば-3で等分するわけだが、-3で等分とか意味不明だ。
0283132人目の素数さん
2006/08/22(火) 13:18:490284132人目の素数さん
2006/08/22(火) 13:27:46あるんだ。
0285132人目の素数さん
2006/08/22(火) 13:29:561をまいなすみっつにわけるとまいなすみっつあつめると1になるんだ
0286132人目の素数さん
2006/08/22(火) 20:30:16パラダイムシフトしたのを感じます。
ものごとは「原因」があって「結果」を生じます。
その逆はありません。
「結果」があって「原因」があるのではないのです。
数学もそうだと思ってました。
「定義公理」があって「定理」があるのだ、と。
しかし数学においてはその逆もあるのだと。
例えて言うなら
皿を投げた、だから、皿が割れた
を逆にして
皿を割った、だから、皿を投げた
とでもいいましょうか。
自分のなかで大きくパラダイムシフトしたのを感じます。
0287132人目の素数さん
2006/08/22(火) 20:55:11だからこそ優秀な人と呼ばれます。ようこそ!優秀な人の遊び場へ!!
0288132人目の素数さん
2006/08/22(火) 21:14:160289132人目の素数さん
2006/08/22(火) 21:34:31あ、ほんとでしたね^^;
皿の例えは取り消します。
自分の心の中でパラダイムシフトしたことに気を取られてしまい
例が同値変形になってませんでした。
0290132人目の素数さん
2006/08/22(火) 21:43:12何か難問を出されたとき、それは定義だから答える必要はない、と言っても
まあこれは半分冗談ではありますが、しかし数学的には、間違いではないわけですね。
0291132人目の素数さん
2006/08/22(火) 21:44:580292132人目の素数さん
2006/08/23(水) 13:27:56定理は全て公理としていいから当たり前。
公理を決定出来なくなるし、独立でなくなるが。まあどうせ公理の独立性なんて誰も気にしてないけどな。
0293132人目の素数さん
2006/08/23(水) 21:47:59「定理は全て公理としていい」という定理があるのでしょうか?
もしそうなら
すこしアレンジすれば
「定理は全て定義としていい」という定理が作れそうです。
0294132人目の素数さん
2006/08/23(水) 21:59:21当たり前でしょ?真な命題を全て公理にすると、自然数論で全ての正しい命題は証明できるなんて話は聞いたこと無いの?
(公理だから当たり前)ただし、どれが公理かがわからなくなってしまうわけだけどねw
定理を定義にする場合はwell-definednesのチェックが必要になるだろうし、意味があるとは思えないけど。
0295132人目の素数さん
2006/08/24(木) 20:52:29>なんて話は聞いたこと無いの?
無いです。すみません。
>意味があるとは思えないけど。
いえ、このスレで-*-=+は定理なのか定義なのか
双方争っていたんですよ。
ですから「定理と定義の交換可能性」が証明できれば
この手の議論にも決着がつくんですよ。
ほかにもいろいろありますよね。
分数の割り算はどうしてひっくり返してかけるのかとか。
これも定理なのか定義なのか、あるいはどっちも正解なのか、
そのために私は「定理と定義の交換可能性」を主張しておるのです。
0296132人目の素数さん
2006/08/24(木) 20:55:120297132人目の素数さん
2006/08/24(木) 21:32:33決着つかないだろう。この手の問題ってのは皆
「証明を知りたい」んじゃなくて「納得したい」んだから。
0298132人目の素数さん
2006/08/24(木) 21:44:490299132人目の素数さん
2006/08/24(木) 23:02:05反例とは>>254のことですか?
それなら>>261できちんと反論しておりますが。
0300132人目の素数さん
2006/08/24(木) 23:05:17定義 2で割り切れる数は偶数
定理 4は偶数
とかすると、定理と交換可能な定義は無いと思う。一般的な自然数の
公理系も含めて。
0301132人目の素数さん
2006/08/24(木) 23:05:47反論になってないし
0302132人目の素数さん
2006/08/24(木) 23:07:34整合性チェックが加わるけど。
交換とはいかないけどね。
0303132人目の素数さん
2006/08/24(木) 23:10:55まあそりゃそうだな。でも整合性チェックってのは定理の証明とその場合同じことだから
労力は減らせないな。
0304132人目の素数さん
2006/08/24(木) 23:16:410305132人目の素数さん
2006/08/24(木) 23:19:21(実際どう言う意味で「交換」できるのかとか、どうやれば交換できるのか
とかにはあんまり関心がないっぽい)
0306132人目の素数さん
2006/08/25(金) 23:30:35ですから、-*-=+が定理なのか定義なのか議論になってたじゃないですか。
その議論に終止符を打つために、「定理と定義は交換できる」と言ったんですよ。
なんで
>サパーリわからん
なんですか?
定理と定義の交換可能性を否定するのであれば、
あなたは-*-=+が定理なのか定義なのか、言わなければ成りませんよ?
私は言う必要が無いんです。何故なら「どちらでもいい」と主張しているんですから。
あなたが「どちらでもよくない」と主張するのであれば、
それでは質問しますが、-*-=+は「定理」なんですか?「定義」なんですか?
答えてください。
必ず
(1)定理である
(2)定義である
のうちから一つを選んでください。
0307132人目の素数さん
2006/08/25(金) 23:33:020308132人目の素数さん
2006/08/25(金) 23:33:370309132人目の素数さん
2006/08/25(金) 23:34:440310132人目の素数さん
2006/08/25(金) 23:38:310311132人目の素数さん
2006/08/25(金) 23:38:38こいつ馬鹿じゃねえ?
0312132人目の素数さん
2006/08/26(土) 00:07:57それでは-*-=+を定義としてしまうとどんな不都合が起こるのかを説明してください。
そこまで説明してもらわないと「科学の議論」じゃありません。
0313132人目の素数さん
2006/08/26(土) 00:11:580314132人目の素数さん
2006/08/26(土) 00:39:08-*-=+であると定義して、ある命題を証明しようとするときに
当然、あなたはいくつかの公理を前提に証明するよね。
それらの公理から-*-=+が演繹できないときは、-*-=+を定義(=公理)
として用いてもかまわないと思う。ただ、-*-=+を演繹できないような
公理系は、かなり恣意的だから、そのような公理系を用いた証明は
数学的な意味はないだろうね。でも、面白い発問だな。
0315132人目の素数さん
2006/08/26(土) 00:53:18当たり前でしょ?
0316132人目の素数さん
2006/08/26(土) 00:59:480317132人目の素数さん
2006/08/26(土) 01:03:40での公理として命題を証明する?
そりゃ、「公理」の「定義」を変えたらできるかもね。
どれどれ、先生にきみの証明を見せてみなさい。
0318132人目の素数さん
2006/08/26(土) 01:31:050319132人目の素数さん
2006/08/26(土) 02:06:11ただね、その証明で使った他の公理から-*-=+を導く
ことができたら、なにもそれを公理にしなくても・・。
ということになる。そういう証明は突っ込まれるよ。
だから、-*-=+が定義か定理かは公理系の選び方しだい。
0320132人目の素数さん
2006/08/26(土) 08:35:220321132人目の素数さん
2006/08/26(土) 11:49:20群の公理ももっと絞り込まないといけなくなる。独立性は美意識であっても
必要なことじゃない(実用的にはむしろ邪魔)
0322132人目の素数さん
2006/08/26(土) 14:24:30=(−1)×(−1)+0×1
=(−1)×(−1)+{(−1)+1}×1
=(−1)×(−1)+(−1)×1+1×1
={(−1)×(−1)+(−1)×1}+1×1
=(−1)×{(−1)+1} +1×1
=(−1)×0 +1
=0+1
=1
0323523
2006/08/26(土) 14:35:08文脈からして、それもなさそうだなァ。突っ込まれるって
公理化の過程でパラドックスに見えたことが、逆に濃度の概念
へと発展したわけでしょ。突っ込まれる? 集合論のどういう公理系を
仮定しているのだろう。それに、群の公理ももっと絞り込まない
といけなくなる、とは興味津々。どこをどう絞り込むのか、教えてほしい。
嫌味ではなく、かなり面白そうです。そのような群は今の代数系のなかで無矛盾
なのですか?
-*-=+については、そうだね。美意識の問題だから、定義か定理かはどっちでもいい。
あなたしだい、証明したい命題しだい、だと思う。
0324132人目の素数さん
2006/08/26(土) 14:50:32ZFの公理は独立でないって事だけ言いたいんだけど。
あんた基礎論オタク?
0325132人目の素数さん
2006/08/26(土) 14:53:23これらは片側でいい。ただ、逆元の存在はもう少しウザイ言い方になる(単位元の一意性がこの公理にも依存するため)
0326523
2006/08/26(土) 15:08:03とんでもない。あなたは、公理的集合論の公理の独立性と公理的集合論
の数学体系における独立性を一緒にしているみたいだね。独立性違いです。
こういうことを書いている本は、本屋に行けばそれこそ売るほどたくさん
あるよ。
0327132人目の素数さん
2006/08/26(土) 15:13:44知らないの?空集合の公理とか証明できるってこと。
0328132人目の素数さん
2006/08/26(土) 15:21:11ちょっと失礼。あんた、やめとき。
深みにはまるで。そんなこと書いたら
めちゃくちゃ突っ込まれるで。
0329132人目の素数さん
2006/08/26(土) 15:24:05存在とか任意のを書かないのはわかってる人相手だから。面倒だからね。
0330132人目の素数さん
2006/08/26(土) 15:25:52例えば、
ex=xと(x^(-1))x=eでいいってこと。後者はもっとしっかりとかく必要があるけど。
0331132人目の素数さん
2006/08/26(土) 15:36:18ちゃうねん。x^(-1)と書いとる時点で
群の公理っちゅうか、公理の意味やね、それを
誤解していると思われてしまうで。
それと空集合も。やめときなはれ。
326はひまな研究者かその崩れやと思うから
そんなこと書かんほうがエエ。たたかれるで。お節介やろか。
まァ、おれも崩れやけど・・。失礼。
0332132人目の素数さん
2006/08/26(土) 15:42:11まあ、相手にしてもしょうがないのは確かかもな。
0333132人目の素数さん
2006/08/26(土) 16:15:18気になるんで確認したい。
このスレでは、ある公理系ΣからAという定理が証明されたとき、
Σ∪{A}を新たな公理系にしてもいいと言うことを話しているように見えた。
それに対し、Aが加わると独立ではないという反論があったので、
ZF集合論の公理系もその意味で独立ではないと言う話が出てきて
空集合の公理があげられたと思うのだが(実際他の公理から証明できる)、
この理解も間違っているのか?また、そうでないとしたら、どんな話をしているのだ?
x^(-1)もなにがいけないのだ?
どうもよくわからん
0334132人目の素数さん
2006/08/26(土) 18:21:180335132人目の素数さん
2006/08/26(土) 19:10:56>>319
0336132人目の素数さん
2006/08/26(土) 19:32:28この程度だろ。大げさすぎ。
0337132人目の素数さん
2006/08/26(土) 19:38:27だとしたら、何が間違いか知りたい。
0338132人目の素数さん
2006/08/26(土) 19:53:04中身無いじゃん、相手してどうする。
0339132人目の素数さん
2006/08/26(土) 20:25:31自分の間違いを認められない人間にはなりたくないんで。
まあ、返事がこのまま無いようなら、単なる煽りと判断するよ。
0340132人目の素数さん
2006/08/26(土) 20:55:35論争をするような人たちが、>>306の解決策を受け入れるとは思えないけどね。
論理の問題じゃなくて、「どっちが定義としてふさわしいか」という美学的
あるいは本質論的議論なんだろうし。
0341132人目の素数さん
2006/08/26(土) 21:06:240342132人目の素数さん
2006/08/26(土) 23:28:18こんなのあった
0343132人目の素数さん
2006/08/27(日) 15:33:370344132人目の素数さん
2006/08/27(日) 17:00:010345132人目の素数さん
2006/08/27(日) 18:10:080346132人目の素数さん
2006/08/27(日) 21:35:560347132人目の素数さん
2006/08/27(日) 21:48:41負の数同士かけて正の数になったらわかりにくいから。
0348132人目の素数さん
2006/08/27(日) 22:09:560349132人目の素数さん
2006/08/28(月) 11:17:430350132人目の素数さん
2006/08/28(月) 13:56:010351132人目の素数さん
2006/08/28(月) 14:31:060352132人目の素数さん
2006/08/28(月) 14:58:540353132人目の素数さん
2006/08/28(月) 15:05:160354132人目の素数さん
2006/08/28(月) 16:35:250355132人目の素数さん
2006/08/28(月) 20:56:03確かに、思わせぶりやった。かんにんな。
まず空集合からやね。公理の話は、あんたがどの公理系を考えてるかによるで。
たとえば、一番厳しい例でいくとナ、基礎系、システム論系、超数学系のひとなんかは、
実際ZFの公理は外延、内包、対、置換の4つしか認めていない。というか、4つで仕事すること
が多いねん。この公理群では、空集合の公理は内包公理から出る定義のひとつに格下げされているんや。
これほど厳しいのうても、今では空集合の公理は公理から格下げしてる公理群がほとんどやねん。
ほんなら、なんで空集合の公理が、教科書の類にえらそーに公理として書いてあんねん、ちゅーわけやけど
ひとつには、教育的配慮やね。空集合の公理を、たんに名前と記号を定めるっちゅう扱いにしといて、ほんで
そういう集合があるっちゅうのを、他の公理から出してみィ、ほれほれ、ということは演習でようやるんやね。
この場合の空集合の公理は「存在」公理とはちゃう、ただの公理あつかいやね。そういう意味で教科書には書
いてあると。それと、歴史的経緯も教えとかんと、もあるんとちゃうかな。温故知新やね。続きはまた後で。
0356132人目の素数さん
2006/08/28(月) 21:06:340357132人目の素数さん
2006/08/28(月) 21:25:13片や歴史的公理群のはなし。もう一方は、たぶん、今の公理系での
はなし。そら、今の公理系を知っているやつにとったら、空集合の
公理って、あんた、なに言うてはりますねん、ちゅうことになるやん。
それにな、きっと研究者崩れやと思うけど、そいつは公理群を特定して
へんやろ。そら、ひっかかるで。明らかに引っ掛けるつもりやったと思
うわ。そやから、おせっかいやけど、やめときなはれ、ちゅうたんや。
公理ちゅうのは、時代ごとに変わる。だんだん少なくなっていく。
それも数学者のお仕事のひとつやねん。でも、あんた、よう勉強してる。
ZFちゅうな、めんどくさいとこ。本ぱらぱらだけでやったら、空集合の
公理が内包公理から出るちゅうとこまでは、いかへんもんなァ
おれのとこの学生も、あんたみたいやったらと思うで。
0358132人目の素数さん
2006/08/28(月) 21:45:31ただ、こっちとしては実用的な公理の話をして教科書等に普通に書いてある公理の話で話したのに、
なんで専門の人が拘る公理に限定する必要があるの?と、こうなるわけで。
公理が時代毎にかわるとか、想定によってかわるのも当たり前だし、そんなことを否定したこともない。
少なくとも君の勘違いか、反論になってないと思うけど。
ただ、ZFの公理として、その4つを想定するという話は意外だし、新鮮だった。
内包公理なんて、無茶苦茶危険なイメージしかないから。それで本当に大丈夫なの?と思ってしまう。
分出なら置換公理から出るから(そのうち3つから出るかは知らないけど)本当に内包なんだろうけど、
なんか不思議だ。
x^(-1)の方もよろしく。
0359132人目の素数さん
2006/08/28(月) 21:55:19同じ公理。念のため。横レスですけどね。
0360132人目の素数さん
2006/08/28(月) 21:59:23専門の人の用法はそれに限ってるのかもしれないけど。
0361132人目の素数さん
2006/08/28(月) 22:01:20とすると、残りの3つからは内包(分出)は出ないと言うことか。
勉強になるな。
0362132人目の素数さん
2006/08/28(月) 22:11:219つをダイエットしたら4つになった
というはなしではないのか
0363132人目の素数さん
2006/08/28(月) 22:13:040364132人目の素数さん
2006/08/28(月) 22:20:27使われている全ての公理系は独立を言わなければいけないのだから
すでに反例が挙がっているから無理があるのでは?
0365132人目の素数さん
2006/08/28(月) 22:29:099つを4つにしたのです。
9つなんて使いにくい。
公理は時代ごとには変わりません。想定によっても
公理そのものは変わりません。
たまに増えることはあっても
減るだけ。表現の違いがあっても
かわらない。
0366132人目の素数さん
2006/08/28(月) 22:31:100367132人目の素数さん
2006/08/28(月) 22:34:380368132人目の素数さん
2006/08/28(月) 22:38:330369132人目の素数さん
2006/08/28(月) 22:41:54しているのだろうか。話の発端はZFも突っ込まれるということ。
すでに突っ込まれてるから9から4になったということでは。
たんにそれを言いたいのではないのか
それに358はしつこいよ。生半可な知識を小出しにするなよ
その群の公理の出所教えろ。ほんとうにそれが公理か?
0370132人目の素数さん
2006/08/28(月) 22:47:08323をよく読め!
どういう公理系を仮定してるんだとちゃんと
書いてあるではないか。おまい教科書の公理群は
絶対だと思ってたんだろう。
0371132人目の素数さん
2006/08/28(月) 22:49:00負の数と負の数の積についての話題ではないのだな。
0372132人目の素数さん
2006/08/28(月) 22:51:37別に4になった話をされたところでこちらとしては言ってることが間違ってたわけではないし。
しつこいのは数学屋の性分だと思ってくれw納得できないのはいやだしな。
生半可なのは、専門外だから、まあ勘弁してくれ。
群の公理の件は何を聞かれているのかがよくわからないので、詳しく言って欲しい。
0373132人目の素数さん
2006/08/28(月) 22:51:38というあんたはもしかして363か?
0374132人目の素数さん
2006/08/28(月) 22:53:23違う。
0375132人目の素数さん
2006/08/28(月) 22:55:58どんな本?
0376132人目の素数さん
2006/08/28(月) 22:57:05そんなやつはいないよwだと考えるお前の思考回路が不思議だ。
「独立で無い公理系の存在」の話なんだから、よくある公理がそれに当てはまれば全然問題はないでしょ?
そのような本が極々稀であれば話は別だけど。
斎藤、松坂、岩波の基礎数学あたりは多分オレが言うような公理系を設定していたと思う。
0377132人目の素数さん
2006/08/28(月) 23:00:250378132人目の素数さん
2006/08/28(月) 23:01:21今買える本だと数の体系と超準モデル(田中一之 著)に書いてあったような。
藤崎の代数的整数論の上巻は片側でやってるけど、絶版。一時期紀伊国屋のデマンドで出してたけど、もうそれもないかと。
0379132人目の素数さん
2006/08/28(月) 23:05:13外延、対、空集合、置換、和集合、無限、べき集合、正則で抜けないよな?(あったらごめん)
分出も入れてるかもしれない。あと、ZFCになるが、選択。
0380132人目の素数さん
2006/08/28(月) 23:17:05あんた、専門外って言ってたけど・・。
それ読むひと、群の公理なんかとっくに
知ってるひと。書くほうもめんどくさいから
使える片側にしただけのはなし。
だからそれは公理のようで公理ではない
だいたい公理という言葉自体かなりてきとーに使われています
現場では、はい
たとえば、コルモゴロフ大先生の確率の公理を見なよ
3つめはまえの2つから導かれる
本によっては3つとも公理だというふうに書いてるよん。
0381132人目の素数さん
2006/08/28(月) 23:19:08基礎数学は古い。カビが生えてます。
0382132人目の素数さん
2006/08/28(月) 23:19:27という「美学」もあるよな。数学者の中には。
0383132人目の素数さん
2006/08/28(月) 23:26:05だから現実的には独立じゃない例になるよね、それも。
藤崎は大学入学時に群論の勉強用に紹介されたw
オレもよくある方で勉強したからあれは驚いたけど。
で、公理のようで公理でないってのは?こう言うのを
詳しく聞きたいんだけど。
>>381
でも事実言った例にはなっている。それに斎藤なんかは
新しい本でしょ?(記憶違いなら自爆ものだがw)
>>382
そういうのはもちろん同感って言うか、その手の美意識はオレにも無いわけじゃない。
ただ、実用と美意識は別だと思うし、美意識に拘る必要は感じない。
0384132人目の素数さん
2006/08/28(月) 23:28:14どこ?
0385132人目の素数さん
2006/08/28(月) 23:29:33右単位元でもあってしかも一意だ、という定理が証明されるからな。
0386132人目の素数さん
2006/08/28(月) 23:34:28が藤崎本に書かれていたと?
0387132人目の素数さん
2006/08/28(月) 23:41:28先輩が勧めてくれただけ。教科書じゃないよ。
>>386
違う。
結合、左(右かもしれなかったけど、まあどっちか)単位元の存在、単位元の少なくとも一つに対しての右側逆元の存在
0388132人目の素数さん
2006/08/28(月) 23:43:42最後は
左単位元の少なくとも一つに対する左逆元の存在に訂正
0389132人目の素数さん
2006/08/28(月) 23:46:18ちがう。2つの式を同時に公理としていたか、ということ。
その出典はどこだろう。
公理なんてバリエーションだらけだけど、それはないと
断言したいような誘惑に駆られる。結局するんだけど。
0391132人目の素数さん
2006/08/28(月) 23:49:43二つの式を同時に公理って?3つの公理があるのは当然だけど、そのうち2つを1つにしてるってこと?
なら、そんなわけ無いのは当然だけど。どういう意味なの?
0392132人目の素数さん
2006/08/28(月) 23:52:28の2つの式。きみの公理はこのまんまか?
0393132人目の素数さん
2006/08/28(月) 23:55:40>>392はまさか>>391あて?
なら、>>387-388も見てよ。
「片側」だし、「存在」とかも書いてある。
0394132人目の素数さん
2006/08/28(月) 23:55:43というところまで公理にしちゃうのもあるよね。入門なんかだと。
0395132人目の素数さん
2006/08/28(月) 23:56:530396132人目の素数さん
2006/08/29(火) 00:09:19定義なし?
0397132人目の素数さん
2006/08/29(火) 00:11:19冗談?
0398132人目の素数さん
2006/08/29(火) 00:12:12日本語でおけ
0399132人目の素数さん
2006/08/29(火) 00:13:070400132人目の素数さん
2006/08/29(火) 00:16:32同一人物かな
0401132人目の素数さん
2006/08/29(火) 00:21:000402132人目の素数さん
2006/08/29(火) 00:21:560403132人目の素数さん
2006/08/29(火) 00:26:36のりがいっしょ。
393=394=395
やばくなったらフォローみたいな
0404132人目の素数さん
2006/08/29(火) 00:26:49書き方について突っこんでるだけなの?そこらは流石に意味を読みとって欲しかったが。
まあ、手抜きしたオレが悪いんだろうが、別にyが存在してyx=eと書こうが、
x^(-1)が存在してx^(-1)x=eと書こうが一応は記号の与え方だろう。逆元として意図
するものがあり、それをx^(-1)とおきたいのだから、それを確認するまでは書かないで欲しい
という気持ちはわかる。うるさくいえば、eもそうすべきだしな。
0405132人目の素数さん
2006/08/29(火) 00:29:22あとは君の心の中でそう思うならそう思ってくれ。どうせ証明も出来ないことだしな。
0406132人目の素数さん
2006/08/29(火) 00:34:59後学のために出典を教えてくれ
それは悪書じゃ
それとももしかしてその公理はオリジナルですか
いいかげんにあきらめたら
あんたすぐ自己防衛するから
教えない
大学でなにせんこーしたの
0407132人目の素数さん
2006/08/29(火) 00:41:53基礎数学選書の「群論」では
1.結合法則
2.左右単位元の存在
3.左右逆元の存在
が定義として述べられた後、問として
1.結合法則
2.右単位元の存在
3.右逆元の存在
と言う風に弱めてもOKである事を示せ。というのが出てくる。
0408132人目の素数さん
2006/08/29(火) 00:47:370409132人目の素数さん
2006/08/29(火) 00:47:41何の出典?群もZFも一応既出
あきらめたらとか言うけど、理由をちゃんと書いてよ。
理由がない間は煽りにしか見えない。
それから、オレは「片側の方がいい」と言ってはいないのはわかってるのか?
美意識的にはありだと思うが、実用なら両側で良いと思ってるし、だからそういう本が多いんだと思う。
0410132人目の素数さん
2006/08/29(火) 00:50:12そこが本質じゃないから手抜きしてただけなんだけど、それが気になったなら謝るよ。
0411132人目の素数さん
2006/08/29(火) 00:50:59そう、その定義が一番流通しているやつ
それで十分
404はただ知ったかぶりしたいだけなのだろうか
0412132人目の素数さん
2006/08/29(火) 00:53:09なんか話ずれてません?もともと群の公理は
「実はもっと弱い公理でも十分である」例として出されてたんだべ。
だからまさに>>407の通りではあるんだけど。
0413132人目の素数さん
2006/08/29(火) 00:54:08話の流れを見ていって欲しかったが。文句言いたいだけだったの?
まあ、いいけどね。
0414132人目の素数さん
2006/08/29(火) 00:54:35これの出典
あんたのオリジナルだったら
怒っちゃうよ
0415132人目の素数さん
2006/08/29(火) 00:56:32「存在」とかがキチンとついたのであることはわかってるよね?
しかも、別々の公理と言うことも言ってあるし。
その上でなら、いくらでも書いてあるとしか言いようがない。
0416132人目の素数さん
2006/08/29(火) 01:05:52ex=xe=xとx(x^(-1))=(x^(-1))x=eを公理に置く
出典をのべよ
群の公理は絞り込めるといって
その例として
その公理を示したのだろう
-*-=+と公理の話
あれは数学的にはまったく正しい
あんたはそれに論争をいどんだ
だからあんたの公理も
お墨付きなわけだろ
なら出典をしめせ
0417132人目の素数さん
2006/08/29(火) 01:15:37で挙げた本に出てるよ。若干記号が違うが。
∃1∈G、x1=1x=x (∀x∈G)
と
∀x∈G、∃x^-1∈G、x(x^-1) = (x^-1)x = 1
てな具合に。ちゃんと全称記号もついてるよ。
0418132人目の素数さん
2006/08/29(火) 01:16:31研究室にある本ひっくりかえしてみたが
(あるわけ)ない。それ。
もうやめなよ。かわいそうじゃん
0419132人目の素数さん
2006/08/29(火) 01:16:420420132人目の素数さん
2006/08/29(火) 01:22:34いいややめない
∃x^-1∈Gの意味わかる?
x^-1の存在をちゃんと定義してるだろ
あんたの
ex=xe=xとx(x^(-1))=(x^(-1))x=eを公理に置く
とはちがうね
あんたのは定義なしでx(x^(-1))=(x^(-1))x=e
これを書き方でのちがいですますとはいい根性してる
さあ
出典をのべよ
0421132人目の素数さん
2006/08/29(火) 01:25:21すでにして>>329にそれに対する説明が書いてあるようですが。
0422132人目の素数さん
2006/08/29(火) 01:26:43そこらへんで、ねっ、いいこだから
かわいそうじゃん。
0423132人目の素数さん
2006/08/29(火) 01:28:03基礎数学も両側だよ。もちろんx^(-1)をすぐは使ってないけどね。
そのことにまだ拘っていたわけじゃないよね?
0424132人目の素数さん
2006/08/29(火) 01:31:00って、そのことに未だに拘っていたのねorz
全然前に書いたこと読んでくれてないことはわかったよ。
それで勝ったと思うならどうぞ。
本当に間違いがあるのなら、それを知りたいと思っていたんだけど、
まさかこんな落ちかよ。
0425132人目の素数さん
2006/08/29(火) 01:35:060426132人目の素数さん
2006/08/29(火) 01:42:19>>422やっぱりやめない
あんたもわからんひとだ
出典をの・べ・よ
そのまえに
存在とか任意のを書かないのはわかってる人相手だから。面倒だからね。
では面倒でもあんたの公理を
ちゃんとか書いてみろ
フルスペックでな
基礎数学がどうした
だれかがいったように
あれはカビが生えてる
基礎数学で権威付けしたつもりなら
数学でめし食ってるやつには
効き目なし
けっこういろんなひとが
あんたにいろいろ
教えている
なかには学部の講義以上のれべるまで
わかりやすく説明しているものもある
であるのに
あんたには謙虚さがない
どういうことだ
ありがとうと言えんのか
0427132人目の素数さん
2006/08/29(火) 01:54:08間違いならキチンと間違いと示してくれれば納得するけど。それがないから
とまどっている。
二項演算(本当は・とか明記した方がいいだろうけど略)が集合Gで定義されていて、
1.∀x∈G,∀y∈G,∀z∈G[(xy)z=x(yz)]
2.∃y∈G,∀x∈G[yx=x]
2.で存在を保証されたyの集合をEとおく。
3.∃z∈E,∀x∈G,∃y∈G[yx=z]
片側だとこんな感じ。
両側なら
2.∃y∈G,∀x∈G[yx=xy=x]
とし、yの一意性からこのようなyをeとおくと、
3.∀x∈G,∃y∈G[yx=xy=e]
添削よろ。
0428132人目の素数さん
2006/08/29(火) 01:54:23大学の専攻はなんでつか
0429132人目の素数さん
2006/08/29(火) 02:01:24その=は正解w
論理でも集合でも代数でも無いのは確か。あとは(秘)
0430132人目の素数さん
2006/08/29(火) 02:06:39おれがいっているのは
ex=xe=xとx(x^(-1))=(x^(-1))x=eを公理に置く
というこのまんまのが公理として書かれている
本を教えろということ
そんな本あるのか
ないならあんたの自作か
0431132人目の素数さん
2006/08/29(火) 02:12:36無視して、捨て置く事の方が有益だと思うけど、どうかな?
0432132人目の素数さん
2006/08/29(火) 02:12:42どうしてO秘なんでつか
言ってもいいでFA
0433132人目の素数さん
2006/08/29(火) 02:15:31このまんまなんて書いてないことをなんで書かせようとするの?
そうやって誤解させて勝ちたいってだけ?
なら君の勝ちでいいとさっきから言ってあげてるでしょ?
くだらん。
>>432
面白いからw
0434132人目の素数さん
2006/08/29(火) 02:15:42なにが面白いのやら(・0・)
0435132人目の素数さん
2006/08/29(火) 02:21:33面白いからずっと見てたけど
書いてないこととは、きみはどこでそれを
言ったのさ?今初めてじゃないの。
430も大人気ないけど、きみもだめだよ。そんな態度。
0436132人目の素数さん
2006/08/29(火) 02:22:47>>393じゃわからない?
0437132人目の素数さん
2006/08/29(火) 02:24:59というか、オレから見ると>>430は言いがかりを必死になってつけてるようにしか見えないのだが。
なんでこんなばかばかしいこと言ってくるんだ?
0438132人目の素数さん
2006/08/29(火) 02:25:29どうしておもしろいでつか
ほんとーに数学専攻したのかな
せんこー書くとそれで突っ込まれるのがこわいからでFA
すーがくせんこーしてないことがばれるからでFA
0439132人目の素数さん
2006/08/29(火) 02:26:280440132人目の素数さん
2006/08/29(火) 02:27:400441132人目の素数さん
2006/08/29(火) 02:33:06387 :132人目の素数さん :2006/08/28(月) 23:41:28
>>384
先輩が勧めてくれただけ。教科書じゃないよ。
>>386
違う。
結合、左(右かもしれなかったけど、まあどっちか)単位元の存在、単位元の少なくとも一つに対しての右側逆元の存在
388 :132人目の素数さん :2006/08/28(月) 23:43:42
>>387
最後は
左単位元の少なくとも一つに対する左逆元の存在に訂正
393 :132人目の素数さん :2006/08/28(月) 23:55:40
違ってたらすまんが
>>392はまさか>>391あて?
なら、>>387-388も見てよ。
「片側」だし、「存在」とかも書いてある。
これのどこに書いてるのかな?
0442132人目の素数さん
2006/08/29(火) 02:33:070443132人目の素数さん
2006/08/29(火) 02:33:51しつこく専攻に粘着するのはやりすぎかと。
そもそも数学で大切なのは議論の正しさであって、論者の学歴ではないだろう。
そういうことやってると「言いがかりを必死になってつけてる」と思われても
仕方が無いんじゃね。
0444132人目の素数さん
2006/08/29(火) 02:35:01しっかり書いてあるよ。「存在」って見えない?どう見てもあの式のまんまじゃないって言っているんだけど。
0445132人目の素数さん
2006/08/29(火) 02:35:070446132人目の素数さん
2006/08/29(火) 02:37:110447132人目の素数さん
2006/08/29(火) 02:38:310448132人目の素数さん
2006/08/29(火) 02:39:57もう釣られるのはやめとく。
0449132人目の素数さん
2006/08/29(火) 02:40:44他は知らんが。
0450132人目の素数さん
2006/08/29(火) 02:41:36なんでせんこーいえないの
そいうことやってると「どしろうととばれるのを必死でかくしてる」
と思われても仕方ないじゃね
0451132人目の素数さん
2006/08/29(火) 02:43:50それで困ること無いし。逆に素人に言い負かされたりしたら、
言い負かされたやつは困るかもしれないがw
0452132人目の素数さん
2006/08/29(火) 02:44:41とはいうもののまだ学生だからプロじゃない。というわけで
「プロじゃない奴の言うことなんて聞かないよー」と言って無視して
頂いても結構だよ。
0453132人目の素数さん
2006/08/29(火) 02:44:440454132人目の素数さん
2006/08/29(火) 02:45:160455132人目の素数さん
2006/08/29(火) 02:46:530456132人目の素数さん
2006/08/29(火) 02:47:090457132人目の素数さん
2006/08/29(火) 02:48:58ほら、357も430も出てこない。だめだこりゃ
と思ってるんじゃない。ばかくさ。言い訳がつらいよ、きみ。
知ったかくんにつきあってしまったようね。
明日も仕事もう寝よっと
0458132人目の素数さん
2006/08/29(火) 02:49:35自演もあるかもしれんが、まあそれも含めての2chだろう。
数学板だし、議論が正しければ、それを主張する人数の多寡はあんまり関係ないしな。
と、これは>>443
0459132人目の素数さん
2006/08/29(火) 02:49:560460132人目の素数さん
2006/08/29(火) 02:53:280461132人目の素数さん
2006/08/29(火) 02:53:42反論は具体的にはないと言うことでもういいね?
こいつ、最後まで自分が正しいと・・
あほは寝ろ
0462132人目の素数さん
2006/08/29(火) 02:54:530463132人目の素数さん
2006/08/29(火) 02:56:20(と、このように書くと「相手がバカすぎたのでついつい盛り上がって
しまったよ」的な書き込みを両陣営がする)
0464132人目の素数さん
2006/08/29(火) 02:56:260465132人目の素数さん
2006/08/29(火) 02:56:36ラベル貼りたきゃどうぞ。事実を示せばいくらでも納得してあげるよ。
本当に間違いなら新しい知見が得られるわけで、正直期待していたけど。
真面目な話朝7時出発だし、もう寝る。この後の時間は君の天下だw
0466132人目の素数さん
2006/08/29(火) 03:01:200467132人目の素数さん
2006/08/29(火) 03:07:370468132人目の素数さん
2006/08/29(火) 03:12:140469132人目の素数さん
2006/08/29(火) 06:14:16それなら具体的に書けばいいのに。書けないうちは単なる煽りって言ってるでしょ?
>>467
使っている例は一応両方あるようだけど、辞書を見るとレッテルの方が正しいようだね。�d。
>>468
違うよ。>>306の中で「サパーリわからん」と引用されてるのがオレw
0470132人目の素数さん
2006/08/30(水) 17:58:210471132人目の素数さん
2006/08/30(水) 18:03:53ZFの公理は松坂は素朴集合論なのでハズレ。田中一之の集合とロジックだかって本は空集合の公理は採用していないが、あっても困らないという理由で分出公理図式を採用してるから同じこと。別の田中の公理的集合論と竹内の集合論も同様の公理を採用。
結局彼らは何を反論したかったんだろうか?とりあえず彼らの使う図書館の蔵書の数が少ないことぐらいしかわからん。
「悪魔の論理」的反論が来そうな悪寒w
0472132人目の素数さん
2006/08/30(水) 18:45:160473132人目の素数さん
2006/08/30(水) 23:34:45たぶん
ex=xe=xとx(x^(-1))=(x^(-1))x=eと書くのではなくて
∃e∈G,∀x∈G[ex=xe=x] と∀x∈G,∃x^(-1)∈G[(x^(-1))x=x(x^(-1))=e]
とちゃんと書け、って事なんじゃないですかね。∃e∈Gとか省略するな、と。
0474132人目の素数さん
2006/08/30(水) 23:39:300475132人目の素数さん
2006/08/30(水) 23:42:55彼が言う前に省略したことは書いてあるし、そうだとしたら無理矢理もいいところ。
そんな馬鹿な話ではないと思う。
0476132人目の素数さん
2006/08/31(木) 00:51:12「素人がいいかげんな事を言っているのを叩く」のに夢中になってるみたいだな。
「相手は素人」という前提に立てば、全ては「素人のいいわけである」という
風にも全て解釈可能だし(たとえ正しい事を書いたとしても、それはたまたま
であるとか、或いは本から丸写ししたんだと思えば「相手は素人」という前提
は動かないしね)。
0477132人目の素数さん
2006/08/31(木) 00:54:390478132人目の素数さん
2006/08/31(木) 07:28:17本当に崩れなんかね?せいぜい学部生じゃね?
0479132人目の素数さん
2006/09/01(金) 15:46:400480132人目の素数さん
2006/09/01(金) 16:46:12-a=-c/(-b)
=((-1)*c)/((-1)*b)
=c/b
負の数=正の数となるから、矛盾する
よって、負の数*負の数は正の数
でいいんじゃないの?
0481132人目の素数さん
2006/09/01(金) 17:56:170482132人目の素数さん
2006/09/02(土) 00:44:15友人にひまなら見てみと言われて・・。
ZF萌えのぼーやはよく調べたね。図書館か。なるほどね。その見当違いの文献から
ぼーやがどんな分野であれ数学を専攻している人間ではないことはわかった。
もしかしたら高校生ではないのかな。でも、んなことはどうでもいい。
おれ、しばらくひまだから相手してやる。でもね、お話するときには共通の基盤が必要だ。
あまりにもレベルが違いすぎると疲れる。したがってぼーやの数学についての知識と力を
試そう。ということでぼーやにはこれくらいが適当だろう。
群Gとその部分群Hにおいて、Gの元gに対してGの部分集合Hgを
Hg={hg l h∈H}とする。
このときHの位数はGの位数の約数であることを証明せよ。
これをぼーやが適当だと思う公理群から演繹して証明してみ。当然位数の
定義も忘れるなよ。これは学部の演習なんかでよくつかう標準的な問題。
どこかの本でこの類題を見つけて、巻末の証明例を丸写ししてはいけないよ。
商売柄そんなのはすぐにわかる。そんなギャップのある証明は認めない。
あくまでも公理群から演繹して一から証明すること。ぼーやは「実用的」な
公理なんて言ったよね。では好きな公理群を実用的に使って証明してみ。
これを無視したり、言い訳したりして証明しなかったら、ぼーやはそていどのひと。
他の人の言うことに理解もしていないような小難しげな言葉を使っていただけという
ことになる。少なくともおれはそう判断して遊んでやらない。ぼーやがどう思うと勝手。
おれには深夜のひまつぶしだから。しかし、ちゃんと証明できたら、まじめに
遊んであげようね。
0483132人目の素数さん
2006/09/02(土) 00:53:23議論とかした事ないのか?
どうでもいいが、こういう匿名の空間で他人を挑発するときって、「人が言われて嫌な事」
を書いてるつもりで、実は「自分が言われて嫌な事」を書いてしまうものだよね。
0484132人目の素数さん
2006/09/02(土) 01:07:38>>おれ、しばらくひまだから相手してやる。
>>遊んであげようね
とおっしゃいますが、遊んでいただかなくても結構なんですけど。
バカな奴らがくだらない事を書き込んでるなあ、と陰であざ笑って
いていただければ、それだけでよろしいんですけれども。
それともあれでしょうか。これは、僕も仲間にいれてよ〜、の婉曲
表現なのでしょうか。
0485132人目の素数さん
2006/09/02(土) 01:18:31おまい応援してたのに
0486132人目の素数さん
2006/09/02(土) 01:31:43おまいも
ふ〜んわからんのか
あんなに元気だったの
にな
なんだ
0487132人目の素数さん
2006/09/02(土) 01:35:26仮定ちゃんと使えよ。
0488132人目の素数さん
2006/09/02(土) 01:35:310489132人目の素数さん
2006/09/02(土) 01:37:30はきつい
ここせいをいぢめるなお
>482なにさま?
0490132人目の素数さん
2006/09/02(土) 01:39:290491482
2006/09/02(土) 02:38:07一日かけて反例と思われる文献を探すだけの性格だから、証明できるのなら
すぐに反撃してくると思ったんだがなァ。
おれの文体が悪かったかな。ほんのちょっと楽しみにしてたのに。
崩れ�@とはあれだけ遊んでたくせに。崩れ�Aとは遊んでくれないのね
ぼーやって薄情・・・・おやすみ
0492132人目の素数さん
2006/09/02(土) 08:02:57素人相手に何必死になって自演してんだよ?お前の方がみっともないよ。
あのさあ、何で聞かれたことに答えずにそんな質問してんの?結局素人
の言うことだから無意味と思わせて、自分のミスを無かったことにした
いだけなんだろう?
やめとけ。お前、本当に崩れでもないんだろう?学部生は学部生らしく
おとなしくしてなさい。
それから。公理群から一から証明なんて「非実用的」なこと、君は毎回
やってるの?ご苦労様。普通の数学屋はそんな馬鹿なことは一々しないよ。
0493132人目の素数さん
2006/09/02(土) 08:14:47結構すごい精神力の持ち主だな。俺には真似できない。ちょっと尊敬。
0494132人目の素数さん
2006/09/02(土) 08:17:220495132人目の素数さん
2006/09/02(土) 08:21:220496132人目の素数さん
2006/09/02(土) 08:31:190497132人目の素数さん
2006/09/02(土) 09:18:30群Gの部分群Hの位数はGの位数の約数であることを証明せよ。
か。回りくどい出題だな。
0498132人目の素数さん
2006/09/02(土) 13:07:42あのさあ。見当違いでも何でもいいよ。おれは
専 門 外 の 素 人
だからさあwで、何がどう見当違いかを教えてくれるとうれしいな。
もちろんここの議論の流れに沿ってね。煽りでなく指摘ならオレは大歓迎する。
ここに書いているのは煽りしかできないのばかり。議論以前だよ。
質問には素人だから答えないw認めてるんだから、答えなくても答えても同じだし、
ここの議論に全く関係ないことをこうやって繰り返されて話を誤魔化されるのも
どうも、ねえw
まあ、君も学部生か高校生かは知らないけど、つまらないことやってる暇があったら勉強しなよ。
専門でやっててあの書き間違いなら論外だけどなww
0499132人目の素数さん
2006/09/02(土) 17:32:340500132人目の素数さん
2006/09/02(土) 21:30:400501132人目の素数さん
2006/09/02(土) 23:26:070502132人目の素数さん
2006/09/02(土) 23:52:400503132人目の素数さん
2006/09/03(日) 00:12:170504132人目の素数さん
2006/09/03(日) 00:20:070505132人目の素数さん
2006/09/03(日) 00:24:120506132人目の素数さん
2006/09/03(日) 00:25:390507132人目の素数さん
2006/09/03(日) 00:26:550508132人目の素数さん
2006/09/03(日) 00:31:090509132人目の素数さん
2006/09/03(日) 00:43:200510132人目の素数さん
2006/09/03(日) 00:56:080511132人目の素数さん
2006/09/03(日) 01:06:580512132人目の素数さん
2006/09/03(日) 01:27:53a*1/(-2)を説明してくれよ。
0513132人目の素数さん
2006/09/03(日) 01:35:020514132人目の素数さん
2006/09/03(日) 06:17:31>>502以降一つも書いてないぞ。
オレは専門外だからやらないって言ってるじゃん。
同じド素人に素人扱いされても全く困らないから、したければどうぞww
0515132人目の素数さん
2006/09/03(日) 07:11:58とのことですが
では、例えばケーリーハミルトンの定理を定義にすると
行列の積の定義は、証明可能になるのでしょうか?つまり定理になるのでしょうか?
0516132人目の素数さん
2006/09/03(日) 07:12:53そんなことを言っているのは多分一人だけ。
0517132人目の素数さん
2006/09/03(日) 08:05:18でも例えば10個の公理と10個の定義から100個の定理が導ける
数学の分野があったとします。
これはようするに、20個の前提から100個の定理が導けるということですよね。
で、定理を1個、定義にしたとするなら、
21個の前提から99個の定理しか導けないことになります。
それはやはりおかしいのではないかと思います。
前提が1個増えたのに、導ける定理が1個減るというのはおかしいのではないか。
やはり、20個の前提から100個の定理が導けることは、不変なような気がするのですが。
0518132人目の素数さん
2006/09/03(日) 08:42:00定理は公理だけから導かれる命題だから、公理自身も定理と言える。
0519132人目の素数さん
2006/09/03(日) 09:29:500520132人目の素数さん
2006/09/03(日) 10:18:400521132人目の素数さん
2006/09/03(日) 10:33:240522132人目の素数さん
2006/09/03(日) 12:38:580523132人目の素数さん
2006/09/03(日) 19:02:180524132人目の素数さん
2006/09/03(日) 19:05:47>-a=-c/(-b)
>=((-1)*c)/((-1)*b)
>=c/b
>負の数=正の数となるから、矛盾する
>よって、負の数*負の数は正の数
合ってると思うんだが
0525132人目の素数さん
2006/09/03(日) 19:26:04本気で言っているの?
0526132人目の素数さん
2006/09/03(日) 20:11:500527132人目の素数さん
2006/09/03(日) 21:07:20>481-483か?
0528515、517
2006/09/03(日) 21:08:42ぜひお伺いしたいです。
よろしくお願いします。
m(__)m
0529132人目の素数さん
2006/09/03(日) 21:12:330530132人目の素数さん
2006/09/03(日) 21:46:01背理法で考えたのはよかったが529が言うように負÷負を正とするところが
まずい。はじめに割り算は掛け算の逆の計算だと決めているとして
-*-=-ならば(-)/(-)=-となるわけ。
だから
(-a)*(-b)=-c a,b,c>0 と仮定すると
-a=-c/(-b)
=((-1)*c)/((-1)*b)
=-(c/b)
=(-c)/b=-a
したがって
-a*b=-cとなり仮定と矛盾する。
この証明に背理法を使うって、おもしろいね。勉強になりました。
かなりの数学レベル、じゃないよ。数学はアイデアだから。その発想はグー
だと思う。
0531132人目の素数さん
2006/09/03(日) 21:46:36・・・そこじゃないだろ。
0532132人目の素数さん
2006/09/04(月) 01:20:040533132人目の素数さん
2006/09/04(月) 02:27:36ただ、>>524&>>530訂正は手伝えるな。
524改訂後
>(-a)*(-b)=-c a,b,c>0 と仮定すると
>-a=(-c)/(-b) ←訂正箇所
>=((-1)*c)/((-1)*b)
>=c/b
>負の数=正の数となるから、矛盾する
>よって、負の数*負の数は正の数
合ってると思うんだが
530改訂
>>524
背理法で考えたのはよかったが529が言うように
負÷負を正とするところが まずい。
はじめに割り算は掛け算の逆の計算だと決めているとして
-*-=-ならば(-)/(-)=-となるわけ。
だから
(-a)*(-b)=-c a,b,c>0 と仮定すると
-a=(-c)/(-b) ←訂正箇所
=((-1)*c)/((-1)*b)
=-(c/b)
=(-c)/b=-a
したがって
-a*b=-cとなり仮定と矛盾する。
この証明に背理法を使うって、おもしろいね。勉強になりました。
かなりの数学レベル、じゃないよ。数学はアイデアだから。
その発想はグーだと思う。
0534132人目の素数さん
2006/09/04(月) 02:40:20負×負ってことになるんだろ。
0535132人目の素数さん
2006/09/04(月) 02:41:31アルコール入ってるからか??
全「改正」を「改訂」に訂正します。
0536132人目の素数さん
2006/09/04(月) 03:08:15正の方向≒順方向、負の方向≒逆方向。邪道か?!
正の方向×正の方向=正の方向 ⇒ 順向きの順向きは、順向き。
正の方向×負の方向=負の方向 ⇒ 順向きの逆向きは、逆向き。
負の方向×正の方向=負の方向 ⇒ 逆向きの順向きは、逆向き。
負の方向×負の方向=正の方向 ⇒ 逆向きの逆向きは、逆向き。
これは殆ど数学上の哲学的問題だね。>>6なんか視覚的誘導だね。
0537132人目の素数さん
2006/09/04(月) 06:12:52以下の話、実は一番考えにくいのが-1*(-1)だったりするのはみそだ。
・かけ算の考え方は何をいくつ足したかである。
3*5は「3を(0に)5回たす」ことだ。
・負の数の足し算は説明済みと言うことにしておく。
(-3)*5=「(-3)を(0に)5回足した数」=0+(-3)+(-3)+(-3)+(-3)+(-3)=-15
・負の数は数字を正の数にする代わりに表す内容を反対向きにする。
例:-3個増える=3個減る
ゆえに
3*(-5)=「3を(0に)-5回たすこと」=「3を0から5回引くこと」=0-3-3-3-3-3=-15
・負の数の引き算は出来るようにしておく
4-(-5)=「4から-5を引く」=「4に5をたす」=4+5
・以上の考え方を採用すると
(-3)*(-5)=「-3を-5回たすこと」=「-3を0から5回引くこと」
=0-(-3)-(-3)-(-3)-(-3)-(-3)=0+3+3+3+3+3=15
で後は微分みたいに経験則ということでかけ算の法則として説明してしまえば
小学生や中学生なら納得してくれるな。
0538132人目の素数さん
2006/09/04(月) 06:43:17なかなかおk。
0539132人目の素数さん
2006/09/04(月) 13:18:51てまえ程度の脳みそなんざ>>6で既に出てきてるんだよ。
いちいち長文書いてるんじゃねえよハゲ。
0540132人目の素数さん
2006/09/04(月) 13:47:540541132人目の素数さん
2006/09/04(月) 20:44:55△かもしれないじゃん?
背理法を使っていい根拠は何ですか?
0542132人目の素数さん
2006/09/04(月) 20:48:340543132人目の素数さん
2006/09/04(月) 20:52:55背理法と言うのは-でダメだったら+か0だとい
う素晴らしい証明方法なんだよ。
0544132人目の素数さん
2006/09/04(月) 20:56:53ということは考えないんですか?
0545132人目の素数さん
2006/09/04(月) 21:14:530546132人目の素数さん
2006/09/04(月) 22:07:57ここの話は整数やら実数なんだろ。
0547中卒止まり
2006/09/04(月) 22:38:16むう!分数の割り算より大変!
ただ、>>524&>>530訂正は手伝えるな。
524改訂後
>(-a)*(-b)=-c a,b,c>0 と仮定すると
>-a=(-c)/(-b) ←訂正箇所
>=((-1)*c)/((-1)*b)
>=c/b
>負の数=正の数となるから、矛盾する
>よって、負の数*負の数は正の数
合ってると思うんだが
530改訂
>>524
背理法で考えたのはよかったが529が言うように
負÷負を正とするところが まずい。
はじめに割り算は掛け算の逆の計算だと決めているとして
-*-=-ならば(-)/(-)=-となるわけ。
だから
(-a)*(-b)=-c a,b,c>0 と仮定すると
-a=(-c)/(-b) ←訂正箇所
=((-1)*c)/((-1)*b)
=c/b ←再訂正
=c/b=-a ←再訂正
したがって
-a*b=cとなり仮定と矛盾する。
この証明に背理法を使うって、おもしろいね。勉強になりました。
かなりの数学レベル、じゃないよ。数学はアイデアだから。
その発想はグーだと思う。
0548530
2006/09/04(月) 22:40:40するどい。そういう考え方は数学的だと思う。さきの背理法を用いた証明の
a,b,cの定義を見て欲しい。a,b,c>0となっているでしょう。おれは簡単の
ために、-*-以外はふつう学校で習った計算が使えると勝手に決めて524の
証明をさわりました。だから掛け算の答えが0になるのは少なくともひとつの
数が0であるときになるわけ。でも、証明の冒頭でa,b,c>0と決めているので
掛け算の答えが0になることはない。したがって-が矛盾するのならば、答えは
+になるんだよ、というわけなのです。
0550132人目の素数さん
2006/09/04(月) 22:53:29ここで¥530のいうとおり逆元の存在は定義されているとすると
(-)/(-)=-とならなければならない。547のように((-1)*c)/((-1)*b)=c/b とするなら
これは(-)/(-)=+を意味するが、これは(-)×(-)=-と仮定していることに反する。
((-1)*c)/((-1)*b)=-(c/b)としてから矛盾を導かなければならない。
0551中卒止まり
2006/09/04(月) 23:34:37そのままにしたのだった。
0552132人目の素数さん
2006/09/05(火) 12:55:51a=a+0=a+{(-a)+(-(-a))} (0と逆元の存在から)
={a+(-a)}+(-(-a))=0+(-(-a)) (和の可換律と逆元の存在から)
=-(-a) (0の存在から)
よってa=-(-a) [1]
(-1)*a=(-1)*a+0=(-1)*a+{a+(-a)} (0と逆元の存在から)
={(-1)*a+1*a}+(-a)=(-1+1)a+(-a) (和の可換律と分配律から)
=0*a+(-a)=0+(-a)=-a (0の存在から)
よって(-1)*a=-a [2]
(-a)*(-b)
=(-a)*(-1)*b ([2]から)
=(-1)*(-a)*b (積の可換律)
=(-(-a))*b ([1]から)
=a*b ([1]から)
厳密に書いてつもりですが誤りがあったらご指摘お願いします。
0553132人目の素数さん
2006/09/05(火) 13:07:56それ書いたらこのスレ終わっちゃうじゃん。
0554132人目の素数さん
2006/09/05(火) 14:05:570555132人目の素数さん
2006/09/05(火) 16:25:120556132人目の素数さん
2006/09/05(火) 20:25:060557132人目の素数さん
2006/09/05(火) 20:59:27間違い発見!
最後の行
>厳密に書いてつもり〜
厳密に書いているつもり〜
0558132人目の素数さん
2006/09/05(火) 22:02:21(-a)/(-b)=a/bになることは、
(-a)/(-b)=Aおくと、
-a=-Ab
両辺にAbを足して
Ab-a=0
両辺にaを足して
Ab=a
よって、
A=(-a)/(-b)
=a/b
となるから、
マイナス割るマイナスはプラスとしていいんじゃない?
0559132人目の素数さん
2006/09/06(水) 00:02:040560550
2006/09/06(水) 01:06:35あなたの切り口は面白いと思う。しかし559の言うとおりAの扱い方に問題が
少々ある。さきの背理法を用いた証明では(-)×(-)=-と仮定しているのだから
乗法の逆演算として除法が定義されているとすれば、この仮定上(-)/(-)=-となる。
だから、あなたが「(-a)/(-b)=Aおくと」したとき、そのAは仮定上A<0でなければ
ならない。一方「A=a/b」だが、このときa,b>0と定義しているので、このAはA>0となり
「(-a)/(-b)=a/b」は成立しないということになってしまう。だが、この(-a)/(-b)≠a/b
とあなたの方法を用いると別の証明が成立する。それを簡単に言うと、すなわち
(-)*(-)=-と仮定すると(-)/(-)=-
ここで
(-a)/(-b)=a/bになることは、
(-a)/(-b)=Aおくと仮定よりA<0[1]
また-a=-Ab
両辺にAbを足して
Ab-a=0
両辺にaを足して
Ab=a
よってa,b>0から
A=a/b>0[2]
[1]と[2]からA≠Aとなり
したがって仮定は矛盾する
これも(-)*(-)=+を背理法で導く証明のひととつだと思う。
0562132人目の素数さん
2006/09/07(木) 22:48:16そこまでやるのだったら、いっそのことまず体F∈N上で(-)×(-)=+を
証明して、あとは体の拡大で実数まで持っていったほうがいいのでは
ないだろうか。
0563132人目の素数さん
2006/09/07(木) 22:51:300564132人目の素数さん
2006/09/07(木) 23:05:21それにZ上での(-)×(-)=+の証明も>>552と変わらないし。
0565132人目の素数さん
2006/09/07(木) 23:35:11はできる。そういう証明は、たぶんこのスレッドにもあると思う。552のようにする必要は
ないと思うな。また拡大は例えば、添加する元を定めなくても任意のa,b∈Rにたいして
(-a)(-b)=abが体で閉じていることを示せば、それが拡大体になる、という感じでいいのではないかと思う。
0566132人目の素数さん
2006/09/08(金) 00:02:44君恥ずかしくない?
0567132人目の素数さん
2006/09/08(金) 00:08:23ここ、思わせぶりがおおいな。そいうのほんまは
わかってないやつがほとんど。あんたの具体的なお話聞かせて
0568132人目の素数さん
2006/09/08(金) 00:16:12>体上だから、その定義を使えば加法の零元、逆元、乗法の単位元、分配則だけで(-)×(-)=+
>はできる。
552でもそのように証明してますが。
わかってないのはお前だろ。
0569132人目の素数さん
2006/09/08(金) 23:38:44「体」上で証明するという意味をわかってないようだ。あんなに回りくどく証明をする必要はない。もっと単純にできる。もともと実数で、としている時点で?なのだ。代数の基本がわかっているのだろうか、と思ってしまう。
0570132人目の素数さん
2006/09/09(土) 01:51:48あれ回りくどいか?普通の証明だけど
>>552は「実数」を「体」に書き換えるだけでいい
というかあんたの主張する、すっきりした証明を書いてから、そういう文句をつけるべき。
0571132人目の素数さん
2006/09/09(土) 10:45:580572132人目の素数さん
2006/09/09(土) 20:23:54>(-)*(-)=-と仮定する
そしたら矛盾が生じて,そしたらなんで+なんですか?
△かもしれないじゃないですか
符号が-+の2個しかない根拠はどこですか?
0573132人目の素数さん
2006/09/09(土) 20:32:040574132人目の素数さん
2006/09/09(土) 21:56:210575132人目の素数さん
2006/09/10(日) 00:32:57お前が数学屋でないことはわかった
0576132人目の素数さん
2006/09/10(日) 00:38:23「マイナス×マイナスがマイナスになると仮定したら‥‥というように背理法を使って解く」
と言われた。
>>530は俺でも理解できた。しかしまだなんかいろいろでてるな‥‥俺じゃ無理。誰か正解知らないん?
0577132人目の素数さん
2006/09/10(日) 00:52:29煽っても何もでないよw
第三の符号がないという保障はない。
0578132人目の素数さん
2006/09/10(日) 00:58:42前提条件の定義次第だろ。
負の数の存在性は問題に内包されているとして、あと分配則があれば
証明できるんじゃないのか?
0579132人目の素数さん
2006/09/10(日) 20:03:58前提条件の定義を任意(Z,Q,Rどれでもお好きに)の体上とすると
厳密命の純粋屋さんには少々目をつぶっていただいて
ここで乗法の単位元に対する加法の逆元を-1そして正と負の乗法を定義しても
一般性は失われないので
((-1)+1)*(-1)=0
また定義より
((-1)+1)*(-1)=(-1)*(-1)+1*(-1)
=(-1)*(-1)-1
したがって
(-1)*(-1)-1=0
(-1)*(-1)=0
これ、たぶんこのスレのどっかにあるのでは。
あとは拡大なり何なりで好きにして。これができるのも体上だから。でもはじめから
体上だったら、なにもこんなことしなくても、それこそ自明であると抹殺されてしまう
のだけど・・・体なんて使いたくなかったら、やっぱり背理法がいいと思う。要ははじめの
定義しだい。最小限の定義でなきゃいや、というゴリゴリさんなら、空集合の存在から
(といっても前に出てきたZFくんではないよ)自然数を定義して・・とできるかもしれないが
そんな労作は??なのです。結局、あなたの望む定義はな〜にです。
0580132人目の素数さん
2006/09/10(日) 21:13:46もし符号が+-△の3個あるのだとすれば、
背理法は使えません。
そこで質問なのですが、「符号が2個しかない」というのは
定理なのでしょうか?定義なのでしょうか?
0581132人目の素数さん
2006/09/10(日) 22:00:47覚えるないよう。
0582132人目の素数さん
2006/09/10(日) 22:09:32誤解を恐れずに言うなら定義。自然数aがあってa+b=0となるような
bを加法の逆元として、これを負数としている。もし+-△だとするのなら
N,Z,Q以外にまた別の数体系を作らなくてはならない。それが既存の数学と
無矛盾であれば、そうしてもよい。
0583132人目の素数さん
2006/09/11(月) 01:34:27(-1)*(-1)=0?
0584132人目の素数さん
2006/09/11(月) 21:06:24では
-*-=+を定義としたら、「符号が2個しかない」というものが定理として導かれませんかね?
まだためしてませんけど、多分導けるだろうと思います。
ここでもまた
「定理と定義の交換可能性」が顔を出しましたね。
0585132人目の素数さん
2006/09/11(月) 21:36:58あと体の定義から-*-=+が導ける。
いい加減にしろよ。
0586132人目の素数さん
2006/09/11(月) 22:45:210587132人目の素数さん
2006/09/11(月) 23:07:580588132人目の素数さん
2006/09/11(月) 23:31:42>体の定義から-*-=+が導ける
のであれば
-*-=+から体の定義が導ける
のではないですか?
体の定義から必要十分条件で演繹したんでしょ?
なら逆にたどることも出来るじゃないですか?
これについては自信があります。
何故なら必要十分条件で出発点(定義)からゴール(定理)まで辿ったのであれば
ゴール(定理)から出発点(定義)に辿ることも可能だからです。
0589132人目の素数さん
2006/09/11(月) 23:40:260590132人目の素数さん
2006/09/11(月) 23:41:28導いてから言えやボケ。
0591132人目の素数さん
2006/09/11(月) 23:49:20それではまず平均値の定理から微分の定義を導いてもらおうか。
一変数の場合でいいので。
0592132人目の素数さん
2006/09/11(月) 23:58:57数学はあきらめたほうがいいな。
0593132人目の素数さん
2006/09/12(火) 00:04:40-*-=+から体の定義が導けるなら
a*b=b*aやa+b=b+aや(a+b)+c=a+(b+c)などが導けるのか。
0594132人目の素数さん
2006/09/12(火) 00:22:31やめてくれ。
隔離スレに電波が溜まるのは当たり前。
見る気もせんわ。
0595132人目の素数さん
2006/09/12(火) 00:37:02少なくとも体なんて厳しい条件は必要ないな。
分配則とあと少しの条件でOKだろ。
0596132人目の素数さん
2006/09/12(火) 01:46:34x, y, z≧0, x+2y+3z≧12 から x+y+z≧4 を導くのが
意外とできない人が多いって書いてたのを思い出した。
0597132人目の素数さん
2006/09/12(火) 15:44:22いずれにせよ
この何々法則と何々法則と、、から導ける、というより
環の公理から導ける、とか体の公理から導ける、とか言うほうが簡単かと、
あまりそんな細かい部分拘ってもしょうがないじゃん
>>588
>必要十分条件で演繹したんでしょ?
誰もそんなこと言ってませんが、、
というか「他に符号が無いこと」って具体的にどういう話してるの?
順序体の話?順序体は公理によって全順序集合になるから当たり前じゃん
0598132人目の素数さん
2006/09/12(火) 18:12:55を疑おうともしない香具師は数学をやる資格はないな
0599132人目の素数さん
2006/09/12(火) 23:10:40定理はすべて必要十分条件で導いてますよ?
そして必要十分条件なら逆も真になる。
0600132人目の素数さん
2006/09/12(火) 23:16:04定理
x, y, z≧0, x + 2y + 3z≧12
ならば
x + y + z≧4
である
証明
3(x + y + z) = 3x + 3y + 3z ≧x + 2y + 3z≧12
よって3で割ってx + y + z≧4 ■
>>599
上の定理の逆でも導いてみてね
導けるものなら
0601132人目の素数さん
2006/09/12(火) 23:20:040602132人目の素数さん
2006/09/12(火) 23:23:36以前の価値判断で入れ替えできなくなるから自分の首しめる。
0603132人目の素数さん
2006/09/12(火) 23:43:38じゃあフェルマーの小定理とかでも
0604132人目の素数さん
2006/09/12(火) 23:53:070605132人目の素数さん
2006/09/12(火) 23:55:00〜 完 〜
0606132人目の素数さん
2006/09/13(水) 00:37:210607132人目の素数さん
2006/09/13(水) 00:37:560608132人目の素数さん
2006/09/13(水) 00:46:41>>600
>>591
>>593
自信があるって言ってたので、期待して待ってるぞ。
0609132人目の素数さん
2006/09/13(水) 01:12:59その証明には少々問題が・・。例えば
4(x+y+z)≧x+2y+3z≧12も成立するから
x+y+z≧3も成立する。さらに
細かいところはすっ飛ばすとして
いまn≧3,n∈Nとしても
n(x+y+z)≧x+2y+3z≧12が成立するから
このとき上と同様にしてn→∞とすると結局
x+y+z≧0としかならなくなるが、これでは明らかに矛盾がある。
この矛盾は命題が偽だからではなく、その証明方法に難がある
からで。x,y,z≧0のとき
x+2y+3z≧12より
3z≧12-(x+2y)≧12-(3x+3y)
したがって
3(x+y+z)≧12
x+y+z≧4
これとて恣意的な証明ではあるがzの係数3の押さえが利いているから
少なくともあなたの証明によるパラドックスは避けられる。
またこの命題は真だから、別に定理と呼んでもかまはないが
世間の言う定理はもっと一般性があって拡張性に富んでいる命題のこと。
それでも、あなたがあれを定理だと言いたければお好きに。
言葉本来の意味では間違いではないが、業界での使われ方からするとそれはちょっと・・
という話だけだから。
0610609
2006/09/13(水) 01:44:42x,y,z≧0でx+y+z≧4のとき
3x+3y+3z≧12より
x+2y+3z≧12-(2x+y)
ここでx,y≧0なので
12-(2x+y)≧12
したがって
x+2y+3z≧12
0611132人目の素数さん
2006/09/13(水) 01:45:56>x+y+z≧0としかならなくなるが、これでは明らかに矛盾がある。
何が矛盾するの?
「としかならない」とは?
0612132人目の素数さん
2006/09/13(水) 01:47:180613132人目の素数さん
2006/09/13(水) 01:51:44>ここでx,y≧0なので
>12-(2x+y)≧12
12-(2x+y)≦12 だろ。
0614609
2006/09/13(水) 02:13:29であることしか証明できないということ。しかしこれは自明。
x+2y+3z≧12がなくても成立してしまう。
0615609
2006/09/13(水) 02:26:09申し訳ない。確かに。なんという醜態を・・
言い訳はしません。我に返って考えてみると逆は偽。理由は簡単で
反例をひとつx=4,y=0,z=0。でも609の証明は大丈夫。やっぱりどんな証明
でも書いてからのチェックを忘れてはならないな。
0616132人目の素数さん
2006/09/13(水) 02:26:59「〜も証明できる」ってだけだろ。
「あの600の方法」とは違うことしてるし。
「>>609の考えた別の方法では、
自明な命題しか証明できなかった。」というだけのことだ。
0617132人目の素数さん
2006/09/13(水) 07:49:44x+y+z≧0 であることよりも
x+y+z≧4 であることのほうが
より範囲が狭まっている分だけ強いと思うんだが。
0618132人目の素数さん
2006/09/13(水) 18:02:11>必要十分条件で導いてない定理って存在するんですか?
なんて言ってる時点で絶望的に数学(というか論理全般)のセンスがないよな
0619132人目の素数さん
2006/09/13(水) 18:14:01仮にそうだとすると、>>610が崩れた時点で>>600への反論は駄目になるな。
(>>609の内容もめちゃくちゃだが)
0620132人目の素数さん
2006/09/13(水) 18:32:48どっちにしろトンデモ方向にずれまくってるが。
0621132人目の素数さん
2006/09/13(水) 19:00:46「示せるとは限らない。よって誰々の作った証明は間違いである。」
とか言う…
まるで、かつて小川某が作ったトンデモレポートみたいだ。
0622132人目の素数さん
2006/09/13(水) 19:52:31世も末だな
0623132人目の素数さん
2006/09/13(水) 22:15:10>定理
>x, y, z≧0, x + 2y + 3z≧12
>ならば
>x + y + z≧4
>である
何を言っているんですか?
これは
「実数の公理定義」から必要十分条件で演繹して
「x, y, z≧0, x + 2y + 3z≧12 ならば x + y + z≧4 という定理」
を導いたんですよ。
「x, y, z≧0, x + 2y + 3z≧12 ならば x + y + z≧4」
↑これひとかたまりの文章です。
あなたが言っているのはこの文章を「ならば」の前後でわけたんでしょ?
「x, y, z≧0, x + 2y + 3z≧12 」と「x + y + z≧4」
をわけたんでしょ?
そうじゃないでしょうが。
「実数の公理定義」から「x, y, z≧0, x + 2y + 3z≧12 ならば x + y + z≧4 という定理」
を導いたのは必要十分条件でしょ?
言ってる意味わからないですか?
同じことを>>249でも書き込んでますよ。
私が質問したのは「必要十分条件で導かれていない定理」はありますか?
と聞いたんですよ。
「x, y, z≧0, x + 2y + 3z≧12 ならば x + y + z≧4 」
と言う定理は「実数の公理定義」から必要十分条件で導かれていますよ
0624132人目の素数さん
2006/09/13(水) 22:19:460625132人目の素数さん
2006/09/13(水) 22:21:22「実数の公理定義」から
「x, y, z≧0, x + 2y + 3z≧12 ならば x + y + z≧4 という定理」を
必要十分条件で演繹する過程を示して下さい。
0626132人目の素数さん
2006/09/13(水) 22:32:29そんな面倒くさいことはしません。
「必要十分条件で導かれていない定理」をお示しください。
一例でいいのでお示しください。
0627132人目の素数さん
2006/09/13(水) 22:33:29酷すぎる
0628132人目の素数さん
2006/09/13(水) 22:35:19a,b>0ならばa+b>0の逆
a+b>0ならばa,b>0を導け。
0629132人目の素数さん
2006/09/13(水) 22:35:48○できません
0630132人目の素数さん
2006/09/13(水) 22:36:45すでに挙げられている。
0631132人目の素数さん
2006/09/13(水) 22:38:00本を見てごらん。そんなのいっぱい載っているから。
0632132人目の素数さん
2006/09/13(水) 22:38:03この文章は「リンゴの定義と果物の定義」から必要十分条件で導かれた定理です。
あなた方が言ってるのは
「リンゴならば果物である」
からといって
「果物はリンゴである」
とは言えない
と言いたいんでしょ?
そういうこと言ってるんじゃないんだよ。
「リンゴの定義と果物の定義」から「リンゴならば果物である」が
導かれるじゃないですか。
0633132人目の素数さん
2006/09/13(水) 22:40:50で、それのどこが必要十分条件なの?
ホントにアタマおかしいんじゃないの?
そもそも必要十分条件の意味がわかってないんじゃないの?
0634132人目の素数さん
2006/09/13(水) 22:41:51これだけ噛み砕いて説明しても理解できないのなら
もう話す意味がないですからね。
0635132人目の素数さん
2006/09/13(水) 22:42:02では、リンゴの定義と果物の定義から
「リンゴならば果物である」を必要十分条件で導いてみせて。
0636132人目の素数さん
2006/09/13(水) 22:43:28お前は定理から定義が導けると言っているんだよ。
>「リンゴの定義と果物の定義」から「リンゴならば果物である」が
>導かれるじゃないですか。
これじゃ定義から定理を導いただけじゃん。
「リンゴならば果物である」から「リンゴの定義と果物の定義」を導いてごらん。
0637132人目の素数さん
2006/09/13(水) 22:44:05こなくていいよ
キチガイ
ていうか、どう考えても負け逃げだろw
0638132人目の素数さん
2006/09/13(水) 22:45:530639132人目の素数さん
2006/09/13(水) 22:49:42>この文章は「リンゴの定義と果物の定義」から必要十分条件で導かれた定理です。
この出だしからして破綻してるな。
自分でこの破綻に気付かないことにはどうしようもないだろ。
0640132人目の素数さん
2006/09/13(水) 22:50:15>>241で私は
「数学の任意の公理系内において
定義n個と定理m個を入れ替えることができるような自然数n,mが必ず存在する」
と書きました。
定理いくつかと定義いくつかが交換できる
と言っているんです。
ですから
>「リンゴならば果物である」から「リンゴの定義と果物の定義」を導いてごらん。
これは無理です。
もっと定理をたくさん作ってから、「その複数の定理」+「果物の定義」
から「リンゴの定義」を 導くことは可能だといっているんです
0641132人目の素数さん
2006/09/13(水) 22:53:140642132人目の素数さん
2006/09/13(水) 22:54:07その定理はどこから導くのかな。
0643132人目の素数さん
2006/09/13(水) 22:55:14>「リンゴならば果物である」
>この文章は「リンゴの定義と果物の定義」から必要十分条件で導かれた定理です。
0644132人目の素数さん
2006/09/13(水) 22:55:36>>641
疲れているのでできません
しかし、わざわざ書かなくても
直感的にわかってくれる人がいてくれることを願います。
0645132人目の素数さん
2006/09/13(水) 22:57:40>これについては自信があります。
>何故なら必要十分条件で出発点(定義)からゴール(定理)まで辿ったのであれば
>ゴール(定理)から出発点(定義)に辿ることも可能だからです。
0646132人目の素数さん
2006/09/13(水) 22:58:450647132人目の素数さん
2006/09/13(水) 22:58:52なるほど。。。
リンゴの例えは取り消します。
失礼しました。
0648132人目の素数さん
2006/09/13(水) 22:59:42直感的に間違っていると判断している人ばかりなので、
証拠を求められているのです。
0649132人目の素数さん
2006/09/13(水) 23:02:150650132人目の素数さん
2006/09/13(水) 23:03:370651132人目の素数さん
2006/09/13(水) 23:05:030652132人目の素数さん
2006/09/13(水) 23:07:19ちょっと頭の中で整理しなければなりません。
整理して、自分の考えが正しかったと確信が持てたら、
またこのスレに書き込みに来ます。
0653132人目の素数さん
2006/09/13(水) 23:08:320654132人目の素数さん
2006/09/13(水) 23:08:41どうした?
自信満々だったじゃないか。
0655132人目の素数さん
2006/09/13(水) 23:10:430656132人目の素数さん
2006/09/13(水) 23:12:15間違いを間違いと素直に認めるのも自信のうちです。
リンゴの例えは間違いだったと認めます。
しかし、定理と定義の交換可能性、これは考えてみる価値があるので
もう少し整理してみます。
0657132人目の素数さん
2006/09/13(水) 23:14:51必要十分なら交換可能だけど、実質あんま意味ない
それに必要十分じゃないのもある。って。
0658132人目の素数さん
2006/09/13(水) 23:15:59では、>>626で面倒だといって放棄した証明はどうなる?
正しいのであれば、時間をかけてもいいから完成して。
もしくは、証明の概略をここで述べてくれ。
0659132人目の素数さん
2006/09/13(水) 23:16:05>もう少し整理してみます。
不勉強だな
論理学の初歩でもかじればすぐに分かるし、そんなにたいした問題じゃない。
不要な自信など持たずに虚心で勉強しとけよ。
絶望的にセンスは無さそうだけど。
0660132人目の素数さん
2006/09/13(水) 23:18:450661132人目の素数さん
2006/09/13(水) 23:23:12本質的な意味なんてないじゃん、なんかそこにこだわる意義があんのか?
0662132人目の素数さん
2006/09/13(水) 23:27:23ですから、このスレで-*-=+が定理なのか定義なのかが
議論になっていたんですよ。
その議論に終止符を打つために僕が考え出した理論なんですよ。
0663132人目の素数さん
2006/09/13(水) 23:30:360664132人目の素数さん
2006/09/13(水) 23:36:42公理は定理なのでそう呼べるが公理であることには変わりないので意味はない。
定理は公理に出来るが独立じゃないという点では美しくはない。でも、実用上便利なのでよくそうされてはいる。
でも、交換できるという話とそれらは別。
0665132人目の素数さん
2006/09/13(水) 23:40:15http://ja.wikipedia.org/wiki/%E6%95%B4%E6%95%B0
0666132人目の素数さん
2006/09/13(水) 23:41:26昔、図書館で確か矢野健太郎という数学者が書いた本に
-*-=+は定義だと書いてあった記憶があります。
じゃあこの数学者は間違いだというのですか?
もちろん定理としてもいいと思いますよ?
しかし定義としてもいいと私は思うのです。
そこから生まれたのが私の理論なのです。
0667132人目の素数さん
2006/09/13(水) 23:46:10>これでは明らかに矛盾がある。
無いよ。
x + y + z≧4、かつ4≧3だから推移法則(a≧bかつb≧cならばa≧c)より
x + y + z≧3。
まさか4≧3が間違いだ、とか言わないよね。
>少なくともあなたの証明によるパラドックスは避けられる。
全く同じことやってるのに避けられてるわけないじゃん。。
>世間の言う定理はもっと一般性があって拡張性に富んでいる命題のこと。
あれは例として出したんであって、こんな下らん「定理」じゃなくて
もっと面白い内容がいいのであればそういう例もあるよと。フェルマーの小定理とか。
高校の数学の教科書の論理のところ(かそれに代わる教科書)
と不等式のところを見直してみたほうが良いですよ。冗談抜きで。
0668132人目の素数さん
2006/09/13(水) 23:47:42>しかし定義としてもいいと私は思うのです。
思うだけかよ。だったらそれはだめだと思うよ。
0669132人目の素数さん
2006/09/13(水) 23:51:36体について-*-=+が成り立つことが証明できるから定理なんだよ。
0670132人目の素数さん
2006/09/13(水) 23:52:49まず出典をきっちりと明らかにしたまえ。君の記憶は万能なのか?
まず矢野氏の本が群環体論関連の本だったかどうかが一番気になるし、前後の文脈もあるだろうがにわかには信じがたい。
それと君は定義と定理の区別がついてないんじゃのかい?
必要十分条件もいまいち理解できてないようだし。
0671132人目の素数さん
2006/09/13(水) 23:56:04笑わしよんのーwww
0672132人目の素数さん
2006/09/13(水) 23:58:43僕チンが間違ってるんじゃないやい、僕チンが間違ってるって言い張るならこの数学者もまちがってんのかよー
って小学生かw
0673132人目の素数さん
2006/09/13(水) 23:59:23おそらく「矛盾」も理解してないと思われ
0674132人目の素数さん
2006/09/14(木) 00:04:230675132人目の素数さん
2006/09/14(木) 00:06:41>>663
具体的にどの本か分からないと元の文が分からないので確かなことは言えませんが、
公理とほとんど同じくらい基本的なレベルにある定理なので、
「負の数かける負の数は正の数」を(順序体の)公理に採用することも出来る。
具体的には下のページの公理の3番を「負かける負は正」に直して、
あと必要であれば他に公理を補充するわけです。(多分必要ないと思うけど)
http://ja.wikipedia.org/wiki/%E9%A0%86%E5%BA%8F%E4%BD%93
だから公理系を指定せずに、ただ「負かける負は正」を証明しようと考えても
あまり意味は無い、ということは言えます。
>>640
もっとrigidに言うなら、
いくつかの述語記号や関数記号、定数記号など(全部ひっくるめて言語L)があり、
公理系T(Lの論理式の集合 {φ1, φ2,........., φn} )がある。
公理系Tにおける定理ψ1があったとき、あるTの定理の集合{ψ2,........, ψ(m-1)}があって、
{φ1,........., φn}と{ψ1,ψ2,.........,ψ(m-1)}はどちらを公理系にとっても等価な理論になる。
ってことでしょうか。それは当たり前です。
極端な話ψたちとしてφたちをとってやればいいんだから。
でもそれは「必要十分条件で導かれている」とは言いません。
それにあなたは初めからそうは書いていませんでした。
>>640で初めて主張を変更しています。
もう一度最初から自分の書いた文章を見直してみてください。
0676132人目の素数さん
2006/09/14(木) 00:11:03これについては一般向けの本でした。
ブルーバックスみたいな感じの本だったと記憶しています。
しかし、一般向けの本だからといってウソを書いていいはずがありませんよね?
その図書館にまだあるかもしれないので今度さがしてみてみます。
もう寝ます。
0677132人目の素数さん
2006/09/14(木) 00:18:150678132人目の素数さん
2006/09/14(木) 00:18:45だから
>しかし、一般向けの本だからといってウソを書いていいはずがありませんよね?
ってのは馬鹿すぎる発言だ。
つうかブルーバックス程度の浅薄な知識をベースに自説を「理論」呼ばわりするとは
君には「恥」の概念がないのかね?
0679132人目の素数さん
2006/09/14(木) 00:24:18必要十分条件も理解できない奴が順序体や基礎論を理解してる(出来る)とは思えんし。
0680132人目の素数さん
2006/09/14(木) 00:25:31「理論」などと大層な言葉を使うのだから、
本の内容を鵜呑みにせず
当然自分でも検討してみたのだろうな。
0681132人目の素数さん
2006/09/14(木) 00:29:31>ウソを書いていいはずがありませんよね?
掲示板にウソばかり書いてるやつが言っても誰も聞く耳持たんぞw
0682132人目の素数さん
2006/09/14(木) 00:40:21> しかし、一般向けの本だからといってウソを書いていいはずがありませんよね?
いや、一般書にはよく嘘が書いてある。書籍を簡単に信用してはいけない。
よくあるのは、厳密に言うと正しくないのだがそこでの説明をわかりやすくするためにあえて嘘を書く。
他にも、著者には全くそのつもりがないのだが、誤植や編集ミスで嘘になることもあれば
単純に間違いで嘘が書いてあることもある。
0683132人目の素数さん
2006/09/14(木) 00:41:53「匿名掲示板だからといってウソを書いていいはずがありませんよね?」
と突っ込まれることになりそうだ。
0684132人目の素数さん
2006/09/14(木) 02:01:19やつぱり、いつまでも負け続けなのでは?
0685132人目の素数さん
2006/09/14(木) 02:18:51それはおそらく「負+負」の事象なんだと思う。
0686132人目の素数さん
2006/09/14(木) 02:30:27x + y + z≧4の4の意味をよく考えて。あの、こんな基本的なこと
わざわざ言ってすまないが、この4はぎりぎりいっぱい寸止めの4
ということでしょう。だからx + y + z≧3も然りで寸止めの3ということです。
{x,y,zlx + y + z≧4}⊂{x,y,zlx + y + z≧3}だからといって
x +2y +3z≧12⇒x + y + z≧4とx +2y +3z≧12⇒x + y + z≧3は
当然同値ではない。x +2y +3z≧12⇒4<x+y+z≦3なる
x,y,zなんて存在しますか?飛び道具の空中戦も見ていて面白いけど
もう少し地面すれすれの泥臭い議論も必要なのでは。
なお途中の表現で雑なものがあるけど、それは無視してください。
0687132人目の素数さん
2006/09/14(木) 02:33:520688132人目の素数さん
2006/09/14(木) 02:42:430689132人目の素数さん
2006/09/14(木) 02:48:35ハァ〜・・とため息
0690132人目の素数さん
2006/09/14(木) 02:49:49x + y + z≧3とは違う意味ですのでー
というか5≧3は真、とか4≧4は真だけど4>4は偽、とかご存じない?
高校生なら大抵知ってるものだけど、、
0691132人目の素数さん
2006/09/14(木) 02:51:40ハァ〜・・とため息�A
あのなァきみら・・・
0692132人目の素数さん
2006/09/14(木) 02:51:45>わざわざ言ってすまないが、この4はぎりぎりいっぱい寸止めの4
>ということでしょう。
こんな基本的なことわざわざ言ってすみませんが、違いますよ。
>x +2y +3z≧12⇒x + y + z≧4とx +2y +3z≧12⇒x + y + z≧3は
>当然同値ではない。
あなた何を言ってるんですか?
命題としてみりゃどっちも真なんだからどっちも恒真命題と同値ですよ。
0693132人目の素数さん
2006/09/14(木) 02:53:00あれ、何かおかしい?689=691≠686だよね?
>>690は686にあてたレスですよ?
0694132人目の素数さん
2006/09/14(木) 02:53:39こらアカンわ
まいった
0695132人目の素数さん
2006/09/14(木) 02:56:23これが最後のハァ〜・・とため息�B
ほんまになァ・・・・
0696132人目の素数さん
2006/09/14(木) 03:20:19もしかして
(三角形の内角の和)≧90°
は間違いだとか思われてますか?
とんでもないですよ
多分等号つきの不等号≦、≧の使い方を誤解されています><;
手元に高校の教科書があれば確認してみることをお薦めします。
高校の教科書が手に入らなければ、「数学読本」松坂和夫 著の一巻とかに書いてあると思う。
まあ近くの本屋で高校の参考書を立ち読みした方が早いけど。
0697132人目の素数さん
2006/09/14(木) 03:22:450698132人目の素数さん
2006/09/14(木) 03:24:350699132人目の素数さん
2006/09/14(木) 03:26:520700132人目の素数さん
2006/09/14(木) 03:28:29>>686以降なにを言ってるんだかさっぱりわからなくなった。
0701132人目の素数さん
2006/09/14(木) 03:33:29それ以外で意外とありそうなパターン2が
上でデタラメばっか言ってた人には反対だった
⇒調子に乗って687, 690その他もトンデモだと思ってしまったけど、
実は自分の方が誤解してたってパターン。
ついでに解説しておくと
a≧bってのはa>bまたはa = bの少なくとも一方が成り立つ、ってことで、
a > b かつ変数aと変数bは同じ値を取りうる、とかそういう意味ではないですよ。
だからa>bならば、a≧bは自動的に成り立つ。
しかし、意外とwebからソース引っ張ってこようと思うと大変なんだなあ、、www
こんな基本的なことだと解説してあるページがなかなか無いんだよね
0702132人目の素数さん
2006/09/14(木) 03:33:59>当然同値ではない。
こりゃどっちも恒真命題だから同値だな。論理学の初歩も知らないのか?
>x +2y +3z≧12⇒4<x+y+z≦3なる
>x,y,zなんて存在しますか?
意味不明。不等号の向きも怪しいがなにを主張したいのかサッパリ??
>表現で雑なものがあるけど、それは無視してください。
なら最初に「ぎりぎりいっぱいの寸止めの」なんて表現は控えるべきだな。
これこそ雑な表現極まりない。もっとも主張全体が数学の基礎にもおとり粗雑極まりない。
0703132人目の素数さん
2006/09/14(木) 03:37:11無内容だけどね
>意味不明。
論理学的には「x +2y +3z≧12」が偽なら当然真だなw
とか重箱の隅を突っついてみるテストw
686にそういうこというと混乱しそうだから言わないけどw
最小値と下限も違うってことも書こうかと思ってたけど
書かなくて正解だったな
0704132人目の素数さん
2006/09/14(木) 03:41:10つうか真ん中はホントに何を主張したいのか意図がサッパリ読めない。
今までは間違いの方向性くらいは読みとれたんだが。
0705□
2006/09/14(木) 04:34:32>>686がどういう立場で何を言いたいのかが
さっぱりわからんので混乱してるの図って感じだな。
>>687はそれを何とか解釈して返答したのか
それともなにか勘違いしたまま煽ったのか
これもよくわからん。
それにタメイキ付いてる>>689もさっぱりわからん
このスレはトンデモもいるけど、けっこう面白い角度から
数学をみてたりするんで楽しみなスレだったんだが‥
できればみなさん自分の立場をあるていど明らかに
してもらえませんか?
たとえば
既存の数学に異論はないなら 名前欄に○
既存の数学に疑問があるとか物申したいなら 名前欄に×
トンデモの話に付き合いたいなら □
ニヤニヤと傍観者や煽りなら △
漏れの立場は○に近い□です。
0706□
2006/09/14(木) 04:42:04「x +2y +3z≧12⇒4<x+y+z≦3なる x,y,zなんて存在しますか?」
「x +2y +3z≧12 のときに 4>x+y+z≧3 になる x,y,zなんて存在しますか?」
のつもりで書いたんじゃないかな?
⇒の使い方もよくわかってないんじゃないかと。
にしても、その後の「飛び道具の空中戦」とか「地面すれすれの泥臭い議論」
ってのが何を言いたいのかよくわからんのだが‥
なんか発掘された聖典の解読とかしてるような気分になってきた。
0707132人目の素数さん
2006/09/14(木) 16:22:220708132人目の素数さん
2006/09/14(木) 18:05:00>>686を解読してくれ。 そしたら信用してやろう。
0709132人目の素数さん
2006/09/14(木) 19:04:01内容を解釈してそのとおり書く、お互いそれやるだけだろ。
0710132人目の素数さん
2006/09/14(木) 19:31:280711132人目の素数さん
2006/09/15(金) 00:49:553X≧12ならX≧4を証明せよ、で
4X≧3X≧12より4X≧12したがってX≧3
でもX≧4とX≧3は同値!!なので、この任意の係数を選ぶという証明方法は正しいという。
うちでこんな証明出しやがった日にゃあなァ。
これを具体的な数学を用いて批判せよ。目には目を。証明には証明を。感想は不要。具体的に。
0712132人目の素数さん
2006/09/15(金) 00:53:51x≧4とx≧3は同値じゃないだろうが。
誰が同値だなんて言ってるんだ?
0713132人目の素数さん
2006/09/15(金) 00:57:30うちって何処?
0714132人目の素数さん
2006/09/15(金) 01:00:05>>711も意味不明、理解不能だな
0715132人目の素数さん
2006/09/15(金) 01:06:32というかどうやったらここまで誤解できるのか興味が沸くくらいだ。
0716132人目の素数さん
2006/09/15(金) 01:08:50何が言いたいのかよくわからん
0717132人目の素数さん
2006/09/15(金) 01:16:20「間違ってるでしょ、これ」で済む話だ。
0718132人目の素数さん
2006/09/15(金) 01:18:570719132人目の素数さん
2006/09/15(金) 01:20:51636の言いたかったことを分かってない、ということかもしれないけど
636が分かるように書かないのが悪いわけで、、
0720132人目の素数さん
2006/09/15(金) 01:22:33ななまるに
0721132人目の素数さん
2006/09/15(金) 01:27:24>>702はどっこも間違ってねーやん
どこがどのように誤解してるのか具体的に説明しておくれ
0722132人目の素数さん
2006/09/15(金) 01:52:14>>702の
>x +2y +3z≧12⇒x + y + z≧4とx +2y +3z≧12⇒x + y + z≧3
こりゃどっちも恒真命題だから同値だな。
と>>712の
x≧4とx≧3は同値じゃないだろうが。
と相反するだろう。
かたや>>712は受け入れているのに>>702を批判しないのはおかしい、と(それが>>720での書き込みでの暗喩だろう)
壮 烈 に 誤 解
してるわけだ。
言っておくが、>>702も>>712もどっちも正しいぞ。二つの違いが分からないようなら数学板に書き込むのは
金輪際控えた方がいい。
0723132人目の素数さん
2006/09/15(金) 02:03:49ふたつのやり方でひとつめのやり方は結局正しいのでつか
0724132人目の素数さん
2006/09/15(金) 02:10:13中学生レベルの証明だぞ
0725132人目の素数さん
2006/09/15(金) 02:14:210726132人目の素数さん
2006/09/15(金) 02:22:02この証明は合ってるよ。
どこに疑問を挟む余地があるのか(理解困難な箇所があるのか)逆に聞きたいくらいだ。
0727132人目の素数さん
2006/09/15(金) 02:23:22あなたも激烈な誤解をしておられますね。少なくとも数学で
たつきをたてている方ではないとお見受けした。あなたは
誤解を誤解しておられるようだ。正しい知識を間違った文脈で
使っておられる。
0728132人目の素数さん
2006/09/15(金) 02:25:25その誤解の内容を少しでも説明したらどうだ。
0730132人目の素数さん
2006/09/15(金) 02:29:22どのような任意性があるのか、
任意性があるとどのような問題があるのか。
詳しく。
0731132人目の素数さん
2006/09/15(金) 02:31:48なんだよ任意性ってw
0732おれも厨房なみ
2006/09/15(金) 02:32:56出てくる数字ではないのか。
0733132人目の素数さん
2006/09/15(金) 02:35:23どういう意味?
それと「任意性」との関係は?
0734132人目の素数さん
2006/09/15(金) 02:37:04どうやったらそんな解釈ができるんだよw
そもそも「どの命題」が真であるとあらかじめわかってるんだ?
もうちっとハッキリ書けよ。万事、主張&説明が舌足らずで独りヨガリなんだよ。
そのくせ「誤解してる」なんて言い出すので二重に始末が悪い!
0735おれも厨房なみ
2006/09/15(金) 02:37:593が出てくる論拠はなんだろう。
0736132人目の素数さん
2006/09/15(金) 02:40:14ハッキリ書けよ!
0737おれも厨房なみ
2006/09/15(金) 02:41:310738132人目の素数さん
2006/09/15(金) 02:43:02どのステップに間違いがあると思うのか?
(1)「3(x + y + z) = 3x + 3y + 3z」
(2)「3x + 3y + 3z ≧x + 2y + 3z」
(3)「x + 2y + 3z≧12」
(4)「(1)〜(3)の結果から、3(x + y + z)≧12 」
(5)「3(x + y + z)≧12の両辺を3で割ってx + y + z≧4」
0739132人目の素数さん
2006/09/15(金) 02:45:09そういう事言ってるわけじゃねーよなあ。
0740おれも厨房なみ
2006/09/15(金) 02:47:36の3が出てくる論拠はなに。この命題が真であるとわかっているから
出てくるのとちがうか。
0741132人目の素数さん
2006/09/15(金) 02:50:140742132人目の素数さん
2006/09/15(金) 02:51:31ここでは一般に「a>0,ab≧ac⇒b≧c」であることを使ってるだけだからな。
0743おれも厨房なみ
2006/09/15(金) 02:56:33x + y + z≧4の4を出すためなのはわかっているが
それはx + y + z≧4になることが正しいとわかっているからこそ
だろう。もしこの命題の真偽がわかっていないとしたら
3という数字を導くことができるのか
0744132人目の素数さん
2006/09/15(金) 02:57:09A>0,B>0,C>0、x≧0,y≧0,z≧0でかつAx +By +Cz≧D ⇒ x + y + z≧D/max{A,B,C}
ってだけのこと
つまり>>600の証明中、3でくくったのはx,y,zの係数で一番大きい数字だから。
そんだけの理由。つかわざわざこんなことを説明しなきゃならないのかよ、トホホだ。
0745132人目の素数さん
2006/09/15(金) 02:59:39それは、「どうやってこの証明を思いついたか」というレベルの話だろ?
証明の正しさとは別の問題だ。
(5)を否定するためには、
「3(x + y + z)≧12であるにもかかわらずx + y + z≧4でない」ケースがある
ことを言わないと。
0746132人目の素数さん
2006/09/15(金) 03:07:13>>744の一般化はもう少し弱い条件でも成立するけど、今回は理解のしやすさを優先した。
一応重箱の隅をつつきたい人がいるかもしれないので念のため
0747132人目の素数さん
2006/09/15(金) 03:14:10>>743が3以外の数字で割りたければ割ればいい。
その結果、より良い証明ができるか、途中で行き詰まるかわからないが
いずれにしてもその結果は>>600を否定も肯定もしない。
0748132人目の素数さん
2006/09/15(金) 03:20:44せっかく君の疑問に二人がかりで答えたんだから
0750132人目の素数さん
2006/09/15(金) 16:24:43>>600は完全に正しいよ、嘘だと思ったら「数学完全ガイダンス」って本の
根上生也って人の記事見てごらん?(「数学ガイダンスhyper」の方には無いみたいなので注意)
そのまんま書いてあるから。
最近の高校生は必要十分なままの変形しか出来なくて
それが崩れる推論は苦手だ、とか書いてある。
まあ式変形して必然的に出てくるわけじゃないから
なかなか思いつかないじゃないか、とか言うならその通り。
でもそんな証明は大学以上の数学とか数学オリンピックには幾らでもある。
たとえばπが無理数であることの証明なんて、いきなり
天下り的だがf(x) = x^n(1-x)^n /n!とおこう、とかそんな文章から始まるんだからw
絶対思いつかねーよw
0751132人目の素数さん
2006/09/15(金) 19:12:05広辞苑には載っていないんだが‥
0752132人目の素数さん
2006/09/15(金) 19:22:14(1)生活の手段。生計。
「賃仕事など―として/高橋阿伝夜叉譚(魯文)」「此地に―もとむとて/たけくらべ(一葉)」
0753132人目の素数さん
2006/09/15(金) 19:35:270754132人目の素数さん
2006/09/15(金) 22:19:140755132人目の素数さん
2006/09/16(土) 04:49:44たずき【方便】タヅキ
(語源は「手付き」か。中世以降、タツキとも)
(1)(事をし始めたり、また何かを知るための)手がかり。手段。万葉集1「草枕旅にしあれば思ひやる―を知らに」
(2)生活の手段。生計。
「以上、広辞苑第五版より」
0756132人目の素数さん
2006/09/16(土) 05:34:000757132人目の素数さん
2006/09/16(土) 11:24:430758132人目の素数さん
2006/09/16(土) 17:18:06どっちも去れよ
0759132人目の素数さん
2006/09/16(土) 17:33:560760132人目の素数さん
2006/09/16(土) 23:04:44新仮名遣いでは正しいのかもしれぬが「付き」が濁音になつて
「ずき」になるのは理解しがたい。「たつき」或いは「たづき」と表記すべきである。
というかこういう話は
古文・漢文
http://academy4.2ch.net/kobun/
言語学
http://academy4.2ch.net/gengo/
でやってね
0761132人目の素数さん
2006/09/16(土) 23:16:470762132人目の素数さん
2006/09/19(火) 15:25:020763132人目の素数さん
2006/10/03(火) 01:16:100764132人目の素数さん
2006/10/04(水) 22:12:49「代数学において、-*-=+が定理として導かれている」ことだけを根拠としていますよね。
しかしそれでは説明としてはあきらかに不十分です。
私は定理として導かれることは否定していないのですよ?
定理として導かれてもいいし、定義としてもいい、と主張しているのです。
ですから
あなた達は、「-*-=+が定義とすると不都合が起こる」ことも立証しなければなりません。
その挙証責任はあなた側にあるのです。
違いますか?
0765132人目の素数さん
2006/10/04(水) 22:19:25私の勝ちです。
負けたくなければ、
「-*-=+を定義とすると不都合が起こる」ことを立証してください。
期待してお待ちしております。
0766132人目の素数さん
2006/10/04(水) 22:30:03定理として導き出せるものをわざわざ定義にするのはいかがなものかと言っている。
定義はできるだけ必要かつ十分なものにしようということ。
あえて不都合が起きるところをあげるとしたらここくらいだろう。
逆に、それを定義にするのなら、他のどの定義を(定義ではなく定理として)省略できるのかは
それを定義にしたい人が考えていただきたい。
0767132人目の素数さん
2006/10/04(水) 22:50:19しかし、「-*-=+は定理である」と言い切っている人がこのスレに
何人かいますよ?
その人達の登場を待つことにします。
0768132人目の素数さん
2006/10/04(水) 22:51:34なぜ「しかし」なのか、意図がわからん。
0769132人目の素数さん
2006/10/04(水) 22:54:08>「代数学において、-*-=+が定理として導かれている」ことだけを根拠としていますよね。
ん?定理として導けるなら定理じゃん。
>私は定理として導かれることは否定していないのですよ?
なら定理でいいじゃん。
0770132人目の素数さん
2006/10/04(水) 22:58:31>>234さんのレスですけど
>たとえば、三辺の長さが等しい三角形を正三角形と定義すれば
>正三角形の角は全て等しい、というのは定理になるし
>角が全て等しい三角形を正三角形と定義すれば
>正三角形の三辺は全て等しい、というのは定理になる。
についてはどう思われますか?
0771132人目の素数さん
2006/10/04(水) 23:00:290772132人目の素数さん
2006/10/04(水) 23:02:53あなたの理屈だと、「定理として導かれたのであればそれは定理だ」
ということですよね?
しかし定理として導かれたものであっても定義になり得るじゃないですか?
これについてはどう思われますか?
0773132人目の素数さん
2006/10/04(水) 23:03:230774132人目の素数さん
2006/10/04(水) 23:06:11しかし定理として導かれたものであっても定義になり得るじゃないですか?
具体例を挙げてみろよ。
0775132人目の素数さん
2006/10/04(水) 23:06:46なりえない。
>>770の例は「他の定義からならばその定義を定理として導き出せる」と言っているだけ。
0776132人目の素数さん
2006/10/04(水) 23:07:14ですから>>770の三角形の例ですよ
0777132人目の素数さん
2006/10/04(水) 23:09:57子供の頃読書してないんだねきっと
0778132人目の素数さん
2006/10/04(水) 23:13:21ちょっと意味がよくわかりません。
もう少しわかりやすく説明ねがいます。
0780132人目の素数さん
2006/10/05(木) 00:08:20その公理から出発してるんだから、その公理から導かれる負*負=正が定理だというのは至極自然な考え方なんだが。
>>770みたいな考え方をするためには、
群と環の公理のいくつかを省いて、それに「負*負=正」という命題を公理に加えて、その体系において省かれた
公理を全て定理として導かなくてはならない。(でないと既存の代数学と同じ体系とはいえない)
で、それは可能なのかね?どれを省く?結合法則?分配法則?
すくなくともそれをやってからでないと「負*負=正」を定義(公理)としてもよいなんてのは、なんの説得力も持たないよ。
最低限、話はそれからだ。
0781132人目の素数さん
2006/10/05(木) 00:09:390782132人目の素数さん
2006/10/05(木) 00:19:280783132人目の素数さん
2006/10/05(木) 00:21:070784132人目の素数さん
2006/10/05(木) 00:21:470785132人目の素数さん
2006/10/05(木) 00:25:580786132人目の素数さん
2006/10/05(木) 00:26:340787132人目の素数さん
2006/10/05(木) 00:27:110788132人目の素数さん
2006/10/05(木) 00:28:030790132人目の素数さん
2006/10/05(木) 14:58:190791132人目の素数さん
2006/10/05(木) 18:01:01a+f(a)=0である。
このf(a)を-aと表記している。
fの定義よりf(f(a))=aである。
a*bの逆元は-(a*b)=(-a)*b=a*(-b)なので
f(a*b)=f(a)*b=a*f(b)が成り立つ。
これより
f((-1)*1)=f(-1)*1=1*1=1
=(-1)*f(1)=(-1)*(-1)
∴ (-1)*(-1)=1
0792675
2006/10/05(木) 19:12:42極論を言えば、フェルマーの最終定理を自然数論の公理にしたって
これは正しい定理だから別に何も問題はない。
ただ実際には、そんな訳の分からない公理の取り方をする人は
世界中探したって一人として居ません。
単に、定義としても数学の理論は原理的には展開できるけど、
理論が複雑かつ不明瞭になるだけなので、
そういう公理の取り方をする人はほとんどいない、と言うだけ。
「公理ではない」というのはそもそもそういう意味です。
ZFCからωを作って、ω^2の部分集合としてZを構成する話なのか
それとも代数学的に、標数0の任意の無限環に(同型な環が)含まれるような
環が唯一つ存在する。それをZとする、とかそういう風に定義するのか、
はたまた圏論でも使って定義するのかで、また話が違うけどね。
いずれにしても、「有理整数環をAとBの二つの集合に分けたとき、
Aの元同士の積は必ずBの積になり、それ以外にこれこれの性質が成り立つとする。
このような分け方は一意に決まるので、そのときAの元を負であるという」
なんて難儀な定義をしてるのは見たことないですよ。あったら教えてください。
>>780
二段落目以降に同意。
0793132人目の素数さん
2006/10/05(木) 19:25:42ω^2の部分集合
(^ω^;)の部分集合
(^ω^;) (^ω^;) (^ω^;) (^ω^;) (^ω^;) (^ω^;) (^ω^;)
0794132人目の素数さん
2006/10/05(木) 19:29:110795132人目の素数さん
2006/10/05(木) 19:40:38分配法則使った証明とかあり得ないからww
0796132人目の素数さん
2006/10/05(木) 19:43:30ZFCからつくられちゃったお(^ω^;)
0797132人目の素数さん
2006/10/05(木) 19:46:430798132人目の素数さん
2006/10/05(木) 19:46:51釣るならもっとうまくやれよ。
0799132人目の素数さん
2006/10/05(木) 19:50:59アホな奴が
(-1)×(-1)=1になる事は自慢気に分配法則認めて証明してるのが笑えるだけww
公理系からの証明も所詮こじつけであって本質的な証明ではないwww
0800132人目の素数さん
2006/10/05(木) 19:54:100801132人目の素数さん
2006/10/05(木) 19:54:540802132人目の素数さん
2006/10/05(木) 19:57:08でたwww
痛い奴www
(-1)×(-1)=1なんて定義wwあえていうなら自然な定義ww
0803132人目の素数さん
2006/10/05(木) 19:59:470804132人目の素数さん
2006/10/05(木) 20:00:58論破された負け犬の決まり文句www
0805132人目の素数さん
2006/10/05(木) 20:05:560806132人目の素数さん
2006/10/05(木) 20:06:20正の数同士の積はやはり正の数になる、と定義するほうが普通かと。
{+, -}×ωに足し算と掛け算を定義しようと思ったらまあ確かに
(-, a)・(-, b)をabと「定義」することになるわな。
それは負の数の定義じゃなくて掛け算の定義だけど。
ちょっと前に盛り上がってたのはそれで盛り上がってたわけじゃなくて
必要充分の意味を誤解してる人が居たから盛り上がってただけで。
その点誤解無きよう。
0807132人目の素数さん
2006/10/05(木) 20:06:410808132人目の素数さん
2006/10/05(木) 20:08:150809132人目の素数さん
2006/10/05(木) 20:12:00だから・・・・それは証明とは認めないってwww
0810132人目の素数さん
2006/10/05(木) 20:18:340811132人目の素数さん
2006/10/05(木) 20:27:32つまり結局定義www
0812132人目の素数さん
2006/10/05(木) 20:34:300813132人目の素数さん
2006/10/05(木) 20:35:28>負の数での演算も決まってないのに勝手に分配則認めるなんてありえねーだろww
ある集合Zが存在して、二つの演算+と・があり、これらの演算は以下の性質を満たす(以下略)
とかやって、その演算の内容を定めるために、分配則を公理として認めるということは、
三百年前ならともかく、現代の数学ではよくやるけど。
分配則は公理じゃなくて定理なんですか?
「負の数×負の数は正の数になる」は定義じゃなくて公理で、
分配則は公理として認めちゃいけない理由は?
0814132人目の素数さん
2006/10/05(木) 20:43:00分配則を公理として認めるなんて全然自然じゃないねww
厨房に分配則を絶対に認めて(-1)×(-1)=1を証明するのか?
いい加減、定義として認めろよww
>812
お前は黙ってろw
0815132人目の素数さん
2006/10/05(木) 20:54:13分配律かもしくはそれに似たものを認めないと、
掛け算と足し算が一つの公理の中に一緒に出てこないから、
掛け算と足し算は別々に定義された全く関係ない演算になっちゃって、
分配法則が証明できないでしょ。
だから分配律を認めるのは極めて自然。というよりも認めないとしょうがない。
>厨房に分配則を絶対に認めて(-1)×(-1)=1を証明するのか?
意味分からんけど、中学校の教科の数学の話してるの?
中学校のテストで集合論の公理から自然数の集合を構成したり
Peanoの公理から分配則を証明したりする先生は居ないし
テストで分配則は定義かそれとも公理か、選べ、
とかそんな問題出す先生は阿呆だから無視しちゃっていいですよ。
というか公理って定義の一種なんですけどね。おわかりになりますかね。
Poincareは分かってたらしいけど。
0816132人目の素数さん
2006/10/05(木) 21:00:260817132人目の素数さん
2006/10/05(木) 21:12:05だから・・・分配則ってのは演算も定義されてないのに勝手に公理にしちゃってるのがまずいといってる訳?
わかる?
演算も定義されてない集合に対して分配法則を公理として認めるのか?
変な話だww
それに分配法則が成立しないような演算だってつくれるしな
0818132人目の素数さん
2006/10/05(木) 21:16:56分配則は演算がちゃんと決まった上での公理
(-1)×(-1)=1は定義だ
0819132人目の素数さん
2006/10/05(木) 21:17:110820791
2006/10/05(木) 21:17:550821132人目の素数さん
2006/10/05(木) 21:19:00aが何なのかを書けばもっといい。
0822132人目の素数さん
2006/10/05(木) 21:53:28「二つの演算+と*があるとする」ってのは当然前提されてるんでしょ。
何を言ってんのかわからんが。
二つ演算が与えられてないのに分配律も糞もないわけで。
逆に任意に二つ演算が与えられたら、別に数の足し算と掛け算じゃなくても
分配律を考えることには何も問題ない。∪と∩とかね。
>>791
逆元が一意に決まることを言えばもっといい。
あと>a*bの逆元は-(a*b)=(-a)*b=a*(-b)
これをきちんと証明しなきゃ。分配律はどうしてもいるはず。
0823132人目の素数さん
2006/10/05(木) 22:07:30>それに分配法則が成立しないような演算だってつくれるしな
これは寧ろ、分配律が成り立つ、という条件しか考えずに
一般の演算を考えることは意味があるってことだと思うけど。
ちなみにどうでもよさそうなトリビアだけど
集合の対象差Δと∩でも分配律は成り立つ。
というか冪集合P(X)はΔと∩を和と積として可換環になる。
0824132人目の素数さん
2006/10/05(木) 22:18:11>本当は「マイナス掛けるマイナス」をどう決めようと構わない。
>問題は、その様な数学が何かの役に立ったり、それ自身が美しかったり、
>他の方面への広がりを見せたりするか否かで、値打ちが決まる。
>それが数学でいう約束、即ち定義の正体なのである。
>この場合には、結果を「プラス」と決めるのが「美しい」のである。
この「虚数の情緒」という本、本屋で立ち読みしてきました。
確かにそう書いてありました。
それにしても、
定義と言う人もいるし、
定理という人もいるし、
定理でも定義でもいいと言う人もいるし
一体どれが正解なんですか!!
0825132人目の素数さん
2006/10/05(木) 22:19:59(〇+□)×△=〇×△+□×△
が成り立つ事を言う前に、左辺も右辺も決定したもので無ければならないという事
0826132人目の素数さん
2006/10/05(木) 22:23:45だから定義ww
0827132人目の素数さん
2006/10/05(木) 22:24:02だからある集合Zの元ってことで何も問題ないじゃないか。
>>824
公理と定義の取り方に依存する。
通常の公理の取り方では定理になる。でFA。
0828132人目の素数さん
2006/10/05(木) 22:26:43だから定義と言うんだったら実際に整数なり有理数なり実数なりを
その定義を使って定義してみてくれよ。
出来ないなら適当なことを言わないでくれ。
(-1)(-1)=1だけだったら有限体F_5の4のことを-1と言ってるのかもしれないだろ。
でもそれと負の数×負の数は正の数ってのは本質的に異なることを言っているわけで。
0829132人目の素数さん
2006/10/05(木) 22:35:04キチンと定義を書いてみてくださいな。
まじめなお願いです。
0830132人目の素数さん
2006/10/05(木) 22:35:44定義を皆出来てるから計算できんじゃんww
0831132人目の素数さん
2006/10/05(木) 22:37:420832132人目の素数さん
2006/10/05(木) 22:39:130833132人目の素数さん
2006/10/05(木) 22:51:08>通常の公理の取り方では定理になる。でFA。
「通常の」というのはその人の主観じゃないんですか?
だって、ある公理の取り方が「通常であること」を証明できますか?
「通常であること」を証明することは不可能ですよ。
その人が「通常である」と思ってるだけですよね?
数学というのは主観を排除した学問ですよね。
だとするなら
「定理でも定義でもいい」が正解なんじゃないんですか?
この回答なら主観を完全に排除した回答だと思います。
0834132人目の素数さん
2006/10/05(木) 22:53:51>この回答なら主観を完全に排除した回答だと思います。
0835132人目の素数さん
2006/10/05(木) 22:57:32「私は定理であるほうが好きだ」ということですよね?
でもそれって厳密に言うと、
「定理「である」」と言うべきではないですよ。
「定理「であるほうが私は好きだ」」と言うべきです。
「〜である」というのはその人の好き嫌いに関係なく成立するときに使う言葉ですよ。
好き嫌いでものを言うのであれば
「〜であるほうが私は好きだ」と言うべきでしょう。
0836132人目の素数さん
2006/10/05(木) 22:59:21公理を選択する行為ほどのメタ的な部分まで厳密に記述することが
ここでの目的なのかどうか。
0837132人目の素数さん
2006/10/05(木) 22:59:20>この回答なら主観を完全に排除した回答だと思います。
を
「この回答なら主観を完全に排除した回答「である」」
に訂正します
0838132人目の素数さん
2006/10/05(木) 23:03:26>「定理である」と主張する人達は
>「私は定理であるほうが好きだ」ということですよね?
なぜそう思う?
0839132人目の素数さん
2006/10/05(木) 23:04:19んーな事言い出したら全ての恒真命題は公理になってまうがな。(ま、基礎論の範疇でそういう考え方もなくもないが
そこまで深い意味で言及しているわけでもなかろう?)
>>827の言い方が気に入らないなら
代数学における群と環の公理の元で負×負=正は定理
これでFA
0840132人目の素数さん
2006/10/05(木) 23:08:27>>792
>>827
0841132人目の素数さん
2006/10/05(木) 23:08:51あのね。。
日本国の国会図書館に2006/10/05(木) 23:00現在納められている
(0より小さい数)×(0より小さい数)が0より大きい数になることの
証明が実際に載ってるような本(エッセイ、雑文の類を除く)ならば、
その95%以上で、公理として扱われていると思います。
大英図書館とかでもそうだけど。
時間を指定していないと、(-1)(-1)=1を公理(定義)として自然数論を展開した本が
10万冊納本される可能性がゼロだとなぜ証明できるのか。
後の負の数事件である。
とか言われちゃうからねw
たとえば、割り算の記号として、
日本では通常は÷を使う、というのは主観的だからおかしな解答ですか?
誰だってそうだと思う客観的な解答でしょ。海外では:を使ったりしますけどね。
「定理でも定義でもいい」の「いい」と容認するか、
本質的な公理の取り方ではないから、公理だと思ってはいけない、とするかは主観ですね。
実際定義の仕方が多数あるような数学用語だって大学の数学ではいくらでもあります。
だからあなたの言う解答は主観的、私の解答はまあ客観的ですね。
0842132人目の素数さん
2006/10/05(木) 23:09:15「A⇒BかつB⇒CならばA⇒C」である、と言うべきではないですよ。
「A⇒BかつB⇒CならばA⇒C」であるほうが私は好きだ、と言うべきです。
とか言い出しちゃってくださいな。
0843132人目の素数さん
2006/10/05(木) 23:11:300844132人目の素数さん
2006/10/05(木) 23:12:05定理というのはある公理系のもとで公理と推論規則を用いて演繹的に導かれる命題
のことだから
少なくとも代数学の群と環の公理の元で導かれた命題である「負×負=正」は上記の
定理の定義に則って考えると定理で言いわけ、おわかり?
好みで定理であると主張している訳ではない。
0845132人目の素数さん
2006/10/05(木) 23:13:05>代数学における群と環の公理の元で負×負=正は定理
それは代数学者が「定理であることが好き」な人が多いというだけでしょ。
「代数学の範囲」を越えて、「数学の範囲」で物事を考えるならば、
負×負=正が定義という数学体系も構築できると思いますが。
0846132人目の素数さん
2006/10/05(木) 23:13:40つまり、数学の本では
「〜したがって、次の定理が証明される。」
ではなくて
「次の、定理であるほうが個人的に私は好きな命題が証明される。」
というべきだと。
えー、勝手にやってて下さい。(^ω^;)
あなたが教師になったら、生徒が
「よって、余弦定理により、〜」と書いたらバツにして
「よって、余弦命題により、〜」とか「よって、一般的に巷間で余弦定理と呼ばれる命題により」
とか朱筆すると。酷い教師w
0847132人目の素数さん
2006/10/05(木) 23:14:49という意味なら、最初からそのように言うべきであり、
好みとか言い出すとおかしくなる。
0848675
2006/10/05(木) 23:17:15そうとう前のレスから言ってる人居たわけで。。
今更それを持ち出して何になるのやら。つうか誰だって分かってるよ、そんなこと。
0849132人目の素数さん
2006/10/05(木) 23:21:440850132人目の素数さん
2006/10/05(木) 23:24:580851132人目の素数さん
2006/10/05(木) 23:25:39ということは数学体系の構築の仕方によっては、負×負=正は
定理にもなるし定義にもなるということになりますよね?
なら結局
「定理でも定義でもいい」が正解ということでこのスレ終了ということでいいですか?
0852132人目の素数さん
2006/10/05(木) 23:25:490853132人目の素数さん
2006/10/05(木) 23:28:50>「代数学の範囲」を越えて、「数学の範囲」で物事を考えるならば、
>負×負=正が定義という数学体系も構築できると思いますが。
だからねそんなことは
>>780で言ってるようにそういう数学体系を構築してから言いなさいな
数学をやっている人の共通の理解のベースになる既存の数学体系を無視してなおかつその新しい数学
体系も提示しないでそれをいうのは説得力ゼロだし無責任すぎる
0854132人目の素数さん
2006/10/05(木) 23:29:09「代数学の範囲」で物事を言っているんでしょ?
もっと広い範囲の「数学の範囲」でなら
「定理でも定義でもいい」
が正解なんじゃないんですか?
0855132人目の素数さん
2006/10/05(木) 23:31:15>その新しい数学体系も提示しないでそれをいうのは説得力ゼロだし無責任すぎる
それは違いますよ。
科学というのはまず仮説を立てるのが先です。
仮説を立ててから、それが正しいのかどうかは後から考えるものなのです。
それが科学です。
0856132人目の素数さん
2006/10/05(木) 23:31:36お前本当に阿呆だな
代数学の範囲は数学の範囲に含まれているぞ
代数学は数学のカテゴリーに含まれてるんだから
0857132人目の素数さん
2006/10/05(木) 23:32:03群とか環の公理から負×負=正が導けて
負×負=正と定義するならそれから分配則などを導かないといけない。
0858132人目の素数さん
2006/10/05(木) 23:34:36俺も書いてから思ったw
どうせ主観的だからいいよね。
>>851
だからどの本に載ってる体系ですか?
それともあなたが公理系をどっかに書き下して
そこから自然数論の定理を証明したりしましたか?
本当にフェルマーの最終公理とか最終定義とか言う
言葉の使い方が許容範囲だと思ってます?
>>855
あなたの主張は仮説でもなんでもありません。
ついでにある命題が定義かどうか、ということは仮説を立てて立証する性質のものではありません。
釣りですか?
>>857
分配律は公理に入ってるよ。要確認。
0859132人目の素数さん
2006/10/05(木) 23:35:18とにかく自分の考えが正しいという結論を得たいってことかね?
0861132人目の素数さん
2006/10/05(木) 23:42:580862132人目の素数さん
2006/10/05(木) 23:46:25基礎学力が足りてない感じ。
0863132人目の素数さん
2006/10/05(木) 23:50:160864132人目の素数さん
2006/10/05(木) 23:51:21そしてこの種の議論が如何にくだらなくて不毛なのかも分かる。
無知は罪だな。
0865132人目の素数さん
2006/10/05(木) 23:53:40数学は自然科学ではない。
0866132人目の素数さん
2006/10/05(木) 23:57:54いずれにせよ、〜学は科学か、ってのは科学の問いではないが。
0867132人目の素数さん
2006/10/06(金) 00:05:30社会科学は歴史学、政治学、経済学や法学などで
人間科学は心理学、言語学など
自然科学は地学、天文学、物理学、生物学、化学などの基礎科学と
農学、工学、医学などの応用科学とがある。
で数学はこれらの中に入らない。
0868132人目の素数さん
2006/10/06(金) 00:06:450869132人目の素数さん
2006/10/06(金) 00:08:25その議論を続けても意味なさそう。
0870132人目の素数さん
2006/10/06(金) 00:33:54違う公理系から出発したということになるのでしょうか?
0871132人目の素数さん
2006/10/06(金) 00:36:500872132人目の素数さん
2006/10/06(金) 00:53:35天下り的に「これはこういう約束事だから」なんて説明するのはよくあること。
0873132人目の素数さん
2006/10/06(金) 00:59:28結果として負掛ける負が正になることも一緒くたにして
「約束事」と言ってるだけでしょ。
整数論の公理であるとかそういう意味で書いたんじゃなかろう。
0874132人目の素数さん
2006/10/06(金) 02:46:06つまり(-1)*(-1)=1は定義、その上に公理として分配則があるww
定理とか言ってる奴は少し頭冷やした方がいいなww
存在するかどうかもわからない所に公理とか言ってんだもんww
0875132人目の素数さん
2006/10/06(金) 02:57:25呆れるわwww
0876132人目の素数さん
2006/10/06(金) 03:04:51分配律が公理じゃないって言ってる奴は居ない。
(-1)*(-1)=1は定義ってのは何の定義ですか?負号の定義?
存在するかわからないってのは何の存在を言ってるの?負の数ですか?
それとも整数の上の、予期された性質を満たす演算の存在?
{+, -}×ωの上に演算を定義して整数のモデルを「構成」するという立場では
たしかに掛け算の定義(というか、定義からすぐに導かれる定理)になるけど、
別に整数の定義の仕方ってそれだけじゃないから。
0877132人目の素数さん
2006/10/06(金) 03:06:36お前が言ってるのは
平行でない2直線が存在します、という公理がある
非Archimedes幾何学で、
そんな直線存在しねえよwwwwwwうぇwwwwww
とか言ってるようなもんだろ
定義とモデルの構成は区別して考えたほうが良いぞ
0878132人目の素数さん
2006/10/06(金) 03:26:35今負の数を逆元と定義して
(-1)×(-1)=?
1×(-1)=?
?に何がくるのかどころか、一つに値は定まるのかどうかも全くわからないのに、演算において強い支配を持つ分配則が負の数でも成り立つっていう謎の自信が意味不明って事w
0879132人目の素数さん
2006/10/06(金) 03:33:28>>874では公理だと認めてるみたいだけど、違う人?
それから二項演算*があるとする、と言った時点で
(-1)*(-1)なんかが一意に定まることも当然前提されている。
成り立つような対象が存在するのか?という疑問は確かに持ちうる。
その場合は「整数」の満たすべき性質を全て満たすような
集合とその上の演算と関係(+と*と<)を具体的に定義することになるけど
それは無矛盾性とかモデルの構成の話で、定義の話とは一応別物。
今は負掛ける負が正だとすると不合理が起きるんじゃなかろうか、
ということの検証の話じゃないでしょ。
0880132人目の素数さん
2006/10/06(金) 03:34:47負の数はww
分配法則を持ち出してきて、(-1)×(-1)=1になったなんて後付け以外の何ものでもないw
そういうのは証明とは呼ばない
よって定理では絶対にないw
0881132人目の素数さん
2006/10/06(金) 03:39:58分配則は公理だけどもそれは負の数も含めた整数全体で演算が定義出来た後に初めて公理と呼べるものと考えている
つまり、(-1)×(-1)=1の証明には使えないって事
0882132人目の素数さん
2006/10/06(金) 03:43:04呼ぶから。>>880が証明と呼ばない、個人的に認めたくないのは勝手だけど
普通の数学では、対象が無矛盾に存在するか、ということと
それを前提した上での理論の展開は別々に考えるのが普通なので。
負の数が認識されてきた経緯からいうと、後付けの理屈なのは確か。
でも「矛盾が起きない」ということも後付けなんだけどね。
というか公理って自分で認めてるじゃん。
公理って他の性質から改めて証明しなくても正しいと認める命題のことだけど。
どんな公理も本来「証明」できるはずだ、とか考えてるのかな。
そこがいまいち分からんが。
なぜか、というと無矛盾性は簡単に証明できることではないから。
0883132人目の素数さん
2006/10/06(金) 03:50:40公理ってのは、その公理の対象となるものが存在して初めて公理と呼べるんだろ?
つまり>825のように左辺も右辺も決定された状態で無ければ分配則を公理と認めちゃいけないはずだ
0884132人目の素数さん
2006/10/06(金) 03:51:36ええとね、幾何学で説明すると、
そんなものが存在するかどうかわかんねーじゃんwww
とかそういう立場では非Euclid幾何学は意味の無いものになってしまうけど
実際は、非Euclid幾何学での「直線」とEuclid幾何学での「直線」は
性質の違う異なった対象だよね。つまり公理が間接的に「直線」という
よくわからんもの(無定義述語)の内容を定めてるわけで、そこらへんの状況を、
Poincareは「幾何学の公理は擬装した定義にすぎない。」と言っているし
Hilbertだって、「それらが点、直線、平面の代わりに、机、椅子、ジョッキと
呼ばれようとまったくさしつかえない」と言っているわけ。
公理ってのは証明が要らない命題のことだから、公理の性質が成り立つことが
証明された後じゃないと公理とは呼べない、ってのはおかしいでしょ。言葉の定義から言って。
要するに不都合が起きない(≒無矛盾である)ことが保証された後じゃないと
数学の理論とは呼べないってことなんだろうし、実際70年くらい昔まで
大多数の数学者もそう考えていたんだけど、今の数学者はそうは考えない。
0885132人目の素数さん
2006/10/06(金) 03:53:15その公理の対象が存在しない公理は、矛盾した公理系ってだけ。公理は公理。ナンセンスだけどね。
もっと正確には、「対象となるもの」は集合である、という了解のもとでは、
集合論(例えばZFC)よりも無矛盾性の弱い(つまり証明能力の強い)理論である、と言うだけ。
0886132人目の素数さん
2006/10/06(金) 03:53:38その後、負の数を定義し、負の数も含めた整数全体で+,×を定義、その後分配則は公理となる
こういう順番じゃなきゃおかしい
0887132人目の素数さん
2006/10/06(金) 04:04:43現代の数学者が皆、(-1)×(-1)=1を定理としてるとはとても思えんな
自然な定義とした方が全然納得いく
0888132人目の素数さん
2006/10/06(金) 04:04:58実数のモデルの構成の話は多分、知ってるかな。
Dedekindの切断を用いる方法とか、或いはCauchy列の同値類を取る方法(Cantorによる)とか。
で、確かにそういう方法もあるんだけど、それとは別に
実数とは完備でかつArchimedes性を有するような順序体である、という定義の仕方もあるわけで
こういう方法では一般的な集合論から一気に実数が定義されてしまっている
(『解析入門 �T』 杉浦光夫(著) 東京大学出版会)とか↓のサイト参照
http://www.ne.jp/asahi/search-center/internationalrelation/mathWeb/Number/RealNumber.htm#DefOfRealNumberLevel1 )
で、そういう方法で有理整数環(全ての整数の集合)を定義することも出来るし、
その場合必ずしも分配律を無反省に使ってもおかしいとは言えない。
モデルの構成と理論の展開は一応別だ、とはそういうこと。
0889132人目の素数さん
2006/10/06(金) 04:15:27いきなり実数から構成する訳ね
そしたら数学が非常に味気ないものになるな
なんつーか、ただの記号遊びのようだ
0890132人目の素数さん
2006/10/06(金) 04:19:370891132人目の素数さん
2006/10/06(金) 04:19:45でも抽象的な代数系とか、集合論なんかそうせざるを得ないっしょ。
とくに集合論とか、味気なくこれこれの演算を考えられるような対象を
「集合」と呼ぶ、以外の定義の仕方なんか実際上ないような。
実際に集合を構成して見せてよ、とか言われても何やればいいのか分からんし。
0892132人目の素数さん
2006/10/06(金) 07:46:53加法群Aがあたえられたとき、集合としてA上にもう一つの演算*を次の等式が成立するように定義したい
Aの任意の元a、bに対し
(-a)*(-b)=a*b
ただし、x∈Aの加法群としての逆元を-xと書くものとする。
このような * を考察しろ ということなのだろう
0893132人目の素数さん
2006/10/06(金) 08:18:17(-, a)*(-, b)を(+, ab)と定義するというか、
自然数から整数を構成したいってことでしょ。
よくある練習問題。
0894132人目の素数さん
2006/10/06(金) 10:20:15集合Gに対して2つの内部演算'+'と'*'を定義する。
'+'に関しては群となる。
'+'に関する単位元を'0'とする。
任意の元a>0に対する逆元を-aと表記する。
a+(-a)=0 , -(-a)=a
0の逆元は0とする。
'*'に関しては結合律を満たし、以下の条件を満たす。
単位元'1'が存在する。
1*a=a*1=a
単位元'1'に対する'+'における逆元'-1'に関して
∀a[ -a=(-1)*a=a*(-1) ]
==========================================
この時
(-b)=(-1)*b
b=(-a)と置くと
(-(-a))=(-1)*(-a)=(-1)*(-1)*a=a
(-1)*(-1)は単位元'1'となる。
0895132人目の素数さん
2006/10/06(金) 12:13:57今自然数があり、そこに∞とその逆元1/∞という新しい元を定義する
また、n×∞=∞,n×1/∞=1/∞という性質があるとする
この時、分配則は公理なのだから疑わずに用いて良いので
(∞+∞)×1/∞=∞×1/∞+∞×1/∞
この時、左辺=1,右辺=2で矛盾
分配則は公理なので疑ってはいけないのだから、そもそも定義がまずかったってのがお前らの立場
って事になるのかなw?
俺だったら分配則を延長しないで、その定義から新しい理論が出来るかどうか考察するけどww
0896132人目の素数さん
2006/10/06(金) 13:36:53nってなに?任意ならそのような性質を満たす∞は存在しない。
0897132人目の素数さん
2006/10/06(金) 13:38:230898132人目の素数さん
2006/10/06(金) 13:39:560899132人目の素数さん
2006/10/06(金) 13:51:050900132人目の素数さん
2006/10/06(金) 14:28:28で?その新しく定義した元にどういう演算を定義するわけ?特に加算についてなにも言及してないが。
…馬鹿?
>n×1/∞=1/∞という性質があるとする
ここの部分が決定的にまずいな。積の単位元の一意性すら許容しない性質をもたせるのかよw
そこまでデタラメなことすりゃ、矛盾が生じるのは当たり前だろw
この程度のオツムで「考察」ってかwww
ハライテーーーwwww
0901132人目の素数さん
2006/10/06(金) 14:51:29∞+a=∞
とでも考えてるっぽいね。
そうすると和の単位元の一意性すら満たさない代物になるのに
トンデモが0の逆元を満たすべく新たな数を定義して破綻をきたすパターンそっくりだな。
0902132人目の素数さん
2006/10/06(金) 15:18:23論理的反論が一つもねぇーなww
お前らが自慢毛に言ってる内容位わかってるっつーのwww
教科書で習った事しか言えないのかよww
俺が問題としてるのは何で負の数は定義した時、トンデモじゃないと判断出来るんだ?どうせお前らは教科書に書いてある後付けをそのまま言いそうだけどなw
それに、∞と1/∞のように今までの常識を覆す(公理と思ってるものを捨てる)数を定義して、新しい数学がもし展開出来ればそれはそれで価値があるじゃねーかww
少しは考えろよww
0903132人目の素数さん
2006/10/06(金) 15:20:58(-1)×(-1)=1
は定義って事なんだよ
分配則を勝手に負の数まで延長すんなw
0904132人目の素数さん
2006/10/06(金) 15:37:220905132人目の素数さん
2006/10/06(金) 16:14:44-aってのはaの逆元だろ。
0906132人目の素数さん
2006/10/06(金) 17:53:24単純に、とりあえずは数の拡張を考えていない、という立場でしょ。
>>902
>(公理と思ってるものを捨てる)数を定義して、
>新しい数学がもし展開出来ればそれはそれで価値があるじゃねーかww
>>902の定めるような集合では「新しい数学」は展開できないけどね。もし展開出来たらそうだね。
今までの数の体系(代数系)を拡張するのだから、
今まで成り立っていた性質が保存されていれば保存されているほど良い。
そういう意味で、自然数から整数環への拡張だとか、実数体から複素数体への拡張だとかは
人類が百年単位の年月をかけて見つけた非常に「良い」拡張である。
一方、>>895は加法のマイナス元も存在しなくなるし乗法の逆元も逆元も存在しなくなる時点で
代数系としては価値がゼロ。ほとんど、単に新しい元xをただ加えてみました、というのに近い。
もちろん、ある理論の意義の大きさとは数学で証明出来るようなものではないから、
>>895がこれを非常に価値のある発見と思い込むのは勝手で、
ただ他人は誰もそういう高い評価はしない、というだけのこと。
もう少し代数系としてマシな拡張は超実数体という形で既に為されている。
「単にどんな数nよりも大きい状態」を表す記号があると便利なのではないか、
と言うくらいの簡単な話であれば、
実解析なんかで実際にn×∞*=∞、∞±n:=∞などと約束した記号∞を使うこともある。
その場合は約束事とか、何が成り立って何が成り立たないのかははっきりさせて使う。
>>905
いやまあこのスレはマイナス元のスレじゃなくて負の数のスレだからしょうがないんじゃないかね。
0907132人目の素数さん
2006/10/06(金) 18:13:09実際に価値のあると認められる数学を展開してみて下さいよ、と。
恐らく何千何万という数学者が何百年も前から試みて、
これはあまり意味のある数学は出来そうにないな、と諦めた拡張のはずだから。
>>903
だから公理と定義の取り方に依存する。
通常はこのままの形で公理には取らないし、明示的にこの形で定義することもない、でFAだって。
定義、公理とほぼ同じくらい基礎的なレベルにある定理で、ほとんど約束事である、というのも正しい。
まず数を拡張するときは、「数学の厳密性」とかいうのは脇においておいて
とりあえず-3とか-5とか、実際に不合理が起きないかどうか全然保証もない計算を
色々やって遊んでみる。「形式的計算」とか言ったりするかな。本式の数学の理論じゃないよ、ということ。
で、有用そうであれば、その数を使い始め、その数が実際に既存の数から構成できることを
確かめたりする。
例1: 二次元の実平面に足し算と掛け算を定義して、複素数平面(複素数のモデル)が構成できる。
例2: 非ユークリッド幾何学のモデルをユークリッド幾何学の中で構成したりもする。
だからまず最初に分配律が成り立つように自然数を「0より小さい」
仮想の数まで拡張出来ないだろうか、と考えて、次はN^2に同値類を入れたりして実際に構成してみて、
出来る、という結論を得た後に、理論を展開しているわけ。
「分配則を勝手に負の数まで延長」しているわけではない。
その展開され整備された理論の部分だけを見て分配律に難癖をつけるのは言い掛かりに過ぎない。
>まぁつまり俺が言いたいのは(-1)×(-1)=1は定義って事なんだよ
はなぜ論理的にそういう結論が出てくるのか分からんからなんとも言いようがないが。
(-1)*(-1)=1はそうなるように整数を定義したから成り立ってるだけで、「有用だ」という以外の必然性などないんだ、というのはその通り。
定理だというのが完璧な間違いであるかのように書くのはおかしい。
0908132人目の素数さん
2006/10/06(金) 19:32:29>何百年かけて拡張を諦めた
もしかしたら今後見つかるかもしれないだろ、分配則を無視したものがw
>分配法則が成り立つように拡張・・
つまり定義って事だろw
定義として困った事はないし、非常に納得もいく
逆に定理としたら、もやっと感が残る←このスレでは小数なのが不思議
これらの理由から定義とすべきなんだよw
他に定義だと思う奴いないのかよww
いい加減疲れたww
そもそもどうだって良い問題なんだが、何も疑わず普通の定理のように証明する奴に言いたかっただけwww
0909132人目の素数さん
2006/10/06(金) 20:01:28オレも別に定義としても良いと思うよ。ただ君の言い方が非常にまずいだけ。
また、2ch特有の負のスパイラルにもののみごとにはまりこんでいるだけだろ。
最後の行が本当なら、もっと慎重にもっと注意深く書き込むべき。
ただ…2ch的な「まつり」を楽しみたいって気持ちもあったんじゃないのか?
実際のトコさー。
0910132人目の素数さん
2006/10/06(金) 20:14:35(-1)×(-1)=1を定義とするなら環や群じゃないものを考えないと。
0912132人目の素数さん
2006/10/06(金) 20:44:320913132人目の素数さん
2006/10/06(金) 20:49:130914132人目の素数さん
2006/10/06(金) 20:50:300915132人目の素数さん
2006/10/06(金) 20:52:45まぁまぁww
0916132人目の素数さん
2006/10/06(金) 20:55:440917132人目の素数さん
2006/10/06(金) 22:00:32負同士の積はどうして定理だと言い張るのでしょうか?
負同士の積が定理だと言い張る人達は
行列同士の積を定理だと言い張らない理由は何なのでしょうか?
そこがこの問題の解決の糸口になるような気がするのですが。
0918132人目の素数さん
2006/10/06(金) 22:03:060919132人目の素数さん
2006/10/06(金) 22:06:27「なのに」と逆接になる理由は?
0920132人目の素数さん
2006/10/06(金) 22:09:000921132人目の素数さん
2006/10/06(金) 22:34:23ならない。
0922132人目の素数さん
2006/10/06(金) 23:18:49(−1)×(−1)=1
になるって。
わたしはもう
限界×限界です。
さて?限界×限界の解とは一体何になるのでしょうか・・・?
限界が負であれば解は正の値。
限界が正であっても解は正の値。
なんだ、結局は正の値なんだ。
0923132人目の素数さん
2006/10/06(金) 23:20:470924132人目の素数さん
2006/10/07(土) 01:46:27負の数の定義とは?
0925132人目の素数さん
2006/10/07(土) 12:03:48しかも自然数に備わっている乗法の構造は分配法則をみたしているから、
加群にまで拡げた集合に乗法を拡張した場合にも分配法則を要請するのは当然のこと。
どうも孟宗家の考えることは高邁すぎるなあ
0926132人目の素数さん
2006/10/07(土) 14:33:14整数環までだと0^0=1が自然だが、実数体ではそれを必ず要求するわけではないだろ?
また、実数体では演算と両立した大小比較は常に可能だが複素数体にはそれを要求することは不可能だったりもする。
せいぜい「自然なこと」程度の表現にして欲しいな。
0927132人目の素数さん
2006/10/07(土) 15:45:000928132人目の素数さん
2006/10/07(土) 16:06:57>演算と両立した大小比較
kwsk
0929132人目の素数さん
2006/10/07(土) 23:15:41結局は拡張後の集合とその演算を定義した上で分配法則の成立を示すことになるからな。
0930132人目の素数さん
2006/10/07(土) 23:54:13この問題の解決の糸口ってのはどういういことですか?もう既に解決済みだと思うけど。
(-1)*(-1)=(+1)が定理でないと認めさせるための糸口ってことですか?
かりにn∈ω(0を含めた自然数の集合)に対して(+, n)とnを同一視して
簡単に(+n)とかnと書くことにしましょう。このとき「掛け算」*を
(+a)*(+b)=(-a)*(-b)=(+ab)
(+a)*(-b)=(-a)*(+b)=(-,ab)
と定義したとすれば、このとき、(-1)*(-1)=(+1)は「定義」と言うよりは、
掛け算の定義から直ぐに導かれるような「定理」というほうが普通の「定理」ということばの使い方かと。
これは別に2次の単位行列をEとか書いたときに(-E)*(-E)=Eが公理じゃなくて
積の定義から直ぐに導かれる定理と言ってもいいのと同じ。
別に簡単すぎる命題は定理と言ってはいけない、なんてルールないでしょ。
あなたの脳内にはあるかもしれないけど。
0931132人目の素数さん
2006/10/07(土) 23:55:32n次正方行列全体は(非可換な)環になりますが。。
行列式が零でないような正則なn次正方行列全体は斜体になる。
>>926
0^0の話なんて誰もしてないが。
当然か自然かとかそういうのはただの語感の話でしょ。
数学板で語感についてひたすら話してもしょうがあるまい。
>>929
そういうやり方もあれば、分配法則その他を満たすような集合と
その上の演算+、*がある、と最初に仮定してひたすら突き進む道もある。
ちょうど、実数の分配法則は定理か公理か、というのと一緒。
0932132人目の素数さん
2006/10/08(日) 00:03:50当然というと、そうするのが当たり前となるが、そこまでは言えないってこと。
形式不変の原理は絶対じゃないから。
0933132人目の素数さん
2006/10/08(日) 00:07:03分配法則が満たされなくなるような「自然な」拡張の仕方ってあります?
ちょっと思いつかないけど。
ほとんど当然なくらい自然だと思うけどね。
0934132人目の素数さん
2006/10/08(日) 00:13:54思うのは自由だがね。
0935132人目の素数さん
2006/10/08(日) 00:14:15(このような性質を持つものを環と呼ぶ、というだけのこと)
具体的なZなどについての分配法則となると、示すべき定理になったりもする。
(Zが環であることの証明に含まれる)
もちろん後者はZの構成方法にもよってくるが。
「分配法則は定義か定理か?」という漠然とした問いは、
少なくともこの2通りの意味に解釈できるので、注意して使わないと混乱しそうだ。
0936132人目の素数さん
2006/10/08(日) 00:27:03標数0の任意の無限環に対し、Zと同型な部分環が含まれる。
こう定義するなら、(-1)*(-1)=+1を改めて確認することもないだろうし、
一応、定理だといってもいいんじゃないかなあ。。
「(-1)*(-1)=+1」はZが確かに存在することを、暗に含意している、とは普通考えないような。
0937132人目の素数さん
2006/10/08(日) 00:43:20その方法でZを定義するには、まず
「次の性質を満たす無限環Zがただ一つ存在する」を証明する必要があるが、
それはどんな証明方法を想定してるわけ?
0938132人目の素数さん
2006/10/08(日) 02:00:53斜体になるって、和で閉じているとでも?
0939132人目の素数さん
2006/10/08(日) 02:02:57群になるだけか。失礼しました。
0940132人目の素数さん
2006/10/08(日) 06:28:05負同士の積の場合とどこが違うのでしょうか?
ある演算が定理になるか定義になるかの境目はどこにあるのでしょうか。
この境目がわかれば問題は解決するのですが。
現在の数学においてこの境目はわかっているものなのでしょうか?
0941132人目の素数さん
2006/10/08(日) 06:52:020942132人目の素数さん
2006/10/08(日) 06:56:57取り合えずこの子とセックスしながらグラスマン代数について話し合おうよ
http://ex16.2ch.net/test/read.cgi/news4vip/1160243793/l50
♀19だけど500取った人とHします (477)
0943132人目の素数さん
2006/10/08(日) 08:49:15前提をきちんと書けば行ベクトルと列ベクトルの内積として各要素が
表わされるのを読んだことないの?
0944132人目の素数さん
2006/10/08(日) 09:04:290=a-a
-(-a)=a
0945132人目の素数さん
2006/10/08(日) 09:13:25こういう機械的な計算式には殆ど意味がないんだよね。
第2行目の式の"-"ってどういう意味?
0946132人目の素数さん
2006/10/08(日) 09:33:320947132人目の素数さん
2006/10/08(日) 10:36:560948132人目の素数さん
2006/10/09(月) 06:54:060949132人目の素数さん
2006/10/09(月) 07:13:11議論の出発点の前提と同値な命題がみつかって、
その命題の主張の方が分かり易く応用が効く形をしていて議論の構造を明快に示しているなら、
そうなる場合もあるだろう。
で?
0950132人目の素数さん
2006/10/09(月) 07:22:43公理と入れ替える場合ならあるけど。
0951132人目の素数さん
2006/10/09(月) 08:46:29948,949は、格上げという言い方をしているがそういう文脈での話だろ。
0952132人目の素数さん
2006/10/09(月) 09:46:02美しくはないが。
0953132人目の素数さん
2006/10/09(月) 10:19:510954132人目の素数さん
2006/10/09(月) 22:22:38各公理が独立である、という条件が守られる限りは、
公理の数は多いほうが寧ろ良い場合が多い。
複雑な公理が少数あるより単純な公理が多数在ったほうが、
公理系としては優れてると思うんだよね。
言わんとしてることが伝わるかどうか自信が無いが。
0955132人目の素数さん
2006/10/09(月) 22:27:51つまり、より簡単な複数の命題に分解しうるときは分解しろ、と。
0956132人目の素数さん
2006/10/09(月) 22:34:37A∧Bを公理にする、というか
「A∧Bと論理的に同値だがAとかBとかのような単純な性質に
容易に還元できないようなC」を公理にする、と言った方が正確だけど。
論理的にも複雑な形の性質であることが多いし。
極端な例を挙げると、数学じゃなくて
命題論理の公理の話になってしまうけどMeredithの公理とか。
ここまで凄いのはなかなかお目にかからないが。
0957132人目の素数さん
2006/10/10(火) 00:08:32これ?
0958132人目の素数さん
2006/10/10(火) 00:26:48あまり良くない例だけど例えばね。
0959132人目の素数さん
2006/10/10(火) 00:44:15計算ややこしくて一抹の不安が残るけど、
それ恒真式?
0960132人目の素数さん
2006/10/10(火) 00:55:060961132人目の素数さん
2006/10/10(火) 01:02:02凄…
0962132人目の素数さん
2006/10/10(火) 23:28:45行列同士の積は定義で、負同士の積は定理である
と主張している方は、境界線が存在すると言う立場ですよね?
その境界線を示していただきたいのですが。
もしその境界線が何なのかわからずに
行列同士の積は定義で、負同士の積は定理である
と主張しているのだとしたら
一体何を根拠に
行列同士の積は定義で、負同士の積は定理である
と主張していることになるのでしょうか?
0963132人目の素数さん
2006/10/10(火) 23:31:340964132人目の素数さん
2006/10/10(火) 23:40:12一次変換の合成から行列の積の形は導き出すことができる、という意味で、
どう定義するのも勝手という発想はこの場合はないなあ。
0965132人目の素数さん
2006/10/10(火) 23:45:090966132人目の素数さん
2006/10/11(水) 00:04:13定義は形式的に厳密に数学をやる上では公理のような扱いだと思います。
因みに、公理は定理じゃない、と堅く信じていらっしゃるかもしれませんが
「定理」という言葉の正式な用法では、公理は定理に含まれます。
定理とは公理系から論理的に導出された命題のことです。
演算はあくまで演算で、ある集合X×YからZへの写像であるとしかいいようがありません。
行列の積自体はあくまで一つの行列であって、定理でも定義でも、
なんらかの性質でさえないですが、
「行列同士の積は定義」とは「行列の積の成分表示の公式」のことを言ってるんだと思います。
「負同士の積は定理である」とは「(-1)(-1)=+1」とか、「a<0かつb<0⇒ab>0」のことでしょうかね。
「ある演算が定理なのか定義なのかを分ける境界線」はもう何を仰ってるのか見当がつきません。
線型写像の成分表示として行列を定義して、(AB)x=A(Bx)で積を定義しても良いでしょうけど
今は「行列の積」をc_jk=蚤_{ij}b_{jk} の式で定義するという前提の下で話すと、
積が定義されても居ないのに、成分表示の式を導くことなど出来るはずが無いので
成分表示の式は定義ではない、というのは無理です。定義ですから、定理でもあります。
「(-1)(-1)=+1」とか、「a<0かつb<0⇒ab>0」は、公理として採用しても間違いではありません。
正しい命題なんだから当然ですけどね。
ただし整数を公理的に扱うときそういう流儀はメジャーではありません。
まあ公理同然の定理、ということは言えますけどね。
纏めると
行列の積の成分表示の式は定義であり、かつ定理である。
(-1)(-1)=+1とか、a<0かつb<0⇒ab>0は、公理の取り方、定義のし方に依存する。
通常の方法の下においては、公理から簡単に導かれるような定理である。
まあどうでも良い話ですけどね。
0967132人目の素数さん
2006/10/11(水) 00:12:290968132人目の素数さん
2006/10/11(水) 00:30:470969132人目の素数さん
2006/10/11(水) 00:32:39だから
-1/1*1/-1=1
-1*-1=1
じゃダメなの?
0970132人目の素数さん
2006/10/11(水) 00:34:590971132人目の素数さん
2006/10/11(水) 00:40:16じゃあダメか・・・
0972132人目の素数さん
2006/10/11(水) 05:43:21「振り分けるという動作」と「境界線」はセットです。
「境界線」が無いのに「振り分けるという動作」を実行することは
論理的に不可能です。
例えば
魚屋が売れ残った魚を「廃棄するグループ」と「廃棄しないグループ」
に振り分けるとします。
その時には「賞味期限が境界線」になります。
賞味期限という境界線を
越えたら「廃棄するグループ」に、越えてないなら「廃棄しないグループ」
に振り分けることになります。
行列同士の積は定義で、負同士の積は定理である
と主張している方は
演算を「定義のグループ」と「定理のグループ」
に振り分けていることになります。
であるなら、境界線が必ず存在しているはずです。
何故なら「振り分けるという動詞」と「境界線」は2つでワンセットなのですから。
もう一度言いますが、
「振り分ける」という動作は、「境界線」なしでは、実行不可能です。
ということですので、
行列同士の積は定義で、負同士の積は定理である
と主張している方は
その境界線を示す義務があります。
0973たつや
2006/10/11(水) 05:45:52�@直線l:y=mx+n(n>0)に関する、原点Oの対称点の座標を求めよ。 誰か教えてください
0974132人目の素数さん
2006/10/11(水) 06:38:09そういう主張をしているのは917なんだから917に示してもらえ
0975132人目の素数さん
2006/10/11(水) 08:12:59他の定義から導けるかどうかが境界です
0976132人目の素数さん
2006/10/11(水) 10:22:260977132人目の素数さん
2006/10/11(水) 19:18:52初めから新しく出てくる語の意味をこうだと自分で決めてしまうのが定義。
証明もへったくれもない。定理と言うのは公理から自分で導いた命題。
それとも何を基準にして、「正しい定理」の中から、公理や定義を選ぶべきか、ということ?
それは公理系の簡明さ、直観的明らかさとか、定理をスムーズに公理から導けるか、など。
一つの目的のために他の目的が満たされないことも良くあって、
数学の専門書じゃ、公理からの定理の導出過程を最短にするために
敢えて不自然な公理を取ることも無いわけではない。
だからフェルマーの最終定理は直観的に明らかな性質でもなければ
整数論の基礎的な定理がそこからすぐに出てくるわけでもなく、
あの定理を公理に含む公理系が簡明なものになるわけでもないので公理にはまず採用されない。
平面幾何の平行線公理とかもあまり簡明な性質ではないので、あまり公理っぽくない。
だから他の公理から導けるのではないか、と疑念を持つ人が多かった。
というかさ、「行列同士の積は何が何でも定義で、負同士の積は何が何でも定理である」
とか言ってる人このスレには居ないからね。
「負同士の積は何が何でも定義である」と言ってる人なら居るけどさ。
その人こそ「境界線」とやらを示すべきだよね。
0978132人目の素数さん
2006/10/11(水) 22:31:390979132人目の素数さん
2006/10/11(水) 23:07:08>というかさ、「行列同士の積は何が何でも定義で、負同士の積は何が何でも定理である」
>とか言ってる人このスレには居ないからね。
つまり行列同士の積を定理として導くことも可能だし
負同士の積を定義とすることも可能だ
ということでしょうか?
0980132人目の素数さん
2006/10/11(水) 23:38:36つか、この種の解釈論議の馬鹿馬鹿しさはちょっと基礎論かじってれば理解できるはずなんだが。
基地害の相手は疲れるんだよ。
0981132人目の素数さん
2006/10/11(水) 23:47:21だからまず行列の積をどうやって定義するのかが問題になるわけ。
定義も無いのに定理として導くことなんて出来るわけ無いでしょ。
0982132人目の素数さん
2006/10/12(木) 06:28:48>この種の解釈論議の馬鹿馬鹿しさは
そうですね。
馬鹿馬鹿しい議論であればもう白黒はっきりさせて終わらせてしまいましょうよ。
行列同士の積を定理として導くことも可能だ yes or noでお答えください
負同士の積を定義とすることも可能だ yes or noでお答えください
0983132人目の素数さん
2006/10/12(木) 07:55:580984132人目の素数さん
2006/10/12(木) 08:01:58お前は都合よく解釈しすぎ。
>この種の解釈論議の馬鹿馬鹿しさは
>ちょっと基礎論かじってれば理解できるはずなんだが。
0985132人目の素数さん
2006/10/12(木) 08:21:52「行列同士の積に関する定理」という意味なら色んなものが考えられるが。
負同士の積を定義とする、はもっと意味が分からない。
それと、どういう立場で答えるかにもよるのだが、
Fermatの最終定理を公理とすることも可能だ、に対する>>982の答えはyesなのかねnoなのかね。
もしかしてFLTってどんな定理か分からないからどういうこと言ってるか分からないのかな。
http://ja.wikipedia.org/wiki/%E3%83%95%E3%82%A7%E3%83%AB%E3%83%9E%E3%83%BC%E3%81%AE%E6%9C%80%E7%B5%82%E5%AE%9A%E7%90%86
正しい命題なんだから当然yes、というそういう立場では、正しい命題は何だって、
当然定理として導くことも出来れば公理とすることも出来る。
でも普通はそんなことしないし、常識的にはnoと答えてしまいたいね。
たぶん>>982は、yesとか答えると、今度は「どんな公理系の下でも」
これは定義だとか言って憚らない気がするんだよなあ、、お前らが定義だと言ったんだとか言って。
0986132人目の素数さん
2006/10/12(木) 10:14:53トートロジーを振り回して、何が面白いのかと。
聞きたいのだが、
そのフェルマーの最終定理と、あと何を公理にすればー1*ー1=1
になるのか、教えて欲しいわけだが。
0987132人目の素数さん
2006/10/12(木) 11:04:24FLTは全くの無駄だけど。
0988132人目の素数さん
2006/10/12(木) 18:40:11>負同士の積を定義とする、はもっと意味が分からない。
>>824
>本当は「マイナス掛けるマイナス」をどう決めようと構わない。
>問題は、その様な数学が何かの役に立ったり、それ自身が美しかったり、
>他の方面への広がりを見せたりするか否かで、値打ちが決まる。
>それが数学でいう約束、即ち定義の正体なのである。
>この場合には、結果を「プラス」と決めるのが「美しい」のである。
0989132人目の素数さん
2006/10/12(木) 19:14:33しかし、(-1)×(-1)=1の証明を『環だから』って迷いなく答える奴なんとかなんねーかな・・・何故かイラッとくるww
0990132人目の素数さん
2006/10/12(木) 19:18:31a<0かつb<0⇒ab>0.........(i)
のことですか?
普通は
a>0かつb>0⇒ab>0.........(ii)
を公理にとるのが普通ですね。
なぜかと言うと、(i)が納得できない、という人は結構居ても
(ii)が納得できない、という人はほとんど居ないでしょ。
(i)は(ii)と、他のごく常識的な公理から出てくる性質です。
(i)を公理にとったら、(i)が納得できない可能性として
そもそも(i)がおかしな公理であるからという可能性も出てきてしまいます。
一方、(ii)を公理に取った場合、(i)が成り立たないようにするためには、もう
分配律が実は成り立たないのではないか、と疑うとか、
(ii)自身が実は嘘で、正の数同士を掛けても負になることがあるのではないか、
とか妙な可能性しか残っていません。
もちろん正しい定理は何を公理にとっても矛盾はしないわけですけどね。
ちなみにその文面は単に、(ii)その他の公理を決めたときに、
結果として負掛ける負が正になること(i)も一緒くたにして
「約束事」と言ってるだけだと思います。
0991132人目の素数さん
2006/10/12(木) 21:52:34>分配律が実は成り立たないのではないか、と疑うとか、
>(ii)自身が実は嘘で、正の数同士を掛けても負になることがあるのではないか、
>とか妙な可能性しか残っていません。
符号が+-以外に第3の符号△が存在する可能性は無いのでしょうか?
0992132人目の素数さん
2006/10/12(木) 22:04:53全順序が入っている(つまり任意の数xがx=0かx>0かx<0かのどれかを満たす)というのは定義。
(または定義からすぐに分かる性質)
だから第3の符号が存在するような数は、そもそも整数とか有理数とか実数ではない。
可能性というよりも、そういうものがあったとしたら、それは全く新しい別の種類の「かず」。
0993132人目の素数さん
2006/10/12(木) 22:15:07ただその場合、多分
a<bの場合、a=bの場合、a>bの場合、なんて場合分けがそもそも出来なくなる。
例えば複素数体なんかは、z/|z|を「zの符号」だと定義すれば、
一応、符号が無限個ある「かず」になるよね。Q+QiとかZ+Ziも同じ。
0994132人目の素数さん
2006/10/12(木) 22:31:390995132人目の素数さん
2006/10/12(木) 22:31:40まずその符号△をきっちり定義してから可能性を言えよ。
トンデモはろくに定義もしない癖に新しい数に夢を求めたがるよな。
0996132人目の素数さん
2006/10/12(木) 23:06:560997132人目の素数さん
2006/10/12(木) 23:45:100998132人目の素数さん
2006/10/12(木) 23:56:350999132人目の素数さん
2006/10/12(木) 23:58:141000(・人ζもみもみ ◆Momi/T3ouE
2006/10/12(木) 23:58:3010011001
Over 1000Threadもう書けないので、新しいスレッドを立ててくださいです。。。
レス数が1000を超えています。これ以上書き込みはできません。