【専門書】数学の本第75巻【啓蒙書】

**１３２人目の素数さん** · 2018/01/12(金) 01:17:54.25

数学書やその周辺の話題について語りましょう。

荒らしや煽りは禁止。
見ている人を不快にさせる書き込みはひかえてください。
人としての基本的な礼節を守って、皆で楽しみましょう。

前スレ
【専門書】数学の本第74巻【啓蒙書】
http://itest.5ch.net/rio2016/test/read.cgi/math/1511085768

**１３２人目の素数さん** · 2018/01/25(木) 11:51:17.59

>>160

小宮克弘著『位相幾何入門』の解答には以下のように書かれています：

f が同相写像であることを示すために、 f の逆写像を具体的に構成してみよ。

f の逆写像を求めるのは簡単なことであって、連続性を示すのがこの問題のポイントだと思います。

**１３２人目の素数さん** · 2018/01/25(木) 11:51:49.53

>>160

小宮克弘著『位相幾何入門』の解答には以下のように書かれています：

「f が同相写像であることを示すために、 f の逆写像を具体的に構成してみよ。」

f の逆写像を求めるのは簡単なことであって、連続性を示すのがこの問題のポイントだと思います。

**１３２人目の素数さん** · 2018/01/25(木) 12:05:17.15

あ、

(max{|x_i|} / |x|) * x

は明らかに連続写像ですね。

**１３２人目の素数さん** · 2018/01/25(木) 13:47:59.19

R^n ∋ (x_1, …, x_n) → max{|x_1|, …, |x_n|} ∈ R

が連続であることを示せ。

(a_1, …, a_n) を R^n の任意の点とする。
I := {i ∈ {1, …, n} | |a_i| = max{|a_1|, …, |a_n|}} とする。

明らかに、

I ≠ φ
I ⊂ {1, …, n}

である。

(1)
I = {1, …, n} の場合

ε を任意の正の実数とする。

δ := ε

とする。

(x_1, …, x_n) を sqrt((x_1 - a_1)^2 + … (x_n - a_n)^2) < δ を満たす任意の R^n の点とする。
J := {j ∈ {1, …, n} | |x_j| = max{|x_1|, …, |x_n|}} とする。
j ∈ J とする。

|max{|x_1|, …, |x_n|} - max{|a_1|, …, |a_n|}| = |x_j - a_j| ≦ sqrt((x_1 - a_1)^2 + … (x_n - a_n)^2) < δ = ε

**１３２人目の素数さん** · 2018/01/25(木) 13:48:23.14

(2)
I ≠ {1, …, n} の場合

i ∈ I
j ∈ {1, …, n} - I

とする。

ε を任意の正の実数とする。

δ := min{ε, (|a_i| - |a_j|) / 3}

とする。

(x_1, …, x_n) を sqrt((x_1 - a_1)^2 + … (x_n - a_n)^2) < δ を満たす任意の R^n の点とする。
J := {j ∈ {1, …, n} | |x_j| = max{|x_1|, …, |x_n|}} とする。

|x_i - a_i| ≦ sqrt((x_1 - a_1)^2 + … (x_n - a_n)^2) < δ
|x_j - a_j| ≦ sqrt((x_1 - a_1)^2 + … (x_n - a_n)^2) < δ

だから

|a_i| - δ ≦ |x_i| ≦ |a_i| + δ
|a_j| - δ ≦ |x_j| ≦ |a_j| + δ

である。

これより、

|x_j| ≦ |a_j| + δ < |a_i| - δ ≦ |x_i|

が成り立つ。

よって、

J ⊂ I

である。

k を J（⊂ I）の元とする。

|a_k| = max{|a_1|, …, |a_n|}
|x_k| = max{|x_1|, …, |x_n|}

である。

|max{|x_1|, …, |x_n|} - max{|a_1|, …, |a_n|}| = ||x_k| - |a_k|| ≦ |x_k - a_k| ≦ sqrt((x_1 - a_1)^2 + … (x_n - a_n)^2) < δ ≦ ε

**１３２人目の素数さん** · 2018/01/25(木) 16:01:46.99

アスペはアスペ（笑）

**１３２人目の素数さん** · 2018/01/25(木) 16:19:37.38

松坂君をくずれだと言ったアホがどこかにいたな。相当頭が弱い奴だな

**１３２人目の素数さん** · 2018/01/25(木) 16:43:20.77

そんな長ったらしく示さないとわからないことを「明らか」と言ってはいけない

