女帝 小池百合子（２）

女帝 小池百合子（１）からの続き

斎藤美奈子と森達也のweb掲示板談話第105回が，『女帝　小池百合子』を読んで という斉藤から森へのメッセージであった。二人とも1956年生まれで新潟県立新潟高校の同級生だったとか。

「この本を褒めた人は，（1）じつはきちんと読んでいない，（2）都知事選前の時流に流された（リベラル陣営に忖度した・選挙で彼女を落選させたかった），（3）そもそも本を読む力がない，（4）そもそも性差別主義者である，のどれかではないかと思います。」として，「女帝　小池百合子」と石井妙子を強く批判していた。

著者の石井妙子は「おそめ」の件で評価していたけれど，考えてみれば，自分では読んでおらず，松岡正剛や菅野完の情報でしか判断していなかった。立ち読みしたエジプトの下りでも微妙な違和感を感じたのだけれど，それより，小池百合子憎しの気分が優先していたのは事実なので，自分の場合は上の４項目がすべて当てはまりそうだ。

斎藤美奈子は，東京新聞のコラムがときおりtwitterに放流されてきて，ほとんど同意できる内容なので相対的に信頼できるようにも思う。斎藤美奈子の判断の方が正解に近いのかもしれない。

［１］『女帝　小池百合子』石井妙子（千浦僚，2020.7）

［２］小池百合子氏と『モダンガール論』（香山リカ，2020.7）

［３］『女帝』（石井妙子）への斎藤美奈子評について（Mr. ぽんすけ，2020.8）

［４］小池百合子はモンスター？（斎藤美奈子，2020.8）

［５］斎藤美奈子が「女帝」本をこき下ろしているようだが……（kojitaken，2020.8）

［６］『女帝』の後に『グレート・ギャツビー』を読む（老虎，2020.8）

［７］『女帝 小池百合子』を読む（１）・（２）（井戸まさえ，2021.1）

［８］この厚顔無恥の大嘘つき巨大モンスターをどう倒すのか？『女帝　小池百合子』を読んで（ハタ暴，2021.2）

［９］『女帝小池百合子』について斎藤美奈子さんは「ルッキズム（性差別的）」と否定。異性に媚びる生き方をする女性は皆無なの？（草野直樹，2021.3）

中干し

近所の田んぼの水が干されている。

奈良県農業研究開発センターの，水稲「ヒノヒカリ」をつくりこなすための７つのポイント，によれば，「３．水管理：登熟向上のために！中干しは必要な茎数を確保した後 に，軽くひび割れするぐらいまでで７日程度実施する（７／中〜下）」ということなので，ちょうど今がその時期のようだ。

今年は，稲の大害虫であるスクミリンゴガイ（ジャンボタニシ）が大発生していて，田んぼやその周辺には毒々しい赤い卵が目立つのだけれど，大丈夫なのだろうか。

写真：朝の散歩で撮影した近所の田んぼの様子（左 2020.7.28 / 右 2020.7.13）

ひまわり

もうすぐ梅雨が明けそうだが，列島の各地を線状降水帯の豪雨が襲い，コロナの第一波第二幕の波は人口密集地に達している。今年は冷夏の予想もあって，夏のひまわりの存在感はうすいのかもしれない。

 ひまわりというと金沢市立野田中学校のシンボルであった。

久しぶりにホームページをのぞいてみると，金沢子どもかがやき宣言と野田中学校の目指す学校像がいきなり出てきて，あれあれとなったが，ちゃんと生徒信条は残っていました。

＜生徒信条＞

一．いつも太陽にむかって咲く　ひまわりのように　明るく正しく生きよう

一．たくましく生長する　　ひまわりのように　　雄々しく元気に伸びよう

一．大きな輪になって咲く　ひまわりのように　　みんな仲良く協力しよう

有側友雄先生というハンプティ＝ダンブティに似た先生がいた。野田中の「ぬし」のような威厳をもった先生だった。生徒指導というか道徳教育の核となり校長先生を差し置いて存在感を発揮していた。全校集会などで悪童どもへにらみをきかせるわけだ。その有側先生は，我々１年生の習字の授業も担当していたが，その最初の授業のときに指名されて，教卓の上に掲げられている生徒信条を読むようにといわれた。

「一（いち）　いつも・・・」といったところでストップがかかり，これは一（ひとつ）と読むのだ，と訂正された。生徒信条はクラスの朝礼で毎日発声していたような気もするが，毎朝間違っていたのかもしれない。

有側先生が学年全員の前で講話をすることが何回かあったが，その１回は非常に強く印象に残っている。君たちにとって，頭，体，心，で一番大切なのは何かという問いが投げ掛けられた。幼い中学生の自分は，人間は命あっての物種なので，「体」かなと思ったが，有側先生はそれが「心」であるということをはっきりと語った。そうだったのか，と衝撃を受けた。衝撃を受けるほうがおかしいような気もするが，まあそんなものなのである。

