Home English

Kuina-chan

くいなちゃんOct 17, 2017


6さいからの数学」第4話では、いろいろな小数を紹介し、しかしその集合を考えるときには直感に反する場合があることを解説します!

有理数と実数

第3話で、整数「bb_lz」を定義しましたが、今回はこれに小数を含めた集合「bb_lq」と「bb_lr」を定義します。 そしてそれらのような元が無限個の集合を考えると直感に反する場合があることを、「写像」や「濃度」といった概念を使って示していきます。

有理数

「整数slash整数」の分数で表せる、分母が0以外のすべての数を「有理数ゆうりすう」といいます。 例えば、「2,slash,3」や「0,slash,1」や「sub,5,slash,4」は有理数です。 「3,dot,3,3,3,3,dots」という小数も、「1,0,slash,3」という分数で表せるので有理数です。
このとき、有理数全体の集合を「bb_lq」と表すことにします。 つまり、「bb_lq,eq,bcl,2,slash,3,comma,0,slash,1,comma,sub,5,slash,4,comma,3,dot,3,3,3,3,dots,comma,dots,bcr」です。

実数

有理数以外の小数を「無理数むりすう」といいます。 無理数には、例えば円周率「3,dot,1,4,1,5,9,2,6,dots」や、sqrt_2の値「1,dot,4,1,4,2,1,3,5,6,dots」などがあります。 これらは「整数slash整数」の分数で表すことができません。
1,dot,2,3,1,2,3,1,2,3,1,2,3,dots」のように数字が循環する小数は必ず「整数slash整数」の分数に直すことができ、有理数になります。 循環しない小数は必ず無理数になります。
有理数と無理数を合わせて「実数じっすう」といいます。 つまり、実数とはすべての小数のことを意味します。 実数全体の集合を「bb_lr」と表すことにします。

包含関係

さて、すべての自然数は、整数の中に含まれます。 また、すべての整数は、有理数の中に含まれます。 従って、今までに紹介した数は主な数の包含関係のような包含関係になります。
自然数bb_lnsubset整数bb_lzsubset有理数bb_lqsubset実数bb_lr
主な数の包含関係

主な演算

有理数および実数には、整数と同様に、2つの数a,comma,bに対して、加算「a,add,b」、減算「a,sub,b」、乗算「a,mul,b」、累乗「a,sup_b」、絶対値「abs,a,abs」が定義されています。 また0でないbに対して、除算「a,div,b」も定義されています。 b0の場合、例えば「3,div,0」などは未定義です。
これに加え、実数には「平方根へいほうこん(sqrt_x)」や「冪根べきこん(sqrt_n_x)」が定義されます。 「sqrt_a」とは、「x,sup_2,eq,a」のときのxの値のことです。 例えば「3,sup_2,eq,9」なので、「3,eq,sqrt_9」です。 またこれを拡張して、「x,sup_n,eq,a」のときのxの値を「sqrt_n_a」と表します。 例えば「2,sup_4,eq,1,6」なので、「2,eq,sqrt_4_16」です。
平方根の値は平方根の値のようになります。
平方根の値
平方根
sqrt_0,eq,0
sqrt_1,eq,1
sqrt_2,eq1,dot,4,1,4,2,1,3,5,6ひとよひとよにひとみごろdots
sqrt_3,eq1,dot,7,3,2,0,5,0,8ひとなみにおごれやdots
sqrt_4,eq,2
sqrt_5,eq2,dot,2,3,6,0,6,7,9ふじさんろくおうむなくdots

写像

さて次に、これらの集合を扱う上で重要となる「写像」を説明します。
写像しゃぞう」とは、ある集合のすべての元それぞれをある集合の元に対応付けるもので、「関数かんすう」と呼ばれることもあります。 写像における、元と元とを結ぶ「矢印」の集まりに相当するものが写像です。
写像
写像
写像fが集合bm_laの元と集合bm_lbの元を対応付けることを「f,colon,bm_la,aright,bm_lb」と表します。 またこのとき、集合bm_laの元aに対応する集合bm_lbの元を「f,pl,a,pr」と表します。
f,colon,bm_la,aright,bm_lb」のとき、集合bm_laのどのような元aに対しても、対応する元f,pl,a,prは集合bm_lbに1つだけ存在します。 対応先が存在しなかったり、複数存在することはありません。
また写像は、同じ集合の間で対応付けることもできます。 つまり「f,colon,bm_la,aright,bm_la」であっても構いません。
例えば、自然数全体の集合bb_lnに対し、bb_lnの元xを2倍する「f,pl,x,pr,eq,2,x」は、写像「f,colon,bb_ln,aright,bb_ln」となります(「f(x)=2x」の写像)。
「f(x)=2x」の写像
「f(x)=2x」の写像