**１３２人目の素数さん** · 2018/01/25(木) 18:59:48.39

一連の書き込みをしている
この馬鹿は数学をやめたほうがよろしい
頭悪すぎ
四年制になるまでに落ちこぼれる

**１３２人目の素数さん** · 2018/01/25(木) 19:20:27.40

> 148 名前：１３２人目の素数さん[] 投稿日：2018/01/24(水) 22:08:34.20 ID:6mF6lnbf
> 小宮克弘著『位相幾何入門』を読んでいます。
>
> 「「しかるに」は逆接の接続詞である」
>
> 「市販されている数学関係の書物のなかに、「しかるに」を順接の接続詞として
> 誤用している例を見かけることがある。」
>
> などと書かれています。
>
> 「しかるに」を逆接の接続詞だと思う人など本当にいるのでしょうか？
>
> 「しかるに」を逆接の接続詞だと思う人など本当にいるのでしょうか？
> 「しかるに」を逆接の接続詞だと思う人など本当にいるのでしょうか？
> 「しかるに」を逆接の接続詞だと思う人など本当にいるのでしょうか？
> 「しかるに」を逆接の接続詞だと思う人など本当にいるのでしょうか？

大事なことなので、復習しておこうか？

**１３２人目の素数さん** · 2018/01/25(木) 19:33:38.38

しかるに、とかどうでもいいよ
変な揚げ足取るなや！

**１３２人目の素数さん** · 2018/01/25(木) 19:35:20.57

松坂君って、訂正はするけど謝罪はしないんだよな
自分の誤解にもとづいてボロクソに言っているくせに
謝りもしないからこんなに嫌われる

**１３２人目の素数さん** · 2018/01/25(木) 19:53:43.83

まじでどういう疾患なのか知りたい
頭おかしいのにそこそこ高度な数学に興味持つとかあるのか

**１３２人目の素数さん** · 2018/01/25(木) 20:25:37.38

どうでもいいよ。専スレでやれ

松坂君の日記©2ch.net
http://rio2016.2ch.net/test/read.cgi/math/1489415688/

**１３２人目の素数さん** · 2018/01/25(木) 20:49:14.43

他人の失敗誤植は許さないのに自分の失敗には寛容でいいなあ

**１３２人目の素数さん** · 2018/01/25(木) 23:05:34.72

>>13
今、JechのSet Theoryを読んでる。Chapter 8 の Silver's THeorem の証明が訳わからん。

**１３２人目の素数さん** · 2018/01/25(木) 23:08:19.03

>>136
13じゃなくて136です。

**１３２人目の素数さん** · 2018/01/26(金) 07:09:57.02

神とは数学者ですか？

**１３２人目の素数さん** · 2018/01/26(金) 13:13:51.28

>>178
神は数学者でもあった、というほうが正確でしょう

**１３２人目の素数さん** · 2018/01/26(金) 13:52:36.04

>>179
こてつけて

**１３２人目の素数さん** · 2018/01/26(金) 13:53:51.05

>>179
こてつけろ

**１３２人目の素数さん** · 2018/01/26(金) 14:15:17.18

現在のフランス王はハゲか否か？

**１３２人目の素数さん** · 2018/01/26(金) 15:09:08.01

>>176
君が混乱しあるいは発狂しても当局は一切関知しないからその積りで
読了を祈る

**１３２人目の素数さん** · 2018/01/26(金) 15:47:43.06

そういう本なのか

**１３２人目の素数さん** · 2018/01/26(金) 17:26:03.52

真剣に集合論のプロを目指す人間以外にとってはね

**１３２人目の素数さん** · 2018/01/26(金) 17:28:18.01

基礎論の為の本か

**１３２人目の素数さん** · 2018/01/26(金) 18:45:00.99

基礎論つまり数学の基礎付けとは無関係
公理的集合論のプロを目指して本格的に勉強するための教科書で700ページを超える（版を改訂する度に分厚くなったのは困りもの）
KunenのSet Theoryなんてあんなに薄いのにどうしてJech先生はどんどん分厚くしちゃうのでしょうか

ついでに言っておくと>>136で挙げたもう一つのKuratowskiのTopologyⅠ/Ⅱは両巻合わせて1100ページ以上
そう言えばKuratowskiはMostowskiと共著でKunenと同じNorth-Hollandの論理学・基礎論研究シリーズから
やはり分厚い（でもJechのミレニアム版にはさすがに負ける）集合論の教科書を出してたからKuratowski先生は「全て書かねば強迫症」だったりして X-p

