2023-09-12から1日間の記事一覧
日記 選択という行為はしんどい。どんな添字集合で集合族を作っても、その直積因子の1つも空集合でなければ直積が空集合にならないのは選択公理。それはさておき決めたことをするということには困難が伴いがちである。そこで、今日は30分毎のルーレットで擦…
日記 選択という行為はしんどい。どんな添字集合で集合族を作っても、その直積因子の1つも空集合でなければ直積が空集合にならないのは選択公理。それはさておき決めたことをするということには困難が伴いがちである。そこで、今日は30分毎のルーレットで擦…