写真：ヒマワリ（2020.8.3撮影）

GPT-3

しばらく前から，GPT-3が話題になっていた。星暁雄さんの解説「革命かパンドラの箱か，新AIツールGPT-3の波紋」がわかりやすかったので要約してみる。GPT-3はサンフランシスコにある非営利組織のOpenAIが開発して2020年6月に公開したAIツールである。OpenAIは，オープンソースと親和性の高い安全な人工知能への道を探ることを目的としている。

GPT-3をひとことでいうと，英単語や短い文章をインプットすると，関連する「それらしい」テキストを自動生成するツールである。文章以外に，プログラムコードや楽譜を自動的に生成すこともできるため，大きな反響をよんでいる。

その仕組みは，"Language Models are Few-Shot Learners"という論文で報告されている。1兆語からなるきわめて巨大な例文集を元に，1750億種類の変数を持つ「言語モデル」に言葉と言葉の関連の度合いを記憶させておき，この「言語モデル」に対して「数種類の実例と課題文」を与えると，それらしい文章を出力するものである。すべては公開されていないが，APIによって短い例文で試してみることはできるようだ。フェイクニュースや差別的表現が簡単に作り出されることなどまだまだ課題は大きいのかもしれないが，汎用的なAIへの一つのステップ。

ゴンペルツ関数

Ｋ値再訪からの続き

Ｋ値という名の中野さんモデルが主張する振る舞いの根拠として，ゴンペルツ関数（Gompertz function）とよばれる二重指数関数について言及されているものがいくつか見られる。

東京工業大学の生命情報科学の秋山泰さんは，中野さんの提案があってまもなく「累積感染者数の変化に関する新たな指標「K 値」の利点と欠点について（2020.5.10)」で，中野さんのモデルの根拠につながる議論をしている。また，京大基礎物理学研究所の原子核理論の大西明さんのグループは，"Universality in COVID-19 spread in view of the Gompertz function （2020.6.18） "という論文をmedRxivに投稿している。これは，各国の新規感染者数がゴンペルツ関数でユニバーサルに表現できるというものだ。中野さんといい大西さんといい原子核分野の（実験と理論ではあるが）物理屋さんはなぜCOVID-19に引かれるのだろうか。あるいは，Qiitaでは@BMJrさんが「COVID-19 数理モデル 〜 SIR と Gompertz と K値の関係〜（2020.6.30）」という詳しい記事を書いている。

一方，東京海洋大学の勝川俊雄さんは「Ｋ値による予測を使うべきでない理由（2020.7.13）」で，ゴンペルツ関数を用いて新規感染者数を予測することに対し，① 現在始まりつつある第二波がゴンペルツ曲線に従うとは限らない，② 現在の限られたデータから，ゴンペルツ曲線のパラメータを推定しても精度は低い，という２つの理由で警告している。さらに，牧野さんが紹介していたのが「Ｋ値は擬似科学」・・・なかなか激しい。

例えゴンペルツ関数を持ってしても，牧野さんのいうように，Ｋ値（という名の中野モデル）をこの度の事象全域にあてはめることは無謀だと思うのだけれど（まあそうはいっていないのだろうが，だからオフセットを取り続けてグダグダになる），むやみに否定してもそれほど生産的ではない。識者の皆様には，上記あたりにも目を通した上で反論をガードしつつ，その政治・社会的な側面をギリギリと詰めて大阪に充満する維新のよどんだ空気を一掃してほしい。

SIRモデルとK値（１）に続く

８億年前の小惑星シャワー

大阪大学理学研究科の寺田健太郎さんが，ネイチャー・コミュニケーションズ に出した論文，"Asteroid shower on the Earth-Moon system immediately before the Cryogenian period revealed by KAGUYA" が話題になっていた。阪大のホームページに詳しい説明がある。

日本の月周回衛星のかぐやが撮影したデータから，直径20km以上のクレータ59個を調べてその周辺に存在する直径が0.1-1kmの微小クレーターのサイズ分布などから，形成年代を推定した結果，8個またはモデルによっては17個の形成年代が8億年前となった。これは偶然では考えられないため，この時期に破砕された小惑星のシャワーが月−地球軌道周辺に降り注いだと考えられるというものだ。

８億年前に破砕した小惑星は100km以上の直径を持ち，一部は地球型惑星や太陽に落下し，一部は小惑星帯に残り，さらに一部は地球近傍小惑星へと軌道進化したようだ。

どうやって形成年代測定するのかを調べてみると，東京大学の諸田智克さんの論文がたくさん出てきた。諸田さんは金沢生まれで金沢大学の地球科学でドクターをとっている。寺田さんのネイチャー論文の共著者にも諸田さんの名前があった。ファーストオーサは寺田さんだけれど，むしろ彼が研究の中心ではないのか。それにしては，東大には記事が出ていない。はやぶさのタッチダウンの話がでたところだからか。