**１３２人目の素数さん** · 2018/01/26(金) 20:52:04.35

>>187
で、Jech の本のSilver's Theorem の証明はやっぱ間違ってますよね？

**１３２人目の素数さん** · 2018/01/26(金) 21:59:35.55

集合論の専門書にはどんなことが書かれているのですか？

何か、数学内で役立つことはありますか？

**１３２人目の素数さん** · 2018/01/26(金) 22:08:49.94

あなたが読んだところで集合論の専門書は役に立ちません。

**１３２人目の素数さん** · 2018/01/26(金) 22:13:43.31

集合論は何を目指している分野なんですか？

**１３２人目の素数さん** · 2018/01/27(土) 03:36:22.10

>>188
スマン、Jechは挫けてそこまで読み進んでないｗ

**１３２人目の素数さん** · 2018/01/27(土) 13:03:40.94

集合論の専門家は、英文法は知っているのに、英語を話せない英語学者みたいなもんですか？

**１３２人目の素数さん** · 2018/01/27(土) 13:23:44.34

『初めてのTensorFlow 数式なしのディープラーニング』という本を読んでいます。

背に「初めてのTensorFlow 数式なしのディープラーンング」などと書かれています。

背に誤ったタイトルが書かれている本をはじめて見ました。

**１３２人目の素数さん** · 2018/01/27(土) 13:35:39.32

「しかるに」は逆接の接続詞ですよ。

**１３２人目の素数さん** · 2018/01/27(土) 14:26:21.37

違います★

**１３２人目の素数さん** · 2018/01/27(土) 14:42:30.60

「憮然として」は「腹をたてて」という意味ではなく「がっかりして」という意味ですよ
いい加減に覚えてください

**１３２人目の素数さん** · 2018/01/27(土) 14:45:24.93

精選版日本国語大辞典によると、

（２）不機嫌なさま。

とあります。

**１３２人目の素数さん** · 2018/01/27(土) 16:14:36.89

アスペの意味も辞書で調べて

**１３２人目の素数さん** · 2018/01/27(土) 16:54:00.60

KuratowskiのTopologyって
秋山仁がガーナの工業大学に就職決まって、授業はこれ教科書でやってくれって渡されたやつでしょ
どうせレベル低いだろと余裕こいてたら予想外にハイレベル、というか秋山自身も全く理解してなかったから必死こいて勉強したらしい

**１３２人目の素数さん** · 2018/01/27(土) 16:57:22.43

そもそも秋山じしんがローレベルですよ

**１３２人目の素数さん** · 2018/01/27(土) 19:43:58.57

>>200
有名な本でしょ
予想外にハイレベルとかわらえる

**１３２人目の素数さん** · 2018/01/27(土) 19:48:10.92

教科書に指定するような本ではないし、数学者でも普通そこまで詳しく位相空間論をやることはない

**１３２人目の素数さん** · 2018/01/27(土) 19:50:34.23

>>201

ピーター・フランクルさんはどうですか？

**１３２人目の素数さん** · 2018/01/27(土) 22:19:42.77

>>202
予想外にハイレベルだったのは、学部の位相空間論の授業でクラトフスキーの本使ってくれと言われたことだよ
日本では1留お情けでやっとこさ修士出ただけ
そんな自分でさえ雇ってもらえたアフリカの大学っていうので正直舐めてたんだね

**１３２人目の素数さん** · 2018/01/28(日) 05:46:39.29

アフリカの大学って、香川大学レベルだろ
たいしたことない

**１３２人目の素数さん** · 2018/01/28(日) 10:36:55.54

秋山仁さんは単著の論文が少ないようですね。

共著の論文って実際のところどんな状況なんでしょうか？

例えば、2人で共著の論文を書く場合、寄与度が半分半分と考えられることは少ないと思います。

やっぱりいいアイディアが浮かんだ場合は、単著の論文用にとっておくとかあるのでしょうか？

**１３２人目の素数さん** · 2018/01/28(日) 11:06:53.47

Kuratowskiのトポロジーという本を教科書として使うようにと命令した人が
非常識なだけなのではないでしょうか？

どう考えてもすべてをカバーすることなどできないはずです。

**１３２人目の素数さん** · 2018/01/28(日) 11:09:01.72

その話が事実であるとしてですが。

秋山仁さんの作り話の可能性もありますよね。

秋山仁さんが、高校生のときに、 log を 10 g って何ですか？と先生に尋ねたとか、
明らかに作り話です。

