分からない問題はここに書いてね478at MATH
分からない問題はここに書いてね478 - 暇つぶし2ch997:132人目の素数さん
20/03/01 17:44:21 uoZ4nF/1.net
うーむよくわかりません
Wikipediaでペアノの記述を見て考えてみたのですが

>1 は自然数
>a が自然数なら a = a
>a, b が自然数で a = b なら b = a
>a, b, c が自然数で a = b, b = c なら a = c
>a = b で b が自然数なら a は自然数
>a が自然数なら a + 1 は自然数
>a, b が自然数で a = b なら a + 1 = b + 1
>a が自然数なら、a + 1 と 1 は等しくない
>もし集合 K が、1 を含み かつ 自然数 x が K に含まれるなら x + 1 が K に含まれる、という条件を満たすなら K は全ての自然数を含む

とあります

aを0として、0が自然数とするとペアノの記述の8番目をそのまま解釈したとき
a + 1 と 1 は等しくない=0+1と1は等しくない
ということになるのではないのですか?

集合論の文脈では0は自然数に入るのですよね?

998:132人目の素数さん
20/03/01 18:04:13.37 AMEBAP57.net
1から始めればゼロないアルネ

999:132人目の素数さん
20/03/01 18:04:27.46 +b9vIRVz.net
>a, b が自然数で a = b なら b = a
この具体例は何だ?
1=1なら前段のa=aだよな
まさか1=2か?

1000:132人目の素数さん
20/03/01 19:58:45 i7iXTK9i.net
>>959
は?
同じモノを別の記号で表すことがあるんだが?
右辺の1がa
左辺の1がb
a=aとはaに対してa=aが成り立つということで
いっている意味がまるで違うんだが??

1001:132人目の素数さん
20/03/01 20:19:44 +b9vIRVz.net
     /: : : : : __: :/: : ::/: : ://: : :/l::|: : :i: :l: : :ヽ: : :丶: : 丶ヾ    ___
     /;,, : : : //::/: : 7l,;:≠-::/: : / .l::|: : :l: :|;,,;!: : :!l: : :i: : : :|: : ::、  /     ヽ
    /ヽヽ: ://: :!:,X~::|: /;,,;,/: :/  リ!: ::/ノ  l`ヽl !: : |: : : :l: :l: リ / そ そ お \
   /: : ヽヾ/: : l/::l |/|||llllヾ,、  / |: :/ , -==、 l\:::|: : : :|i: | /   う う  前  |
.   /: : : //ヾ ; :|!: イ、||ll|||||::||    ノノ  イ|||||||ヾ、 |: ::|!: : イ: ::|/   な 思 が
   /: : ://: : :ヽソ::ヽl |{ i||ll"ン    ´   i| l|||l"l `|: /|: : /'!/l     ん う
 ∠: : : ~: : : : : : : :丶ゝ-―-      ,  ー=z_ソ   |/ ハメ;, :: ::|.   だ ん
   i|::ハ: : : : : : : : : : : 、ヘヘヘヘ     、  ヘヘヘヘヘ /: : : : : \,|.   ろ な
   |!l |: : : : : : : : :、: ::\    、-―-,      / : : :丶;,,;,:ミヽ   う  ら
     丶: :ハ、lヽ: :ヽ: : ::\__  `~ "      /: : ト; lヽ)   ゝ
       レ `| `、l`、>=ニ´        ,  _´ : :} `   /
         ,,、r"^~´"''''"t-`r、 _  -、 ´ヽノ \ノ   /    お ・
       ,;'~  _r-- 、__     ~f、_>'、_         |  で  前 ・
      f~  ,;"     ~"t___    ミ、 ^'t         |  は  ん ・
      ,"  ,~         ヾ~'-、__ ミ_ξ丶     |  な  中 ・
     ;'  ,イ ..          ヽ_   ヾ、0ヽ丶    l         /
     ( ;":: |: :: ..          .`,   ヾ 丶 !    \____/
     ;;;; :: 入:: :: ::      l`ー-、   )l   ヾ 丶
     "~、ソ:: :い:: :     \_  ノ ,    ヾ 丶

1002:132人目の素数さん
20/03/01 20:21:51 +b9vIRVz.net
?1に対して


1003:1=1 ?1=2 ⇒ 2=1 ?1=2 ∧ 2=3 ⇒ 1=3 ( ´,_ゝ`)プッ ( ゚д゚)、ペッ



