バナッハ=タルスキの定理の証明見たけど選択公理は本質じゃないだろ (85レス)
バナッハ=タルスキの定理の証明見たけど選択公理は本質じゃないだろ http://rio2016.5ch.net/test/read.cgi/math/1734974744/
上
下
前
次
1-
新
通常表示
512バイト分割
レス栞
1: 132人目の素数さん [] 2024/12/24(火) 02:25:44.78 ID:DQhPqq6a 4-正則樹木グラフを全単射でうつした軌道集合の時点で、2倍と分割合同の現象が起きてるんだから 選択公理がこの定理の不思議さに起因する本質的なものじゃないだろ http://rio2016.5ch.net/test/read.cgi/math/1734974744/1
2: 132人目の素数さん [] 2024/12/24(火) 02:26:22.38 ID:DQhPqq6a Youtubeでテキトーに解説してる連中は証明をちゃんと理解してるとは思えんのだが http://rio2016.5ch.net/test/read.cgi/math/1734974744/2
3: 132人目の素数さん [] 2024/12/24(火) 02:28:14.47 ID:DQhPqq6a 確かに球で示そうとするには選択公理使うけど 使うからといって本質とは限らんだろ スマホは充電口が必要だけど、充電口こそがスマホたらしめているもの、とは言えないだろ http://rio2016.5ch.net/test/read.cgi/math/1734974744/3
4: 132人目の素数さん [] 2024/12/24(火) 02:36:38.35 ID:7Z7CNCM/ はい http://rio2016.5ch.net/test/read.cgi/math/1734974744/4
5: 132人目の素数さん [] 2024/12/24(火) 10:29:06.54 ID:D46E5rBk 無限木が自然に埋め込める(ノンコンパクトな)空間なら選択公理は要らない そうじゃないコンパクトな空間の変換群でも 階数2以上の自由群が部分群として存在する場合の話は 選択公理を必要とする 1が考える本質(木と自由群の性質)は、選択公理とは無関係 でも、球とかに当てはめるなら、選択公理を必要とする それが本質的かどうかは、何を本質と考えるかによる http://rio2016.5ch.net/test/read.cgi/math/1734974744/5
6: 132人目の素数さん [sage] 2024/12/24(火) 10:50:47.90 ID:huPLPomA じゃあ選択公理なしで球を二つに増やしてください http://rio2016.5ch.net/test/read.cgi/math/1734974744/6
7: 132人目の素数さん [] 2024/12/24(火) 10:52:14.20 ID:nSqZQevx >>6 >>3を読んでね http://rio2016.5ch.net/test/read.cgi/math/1734974744/7
8: 132人目の素数さん [sage] 2024/12/24(火) 11:25:21.13 ID:4L+pRdAz 二分論、ありかなしか http://rio2016.5ch.net/test/read.cgi/math/1734974744/8
9: 132人目の素数さん [sage] 2024/12/24(火) 11:50:48.64 ID:bktlSzP+ >>7 >スマホは充電口が必要だけど、充電口こそがスマホたらしめているもの、とは言えないだろ あー、これは選択公理なしでバナッハタルスキの定理が証明できてますね 失礼しました 解決したのでこのスレは終了です http://rio2016.5ch.net/test/read.cgi/math/1734974744/9
10: 132人目の素数さん [] 2024/12/24(火) 11:58:46.26 ID:ppPSEpLO 参考文献 https://www.kyoritsu-pub.co.jp/book/b10030018.html バナッハ-タルスキーのパラドックス 原著第2版 https://www.iwanami.co.jp/book/b352611.html 新版 バナッハ-タルスキーのパラドックス http://www.seidosha.co.jp/book/index.php?id=1739 バナッハ=タルスキの逆説 http://rio2016.5ch.net/test/read.cgi/math/1734974744/10
11: 132人目の素数さん [sage] 2024/12/24(火) 12:44:39.49 ID:4L+pRdAz バナッハ=タルスキーのパラドックス 小沢 https://www.kurims.kyoto-u.ac.jp/~kenkyubu/kokai-koza/H27-ozawa.pdf http://rio2016.5ch.net/test/read.cgi/math/1734974744/11
12: 132人目の素数さん [] 2024/12/24(火) 13:18:37.77 ID:dg5Z7biM たぶん外延性公理がなければバナッハ・タルスキーを証明できないと思うが、 それを根拠に外延性公理がパラドキシカルだと言う人はいない 同様に選択公理もパラドキシカルではない http://rio2016.5ch.net/test/read.cgi/math/1734974744/12
13: 132人目の素数さん [] 2024/12/24(火) 13:25:21.13 ID:sil6ct50 >>5 正論 http://rio2016.5ch.net/test/read.cgi/math/1734974744/13
14: 132人目の素数さん [] 2024/12/24(火) 13:26:27.24 ID:sil6ct50 >>6 とんち小僧か http://rio2016.5ch.net/test/read.cgi/math/1734974744/14
15: 132人目の素数さん [sage] 2024/12/24(火) 14:03:42.20 ID:hP3BO5M7 選択公理なしにルベーグ非可測な集合はつくれないんだから、どうみても選択公理が本質 http://rio2016.5ch.net/test/read.cgi/math/1734974744/15
16: 132人目の素数さん [] 2024/12/24(火) 14:23:22.47 ID:PtULtEp7 バナッハ・タルスキーの定理の証明を自己完結かつ行間(ほぼ)ゼロで解説してるサイト・PDF教えてくれ http://rio2016.5ch.net/test/read.cgi/math/1734974744/16
17: 132人目の素数さん [] 2024/12/24(火) 14:59:46.06 ID:uKlKQegc >>15 外延性公理なしでも多分作れないが http://rio2016.5ch.net/test/read.cgi/math/1734974744/17
18: 132人目の素数さん [sage] 2024/12/24(火) 15:05:05.98 ID:u2S8C/Iw 外延性公理とか言ってる奴、何が云いたい? http://rio2016.5ch.net/test/read.cgi/math/1734974744/18
19: 132人目の素数さん [] 2024/12/24(火) 15:26:53.10 ID:N6Rle+ly 選択公理より真に弱いハーン・バナッハの定理からパラドキシカルな分割が構成できる。 その意味で選択公理は本質的ではない。 http://rio2016.5ch.net/test/read.cgi/math/1734974744/19
20: 132人目の素数さん [] 2024/12/24(火) 15:50:33.73 ID:uKlKQegc >>18 国語力を鍛えろ http://rio2016.5ch.net/test/read.cgi/math/1734974744/20
21: 132人目の素数さん [] 2024/12/24(火) 16:01:04.39 ID:GelClr/h 「AがなければXを証明できない」ならば「AはXに本質的」ならば、 外延性公理がなければバナッハタルスキーは証明できないので、外延性公理はバナッハタルスキーに本質的 「Aを仮定するとパラドックスが導ける」ならは「Aがパラドキシカル」ならば、 外延性公理を仮定してパラドックスを導けるので、外延性公理はパラドキシカル ということになる http://rio2016.5ch.net/test/read.cgi/math/1734974744/21
22: 132人目の素数さん [] 2024/12/24(火) 16:27:15.96 ID:N6Rle+ly >>21 全くの間違い http://rio2016.5ch.net/test/read.cgi/math/1734974744/22
23: 132人目の素数さん [sage] 2024/12/24(火) 16:29:14.60 ID:4L+pRdAz >>20 夏目漱石を読めばいいのか? http://rio2016.5ch.net/test/read.cgi/math/1734974744/23
24: 132人目の素数さん [] 2024/12/24(火) 16:42:24.41 ID:GelClr/h >>22 どこが間違いなの? http://rio2016.5ch.net/test/read.cgi/math/1734974744/24
25: 132人目の素数さん [] 2024/12/24(火) 17:37:18.46 ID:sil6ct50 本質的ってのを定義しようとしている下らない奴が居そう ZF前提でAC追加して作れるんだから作るのにACの他にZFも要るんだってのを本質的だろって誰も是認せんだろ http://rio2016.5ch.net/test/read.cgi/math/1734974744/25
26: 132人目の素数さん [] 2024/12/24(火) 17:38:45.36 ID:AaAbUjRF >>25 論理が理解できないアホ発見 http://rio2016.5ch.net/test/read.cgi/math/1734974744/26
27: 132人目の素数さん [sage] 2024/12/24(火) 18:40:06.49 ID:4L+pRdAz 訂正 国語が理解できないアホ発見 http://rio2016.5ch.net/test/read.cgi/math/1734974744/27
28: 132人目の素数さん [] 2024/12/24(火) 19:15:48.44 ID:sil6ct50 >>26 はぁ お前が書いてるのは外延性公理が必要だってだけで そりゃあZFで考えてるんだから当然だろ http://rio2016.5ch.net/test/read.cgi/math/1734974744/28
29: 132人目の素数さん [] 2024/12/24(火) 19:17:11.79 ID:sil6ct50 本質的ってのを使われてて必要だっていうことにしたいってのが下らないお前が言っていること だれも是認しないだろうよ http://rio2016.5ch.net/test/read.cgi/math/1734974744/29
30: >>1 [] 2024/12/24(火) 19:18:09.57 ID:nhDZJMfr >>1です とりあえず賛同する人がちらほらいて一安心 だけどなんかスレ内で意図のすれ違いが起きてるなあ >>21の言いたいことは 「選択公理がバナッハタルスキにおいて必要だから本質的」という主張がもし容認されるならおかしいよねってのを背理法的に述べてるだけじゃん だから「選択公理は本質じゃない派」なのはおkとして >>25は>>21の主張を誤解してないか? それともそんなの反論になってない、選択公理は本質的だよという立ち位置なのか http://rio2016.5ch.net/test/read.cgi/math/1734974744/30
31: 132人目の素数さん [] 2024/12/24(火) 19:24:36.04 ID:sil6ct50 >>19 >その意味で選択公理は本質的ではない こっちの意味なら是認する人は居ようが どこまで弱められるかという割と不毛な議論になるので ツマンナイネ http://rio2016.5ch.net/test/read.cgi/math/1734974744/31
32: >>1 [] 2024/12/24(火) 19:26:35.62 ID:nhDZJMfr でもド専門家の木田先生の修士レポートでは「本質的」って書いてるんだな… http://rio2016.5ch.net/test/read.cgi/math/1734974744/32
33: 132人目の素数さん [] 2024/12/24(火) 19:27:15.36 ID:sil6ct50 >>30 >それともそんなの反論になってない、選択公理は本質的だよという立ち位置なのか 本質的という言い方を再定義するのは不毛だという立ち位置 大方の人が本質的だと思っていてそれで十分それ以上考えるのは無駄という立ち位置 http://rio2016.5ch.net/test/read.cgi/math/1734974744/33
34: >>1 [] 2024/12/24(火) 19:40:33.35 ID:dMLlUL0Z まあ結局はその人がどの段階で不思議、パラドキシカルだと思うのかという信条、信念に依存した話だから議論の意味がないって意見も分かる だとしてもYoutubeに蔓延ってる、この選択公理こそが重要なんだ〜!!これこそがこのおかしな定理を生んでいる主犯人なんだ〜!みたいな動画はやっぱりどうかと思うし、証明を理解しているのかとても怪しく思う http://rio2016.5ch.net/test/read.cgi/math/1734974744/34
35: >>1 [] 2024/12/24(火) 20:04:50.83 ID:dMLlUL0Z >>5にある通り、「ノンコンパクトなら当然だよね、でもコンパクトなのにこんな現象起こるのはすごい!不思議!」って立場なら「選択公理本質!」って意見も分かる でも大抵の動画は「一個の図形をバラバラに分解して組み直したらコピーが出来て2倍になる!すごい!実は選択公理が原因!」 みたいなのばかり、いやいやその現象自体は選択公理必要としねえから と思ってしまう http://rio2016.5ch.net/test/read.cgi/math/1734974744/35
36: 132人目の素数さん [] 2024/12/24(火) 21:17:20.42 ID:N6Rle+ly >>5 もっと弱い公理でも成り立つからどっちみち選択公理は本質的ではない http://rio2016.5ch.net/test/read.cgi/math/1734974744/36
37: 132人目の素数さん [] 2024/12/24(火) 21:18:19.36 ID:N6Rle+ly >>35 藁人形論法 http://rio2016.5ch.net/test/read.cgi/math/1734974744/37
38: 132人目の素数さん [] 2024/12/24(火) 21:21:10.13 ID:N6Rle+ly コンパクトがどうこう言ってる人が複数いるのは何故だろう? これは位相の問題ではなく、測度の問題 http://rio2016.5ch.net/test/read.cgi/math/1734974744/38
39: 132人目の素数さん [] 2024/12/24(火) 21:56:04.05 ID:hmg/0kUq もはや数学板に知性は望むべくもない http://rio2016.5ch.net/test/read.cgi/math/1734974744/39
40: 132人目の素数さん [sage] 2024/12/24(火) 23:09:41.37 ID:nXO5yMV1 1=2の証明 a=b a^2=ab a^2-b^2=ab-b^2 (a+b)(a-b)=b(a-b) a+b=b 2b=b 2=1 普通の人「0除算が原因」 >>1「0除算する前の(a+b)(a-b)=b(a-b)の時点で不思議なことが起きてる!0除算は本質じゃない!ギャオオオン!」 http://rio2016.5ch.net/test/read.cgi/math/1734974744/40
41: 132人目の素数さん [] 2024/12/24(火) 23:40:24.09 ID:PtULtEp7 今日、alg-dさんのPDFでバナッハ・タルスキーの定理の証明をざぁ~っと眺めたけど、代数的議論が主題で俺には向いてなかったな。 http://rio2016.5ch.net/test/read.cgi/math/1734974744/41
42: 132人目の素数さん [] 2024/12/24(火) 23:41:02.81 ID:PtULtEp7 ところで、alg-d氏って研究者なんかな? 詳しすぎるやろ、あのACとの同値命題一覧のサイト http://rio2016.5ch.net/test/read.cgi/math/1734974744/42
43: >>1 [] 2024/12/25(水) 03:33:14.13 ID:cTBQX/GF >>40 今回の話と全く無関係で、何も的を射てない例えを作って妄想でお人形遊びして楽しいかな http://rio2016.5ch.net/test/read.cgi/math/1734974744/43
44: 132人目の素数さん [sage] 2024/12/25(水) 09:22:35.68 ID:d4m1+r5p 苦笑 >代数的議論が主題で俺には向いてなかったな http://rio2016.5ch.net/test/read.cgi/math/1734974744/44
45: 132人目の素数さん [] 2024/12/25(水) 14:16:40.42 ID:3QvSsu9z >>41 >代数的議論が主題 群の作用の話だから http://rio2016.5ch.net/test/read.cgi/math/1734974744/45
46: 132人目の素数さん [] 2024/12/25(水) 14:46:04.81 ID:IoWAaSg8 >>41 代数的本質 二元集合{ρ, τ}で生成される自由群を F2 と書く. 命題 W(σ) := { x1…xn∈F2 | x1=σ} と置けば F2 = {1}\sqcupW(ρ)\sqcup W(ρ^-1)\sqcupW(τ)\sqcupW(τ^-1) = W(ρ)\sqcupρW(ρ^-1) = W(τ)\sqcupτW(τ^-1). http://rio2016.5ch.net/test/read.cgi/math/1734974744/46
47: 132人目の素数さん [] 2024/12/25(水) 14:47:39.06 ID:IoWAaSg8 >>46の図示 https://ja.wikipedia.org/wiki/%E3%83%90%E3%83%8A%E3%83%83%E3%83%8F%EF%BC%9D%E3%82%BF%E3%83%AB%E3%82%B9%E3%82%AD%E3%83%BC%E3%81%AE%E3%83%91%E3%83%A9%E3%83%89%E3%83%83%E3%82%AF%E3%82%B9#/media/%E3%83%95%E3%82%A1%E3%82%A4%E3%83%AB:Paradoxical_decomposition_F2.svg http://rio2016.5ch.net/test/read.cgi/math/1734974744/47
48: 132人目の素数さん [] 2024/12/25(水) 14:51:29.30 ID:VtWHmnKo >>47の赤の箇所と青の箇所が"合同"、というのが代数的本質 あとは球面上の点で自由群F2で移り合うものを同値とする関係で同値類を作って そこから1点代表をとった集合をつくればいいだけ 球面の場合は選択公理が必要だが 双曲平面だったら具体的に集合をつくれるので選択公理不要 http://rio2016.5ch.net/test/read.cgi/math/1734974744/48
49: 132人目の素数さん [] 2024/12/25(水) 16:23:18.03 ID:aWpunPfB 結局はこの現象の肝は選択公理じゃなくて 本質的にはヒルベルトの無限ホテルのパラドックスと同じ類の仕組みなんだよな http://rio2016.5ch.net/test/read.cgi/math/1734974744/49
50: 132人目の素数さん [] 2024/12/25(水) 16:26:10.67 ID:xfUIAcab バナッハ・タルスキーの定理の証明を簡潔にまとめたPDF https://alg-d.com/math/ac/banach_tarski.pdf http://rio2016.5ch.net/test/read.cgi/math/1734974744/50
51: 132人目の素数さん [] 2024/12/25(水) 16:42:16.73 ID:xfUIAcab https://alg-d.com/blog/2013/05/12.shtml より引用(start) ところで、Banach-Tarskiの証明はそれなりの長さがありますが、その内容は殆ど「群」や「群が作用している集合」についての議論であって、選択公理は関係ありません。そして選択公理を使うのは「商集合の代表系」を一回とるだけです。つまり、実はBanach-Tarskiは選択公理とはあまり関係がないのです。証明を見ると分かりますが、Banach-Tarskiはどちらかというと自由群 F2 の性質から来ているような感じがします。 引用(end) http://rio2016.5ch.net/test/read.cgi/math/1734974744/51
52: 132人目の素数さん [] 2024/12/25(水) 17:43:13.24 ID:3QvSsu9z >>51 >Banach-Tarskiは選択公理とはあまり関係がない 代表系を取れないと話にならないのに関係ないとは言い難くない? http://rio2016.5ch.net/test/read.cgi/math/1734974744/52
53: 132人目の素数さん [sage] 2024/12/25(水) 17:46:22.47 ID:d4m1+r5p そもそも集合・位相はAC無しでは無理だろ、馬鹿か http://rio2016.5ch.net/test/read.cgi/math/1734974744/53
54: 132人目の素数さん [sage] 2024/12/25(水) 17:54:16.56 ID:d4m1+r5p 代数だってACを多用してるw http://rio2016.5ch.net/test/read.cgi/math/1734974744/54
55: 132人目の素数さん [] 2024/12/25(水) 18:17:38.66 ID:H9DnHvmb パラドキシカルな分解は2階自由群が本質かと思っていたら違うらしい amenable groupで調べたら大きな分野だった http://rio2016.5ch.net/test/read.cgi/math/1734974744/55
56: 132人目の素数さん [sage] 2024/12/25(水) 18:19:41.19 ID:YKHHwxYU 有限の大きさの球ってのがパラドックスのミソで 途中で非可測集合作るんだから本質でしょ http://rio2016.5ch.net/test/read.cgi/math/1734974744/56
57: 132人目の素数さん [] 2024/12/25(水) 18:34:51.92 ID:3QvSsu9z 自由群の交換子群は自由群だそうだけど証明は簡単なの? http://rio2016.5ch.net/test/read.cgi/math/1734974744/57
58: 132人目の素数さん [] 2024/12/25(水) 18:42:06.60 ID:/Rhu5yjT コンパクトかノンコンパクトかで 選択公理を使う必要があるかないか 違ってくると思われる http://rio2016.5ch.net/test/read.cgi/math/1734974744/58
59: 132人目の素数さん [sage] 2024/12/25(水) 18:44:46.92 ID:d4m1+r5p >>56 スレタイ 箱入り無数目を語る部屋27(あほ二人の”アナグマの姿焼き”w) https://rio2016.5ch.net/test/read.cgi/math/1731325608/ http://rio2016.5ch.net/test/read.cgi/math/1734974744/59
60: 132人目の素数さん [] 2024/12/25(水) 19:33:04.03 ID:H9DnHvmb >>57 自由群の部分群は自由群 ただし選択公理を使う http://rio2016.5ch.net/test/read.cgi/math/1734974744/60
61: 132人目の素数さん [sage] 2024/12/25(水) 19:36:16.07 ID:qa3Sudh1 数学板のチンピラ http://hissi.org/read.php/math/20241225/ZDRtMStyNXA.html http://rio2016.5ch.net/test/read.cgi/math/1734974744/61
62: 132人目の素数さん [] 2024/12/25(水) 19:38:53.21 ID:ABNX/WJw >>60 ありがと どこか書かれてるページとかありませんかね http://rio2016.5ch.net/test/read.cgi/math/1734974744/62
63: 132人目の素数さん [sage] 2024/12/25(水) 20:08:33.05 ID:d4m1+r5p >>61 成りすまし野郎 http://rio2016.5ch.net/test/read.cgi/math/1734974744/63
64: 132人目の素数さん [] 2024/12/25(水) 21:27:36.37 ID:xfUIAcab ”可算選択公理を使っただけにも関わらず、結果として得られるのが直感に反するような定理”ってある? http://rio2016.5ch.net/test/read.cgi/math/1734974744/64
65: 132人目の素数さん [] 2024/12/25(水) 21:30:15.71 ID:xfUIAcab あ、バナッハ・タルスキーの定理の証明で使ってんのは可算選択公理やな http://rio2016.5ch.net/test/read.cgi/math/1734974744/65
66: 132人目の素数さん [] 2024/12/25(水) 21:30:37.76 ID:xfUIAcab いや、違うな http://rio2016.5ch.net/test/read.cgi/math/1734974744/66
67: 132人目の素数さん [] 2024/12/26(木) 08:50:53.61 ID:cmRYoiTK 直感に反するとは? http://rio2016.5ch.net/test/read.cgi/math/1734974744/67
68: 132人目の素数さん [] 2024/12/26(木) 09:15:45.29 ID:HqiqaKqU こういう 数学理論の何らかの評価については 数学的な定義はできまいし 大概が不毛な話題になるから ある程度言い合ったら もうやめておくがいいよ http://rio2016.5ch.net/test/read.cgi/math/1734974744/68
69: 132人目の素数さん [] 2024/12/26(木) 09:53:06.16 ID:OfiNnOgH 数学以前に国語力の問題やぞw 常人の素朴な感覚とでも理解しとけ http://rio2016.5ch.net/test/read.cgi/math/1734974744/69
70: 132人目の素数さん [sage] 2024/12/26(木) 18:38:08.61 ID:YFrEaDbd 数学の好事家がはまるわな、パラドックス、0^0w http://rio2016.5ch.net/test/read.cgi/math/1734974744/70
71: 132人目の素数さん [] 2024/12/26(木) 19:14:40.08 ID:hIXXeVlV でも俺は思想こそが数学を作ってると信じてるから こういう議論は不毛ではないと思う http://rio2016.5ch.net/test/read.cgi/math/1734974744/71
72: 132人目の素数さん [sage] 2024/12/26(木) 19:27:00.95 ID:YFrEaDbd 屑数 http://rio2016.5ch.net/test/read.cgi/math/1734974744/72
73: 132人目の素数さん [sage] 2024/12/26(木) 19:44:34.49 ID:L+Fq08vq 今日のチンピラ http://hissi.org/read.php/math/20241226/WUZyRWFEYmQ.html http://rio2016.5ch.net/test/read.cgi/math/1734974744/73
74: 132人目の素数さん [sage] 2024/12/26(木) 20:52:40.88 ID:YFrEaDbd 効いてるな http://rio2016.5ch.net/test/read.cgi/math/1734974744/74
75: 132人目の素数さん [sage] 2024/12/26(木) 22:04:27.11 ID:YFrEaDbd 分からない問題はここに書いてね 472 330 :132人目の素数さん[]:2024/12/26(木) 21:46:14.82 ID:HqiqaKqU と思ったら違うのか http://rio2016.5ch.net/test/read.cgi/math/1734974744/75
76: 132人目の素数さん [] 2024/12/26(木) 22:23:58.23 ID:HqiqaKqU このスレのチンピラが何か言いたそうだね http://rio2016.5ch.net/test/read.cgi/math/1734974744/76
77: 132人目の素数さん [sage] 2024/12/27(金) 00:06:35.67 ID:suvE7960 例えば決定性公理の下ではルベーグ非可測な集合はつくれない そして決定性公理はZFとは矛盾しない(選択公理とは矛盾する) だから選択公理が本質なのは明らか http://rio2016.5ch.net/test/read.cgi/math/1734974744/77
78: 132人目の素数さん [] 2024/12/27(金) 08:56:33.37 ID:Lh3Zwbej アマゾンのカスタマーレビュー: この本は、大学1年生で学ぶような基本的な線形代数を知っている人向けです。数学科の2年生以上の線形代数を解説した教科書としては、現在普通に手に入る本では最良のものです。 http://rio2016.5ch.net/test/read.cgi/math/1734974744/78
79: 132人目の素数さん [sage] 2024/12/27(金) 16:35:26.83 ID:YGw71Leb >>78 関係ないレスを書き込むのは荒らし行為。耄碌されましたかね? http://rio2016.5ch.net/test/read.cgi/math/1734974744/79
80: 132人目の素数さん [sage] 2024/12/27(金) 16:37:28.81 ID:YGw71Leb 「双曲平面でのバナッハ-タルスキーのパラドックス」 の話を聞いて 『バナッハ-タルスキーのパラドックス 原著第2版』 https://www.kyoritsu-pub.co.jp/book/b10030018.html を早速購入したと言っていた某元教授は、ちゃんと内容を 読んだのだろうか? 「買っただけで満足して本棚の肥やし にする」という一番ダメな読者になっていなければいいが。 この本の「4.3 双曲平面全体の上でのBanach-Tarskiの逆理」 が、選択公理なしで構成できる例になっている。 こんな大きな本を買わなくても、この事実自体は自分の頭で 考えれば分かる話。自分で思いつかないのは、数学者として ボケているのかもしれない。 http://rio2016.5ch.net/test/read.cgi/math/1734974744/80
81: 132人目の素数さん [] 2024/12/27(金) 17:31:09.21 ID:6qWdmkmn パラドックスと言われる本質って、(有限)分割に、連結を要請しないところにあるんじゃね? 任意の集合Aは、A=(A∩Q)∪(A∩(R-Q))と分割出来てしまう。R^nでも同様。 http://rio2016.5ch.net/test/read.cgi/math/1734974744/81
82: 132人目の素数さん [] 2024/12/27(金) 21:52:47.02 ID:Lh3Zwbej >>79 遅ればせながら 誤爆スマソ http://rio2016.5ch.net/test/read.cgi/math/1734974744/82
83: 132人目の素数さん [] 2024/12/29(日) 08:47:08.43 ID:3Novfna8 >>81 それは一般化しすぎ ある意味普通の解釈で自己同型な幾つかの集合に分けるのが重要 http://rio2016.5ch.net/test/read.cgi/math/1734974744/83
84: 132人目の素数さん [] 2025/08/23(土) 03:50:08.00 ID:m9lE3V26 >>81 連結を要請してもパラドキシカルな分解は可能 youtu.be/45Qvcc3ITVk http://rio2016.5ch.net/test/read.cgi/math/1734974744/84
85: 132人目の素数さん [] 2025/08/27(水) 20:20:54.03 ID:8xW7oa6O 金塊を2倍にできるのが実用化できるなら、多大な投資がなされるはずだから、 たぶん実用の役には立たないのだろう。 http://rio2016.5ch.net/test/read.cgi/math/1734974744/85
メモ帳
(0/65535文字)
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
スレ情報
赤レス抽出
画像レス抽出
歴の未読スレ
AAサムネイル
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.018s