**１３２人目の素数さん** · 2018/01/28(日) 11:11:28.69

秋山仁さんは自分のことを落ちこぼれだったなどと書いていますが、
本当は、よくできるわけでもなく、全くできないわけでもない普通の
生徒だったのではないでしょうか？

自己宣伝のために作り話や誇張した話を書いているだけではないでしょうか？

**１３２人目の素数さん** · 2018/01/28(日) 11:14:23.43

普通の生徒だったなどと書けば、読者にとって、つまらない人間であると思われるため、
落ちこぼれだったと書いただけだと思われます。

本当は天才だったと書きたいのでしょうが、そうではなかったため、仕方がなく
落ちこぼれだったという話にしたというだけではないでしょうか？

**１３２人目の素数さん** · 2018/01/28(日) 11:18:11.20

論文を多数発表しているということは、学者としては普通以上なのではないでしょうか？

しかも、まだ発表を続けているようですし。

**１３２人目の素数さん** · 2018/01/28(日) 11:22:18.96

Treks into Intuitive Geometry: The World of Polygons and Polyhedra
by Jin Akiyama et al.
Link: http://a.co/2e8UMPC

↑こんな本を書いているんですね。

**１３２人目の素数さん** · 2018/01/28(日) 18:32:59.87

秋山の四面体タイル定理って知ってるかい？

**１３２人目の素数さん** · 2018/01/29(月) 04:18:43.15

http://www.enjoy.ne.jp/~k-ichikawa/tetraTile0.html

**１３２人目の素数さん** · 2018/01/29(月) 14:26:42.00

アールフォルスいまいちだな、文章の説明が長い

**１３２人目の素数さん** · 2018/01/29(月) 21:51:23.28

技術者のための基礎解析学機械学習に必要な数学を本気で学ぶ
中井悦司
固定リンク: http://amzn.asia/cU3bu4l

目次
Chapter 1　数学の基礎概念
1.1　集合と写像
　1.1.1　集合とは？
　1.1.2　写像とは？
　1.1.3　集合の演算
　1.1.4　補足：論理式を用いた証明方法
1.2　実数の性質
　1.2.1　有理数の性質
　1.2.2　実数の完備性
　1.2.3　実数の濃度
1.3　主要な定理のまとめ
1.4　演習問題

Chapter 2　関数の基本性質
2.1　関数の基本操作
　2.1.1　関数の平行移動と拡大・縮小
　2.1.2　合成関数
　2.1.3　逆関数
2.2　関数の極限と連続性
　2.2.1　関数の極限
　2.2.2　関数の連続性
2.3　主要な定理のまとめ
2.4　演習問題

Chapter 3　関数の微積分
3.1　関数の微分
　3.1.1　微分係数と導関数
　3.1.2　導関数の計算例
3.2　定積分と原始関数
　3.2.1　連続関数の定積分
　3.2.2　導関数と積分の関係
3.3　主要な定理のまとめ
3.4　演習問題

**１３２人目の素数さん** · 2018/01/29(月) 21:52:25.18

Chapter 4　初等関数
4.1　指数関数・対数関数
　4.1.1　指数関数の定義
　4.1.2　対数関数の定義
　4.1.3　指数関数・対数関数の導関数
4.2　三角関数
　4.2.1　三角関数の定義
　4.2.2　三角関数の導関数
　4.2.3 正接関数の性質
4.3　主要な定理のまとめ
4.4　演習問題

Chapter 5　テイラーの公式と解析関数
5.1　テイラーの公式
　5.1.1　連続微分可能関数
　5.1.2　無限小解析
　5.1.3　テイラーの公式
5.2　解析関数
　5.2.1　関数列の収束
　5.2.2　関数項級数
　5.2.3　整級数
　5.2.4　解析関数とテイラー展開
5.3　主要な定理のまとめ
5.4　演習問題

Chapter 6　多変数関数
6.1　多変数関数の微分
　6.1.1　全微分と偏微分
　6.1.2　全微分可能条件
　6.1.3　高階偏導関数
　6.1.4　多変数関数のテイラーの公式
6.2　写像の微分
　6.2.1　平面から平面への写像
　6.2.2　アフィン変換による写像の近似
6.3　極値問題
　6.3.1　1変数関数の極値問題
　6.3.2　2変数関数の極値問題
6.4　主要な定理のまとめ
6.5　演習問題

Appendix A　演習問題の解答

