数学で行こう（旧）: 2019

2019年10月8日

ブログを引っ越します

というわけで，「数学で行こう」に引っ越します．タイトル同じかよとか言わない．

引っ越しはしますが，こちらも現状まま残しておきますので，こちらのタイトルを「数学で行こう（旧）」にします．

あちらでもマイペースで更新していきますので，よろしくお願いします．

　　　↓クリックしてもらえると励みになります．

にほんブログ村

集合論は，Amazonにて販売中です；製本版

2019年9月11日

数理論理の Semantics と Syntax

今回は数理論理の話です．

「前原昭二『数理論理学序説』」に Semantics と Syntax の説明があるのだが，ピンと来ないし，場合によっては混乱する．

同書には，

Semantics：命題や推論の真偽や内容をもとにして研究する立場
Syntax：命題や推論の真偽や内容には触れずに，その形式上の構造にのみ着目して研究する立場

とある．

私は，この説明ではピンときていなかった．何度読んでもよく分からなかった．

上の文言に続いて，双対の原理を例として Semantics と Syntax の説明をしているのだが，わからなさ Max だった．Semantics と Syntax の違いはおろか双対の原理の説明もよくわからないダブルパンチだった．

そして，命題論理の章の最初に，

命題論理なるものを，semantics の立場において考察する．

とあり，その後に，

命題論理では，命題の内容的意味には立ち入らずに，その真偽だけを問題にする．

と書いている．

私はこの部分を見て「これじゃ semantics と syntax が混ざってんじゃないの」と混乱した．

これって，ダブルパンチじゃなくてトリプルパンチじゃね？

その後，よく分からないままほったらかしにしていたのだが，そのままにしておくのはダメだろうということで，先日，手元にある数理論理や基礎論の教科書にあたってみた．

そうすると「福山克『数理論理学』」に

Semantics：形式的体系の記号に特定の意味ないしは解釈を与える方法でその体系を研究する立場

Syntax：形式的体系の記号を単なる図形として取り扱う方法でその体系を研究する立場

と書いてあって，やっとわかったような気になれた．

4-5年前に購入した前原本でモヤモヤしてたことが，20年以上積読の福山本を見たら，あっさり晴れたということです．

モヤモヤしてるなら，さっさと調べとけば良かったのですが，そのへんはまあ，ご愛嬌ということで．

---

人によれば，前原本の説明の方が分かりやすいかもしれないし，そもそも「両本ともそんな説明ではわからんぞ」というのもあるかもしれない．

私の場合は，前原本の説明で分からなかったことが，数年のうちに無意識に考えが熟成されて，もう少しでわかるというところに到達したところで，福山本の説明を見てピンときたのかもしれない．

このあたりの「わかる」の瞬間はその人のおかれている状況によって異なると思う．

　　　↓クリックしてもらえると励みになります．

にほんブログ村

Amazonにて「集合論」販売中です；製本版（← Kindle版もここからたどれます）

2019年8月29日

ペアノの公理と無限集合

集合論の話しは久しぶりのような気がする．
今回は，ペアノの公理を満たす集合は無限集合であることを証明します．

まずはペアノの公理から．

定義．$N$ を集合とする．$N$ が次の条件を満たすとき，$N$ をペアノの公理を満たす集合という．

$1\in N$
単射 $\varphi\colon N \to N$ が存在する．
$1\not\in \varphi[N]$．
$N$ の部分集合 $A$ が次の条件を満たすとき，$N=A$ である，

$a\in A$．
$n\in A \Rightarrow \varphi(n)\in A$

補足．ペアノの公理を満たす集合 $N$ を定義したが，そのような $N$ が存在するとはいってない．

⬆ 例えていうなら，80点以上で合格という条件を決めても，80点以上の人がいるかどうかは別問題みたいなもの．なので，次の公理を追加するっと．

公理．ペアノの公理を満たす集合が存在する．

⬆ 無理やり感が強いが，まあこれで安心して次に進むことができる．

今回のテーマのひとつが無限集合なので，それを定義してみる．

定義（無限集合）．$A$ を集合とする．$A$ のある真部分集合 $A'$ に対して，$A$ から $A'$ への全単射が存在するとき，$A$ を無限集合という．

要素が無限個あるのが無限集合ではないのかって？
君は何を言ってるんだ．無限を無限で定義して定義したことになるのかね？（煽り