全射、単射、全単射

f,colon,bm_la,aright,bm_lb」において、bm_laの元がbm_lbのすべての元を余すところなく対応付けている場合、fを「全射ぜんしゃ」といいます。 厳密には、集合bm_laのすべての元aに対するf,pl,a,prを集めたものが集合bm_lbと一致したとき、fは全射です。
また、bm_laのそれぞれの元に対応するbm_lbの元に重複が無いとき、fを「単射たんしゃ」といいます。 厳密には、bm_laの任意の異なる2つの元a,comma,bに対し、必ずf,pl,a,prf,pl,b,prが異なるとき、fは単射です。
写像fが全射かつ単射であるとき、fを「全単射ぜんたんしゃ」といいます。 このとき、bm_laの元とbm_lbの元がちょうど1対1で対応する形になります。
全射、単射、全単射のイメージを全射、単射、全単射にまとめました。
全射、単射、全単射
全射、単射、全単射

逆写像

写像fの、元の対応の向きを逆にした写像を、fの「逆写像ぎゃくしゃぞう」といい「f,sup_sub,sup_1」と表します。 厳密には、「f,colon,bm_la,aright,bm_lb」「g,colon,bm_lb,aright,bm_la」の2つの写像が、bm_laの任意の元aに対して常に「g,pl,f,pl,a,pr,pr,eq,a」を満たし、bm_lbの任意の元bに対して常に「f,pl,g,pl,b,pr,pr,eq,b」を満たすとき、gfの逆写像「g,eq,f,sup_sub,sup_1」です。
例えば「f,pl,x,pr,eq,x,add,2」という写像「f,colon,bb_lz,aright,bb_lz」と、「g,pl,x,pr,eq,x,sub,2」という写像「g,colon,bb_lz,aright,bb_lz」を考えると、「g,pl,f,pl,x,pr,pr,eq,pl,x,add,2,pr,sub,2,eq,x」および「f,pl,g,pl,x,pr,pr,eq,pl,x,sub,2,pr,add,2,eq,x」ですので、gfの逆写像「g,eq,f,sup_sub,sup_1」だといえます(逆写像)。
逆写像
逆写像
写像fが全単射でなければ、fに逆写像は存在しません。 またfが全単射であれば、必ずfの逆写像f,sup_sub,sup_1が存在し、それは1種類しかありません。

濃度

それでは最後に、整数bb_lzや実数bb_lrなどの元の個数について考えてみましょう。 元の個数が無限個の場合でもその大小が判断できるように、「個数」を一般化した「濃度」というものを導入します。

有限集合の濃度

ある集合bm_laに対し、その元の個数のことを、集合Aの「濃度のうど」といい「tc,ta,tr,td,pl,bm_la,pr」と表します。 例えば「bm_la,eq,bclイヌcommaネコcommaウサギbcr」のとき、「tc,ta,tr,td,pl,bm_la,pr,eq,3」です。
このとき、2つの集合bm_labm_lbに対し、それらの元の個数を比較することで、濃度が等しい「tc,ta,tr,td,pl,bm_la,pr,eq,tc,ta,tr,td,pl,bm_lb,pr」とか、bm_lbの濃度のほうが大きい「tc,ta,tr,td,pl,bm_la,pr,lt,tc,ta,tr,td,pl,bm_lb,pr」などと言えます。 例えば、「bm_la,eq,bclイヌcommaネコcommaウサギbcr」「bm_lb,eq,bclミカンcommaリンゴcommaブドウbcr」であるとき、「tc,ta,tr,td,pl,bm_la,pr,eq,3」「tc,ta,tr,td,pl,bm_lb,pr,eq,3」なので、「tc,ta,tr,td,pl,bm_la,pr,eq,tc,ta,tr,td,pl,bm_lb,pr」です。
さて、元の個数が有限個の場合はこのように個数を数えることで濃度の比較ができますが、元の個数が無限個になると個数を数えることができなくなって比較できなくなります。 そこで、元の個数の代わりに写像を使うことで、濃度を比較することにします。 濃度の比較のように定義します。
2つの集合bm_labm_lbに対し、
  • bm_labm_lbとの間に全単射の写像が1つでも存在すればtc,ta,tr,td,pl,bm_la,pr,eq,tc,ta,tr,td,pl,bm_lb,prであり、存在しなければtc,ta,tr,td,pl,bm_la,pr,neq,tc,ta,tr,td,pl,bm_lb,prである。
  • bm_la,subset,bm_lbのとき、tc,ta,tr,td,pl,bm_la,pr,le,tc,ta,tr,td,pl,bm_lb,prである。
