元素列挙法におけるハット記法
📂集合論元素列挙法におけるハット記法
説明
{1,⋯,k^,⋯,n}
集合を表す時、上のように特定のインデックスにハットを乗せる場合があって、その元を省く意味だ。例えば、{0,1,2,3,4}で元をちょうど一つだけ省いた集合の集合を考えると
{{0,⋯,k^,⋯,4}:j=0,1,2,3,4}
のように表示できるわけだ。この例は有限集合に非常に単純だけど、実際にハット表記が使われる場所では、面倒くさい差集合∖{k}のような表現を省略できるから非常に便利だ。集合だけで使われるわけではなくて、次のようにインデックスが登場する場所で突然現れることもあるんだ。
i=1,⋯,k^,⋯,n∑i21