図　月面クレータの形成年代分布（阪大ホームページより引用）

［１］クレータサイズ頻度分布からさぐる月惑星表面の地質進化（諸田智克・平田成）

［２］「かぐや」が切り開く月面年代学（諸田智克）

［３］月におけるクレーター生成率不均質（諸田智克）

Ｋ値再訪

中野さんのＫ値から２ヶ月半

牧野淳一郎さんが中野貴志さんのＫ値について言及している。「Ｋ値による「予測」は，その数学的構造から必ず，対策しなくても早期に収束する，という楽観的な予測をだすものになっており，そのため対策が不要，事態は深刻ではない，と信じたいメディアや自治体によって取り上げられる，という構造になっているように思われるが，予測事態はこのためにつねに「早期収束する」としか予言できない，実際の予言能力をもたないものになっている」

まあそうだわな。Ｋ値はたんなる定義（新規陽性者数累計の１週間差分比率）なので，しょぼい定義だとしても（だれでも簡単に公開データから求められるという長所もある）それ自身に責任はない。問題は，中野さんがその当時の複数のデータをみて，Ｋ値の収束パターンは簡単な共通の関数形に落とし込めるとしたところにある。ちょっと考えれば無理筋とわかるのに。

中野君が京大物理の同級生だったという野尻美保子さんもしきりに警告している。ふりむかない中野君に業を煮やした野尻さんは，対抗して f. o. 値（fatal outcome projection） という量を提案した。これは新規陽性者数の年代別分布に死亡率の重みをかけたものなので，Ｋ値よりも役に立ちそうである。なんといっても下手な予測をしないところがよい。予測があるとすれば，これを見た人が感じる変動の時間スケールについての直感によるものなので，害は少ない。

Ｋ値は，新規陽性者数累計が増加するにつれて感度が悪くなるので，あまり役にたたないように思われる。確かにそのとおりなのであるが，実際にはこの度の日本の第二波というのか第一波の第二幕というのか，これを検知することはできているので，あまり馬鹿にしなくてもいいのにかわいそうだなとは思う。中野説への反論は，実際のデータで単純に収束しない例をあげればいいだけかしら。

図　欧米のＫ値（4/1-7/23@2020）

最近のデータでは，アメリカ，メキシコ，ブラジルが K=0.1あたりのグループを形成し，ヨーロッパは0.05以下に概ね収束している（最近微増気味）。英国は途中でWHOへの報告データが変更されたので負の値をとっていることに注意する。

図　アジアのＫ値（4/1-7/23@2020）

香港，東京，日本のＫ値が この３週間，K=0.05あたりからはじまって，K=0.2をこえる勢いで増加中である。中野さんのいうＫ値の単調な減衰は感染初期のある時期に見られるだけだ。

追伸：宮沢孝幸がtwitterで大阪のＫ値の推移というグラフを公開している。6/28に0.9あたりでスタートしているのだけれど，累積値の初期値をどこに取ってリセットしているのだろう。その前後の類似グラフをみると6/24ということなのか。よくわからないが非常に恣意的にみえる（カットオフ色々試したけど K=0.6 前後が３週間ほど続いて今に至るという答えしか出ない・・・）。

［１］中野貴志教授（核物理研究センター）による論文等（K値について）

［２］三木健：Novel Indicator of Change in COVID-19 Spread Status へのコメント

赤摂也

高校の数学の時間に，理数科の担任の松川一雄先生が，赤摂也の名前を出したことがある。たぶん，我々の先輩で東大の数学にすすんだ凄い数学者なんだというニュアンスだったと思うが，いつものように記憶はあいまいである。大学に入り理工書の棚を定期的にチェックするようになると培風館の赤白の数学全書のシリーズ本のトップに赤摂也の「集合論入門」を見かけるようになり，その名前はしっかりと定着したのだがその集合論の本は買わなかった。

この度，整列集合の比較定理をなるべく簡単に説明している資料がないかとネット空間をさまよっていたら，赤摂也の名前が出てきた。培風館の「集合論入門」はたいへんよいとあったので，どうしようか。調べてみると，赤摂也先生は昨年の11月に93歳で亡くなられたようだ。金沢市出身なのでたぶん間違いないはずだけれど，金沢一中との関係にふれた記事はない。

なお，松川一雄先生，楠禎一郎先生，谷口澄雄先生が連続して（金沢泉丘高校の理数科の担任の順ではないか）石川県立金沢西高等学校の校長を務められている。一代とんでその次には地学の竹守熈先生も。

写真：赤摂也先生の肖像写真（筑摩書房「現代数学概論」から引用）

カリーニングラード

欧州のSpotify利用可能国をみていたら，ポーランドの北でバルト三国との間に小さな空白地帯があった。あれ？こんなとこに国があったっけと，調べてみたらロシアの飛び地のカリーニングラード州であった。その主要都市はカリーニングラードで，そもそもはドイツ騎士団がつくった東プロイセンの中心都市であるケーニヒスベルクだった。そこは，カント，オイラー，ヒルベルトの出身地であり，あの一筆書きで有名なケーニヒスベルクの橋はここにある。

