Show more

集合論者のJech,チェコ人なので発音は「イェフ/jεx/」なのか……(みんなイェックとかイェヒとかジェックとか呼んでいるイメージがある)

いつか加筆しようと思って結局更新していないpdfが山のようににあるけど,いつも加筆修正するより新しいpdfを生成する方を選んでしまう

証明はもちろんCounterexamples in Topologyに載っている(連結性の証明はけっこう長い)

Show thread

Euclid空間で絶対収束と無条件収束が同値なことはよく知られているけど,無条件収束の定義の中の「置換」を「computable permutation」に弱めたときになんか類似の条件あったりするのかな

「連結だがある1点を除くと完全不連結になるようなEuclid平面の部分集合」ウケる(Cantor's leaky tent, Knaster-Kuratowski fan)

というより$[T]$に呼び名を付けている日本語文献がそもそもない気もする

Show thread

木$T$の無限パスの全体$[T]$を$T$のbodyというらしいけど,日本語で何と呼べばいいんだんろう.直訳すれば「幹」「樹体」あたりだろうけど,幹ってむしろ木の一部だしなんか違和感が……

なんだかんだで「いずれ○○」が一番よさそう.

Show thread

数学の「eventually [形容詞]」の和訳に困る.例えばeventually constantだったら「いずれ定数」「そのうち定数」「最終的に定数」「結局定数」など色々思い付くがどれもピンと来ない.係り受け的に一番誤解が生じないのは「畢竟定数」だと思うけど漢字が書けない(のと意味も微妙)という問題がある

計算可能性理論、やはり構成がdynamicなほど楽しいのではやく有限害優先法をやりたい

この前考えてた小数展開の一意性と空間の不連結性のやつ,空間がコンパクトだとすっきりうまくいくのにコンパクトでなくなった瞬間に何もわからなくなるのでかなしい

「第一可算なUS空間はHausdorff」,いつ使うのかわからない知識だ

この前のmovable markersを使ったCofの$\Sigma_3$完全性の証明が完全にだるま落としだった件についてpdf/スライド/動画を作りたいが,ニッチすぎて誰も興味なさそう(需要に関係なく個人的にお気に入りなのでたぶん書くけど)

Venn図を描いたら一瞬でわかる集合演算で時間を溶かしてしまった……

計算可能性理論における強制法の何が強制法なのかということを今月中には理解したい(たぶんできると思う)

今日はHigh Domination Theoremを証明してテンションがhighになるやつをやった

今日はmovable markersを用いたc.e.集合の構成をやって「これって完全にだるま落としじゃん」と思ったし結構楽しかった.

CooperのComputability Theoryをちらっと眺めてみたけど非常に広いトピックをカバーしていてすごいと思った

T+Con(T)からの高階の独立性について加筆しました.また,導出可能性条件についても明示的に書くようにしました.
mathtod.online/@waidotto/10214

Show more
Mathtodon

A Mastodon instance named Mathtodon, where you can post toots with beautiful mathematical formulae in TeX/LaTeX style.