**１３２人目の素数さん** · 2018/01/29(月) 21:53:35.65

「機械学習」とタイトルに書けば、ど素人が微分積分の教科書を書いても
売れるんですね。

現在、ランキング4位です。

**１３２人目の素数さん** · 2018/01/29(月) 22:53:42.38

解析学の入門書だとしたら評価はどうなるんだろう

**１３２人目の素数さん** · 2018/01/30(火) 00:08:33.38

伊理正夫・藤重悟著『応用代数』を読んでいます。

束の定義するのに、べき等律を満たすことを条件の一つに挙げていますが、
吸収律から導けますよね。

一体何を考えて余分な条件を課しているのでしょうか？

◆QZaw55cn4c · 2018/01/30(火) 00:21:25.41

>>221
吸収律は最低二つの演算を必要としその関係を示すものですが、
べき等律は一つの演算について制限を示すものです

先にべき等律があって、その後に吸収律でさらに縛る、という見方ではないでしょうか？

**１３２人目の素数さん** · 2018/01/30(火) 10:38:48.10

>>222

単に独立でないということに気づかなかっただけではないでしょうか？

**１３２人目の素数さん** · 2018/01/30(火) 10:54:34.09

>>222
アホが来るところではない

◆QZaw55cn4c · 2018/01/30(火) 13:09:27.52

>>223
では吸収律からべき等律を導きだしてください

**１３２人目の素数さん** · 2018/01/30(火) 16:27:06.64

>>225

y := x ∧ x とおく。
z := x ∨ (x ∧ x) とおく。

x ∧ (x ∨ (x ∧ x)) = x ∧ (x ∨ y) = x

z = x だから、、
x ∧ (x ∨ (x ∧ x)) = x ∧ x

よって、

x ∧ x = x

y := x ∨ x とおく。
z := x ∧ (x ∨ x) とおく。

x ∨ (x ∧ (x ∨ x)) = x ∨ (x ∧ y) = x

z = x だから、、
x ∨ (x ∧ (x ∨ x)) = x ∨ x

よって、

x ∨ x = x

**１３２人目の素数さん** · 2018/01/30(火) 16:41:12.39

斎藤毅著『集合と位相』を読んでいます。

「「P かつ Q または R」と書いてあるときに、 (P ∧ Q) ∨ R と P ∧ (Q ∨ R) のどちらで
あるかは、文脈から決めることはできないので、このような表現は避けなければいけない。」

などと書かれていますが、文脈からどちらの意味か当然分かるのではないでしょうか？

◆QZaw55cn4c · 2018/01/30(火) 16:46:51.81

>>226
＞x ∧ (x ∨ (x ∧ x)) = x ∧ (x ∨ y) = x
これは、何を使って示したのですか？
∧∨は特定の関係（たとえば ∩∪）を仮定していませんか？

**１３２人目の素数さん** · 2018/01/30(火) 16:51:09.20

>>228

吸収律です。

**１３２人目の素数さん** · 2018/01/30(火) 16:51:52.06

めんどくせー奴らは、まとめてあぼーん。

**１３２人目の素数さん** · 2018/01/30(火) 16:52:46.86

>>228
本スレでやるなカス

**１３２人目の素数さん** · 2018/01/30(火) 16:59:17.20

◆QZaw55cn4c は、どこかの隔離スレの患者？

**１３２人目の素数さん** · 2018/01/30(火) 17:57:13.14

プ板の荒らし

**１３２人目の素数さん** · 2018/01/30(火) 18:01:54.61

>>227
お前はもう本を読むな
低能野郎

**１３２人目の素数さん** · 2018/01/30(火) 18:20:00.17

無知vs松坂君

**１３２人目の素数さん** · 2018/01/30(火) 18:38:22.74

>>227

「「P かつ Q または R」と書いてあるときに、 (P ∧ Q) ∨ R と P ∧ (Q ∨ R) のどちらで
あるかは、文脈なしでは決めることはできないので、このような表現は避けなければいけない。」

だったら正しいですが。

**１３２人目の素数さん** · 2018/01/30(火) 18:54:31.24

秋山仁って、この前女の人に振られてなかったっけ？

**１３２人目の素数さん** · 2018/01/30(火) 18:56:08.58

犬と猫かオウムを飼っている

**１３２人目の素数さん** · 2018/01/30(火) 19:00:39.14

斎藤毅著『集合と位相』を読んでいます。

補集合と補空間は違うものだとか、どうでもいいことをたくさん書いていますね。