補足．無限集合を定義したが，存在するとはいってない．

⬆ まあそういうことです．定義しても，その定義を満たすものが存在するかどうかは別の話し．

んで，ペアノの公理を満たす集合が存在するなら，無限集合が存在するよというのが次の命題．

命題．集合 $\mathbb{N}$ がペアノの公理を満たしているとする．このとき，$\mathbb{N}$ は無限集合である．

証明．ペアノの公理の 3. より，$\varphi[\mathbb{N}]$ は $\mathbb{N}$ の真部分集合である；$\varphi[\mathbb{N}] \subsetneq \mathbb{N}$ ．

写像 $\varphi '\colon \mathbb{N}\to \varphi[\mathbb{N}]$ を $\varphi '(n) = \varphi (n)$ と定義すれば，$\varphi '$ は全単射である．

無限集合の定義より，$\mathbb{N}$ は無限集合である．□

ということで，ペアノの公理を満たす集合は無限集合であること，すなわち，無限集合が存在することがいえましたパチパチパチ

実は，ペアノの公理を満たす集合が存在することと，無限集合が存在することとは同値です．本当は，無限集合が存在するというのを公理に据えて，ペアノの公理を満たす集合が存在することを証明しようとしたのだが，証明を打ち込むのが面倒なので，ペアノの公理を満たす集合の存在を出発点にしたのでしたわはは．

　　　↓クリックしてもらえると励みになります．

にほんブログ村

集合論は，Amazonにて販売中です；製本版（← Kindle版もここからたどれます）

2019年7月18日

コメントの返信には時間がかかるのだ

どうでもいい話しです．

このブログにコメントをもらえるのはありがたいのですが，滅多に来ないコメントがあると，中の人は不意打ち食らったようになるので，返事には数日かかります．

無視しているわけではありません．

しかし，三日目あたりで忘れてしまうかもしれません．

ということで，当日や翌日あたりに返信があった場合は祝杯挙げて下さい．

コメント後は気長に待て

まあそういうことです．

　　　↓クリックしてもらえると励みになります．

にほんブログ村

集合論は，Amazonにて販売中です；製本版

2019年7月9日

線型空間と基本命題

ちょっと長いです．

定義（線型空間）．$V$ を空ではない集合，$K$ を体とする．ここで，

$V$ に加法 $x+y$ が定義されていて，以下の4つの条件を満たしているとする；

（結合律）任意の $x,y,z\in V$ に対して， $(x+y)+z=x+(y+z)$．
（単位元）$V$ にある要素 $0$ がただひとつ存在して，任意の $x\in V$ に対して，$x+0=x$．
（逆元）任意の $x\in V$ に対して，ある要素 $x'\in V$ がただひとつ存在して，$x+x'=0$．
（交換律）任意の $x,y\in V$ に対して， $x+y=y+x$．

$V$ にスカラー倍が定義されていて，次の 1. -- 4. を満たしているとする；

任意の $x,y\in V$，$a\in K$ に対して，$a(x+y)=ax+ay$．
任意の $x\in V$，$a,b\in K$ に対して，$(ab)x=a(bx)$．
任意の $x\in V$，$a,b\in K$ に対して，$(a+b)x=ax+bx$．
任意の $x\in V$ に対して，$1x=x$．

このとき，$V$ を $K$ 上の線型空間という．

命題．$X$ を集合，$W$ を体 $K$ 上の線型空間とする．$X$ から $W$ へのすべての写像を要素とする集合を $F$ とする．$f,g\in F$，$a\in K$ に関して次のような演算を定義する；
\begin{align*}
f+g & =\{(x,\,f(x)+g(x))\mid x\in X\},\\
af & =\{(x,\,a[f(x)])\mid x\in X\}.
\end{align*}このとき，$F$ は $K$ 上の線型空間である．

補足．$F$ が線型空間であるためには，$f+g$ も $af$ も，$F$ の要素であることが必要である（上ではそのように定義している）．

補足．$F$ が線型空間であるためには，定めた演算が【定義】のすべての条件を満たすことが必要である．

――

以下，各条件ごとに証明します．

証明（結合律）．任意の $f,g,h\in F$，$x\in X$ に対して，
\begin{align*}
(f+g)+h & =\{(x,\,[f(x)+g(x)]+h(x))\mid x\in X\}\\
& =\{(x,\,f(x)+[g(x)+h(x)])\mid x\in X\}\\
& =f+(g+h)\end{align*}である．