濃度の比較
例えば、「bm_la,eq,bclイヌcommaネコcommaウサギbcr」「bm_lb,eq,bclミカンcommaリンゴcommaブドウbcr」のとき、元を1つずつ対応付ける写像は全単射ですので、「tc,ta,tr,td,pl,bm_la,pr,eq,tc,ta,tr,td,pl,bm_lb,pr」といえます。
bm_la,eq,bclイヌcommaネコbcr」「bm_lb,eq,bclイヌcommaネコcommaウサギbcr」のとき、元を1つずつ対応付けていくとbm_lbの元が1つ余りますので全単射の写像を作ることはできません。 よって「tc,ta,tr,td,pl,bm_la,pr,neq,tc,ta,tr,td,pl,bm_lb,pr」です。 またこのとき「bm_la,subset,bm_lb」なので「tc,ta,tr,td,pl,bm_la,pr,lt,tc,ta,tr,td,pl,bm_lb,pr」です。
このように、元の個数を数えなくても、写像を使うことで濃度の比較ができるようになりました。

可算の濃度

さてそれでは、元が無限個の集合同士の濃度を比較してみましょう。 まずは自然数bb_lnと整数bb_lzの濃度を比較します。
自然数と整数の対応付けのように写像を作ると、bb_lzの元に余りも重複もありませんので、これはbb_lnbb_lzとの間の全単射の写像になります。 よって、tc,ta,tr,td,pl,bb_ln,pr,eq,tc,ta,tr,td,pl,bb_lz,prです。
自然数と整数の対応付け
自然数と整数の対応付け
bb_lzbb_lnを含んでいるため、直感的に考えるとbb_lzの濃度のほうがbb_lnの濃度よりも大きくなりそうですが、このように1対1の対応付けが行えるために同じ濃度となります。 元が無限個の集合は、しばしば直感と異なる結果をもたらしますので慎重に扱う必要があります。
同様に、有理数bb_lqを考えた場合も、自然数と有理数の対応付けのように辿ることでbb_lqの元を網羅することができ、bb_lnbb_lqとの間に全単射の写像を作ることができますので、tc,ta,tr,td,pl,bb_ln,pr,eq,tc,ta,tr,td,pl,bb_lq,prです。
自然数と有理数の対応付け
自然数と有理数の対応付け
このように自然数bb_lnと1対1で対応付けられる集合の濃度のことを、「可算かさん濃度のうど」といい「alephアレフsub_0」と表します。 すなわち、「tc,ta,tr,td,pl,bb_ln,pr,eq,tc,ta,tr,td,pl,bb_lz,pr,eq,tc,ta,tr,td,pl,bb_lq,pr,eq,aleph,sub_0」です。

カントールの対角線論法

元が無限個の集合の濃度は必ずaleph,sub_0になるかというと、そうとも限りません。 例えば実数bb_lrの濃度は、自然数bb_lnの濃度よりも大きくなります「tc,ta,tr,td,pl,bb_ln,pr,lt,tc,ta,tr,td,pl,bb_lr,pr」。 ではこれから「カントールの対角線論法たいかくせんろんぽう」と呼ばれる方法で、それを証明してみましょう。
まず、「カントールの対角線論法」では「背理法はいりほう」と呼ばれる証明方法を使います。 背理法とは、「not,pが成り立つと仮定してわざと矛盾を導き消去法でpを証明する」という証明方法で、第1話で解説したように、一般的な数学があらゆる命題pに対して「矛盾が無いこと(pnot,pが同時に証明されないこと)」と「排中律(pnot,pのどちらかが成り立つこと)」を前提としていることを利用したものです。 背理法の流れのような流れになります。
    背理法で証明したい命題をpとしたとき、
  1. まずpの否定である「not,p」が証明されたと仮定する。
  2. すると、矛盾が生じることが判明した。
  3. 数学は矛盾が無いことを前提としているので、命題not,pは成り立ってはならない。
  4. 一般的な数学は「p」と「not,p」のどちらかが成り立つことを前提にしているので、消去法でpが成り立つことになる。
  5. よって、pは定理である。(証明終)
