写像を少しだけ予習
一般の場合の積集合を定義するためには、写像という概念がどうしても必要になってきます。写像について詳しくは集合の話が一通り終わった後でやりますが、とりあえず必要な分だけ予習しておきます。
を集合とする。
の各元
に対して、それぞれただ一つの
の元
を対応させる規則を
から
への写像と言う。
が
から
への写像であるとき、
と書く。また、各
の行き先は定義よりただ一つに定まるため、その行き先を
と書く。
の行き先が
であることを
と書く。
写像の書き表し方
論理記号を用いて写像の定義を書くと、次のようになる。
「 は
から
への写像である」
中学や高校で習ったと思いますが、関数というものがありますよね。各 に対してそれぞれ
が決まるものでした。写像というのは、関数を一般の集合に拡張して定義したものです。
大学ではむしろ写像の定義が先にきて、関数は写像の特別なものと考えます。特に、数の集合 ( や
など)への写像のことを関数と言います。
また、 が
から
への写像であるとき、
を定義域と言うことがあります。
とします。
規則 をそれぞれ次のように定めます。
と
すると、 は写像ですが、
は写像ではありません。
なぜなら、 は
の行き先が2つあり、
は
の行き先が定められていないからです。
写像の相等
とします。
はどちらも
から
への写像です。
定義から、写像というのは各 に対してただ一つの
を定めるものです。したがって、各
の行き先を決めてしまえば、写像というのは自ずと定まります。
そこで、写像 と
が等しいことを次のように定義します。
すなわち、すべての に対し、その行き先がすべて等しいとき、
と
は等しいと考えます。
次の写像 を考えます。
(
を
で割った余り)
このとき、 が成立します。
なぜなら、 を
で割ると、
となり、 となるからです。すべての
についてこの関係は成り立つので、写像として
となります。
とします。
写像 を
で定め、写像
を
で定めます。
このとき、 です。
なぜなら、 だからです。たとえ
であっても、少なくとも一つの元に対してその行き先が等しくなければ、写像としては等しくありません。
積集合の別定義(2個の場合)
写像を用いて積集合の別定義をしてみましょう。これから示す別定義の考え方を発展させていって、一般の場合の積集合を定義していきます。
を集合とする。
と
の積集合
を次のように定義する。
……はい。初見だとさっぱり意味がわかりませんね。私も苦労しました。
上の定義とは何を言っているのかというと、 の元とは、
に対して
の元
を対応させ、
に対して
の元
を対応させる写像
だと言っているのです。
と
を順番だと思うと、
番目に
の元
を選び、
番目に
の元
を選んでいるのだと解釈することができます。
ここで、前回の余談で話したことが大切になってきます。「 というのは、
から
、
から
を順に選び出したものである」ということです。
したがって、見た目はまったく違うのですが、 と
のペア
を考えることと、
番目に
を選び、
番目に
を選ぶような写像
は実質的に同じものだと見なせるということです。
これを同一視すると言います。
実質的に同じものだと少しでも感じられるように、このようにして考えてみましょう。上の定義で のとき、
を
と書くことにします。
ここで、 は定義上は、あくまで
であるような写像であることに注意して下さい。しかし実際、写像であることを忘れてしまうと、あたかも
と
のペア
であるかのように見えます。そして実際に同じ性質を持っています。
※上の写像による定義で、 からの行き先が
となっていますが、これは写像の行き先として
と
を含む十分に大きな集合としたいための技術的なもので、本質的に重要なことではありません。大事なのは
という条件(性質)です。
とします。
従来の定義では、
です。
写像を用いた新たな定義では、
となります。
のとき、
を
と書く記法で、
の元をすべて書き下してみましょう。
写像 は定義域の各元に対してその行き先が決まれば決まってしまうのでした。なので今回は
の各元
の行き先
を定めれば写像は決まります。
そして、 の定義から、今回の例では
という条件がついています。
したがって、取り得る のペア
としては、
となります。したがってこれらを、例えば については
であるような写像だと考えると、
となります。二つの定義が実質的に一致すること、したがって同一視できることが例からもわかります。
積集合の別定義(n個の場合)
積集合の新しい定義が優れているところは、拡張性に優れていることです。
2個の集合に対する積集合は からの写像として定義されました。
個の集合に対する積集合は
からの写像としてまったく同じように定義することができます。
そして、写像というものは別に有限個の元(有限濃度)の集合である必要はないため、無限集合や一般の集合に対しても積集合を定義することができるのです。
では、 個の場合の写像を用いた定義を述べていきましょう。
を集合とする。
の積集合
を次のように定義する。
※やはり、 からの行き先が
となっていますが、これは写像の行き先として
を含む十分に大きな集合としたいための技術的なもので、本質的に重要なことではありません。ここでも、大事なのは
という条件(性質)です。各
に対して行き先
がそれぞれ
に入っていること、逆の見方をすれば各
から順に一つずつ元を選び取っているということが積集合を特徴付けます。
この記事へのコメントはありません。