補足．$f(x),\,g(x),\,h(x)$ は $W$ の要素である．$W$ は線型空間であったから，加法に関して結合律が成立する．

――

証明（単位元）．$W$ の加法の単位元を $0_w$ とする．このとき，ある写像 $g_0\in F$ が存在して，$g_0 (x)=0_w$ となる；$g_0 =\{(x,\,0_w)\mid x\in X\}$．$g_0$ が $F$ の単位元であることを確認する；任意の $f\in F$ に対して，
\begin{align*}
f+g_0 & =\{(x,\,f(x)+g_0 (x))\mid x\in X\}\\ & =\{(x,\,f(x)+0_w)\mid x\in X\}\\
& =\{(x,\,f(x))\mid x\in X\}\\
& =f
\end{align*}である．この $F$ の単位元 $g_0$ を $0_F$ とあらわすことにする．

――

証明（逆元）．任意の $f\in F$ に対して，$f+f'=0_F$ となるような $f'\in F$ が存在することを示す；
\begin{align*}
f+f' & =\{(x,\,f(x)+f'(x))\mid x\in X\}
\end{align*}である．$f(x)$ に対して，$f(x)+(-f(x))=0_w$ を満たす $-f(x)$ が存在する．そこで，$f'(x)=-f(x)$ とすると，\begin{align*}
f+f' & =\{(x,\,f(x)+[-f(x)])\mid x\in X\}\\
& = \{(x,\,0_w)\mid x\in X\}\\
& = 0_F
\end{align*}である．次に，任意の $f\in F$ に対して，$f+f'=0_F$ となるような $f'\in F$ はただひとつであることを示す；$f+f'=0_F$，$f+f''=0_F$ であるとする（$f',\,f''\in F$）．このとき，
\begin{align*}
f'' & =(f'+f)+f''\\
& =f'+(f+f'')\\
& =f'
\end{align*}となる．

――

証明（交換律）．任意の $f,\,g\in F$ に対して，
\begin{align*}
f+g & =\{(x,\,f(x)+g(x))\mid x\in X\}\\
& =\{(x,\,g(x)+f(x))\mid x\in X\}\\
& = g+f
\end{align*}である．

補足．$f(x),\,g(x)$ はともに $W$ の要素である．$W$ は線型空間であったから，加法に関して交換律が成り立つ．したがって，\[f(x)+g(x) = g(x)+f(x)\]である．

――

証明（ $a(f+g)=af+ag$ ）．任意の $f,\,g\in V$，$a\in K$ に対して，
\begin{align*}
a(f+g) & =\{(x,\,a[f(x)+g(x)])\mid x\in X\}\\
& =\{(x,\,a[f(x)]+a[g(x)])\mid x\in X\}\\
& = af+ag
\end{align*}である．

――

証明（ $(ab)f=a(bf)$ ）．任意の $f,\,g\in V$，$a,\,b\in K$ に対して，
\begin{align*}
(ab)f & =\{(x,\,(ab)[f(x)])\mid x\in X\}\\
& =\{(x,\,a(b[f(x)]))\mid x\in X\}\\
& = a(bf)
\end{align*}である．

――

証明（ $(a+b)f=af+bf$ ）．任意の $f,\,g\in V$，$a,\,b\in K$ に対して，
\begin{align*}
(a+b)f & =\{(x,\,(a+b)[f(x)])\mid x\in X\}\\
& =\{(x,\,a[f(x)]+b[f(x)])\mid x\in X\}\\
& = af+bf
\end{align*}である．

――

証明（ $1f=f$ ）．任意の $f\in F$ に対して，
\begin{align*}
1f & = \{(x,\,1[f(x)])\mid x\in X\} \\
& = \{(x,\,f(x))\mid x\in X\}\\
& = f
\end{align*}である．したがって，$1f=f$．

補足．$1,\,f(x)$ はともに $W$ の要素である．$W$ は線型空間であったから，$1[f(x)]=f(x)$ である．

――――――――――

写像と写像の和も，写像のスカラー倍も，写像で直接書けやゴルァ！というわけで，今回のような定義と証明になったのでした．

なんていうか，$f+g$ を $(f+g)(x)=f(x)+g(x)$ で定義するといわれても，私にはピンと来ないのですな．頭の中でその二つが結びつかないのです．$f+g$ を定義するなら，\[f+g=\text{ホニャララ}\] と書いて下さいよという感じで．

補足説明が足りない（抜けている）のだが，自分で納得できる説明が完成するのを待っていたら夏が終わってしまうような気がしたので，公開することにしました．抜けている補足は後日追加します（気分次第）．

　　　↓クリックしてもらえると励みになります．

にほんブログ村

集合論は，Amazonにて販売中です；製本版 (POD)

2019年5月11日

論理記号「 ∧ ∨ ⇒ ￢」を一つの論理記号であらわしてみた

論理記号「 $\mid$ 」の真偽値を以下のように定めてみる；

$\begin{array}{ccc} A & B & A\mid B\\ \bigcirc & \bigcirc & \times\\ \bigcirc & \times & \times\\ \times & \bigcirc & \times\\ \times & \times & \bigcirc \end{array}$

すると，$\lnot A$ は

$\begin{array}{cccc} A & A & \lnot A & A\mid A\\ \bigcirc & \bigcirc & \times & \times\\ \times & \times & \bigcirc & \bigcirc \end{array}$

より，$A\mid A$ とあらわせる．

また，$A\lor B$ は，

$\begin{array}{cccccc} A & B & A\lor B & A\mid B & A\mid B & \left(A\mid B\right)\mid\left(A\mid B\right)\\ \bigcirc & \bigcirc & \bigcirc & \times & \times & \bigcirc\\ \bigcirc & \times & \bigcirc & \times & \times & \bigcirc\\ \times & \bigcirc & \bigcirc & \times & \times & \bigcirc\\ \times & \times & \times & \bigcirc & \bigcirc & \times \end{array}$

より，$\left(A\mid B\right)\mid\left(A\mid B\right)$ とあらわせる．

んで，$A\land B \Longleftrightarrow \lnot(\lnot A \lor \lnot B)$ なので，
\[\begin{align*} A\land B & \Longleftrightarrow\lnot\left(\lnot A\lor\lnot B\right)\\ & \Longleftrightarrow\lnot\left[\left(A\mid A\right)\lor\left(B\mid B\right)\right]\\ & \Longleftrightarrow\lnot\left\{ \left[\left(A\mid A\right)\mid\left(B\mid B\right)\right]\mid\left[\left(A\mid A\right)\mid\left(B\mid B\right)\right]\right\} \\ & \Longleftrightarrow\left\{ \left[\left(A\mid A\right)\mid\left(B\mid B\right)\right]\mid\left[\left(A\mid A\right)\mid\left(B\mid B\right)\right]\right\} \mid\\ & \qquad\qquad\left\{ \left[\left(A\mid A\right)\mid\left(B\mid B\right)\right]\mid\left[\left(A\mid A\right)\mid\left(B\mid B\right)\right]\right\} \end{align*}\]
より，$A\land B$ は，\[\left\{ \left[\left(A\mid A\right)\mid\left(B\mid B\right)\right]\mid\left[\left(A\mid A\right)\mid\left(B\mid B\right)\right]\right\} \mid\left\{ \left[\left(A\mid A\right)\mid\left(B\mid B\right)\right]\mid\left[\left(A\mid A\right)\mid\left(B\mid B\right)\right]\right\} \]とあらわせる．

最後に，$A\rightarrow B \Longleftrightarrow \lnot A\lor B$ なので，\[\begin{align*} A\rightarrow B & \Longleftrightarrow\lnot A\lor B\\ & \Longleftrightarrow\left(A\mid A\right)\lor B\\ & \Longleftrightarrow\left[\left(A\mid A\right)\mid B\right]\mid\left[\left(A\mid A\right)\mid B\right] \end{align*}\]より，$A\rightarrow B$ は，\[\left[\left(A\mid A\right)\mid B\right]\mid\left[\left(A\mid A\right)\mid B\right]\]とあらわせる．

-

いかがでしたか，論理記号「 ∧ ∨ ⇒ ￢」はひとつの論理記号「 $\mid$ 」であらわせることがわかりましたね！

皆さんも「 $\mid$ 」を使って，命題論理や述語論理を再構築してみてはどうでしょうか（面倒臭い

今回の記事の元ネタは，瀬山士郎『はじめての現代数学』からでした．

はじめての現代数学

posted with ヨメレバ

瀬山士郎早川書房 2009年03月25日

楽天ブックスで見る

Amazonで見る

　　　↓クリックしてもらえると励みになります．

にほんブログ村

集合論はAmazonにて好評販売中です；Kindle版，製本版 (POD)

2019年5月8日

「集合論（第10版）」の訂正01

自著「集合論」の第10版の訂正です．

「§3.2.5 集合族の直積」の規約3.4（96頁）で，以下のように記述しました；

この規約内の「 $A^n$，」を削除します．

任意の $i,\,j\in \varLambda$ に対して，$A_i = A_j$ となるとき，$A^n$ とあらわしますが，一般にはそうではないので．

---

令和になったので，文体を変えました．

集合論（第10版）へのリンク：Kindle版，製本版

　　　↓クリックしてもらえると励みになります．

にほんブログ村

「応援してやるよ」という方がおられましたら，こちらからお布施をお願いします → Ofuse

2019年4月27日

「集合論（数学で行こう）」第10版（製本版）

自著「集合論（数学で行こう）」の第10版の製本版の販売開始が令和元年５月１日に決定しました．

5月1日に発売するという公約は守れた！

現在，予約受付中です．

【集合論（数学で行こう）第10版】

製本版（Amazon）

POD版です．本屋には並びません．

背表紙と裏表紙にも何か書いてあります．

取り急ぎお知らせまで．

　　　↓クリックしてもらえると励みになります．

にほんブログ村

「応援してやるよ」という方がおられましたら，こちらからお布施をお願いします → Ofuse

2019年4月16日

「集合論（数学で行こう）」第10版

自著「集合論（数学で行こう）」の第10版を公開した．

【集合論（数学で行こう）第10版】

Kindle版（Amazon）

第10版では，

第7章の加筆ならびに文言の見直し
その他，全体的に文言の見直し

を行った．

第10版ということで，当初のとおり，製本版（POD）を販売する予定だ．

「集合論」はこの第10版で一応の完成とする（今までのは何だったのかとか言わない）．

書き切れなかった部分や，さらに補足が必要と感じた個所は，このブログで追記して行きたい．

---

PDF版をDLMarketで販売していたが，同サイトの閉鎖に伴い，PDF版の販売は休止している．

製本版は5月1日（令和元年初日！）に出版できるように頑張ります．

　　　↓クリックしてもらえると励みになります．

にほんブログ村

「応援してやるよ」という方がおられましたら，こちらからお布施をお願いします → Ofuse

2019年2月9日

「集合論（数学で行こう）」第9.4.1版

自著「集合論（数学で行こう）」の第9.4.1版を公開した．

【集合論（数学で行こう）第9.4.1版】

Kindle版（Amazon）

第9.4.1版では，

一部文言を見直し

を行った．

ほぼ半年かけてチマチマと修正していると，自分でもどこを同修正したのか把握しきれず，上のように書くしかなかった．

なお，第9.4版では，本文冒頭の二つの定義を一つに融合してしまうという初歩的なミスをやらかしたので，それを修正した第9.4.1版に差し替えた．顛末は以下の連ツイを参照；

「#集合論」第9.4版．単純ミスしとる……定義1.1.1と同1.1.2になるはずの定義が融合……本文初っぱなから何をしとるんだオレは．
— タナカ (@MathTanaka2017) 2019年2月7日

---

毎回ここでDLMarketのPDF版を推していたが，現在，同サイトが閉鎖中のため，販売できないでいる．

製本版を第10版で出す予定に変更はない．次の改訂版が第10版になることを期待したい（他人のふり）．

　　　↓クリックしてもらえると励みになります．

にほんブログ村

「応援してやるよ」という方がおられましたら，こちらからお布施をお願いします → Ofuse

2019年1月8日

数学お勧め本その６［アップ編２］

下記のツイート，結構ファボってもらえたので，こちらにも転載してみた．

以前紹介した「数学お勧め本その２［アップ編］」の続きみたいなもの．

取っ掛かり……

数学なら
　結城さんの「数学ガール」
　石川さんの「位相のあたま」
　藤田さんの「集合と位相をなぜ学ぶのか」

物理なら
　EMAN氏の「趣味で物理」シリーズ
　前野さんの「よくわかる」シリーズ

など（他にもあるはずだが，パッと思いついたもの
— タナカ (@MathTanaka2017) 2019年1月7日