**１３２人目の素数さん** · 2018/01/30(火) 19:08:17.44

あれこれ読んで、凄いです。

**１３２人目の素数さん** · 2018/01/30(火) 20:00:26.86

お前にはどうでもよくても世間様にはどうでもよくないのだ

**１３２人目の素数さん** · 2018/01/30(火) 20:20:50.63

>>237
もう71歳らしいがw

**１３２人目の素数さん** · 2018/01/30(火) 23:06:15.79

あのさ、～を読んでいますの奴に絡むのやめろ。絡む奴が悪い。
ここは本について話すスレであって、本を読んでて疑問に思ったことを議論するスレではない。
どうしても絡みたいなら～を読んでいますの奴を他スレに誘導してから絡め。

**１３２人目の素数さん** · 2018/01/30(火) 23:15:10.90

専用の隔離病棟があったはず。
特定のワードを幾つか登録している俺には関係ないが。

**１３２人目の素数さん** · 2018/01/31(水) 06:40:48.24

読めば分かると思うけど、
Jechが厚いのは単に内容が比較的網羅的だからだよ。
そんなに無駄に厚い本じゃない。

Kunenは強制法（と無限組合せ論）に特化した本なので
薄く出来るだけ。書き方としてはKunenの方が
微に入り細を穿った書き方になっている。
それに新版だと結局Foundation of Mathematics
（和訳が日本評論社から出ている）

**１３２人目の素数さん** · 2018/01/31(水) 12:37:36.26

>>218
微積の要素しかないぞ

**１３２人目の素数さん** · 2018/01/31(水) 13:16:05.23

機械学習のための関数解析入門出してください

**１３２人目の素数さん** · 2018/01/31(水) 14:18:15.04

『機械学習のための』と付け加えれば、ウンコでも売れる時代。

**１３２人目の素数さん** · 2018/01/31(水) 16:15:32.87

数学の勉強法とは写経することである。難しい定理も１００回も写せば分かるようになる（小平）

**１３２人目の素数さん** · 2018/01/31(水) 20:16:29.49

中井さんの本は情報工学系には人気あるよね

**１３２人目の素数さん** · 2018/01/31(水) 21:02:56.49

>>249
写経完全コピーは定期試験には通用するが
身にならない
完全コピーは思考力を欠いた無能の証
そもそも抽象代数は思考力を要求していない程までに抽象化され
無能がやるものになっている

**１３２人目の素数さん** · 2018/01/31(水) 21:05:01.07

写経完コピが通用するのはガロア理論まで

**１３２人目の素数さん** · 2018/01/31(水) 21:06:03.16

意味も分からねえのにことばを並べ立てるだけの無能を養成するのが現代数学だよ

**１３２人目の素数さん** · 2018/01/31(水) 21:42:49.77

高木貞治の「数学小景」を読んでるとこ
この本面白いわ
シリーズで10冊くらいあれば良かったのに

**１３２人目の素数さん** · 2018/01/31(水) 21:46:31.41

>>249

小平邦彦さんは「書き写せば分かるようになる」と言っているだけなんですか？

明らかに何も考えずに写しても分かるようにはならないと思います。

なぜ書き写せば分かるようになるのかについては一切説明をしていないんですか？

もしそうなら、ただの怪しい人ですね。

**１３２人目の素数さん** · 2018/01/31(水) 21:47:34.33

代わりに、「100回証明を読む」ではなぜいけないのでしょうか？

**１３２人目の素数さん** · 2018/01/31(水) 21:54:16.59

小平邦彦さんは数学基礎論は書き写しても分からなかったんですか？

**１３２人目の素数さん** · 2018/01/31(水) 21:55:26.72

>>254

何が面白いんですか？

**１３２人目の素数さん** · 2018/01/31(水) 22:02:31.10

新井敏康著『集合・論理と位相』を読んでいます。

A ∪ B = B ∪ A

のような自明な命題に対して、説明と称して証明のようなものを書いていますね。

最寄りの駅までの道を尋ねられて、例えば、「まず 100m 北に進む。次に 50m 東に進む。…」
みたいな説明をするような異様さを感じます。

**１３２人目の素数さん** · 2018/01/31(水) 22:06:19.45

一方では、

A_1 ∪ A_2 ∪ … ∪ A_n

について、「括弧をどこにどのように入れても集合として同じであるので、以下、
括弧は書かずにこれらを表すことにする。」

などと書いています。

群論の本では、この証明を書いてある本がありますよね。

おかしな人です。