E={1,2,3}E=\{1,2,3\}E={1,2,3},F={∅,{1},{2},{3},{1,2},{1,3}}\mathcal{F}=\{\emptyset,\{1\},\{2\},\{3\},\{1,2\},\{1,3\}\}F={∅,{1},{2},{3},{1,2},{1,3}} F\mathcal{F}F は EEE の部分集合たちの集合です。 公理1は「空集合はメンバーにいれる」というルールです。 公理2は「包含の意味で大きいものがメンバーなら小さいやつもメンバー」というルールです。例えば「{1,2}\{1,2\}{1,2} がメンバーなら {1}\{1\}{1} も {2}\{2\}{2} もメンバー」です。上記の例では確かにそのようになっています。 公理3がマトロイドの重要な部分です。「要素数の異なる2つのメンバーに対して,大きい方の元 eee をうまく選べば,それを
![マトロイドの定義と具体例 | 高校数学の美しい物語](https://cdn-ak-scissors.b.st-hatena.com/image/square/e9e8c16dcd862fb454bfd1b1ea043291b7c526d8/height=288;version=1;width=512/https%3A%2F%2Fres.cloudinary.com%2Fbend%2Fimage%2Fupload%2Ff_auto%2Fv1615202344%2Fmanabitimes%2Foriginal%2Fthumbnail%2Fnote%2F1085_xvzrkt.png)