背理法の流れ
それでは、背理法である「カントールの対角線論法」によって、「tc,ta,tr,td,pl,bb_ln,pr,lt,tc,ta,tr,td,pl,bb_lr,pr」となることを見ていきましょう。
まずは「tc,ta,tr,td,pl,bb_ln,pr,lt,tc,ta,tr,td,pl,bb_lr,pr」の否定である、「tc,ta,tr,td,pl,bb_ln,pr,ge,tc,ta,tr,td,pl,bb_lr,pr」を仮定して矛盾を導きます。 ただし実数bb_lrは広大すぎるので、ここでは話を単純にするために、bb_lrの代わりに「0より大きく1より小さい実数」だけに絞った集合「bm_lj」を使って進めます。 なお、bm_ljbb_lrとの間には全単射が作れることが知られていて、tc,ta,tr,td,pl,bm_lj,pr,eq,tc,ta,tr,td,pl,bb_lr,prと言うことができます。
すると、このとき集合の包含関係「bb_ln,subset,bb_lr」より「tc,ta,tr,td,pl,bb_ln,pr,le,tc,ta,tr,td,pl,bm_lj,pr,eq,tc,ta,tr,td,pl,bb_lr,pr」ですから、これに先ほどの「tc,ta,tr,td,pl,bb_ln,pr,ge,tc,ta,tr,td,pl,bb_lr,pr」を仮定すると、「tc,ta,tr,td,pl,bb_ln,pr,eq,tc,ta,tr,td,pl,bm_lj,pr」とせざるを得なくなり、濃度が等しいことからbb_lnbm_ljとの間に1対1の対応付けが存在することになります。
つまり、例えばbb_lnの元「0」にはbm_ljのある元「0,dot,1,2,1,2,dots」が対応し、bb_lnの元「1」にはbm_ljのある元「0,dot,9,8,7,6,dots」が対応するといった具合です。 この例を図示すると、カントールの対角線論法のようになります。
カントールの対角線論法
カントールの対角線論法
この図では、「0」番目のbm_ljの元の「0桁目」、「1」番目のbm_ljの元の「1桁目」、「2」番目のbm_ljの元の「2桁目」、…と丸で囲んでいますが、この丸で囲んだ対角線部分の数字を抽出し、それが奇数であれば「2」、偶数であれば「1」とするような数字列の小数を考えます。 すると「0,dot,2,1,2,2,dots」となります。 このような小数もまた集合bm_ljのどこかに存在するはずなので、図のように「n」番目のbm_ljの元として対応付けておきます。
さてここで、図の「?」で示した部分に何の数字が入るかを考えます。 試しに2を入れると「対角線部分が2で偶数なので1を入れるべき」となり、1を入れると「対角線部分が1で奇数なので2を入れるべき」となって、どのような数字も入れることができません。 つまり「n」番目のbm_ljの元として対応付けられないことになります。
よって、「n」番目のbm_ljの元として対応付けられることと、対応付けられないことが示されましたので、矛盾します。
以上より、「tc,ta,tr,td,pl,bb_ln,pr,ge,tc,ta,tr,td,pl,bb_lr,pr」を仮定すると矛盾が生じましたので、「tc,ta,tr,td,pl,bb_ln,pr,lt,tc,ta,tr,td,pl,bb_lr,pr」が証明されます。 以上が「カントールの対角線論法」でした。

連続の濃度

このような実数bb_lrの濃度のことを、「連続れんぞく濃度のうど」といい「alephアレフ」と表します。 以上をまとめますと、濃度の大小関係は濃度の大小関係のようになります。
tc,ta,tr,td,pl,empty,pr,eq,0,lt,1,lt,2,dots,lt,tc,ta,tr,td,pl,bb_ln,pr,eq,tc,ta,tr,td,pl,bb_lz,pr,eq,tc,ta,tr,td,pl,bb_lq,pr,eq,aleph,sub_0,lt,tc,ta,tr,td,pl,bb_lr,pr,eq,aleph
濃度の大小関係
empty」とは以前に説明した通り、元が1つもない集合「空集合」です。
今回は、有理数と実数および、写像や濃度について解説しました。 次回は、「0,dot,9,9,9,9,dots,eq,1」について解説します!
1508205079ja