2019-03-26から1日間の記事一覧
【命題】\(\mathcal{G}\)は集合族であり、\(\mathcal{H}\subseteq\mathcal{G}\)とする。このとき\[\left(\sum\mathcal{G}\right)\backslash\left(\sum\mathcal{H}\right)\subseteq\sum(\mathcal{G}\backslash\mathcal{H})\]が成り立つ。 (証明)\(x\in\left…
【命題】\(\mathcal{G}\)は集合族であり、\(\mathcal{H}\subseteq\mathcal{G}\)とする。このとき\[\left(\sum\mathcal{G}\right)\backslash\left(\sum\mathcal{H}\right)\subseteq\sum(\mathcal{G}\backslash\mathcal{H})\]が成り立つ。 (証明)\(x\in\left…