族, Indexed family を、Iを添字集合とするXの元の族といい、 と書く。関数適用も と書く。 略記法がいろいろあって ・・・元が集合のとき なぜただのでは駄目なのかは知らない。*1 族というのは関数のcodomainを(さらにはdomainも)省略する書き方で、無意識に…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。