Ark's Blog

引っ越しました→ https://blog.arkark.dev/

ようこそ

2019-01-13から1日間の記事一覧

max(∅)=-∞ は半群のモノイド化

全順序集合に思いを馳せながら寝たら思いついたネタを投げます。 導入 数学書かなにかで次のような記述を見たことがあるかもしれません。 を正の整数全体の集合とする。 このとき、に対してと定義する。 ただし、とする。 「ただし、とする」 これ、特殊扱い…