選んでいるのだと解釈することができます。ここで、前回の余談で話したことが大切になってきます。順に選び出したものである」ということです。実質的に同じものだと見なせるということです。これを同一視すると言います。実質的に同じものだと少しでも感じられるように、このようにして考えてみましょう。あるような写像であることに注意して下さい。あるかのように見えます。実際に同じ性質を持っています。含む十分に大きな集合としたいための技術的なもので、本質的に重要なことではありません。いう条件(性質)です。◇Ex.SetTop.2.8.7.とします。従来の定義では、です。写像を用いた新たな定義では、となります。元をすべて書き下してみましょう。定義域の各元に対してその行き先が決まれば決まってしまうのでした。定めれば写像は決まります。いう条件がついています。あるような写像だと考えると、となります。二つの定義が実質的に一致すること、したがって同一視できることが例からもわかります。積集合の別定義(n個の場合)積集合の新しい定義が優れているところは、拡張性に優れていることです。写像として定義されました。写像としてまったく同じように定義することができます。写像というものは別に有限個の元(有限濃度)の集合である必要はないため、無限集合や一般の集合に対しても積集合を定義することができるのです。個の場合の写像を用いた定義を述べていきましょう。◆Def.SetTop.2.8.8.を集合とする。含む十分に大きな集合としたいための技術的なもので、本質的に重要なことではありません。いう条件(性質)です。順に一つずつ元を選び取っているということが積集合を特徴付けます。)この記事へのコメントはありません。この記事へのトラックバックはありません。URL返信をキャンセルする。-URLプロフィールレスト数学に関することを書いていきます。