図　ケーニヒスベルクの橋（Wikipediaより引用）

順序集合（３）

このあたりが難所で遭難しかかっている。

整列集合の比較定理：２つの整列集合，(Ｗ，≦）と（Ｗ'，≦'）があるとき，つぎの３つの順序同型関係のうちいずれか１つだけが成り立つ。

　(1) Ｗ ≃ Ｗ'

　(2) ａ' ∈ Ｗ' が存在して（一意的に定まり），Ｗ ≃ Ｗ'〈ａ'〉

　(3) ａ ∈ Ｗ が存在して（一意的に定まり），Ｗ〈ａ〉 ≃ Ｗ'

つまり

　(4) 「ａ ∈ Ｗ とａ' ∈ Ｗ' が存在して （それらが一意的に定まり）Ｗ〈ａ〉 ≃ Ｗ'〈ａ'〉 ということはない」ということを暗黙に意味しているような気がするけど・・・。つまり，(4) はどんな整列集合にたいしても自明なんだけれど，そうではない，どちらかあるいは両方の整列集合の切片はとらなくてもいいんだぁということを主張しているのかな。

Ｗが有限集合でＷ'の濃度がそれより大きいならば (2) ，Ｗ'が有限集合でＷの濃度がそれより大きいならば (3)，ＷとＷ'の濃度が等しければ (1) が成り立つという直観的なイメージはあっているのだろうか。あるいは，整列集合の切片は有限集合という直感は正しいのかしら。あるいは，整列集合の濃度はたかだか可算な集合のそれと同じと考えてよいのか。→※

整列集合の比較定理の証明は，松坂本も内田本も準備のための補題がごちゃごちゃとあって，なかなかすっきりと頭に入ってこない。

補題２（松坂本）：整列集合Ｗからそれ自身への順序単射をｆとすると，Ｗのすべての元についてｆ(ｘ)  ≧ ｘ が成り立つ（これはなんとかわかる）。

補題３（松坂本）：整列集合Ｗは，その任意の切片と順序同型にはならない（それはそうだろう）。また，ａ，ｂをＷの異る２元とすると，Ｗ〈ａ〉とＷ〈ｂ〉は順序同型にならない（それはそうだろう）。

補題４（松阪本）：整列集合ＷとＷ'が順序同型ならば，Ｗの任意の切片Ｗ〈ａ〉に対して，順序同型となるようなＷ'の切片Ｗ'〈ｂ〉が存在し，ｂはａに対して一意的に定まる（そうなのか）。

定理３（松坂本103p）：整列集合ＷとＷ'が順序同型ならば，ＷからＷ'への順序同型写像は一意的に定まる（そうなのか）。特に，Ｗからそれ自身への順序同型写像は，Ｗ上の恒等写像Ｉwの他にない。

※追伸

整列可能定理：任意の順序集合は適当な順序をとることによって整列集合にできる。・・・がーん。

順序集合（２）

順序集合（１）からの続き

整列集合：（Ｗ，≦）を全順序集合として，その空でない部分集合がいつも最小元をもつ場合，（Ｗ，≦）を整列集合という。有限の全順序集合や，順序関係として普通の大小関係を考えたときの自然数の集合Ｎは整列集合であり，整数の集合Ｚや有理数の集合Ｑは整列集合でない。

直前の元と直後の元：順序集合Ａの任意の元ａ，ｂについてａ＜ｂかつ，ａ＜ｘ＜ｂとなるＡの元ｘが存在しないとき，ａはｂの直前の元，ｂはａの直後の元であるという。整列集合Ｗについては，その任意の元ａに対して，ａ＜ｂとなるｂが存在すれば，整列集合の定義からａの直後の元が存在する。

切片：Ｗを整列集合として，その一つの元をａとする。ａより小さなＷの元全体の集合を，Ｗのａによる切片といい，Ｗ〈ａ〉で表す。つまり，Ｗ〈ａ〉 = {ｘ| ｘ∈Ｗ，ｘ＜ａ}である。ａ＝min Wのときは，Ｗ〈ａ〉 = φとなる。また，ａが直前の元を持つならばそれは，ａ* = max Ｗ〈ａ〉 とかける。

超限帰納法：整列集合Ｗの元に関する命題Ｐについて，次のことが示されれば，ＰはＷのすべての元について成り立つ。「(1) Ｐがｘ = min Ｗについて成り立つ。(2) ∀ａ∈Ｗ かつ ａ≠ min Ｗ として，∀ｘ∈Ｗ＜ａについてＰが成り立つ ⇒ Ｐはａについて成り立つ」これは自然数に対する数学的帰納法の一般化であり超限帰納法とよばれる。

順序集合（１）

順序関係：同値関係は，反射律＋対称律＋推移律から成り立っていた。順序関係は，反射律＋反対称律（aRb,bRa ⇒a=b）＋推移律から成り立つ。順序関係の例として，大小関係，整除関係，包含関係などがある。大小関係にならって，順序関係を表す記号を ≦ とする。

順序集合：集合Ａにある順序 ≦ が定められたとき，それらの組（Ａ，≦）を順序集合，Ａを台集合という。Ａのどの２元にも順序が定められているとき，≦ はＡの全順序であるといい，（Ａ，≦）を全順序集合という。

順序写像：２つの順序写像（Ａ，≦）と（Ａ'，≦'）があって，ＡからＡ'への写像ｆがある。Ａの任意の元，ａ，ｂに対して，ａ≦ｂ ⇒ f(ａ) ≦' f(ｂ)が成り立つとき，ｆを順序写像という。

順序同型写像：順序写像において，f(ａ) ≦' f(ｂ) ⇒ ａ≦ｂ も成り立つ場合，ｆは単射になり，これを順序単射という。ｆが順序単射でさらにＡからＡ'への全射でもある場合，ｆをＡからＡ'への順序同型写像であるという。

順序同型：順序集合（Ａ，≦）から順序集合（Ａ'，≦'）への順序同型写像ｆが存在するとき，両者は順序同型であるといい（Ａ，≦）≃（Ａ'，≦'）と表記する。順序同型関係は，反射律，対称律，推移律を満足する同値関係である。順序同型ならばＡとＡ'には全単射ｆが存在するのでＡとＡ'は対等関係（Ａ〜Ａ'）になる。その逆は必ずしも真ではない。

双対順序：順序集合（Ａ，≦）があるとき，Ａの元ａ，ｂに対して，ｂ≦ａのときに限り，ａ≦' ｂとして関係 ≦' を定義する。これもまたＡにおける１つの順序を与えるが，≦' を ≦ の双対順序とよんで， ≦' = ≦^{-1} と表記する。また，（Ａ，≦^{-1}）を，順序集合（Ａ，≦）の双対順序集合とよぶ。

※ N, Z, Q は互いに対等な全順序集合ではあるが，どの２つも順序同型ではない？と本にはかいてあるのだけれど，そもそもどんな順序を導入したかを書かずに，順序同型かどうかを判定することはできないだろう。どういうことなのか。

集合の濃度（２）

集合の濃度（１）からの続き

濃度の和：２つの集合Ａ，Ｂに対してそれぞれの濃度を μ = card Ａ，ν = card Ｂ とする。Ａ∩Ｂ = φ が満足されるとき（いつでもこのようなＡ，Ｂあるいは対等で濃度の等しい集合を設定することができる），２つの濃度の和とよばれる演算を，μ + ν = card (Ａ∪Ｂ)  によって定義する。

濃度の和が満たす法則：定義により，交換則，結合則，零元（空集合の濃度）の存在，などが満たされる。可算集合の濃度 ℵ_0 について，ℵ_0 =1+ℵ_0 =2+ℵ_0 =ℵ_0 +ℵ_0 が成り立つ。

濃度の積：２つの集合Ａ，Ｂに対してそれぞれの濃度を μ = card Ａ，ν = card Ｂ とする。２つの濃度の積とよばれる演算を，μ ν = card (Ａ×Ｂ) によって定義する。ただし，Ａ×Ｂは２つの集合の直積である。

濃度の積が満たす法則：定義により，交換則，結合則，単位元（要素が１つの集合の濃度）と零元の存在，分配法則などが成り立つ。例えば，card (Ｎ×Ｎ) = ℵ_0 なので，ℵ_0 ℵ_0 = ℵ_0 である。

配置集合：任意の集合Ａ，Ｂにおいて，ＡからＢへの写像ｆのすべての集合を配置集合といい，𝔉(Ａ, Ｂ) または Ｂ^Ａで表す。Ａ，Ｂがｍ個およびｎ個の元を持つ有限集合の場合は，配置集合の元の数はｎ^ｍ個になる（f(1)〜f(m)に重複を許して1〜nを当てはめる場合の数）。

濃度の冪：２つの集合Ａ，Ｂに対してそれぞれの濃度を μ = card Ａ，ν = card Ｂ とする。このとき， ２つの濃度の冪とよばれる演算を， ν ^ μ = card (Ｂ^Ａ) によって定義する。ν ^ 1 = ν，1 ^ μ = １などが成り立つ。

濃度の冪が満たす法則：０でない濃度に対して，普通の自然数の冪に対して成り立つ指数法則が成り立つ。例えば，λ^μ λ^ν = λ ^ (μ+ν)，(μ ν) ^ λ = μ^λ ν^λ，(λ ^ μ) ^ ν = λ ^ (μ ν) など。また，card M = μ となる集合Ｍの冪集合の濃度は，card 𝔓(Ｍ) = ２^ μ ＞ μ である。

無限濃度の演算則：有限の濃度を𝔫，可算の濃度を𝔞，連続の濃度を𝔠とすると，

　(1)  𝔫 ≦ 𝔞 ⇒ 𝔫 + 𝔞 = 𝔞

　(2)  𝔫 ≦ 𝔠 ⇒ 𝔫 + 𝔠 = 𝔠

　(3)  1 ≦ 𝔫 ≦ 𝔞 ⇒ 𝔫 𝔞 = 𝔞

　(4)  2 ≦ 𝔫 ≦ 𝔞 ⇒ 𝔫^𝔞 = 𝔠

　(5)  1 ≦ 𝔫 ≦ 𝔠 ⇒ 𝔫 𝔠  = 𝔠

　(6)  2 ≦ 𝔫 ≦ 𝔠 ⇒ 2^𝔠 = n^𝔠

集合の濃度（１）

集合族からの続き

前回の続きのキーワードは，「集合族・一般の直積・選出公理・関係・同値関係・同値律・類別・直和・同値類・商集合」ということで，61pの第２章　集合の濃度にはいる。

対等関係：集合Ａから集合Ｂの全単射が存在するとき，ＢとＡは対等であるといい，Ａ〜Ｂと書き，Ａ〜Ａ，Ａ〜Ｂ⇒Ｂ〜Ａ，Ａ〜Ｂ，Ｂ〜Ｃ⇒Ａ〜Ｃ，が成り立つ

濃度：対等関係を集合の同値関係とみなして，「集合全体のあつまり」を同値類に類別できる。この同値類を濃度（基数）といい，集合Ａの属する類の濃度（同値類の名前）をcard Ａであらわす。そこで，Ａ〜Ｂ⇔card Ａ= card Ｂ（card Aはあたかも数のようにみえるが，この等号はいったいなにかしら）

濃度の大小：ＡからＢへの単射が存在するとき，これを集合のあいだの関係とみなして，「大小関係」と名付け，card Ａ≦ card B と表記する。card Ａ≦ card Bでありかつ，card Ａ= card Bでないときに，card Ａ＜ card Bと表記する。

有限集合の濃度：有限集合Ａの元の個数をｎ（これは自然数）として，card A = ｎ と表記する。空集合φにたいしては，card φ = 0 と表記する。濃度の大小関係と自然数の通常の大小関係は対応している。

可算集合の濃度：自然数の集合をＮとして，card Ｎ= ℵ_0と表記する。Ｎと対等な集合を可算集合あるいは可付番集合という。任意の有限集合の元の個数ｎに対して，濃度の大小関係としてｎ＜ℵ_0 となる。整数の集合をＺ，有理数の集合をＱとすると，card Ｚ=  card Ｑ= ℵ_0 である。

連続の濃度：実数の集合Ｒに対して，card Ｒ= ℵ と表記し，これを連続の濃度という。対角線論法により，ℵ＞ℵ_0 である。ℵ_0より大きな濃度をもつ集合を非可算集合という。

ベキ集合の濃度：任意の集合Ｍに対して，そのベキ集合を𝔓(Ｍ)とすると，card 𝔓(Ｍ) ＞card Ｍである。

集合族

巨大数のところで，超限順序数のωが登場して，1+ωとω+1が等しくないというロジックがでてくる。そういえば，松坂和夫の「集合・位相入門」ででてきたよなあ思いながら，よくわかっていなかったので，もう一度本をひっくり返してみると，44pの集合族のあたりからわかっていないらしいことがわかった。

そこまでに登場する主なキーワードは，「集合・元・空集合・部分集合・和集合・共通部分・補集合・ベキ集合・集合系・直積・対応・写像・全射・単射・全単射・逆写像・合成写像」であり，正確な定義や証明は十分身に付いていないものの，直観的にはある程度わかる。が，その先の，集合族・選出公理から集合の濃度，順序数とすすむにつれてどんどん霧がかかってくるのだった。

松坂和夫の本は，位相のところでつまづいたので，内田伏一の「集合と位相」も買って手元にある。この本の集合のところは薄すぎて，順序数についての必要な情報は残念ながら得ることができなかった。

ということで，超限順序数の加法と乗法が納得できるまで勉強する予定。

追伸１：きょうのあさイチにmiletがでていて，印象はとてもよかったのだけれど，歌は，自分にとってはCOCCOとか伊藤由奈の系列で，いいといえばいいけれど，平沢進には負ける。

追伸２：利権まみれの GO TO キャンペーンに固執して混乱を極める政治状況のなか，虫の知らせでたまたま見続けていた国会中継に参考人の児玉龍彦さんがでてきて「エピセンター」を強調していた。部分的には納得できる面もあるけれど，「除染」の二の舞いになるのではと不安がよぎった。いずれにせよNHKはこのへんを無視して尾身さんの物語を紡ぐだけ。

巨大数（２）

巨大数（１）からの続き

巨大数の表記法としてよく用いられるものの一つが，ドナルド・クヌースによる矢印表記（Up-Arrow-Notation）である。ここでは簡単のため，$\uparrow^n = \uparrow \uparrow \cdots \uparrow$と表記する。矢印はつねに右結合するものとして，その定義は，$a \uparrow^1 b = a^b$，$a \uparrow^n 1 = a$， $a \uparrow^{n+1} (b+1) = a \uparrow^n (a \uparrow^{n+1} b)$とする。

積：$a\times b = a+a+\cdots+a =  a \uparrow^0 b$ 

累乗：$a^b = a \times a \times \cdots \times a  = a \uparrow^1 b = a \uparrow^0 a \uparrow^0 \cdots \uparrow^0 a  = a \uparrow^0 ( a \uparrow^1 (b-1) )$

テトレーション：$^ba = a^{a^{a^{\cdots^{a}}}}  = a \uparrow^2 b = a \uparrow^1 a \uparrow^1 \cdots \uparrow^1 a = a \uparrow^1 ( a \uparrow^2 (b-1) )$

ペンテーション：$_ba = ^{^{^{^{a}\cdots}a}a}a = a \uparrow^3 b = a \uparrow^2 a \uparrow^2 \cdots \uparrow^2 a = a \uparrow^2 ( a \uparrow^3 (b-1) )$

ヘキセーション：$a_b = _{_{_{_{a}\cdots}a}a}a  = a \uparrow^4 b = a \uparrow^3 a \uparrow^3 \cdots \uparrow^3 a  = a \uparrow^3 ( a \uparrow^4 (b-1) )$

 累乗：

$a^0 \equiv 1, \quad 0^b=0\ (b \neq 0),  \quad a^1=a, \quad 1^b = 1, \quad 2^2 = 4, \quad 3^3=27$

テトレーション：

$^0a \equiv 1, \quad ^b0=\begin{cases} 1\ (b=even) \\ 0\ (b=odd) \end{cases},  \quad ^b1 = 1$

$^1a = a \uparrow^2 1 = a \uparrow^1 ( a \uparrow^2 0 ) = a \uparrow^1 1 = a$

$^2a = a \uparrow^2 2 = a \uparrow^1 ( a \uparrow^2 1 ) = a \uparrow^1 a = a^a$

$^3a = a \uparrow^2 3 = a \uparrow^1 ( a \uparrow^2 2 ) = a \uparrow^1 a^a = a^{a^a}$

${^2}2 = 2^{2} = 4, \quad {^3}3=3^{3^3}=3^{27}=7625597484987$

ペンテーション（左下付き表現は独自）： 

$_0a \equiv 1, \quad _b0=\begin{cases} 1\ (b=even) \\ 0\ (b=odd) \end{cases}, \quad _b1 = 1$

$_1a = a \uparrow^3 1 = a \uparrow^2 ( a \uparrow^3 0 ) = a \uparrow^2 1 = a$

$_2a = a \uparrow^3 2 = a \uparrow^2 ( a \uparrow^3 1 ) = a \uparrow^2 a = {^a}a$

$_3a = a \uparrow^3 3 = a \uparrow^2 ( a \uparrow^3 2 ) = a \uparrow^2 {^a}a = {^{^aa}}a$

${_2}2 = {^2}2 = 2^2 = 4, \quad {_3}3={^{^33}}3=^{7625597484987}3$

ヘキセーション（右下つき表現は独自）： 

$a_0 \equiv 1, \quad 0_b=\begin{cases} 1\ (b=even) \\ 0\ (b=odd) \end{cases}, \quad 1_b = 1$

$a_1 = a \uparrow^4 1 = a \uparrow^3 ( a \uparrow^4 0 ) = a \uparrow^3 1 = a$

$a_2 = a \uparrow^4 2 = a \uparrow^3 ( a \uparrow^4 1 ) = a \uparrow^3 a = {_a}a$

$a_3 = a \uparrow^4 3 = a \uparrow^3 ( a \uparrow^4 2 ) = a \uparrow^3 {_a}a = {_{_aa}}a$

$2_2 = {_2}2 = {^2}2 = 2^2 = 4$

巨大数（１）

昨年の現代思想の19ｰ12が「巨大数の世界」という特集だった。今月号（20-07）の「圏論の世界」に対応しているような。作品ということで，小林銅蟲の「寿司 虚空編」が掲載されており，「巨大数論」の著者で，巨大数研究家のフィッシュさんが重要な役割を果たしている。なかなか異色な特集号かもしれない。

巨大数を表現するための記法として，累乗（↑）が拡張された，テトレーション（↑↑），ペンテーション（↑↑↑）などのハイパー演算子がある。なかなかマニアックで奥が深い世界だ。

［１］巨大数研究Wiki

［２］Larg Numbers

巨大数（２）へ続く

Tikz-FeynHand

奥村さんがtwitterで，TeXでファインマン・ダイアグラムをかくパッケージを紹介していた。TikZ-FeynmanとTikZ-FeynHandだ。前者はLuaTeXが必要だったが，後者ではその制限がないために，より使いやすくなっている。LuaTeXがなくてもコンパイルはできたのだが，Error when using TikZ-Feynman package のような図になってしまうのだった。

- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 

\documentclass[uplatex,a4j,10pt]{jsarticle}

\usepackage{fancybox,boxedminipage,ascmac}

\usepackage{amsmath,amsthm,amssymb,bm}

\usepackage{amsfonts,amscd,mathrsfs}

\usepackage{cases,physics}

\usepackage[dvipdfmx]{graphicx}

\usepackage[all]{xy}

\usepackage{tikz,tikz-cd}

\usetikzlibrary{shadows}

\usepackage{multicol}

\usepackage[version=3]{mhchem}

\usepackage{tcolorbox}

\tcbuselibrary{raster,skins}

\usepackage[compat=1.1.0]{tikz-feynhand} 

%\usepackage{tikz-feynman} 

%\tikzfeynmanset{compat=1.1.0}

\renewcommand{\labelenumi}{[\ \arabic{enumi}\ ]\ \ }

\setlength{\textwidth}{15cm}

\setlength{\oddsidemargin}{-1.0cm}

\setlength{\evensidemargin}{-1.0cm}

\setlength{\topmargin}{-2cm}

\setlength{\textheight}{24cm}

\begin{document}

\begin{center}

\textbf{tikz-feynman の使い方}\ (2020/07/12) \\

\end{center}

\begin{align*}

\int dx\; f(x) = \alpha 

\begin{tikzpicture}[baseline=(o.base)]

\begin{feynhand}

\vertex (a) at (-1,-1); \vertex (b) at (1,-1); \vertex (c) at (0,1);

\vertex [dot, blue] (o) at (0,0) {}; \propag [fermion, blue] (a) to (o);

\propag [anti fermion, blue] (b) to (o); \propag [fermion, blue] (c) to (o);

\end{feynhand}

\end{tikzpicture}

- 2i\,e 

\begin{tikzpicture}[baseline=-0.3cm]

\begin{feynhand}

\vertex (a) at (-1,-1); \vertex (b) at (1,-1); \vertex (c) at (0,1);

\vertex [dot, orange] (o) at (0,0) {}; 

\propag [photon, orange] (a) to (o); 

\propag [photon, orange] (b) to (o); 

\propag [photon, orange] (c) to (o);

\end{feynhand}

\end{tikzpicture}

\end{align*}

\vspace{1cm}

\begin{center}

\begin{tikzpicture}

\begin{feynhand}

\vertex [particle] (a) at (0,0) {e$^-$};

\vertex [dot] (b) at (2,0) {}; 

\vertex (c1) at (4,0.5); 

\vertex (c2) at (4,-0.5); 

\propag [fer] (a) to (b);

\propag [chasca] (b) to (c1);

\propag [chabos] (b) to (c2);

\end{feynhand}

\end{tikzpicture}

\end{center}

- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 

図　tikz-feynhandの例

七佛通戒偈

橘寺で改修を待っているお堂にはいると，写経コーナーがあった。般若心経ほどの分量はない，七佛通戒偈（しちぶつかいのげ）という非常に簡単なものだった。薄く印刷してあるところを筆ペンでなぞるだけなのである。１枚500円で，自分の祈願項目（四文字）を添えられるので，「世界平和」にした。

　諸悪莫作　・　諸善奉行　・　自浄其意　・　是諸仏教　・　南無観世音菩薩

　　しょあくまくさ ・ しょぜんぶぎょう ・ じじょうごい ・ ぜしょぶっきょう

意味は，法句経の183にある，「ありとある　悪を作（な）さず　ありとある　善きことは

身をもって行い　おのれのこころを　きよめんこそ　諸仏（ほとけ）のみ教えなり」ということらしい。

なお，七仏とは過去七仏と云われるもので，毘婆尸仏（びばしぶつ）・尸棄仏（しきぶつ）・毘舎浮仏（びしゃふぶつ）・拘留孫仏（くるそんぶつ）・拘那含牟尼仏（くなごんむにぶつ）・迦葉仏（かしょうぶつ）・釈迦牟尼仏（しゃかむにぶつ）のことだとか。

写真：橘寺の簡易写経，七佛通戒偈（撮影 2020.7.12）

橘寺

明日香の橘寺は聖徳太子の生誕地だ。買物の途中の時間調整で訪れることに。厩戸皇子は馬小屋で生まれたのではなかったのか？そういえば寺の境内には馬の銅像があったけれどあれはなんだったのだろうか。明日香の観光スポットからすこし外れた落ち着いた場所にあり，ちょっと寂れた感じがしている。令和４年度にむけて老朽化したお堂を改修するための１億三千万円の募金をしていたが大丈夫だろうか。

写真：橘寺の二面石と賓頭盧さん（撮影 2020.7.12）