redcat_math https://blog.hatena.ne.jp/redcat_math/ Red cat の数学よもやま話 https://redcat-math.hatenadiary.org/ 数学・基礎論 しばらくぶりでした。今回は、分出公理図式を使って、いろいろな集合を定義してみましょう。 差集合 集合 a , b に対し、分出公理図式で として定まる集合を と書き、差集合と言います。 共通部分(交わり) とします。このとき をひとつ固定して とおきます。分出公理図式で と置いたものになっています。ところで が成り立つので、 は、実は b によらない集合です。この集合のことを と書きます。特に のときは と書いて、x と y の共通部分と言います。 直積集合 のとき、 であることがわかります。そこで分出公理図式で と置いて定まる集合を と書き、a と b の直積集合と言います。 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fredcat-math.hatenadiary.org%2Fentry%2F20070202%2F1170410873" title="集合論の公理系(その 11) - Red cat の数学よもやま話" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2007-02-02 19:07:53 rich https://redcat-math.hatenadiary.org/entry/20070202/1170410873 1.0 100%