1004:132人目の素数さん
20/03/01 20:23:10 +b9vIRVz.net
【文字式の大原則】
同じ数は同じ文字で
異なる数は異なる文字で表さなければならない( ー`дー´)キリッ

1005:132人目の素数さん
20/03/01 20:27:59 +b9vIRVz.net
左辺の1と右辺の1は違う1wwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwww

1006:132人目の素数さん
20/03/01 20:43:40 +b9vIRVz.net
たとえば底角が45度の二等辺三角形ABCの場合

∠A=90°
∠B=45°
∠C=45°

より

∠B=∠C

は成立する

しかし自然数は無理
というより自然数全体に同値関係を入れることが不能

1007:132人目の素数さん
20/03/01 21:53:31 DNeOtuYG.net
またスゴイのが来たな
いいぞもっとやれ

ちなみに 1=2 ⇒ 2=1 は真な

1008:132人目の素数さん
20/03/01 22:54:40 ave3tOVP.net
>>957
> 集合論の文脈では0は自然数に入るのですよね?

どのような定義を用いているかによってそんなのはいくらでも変わるし
そもそもペアノの記述はそこまで考えて作られたものではない

集合論の文脈では、0は絶対に自然数に入れなきゃいけないんだという
勝手な思い込みは捨てるべきで
あくまで入れることが多いという事に過ぎず、その時の定義がどのようなものであるかは
逐一確認しなければならない

1009:132人目の素数さん
20/03/01 23:11:58 xeWQMKVb.net
>>957
自然数を0から始めたい場合は

>0 は自然数
>a が自然数なら a = a
>a, b が自然数で a = b なら b = a
>a, b, c が自然数で a = b, b = c なら a = c
>a = b で b が自然数なら a は自然数
>a が自然数なら a +1 は自然数
>a, b が自然数で a = b なら a +1 = b +1
*>a が自然数なら、a +1 と 0 は等しくない
>もし集合 K が、0 を含み かつ 自然数 x が K に含まれるなら x +1 が K に含まれる、という条件を満たすなら K は全ての自然数を含む

とすれば問題ない

1010:132人目の素数さん
20/03/02 00:34:07 hWkBRJKb.net
>>962
>ID:+b9vIRVz
まさか???が間違ってるって思ってたりはしないよな?

1011:132人目の素数さん
20/03/02 01:39:03.02 aEZMWgER.net
実射影平面RP2が、3次元Euclid空間R3に埋め込めないのは、どのように証明すればよいのでしょうか?
i: RP2 → R3 (連続単射)
があったとして、これがホモロジー群に誘導する準同型を考えるのだと思いますが、何に矛盾させればよいのか分からないです。

1012:132人目の素数さん
20/03/02 13:37:56 bvZsWkf8.net
ホモロジーは中身の有無だからホモロジー群自体が違うんだろ
R3中のRP2に内部があるとしても無いとしても矛盾するんじゃね?

1013:132人目の素数さん
20/03/02 14:21:48 Pk1YPd8H.net
>>970
なんかシュティーフェルホイットニークラスとかいうのを利用してる証明は見つかるな。

URLリンク(math.stackexchange.com)

逆に言えばこれ以上簡単にしめすのは大変なのかも。

1014:132人目の素数さん
20/03/02 19:29:21 R3+/m+Zg.net
マジか
これ難しかったんだ……
読んでみる
ありがとう

1015:132人目の素数さん
20/03/02 23:09:20 MTRWCW99.net
ホモが路地に誘導してきた
どうする

?ホイホイついていく
?返り討ちにする

1016:132人目の素数さん
20/03/03 00:12:29 w+YRBy/I.net
ちょっと踏み込みが足りてないのが残念なのが玉に瑕だねえ。

1017:132人目の素数さん
20/03/03 00:41:29.57 gg9uoQuO.net
玉に瑕があっても無くても
男同士じゃ子供ができるわけではないので
気にせんでええよ

1018:132人目の素数さん
20/03/03 00:51:50.44 GrI1TwHC.net
次以降のスレについては>>945の通り

1019:132人目の素数さん
20/03/03 01:10:17.70 MZCiWX1q.net
もうそろそろ埋めてもよかんべ

1020:132人目の素数さん
20/03/03 12:40:07 4kSTQPAp.net
a=1のとき

a+a=2a

である

決してa=b=1



1021: a+b=2 ではない



1022:132人目の素数さん
20/03/03 14:16:21 2kihozSd.net
しょうもな

1023:132人目の素数さん
20/03/03 14:23:38 MZCiWX1q.net
異なる文字には異なる数字ってか

覆面算だったらそのルールだな
SEND+MORE=MONEY

1024:132人目の素数さん
20/03/03 18:52:19 lMTYe3uQ.net
鹿児島県では、未解決問題を解決した研究者を馬鹿にするCMが流されています
この国の人間の異常なメンタリティが現れているのではないのでしょうか?

1025:132人目の素数さん
20/03/03 18:53:43 lMTYe3uQ.net
CMを使って公人ではない無職の人間を馬鹿にしているのは世界広しといえどもこの国だけではないでしょうか?
そのモチベーションはどこから発生するんですか?

1026:132人目の素数さん
20/03/03 19:39:11.62 kScGeWtO.net
>>977
未解決の人は専用スレで

1027:132人目の素数さん
20/03/04 06:31:18 3AxDkYqV.net
>>978
端唄「埋めは咲いたか」

URLリンク(www.youtube.com) 01:56
URLリンク(www.youtube.com) 01:55
URLリンク(www.youtube.com) 01:53
URLリンク(www.youtube.com) 01:44
しょんがいな (しょうがねぇなぁ)

1028:132人目の素数さん
20/03/04 06:39:13 ek4lFeqJ.net
( ・∀・)< サクラはまだかいな

1029:132人目の素数さん
20/03/19 06:59:35.11 a1uvWnRb.net
「専門家を騙すことは無理だ。」
という類の野次がガキの声で数日前に聞こえてきて、大変に腹だたしいので書いておきますが
私の証明は数学的に完全に正しいのであり、それをrejectしたのは何か他の要因による
ものか、単に論理が理解できなかったのかのどちらか?
こちらは、誰かを騙したり馬鹿にしたりという意図は全くない。

1030:132人目の素数さん
20/03/19 12:56:17 Mh9O8PwY.net
信用の差は大きい

1031:132人目の素数さん
20/03/19 13:02:36 a1uvWnRb.net
早稲田大学理工学部物理学科に合格最低点より40%上で合格しても信用はないのですか?

あまり放置していると、国の信用問題になると思いますが、この国と某国の
MSAの査読に誤りあったことは確実ですから

1032:132人目の素数さん
20/03/19 15:31:05 A/9CVeS/.net
確実www

1033:132人目の素数さん
20/03/21 05:22:45.62 a/9U1hEf.net
>>1 が 438 とすべきスレタイを 478 とtypoしたせいで出来たスレで、
将来を危ぶまれた時期もあったが、それなりに盛り上り、
2年4月かかって完了真近となった。
その間に本家スレは 458 の 3/4 ぐらいまで進んでいる。

1034:132人目の素数さん
20/03/21 14:10:33 05+22jPb.net
受験の成績に信用て

1035:◆pObFevaelafK
20/03/21 18:11:07 RwqUnmII.net
>>992
大学の学部や学科による信用ということもあるでしょう

1036:132人目の素数さん
20/03/22 12:56:19.71 LapwV+OE.net
大学が信用できるなんてバカだろ

1037:132人目の素数さん
20/03/22 16:59:12.21 P+0M8v8I.net
>>994
普通そうだろう

1038:132人目の素数さん
20/03/22 18:29:52 Z2Xm7yco.net
わざわざ○大卒を名乗る人間の言うことを信じてはならない
むしろその手合いは信用できる要素がまるでないからこそ出身大学を殊更に強調する

1039:132人目の素数さん
20/03/22 19:53:08 P+0M8v8I.net
>>996
それでは奇数の完全数スレッドにある日本語の論文を読んでみればいかがでしょうか?

1040:132人目の素数さん
20/03/22 20:26:03 fYa2zo9P.net
>>991
と云ってるうちに本家スレは 458 の √(3/4) ぐらいまで進んだが、内容は・・・・だな。

1041:132人目の素数さん
20/03/22 21:37:31 Z2Xm7yco.net
>>997
あんなデタラメなもの読む価値はない

1042:132人目の素数さん
20/03/22 21:38:49 fL+0RiAN.net
1000

1043:1001
Over 1000 Thread .net
このスレッドは1000を超えました。
新しいスレッドを立ててください。
life time: 848日 2時間 35分 5秒

1044:過去ログ ★
[過去ログ]
■ このスレッドは過去ログ倉庫に格納されています


最新レス表示
レスジャンプ
類似スレ一覧
スレッドの検索
話題のニュース
おまかせリスト
オプション
しおりを挟む
スレッドに書込
スレッドの一覧
暇つぶし2ch