Topic:数と式/数と集合/集合のソースを表示

集合学は、数学の重要な一分野です。集合とは、ものや数字の集まりのことで、その集合を形成する個々のものを'''要素'''と言います。また、集合は'''命題と証明'''という分野にも関わります。以下に、集合に関しての説明、例や問題をのせました。

==集合==
まず集合が何なのかというと、'''範囲が明確なもの(要素)の集まり'''です。例えば、「肉」という集まりは含まれるものが明確なので集合ですが、「美味しい食べ物」の集まりは範囲が明確ではないので集合とは呼べません。
===帰属関係===
[[ファイル:Mathematical set A with element a with no element b.svg|右|フレームなし]]
そもそも帰属関係という単語を初めて聞いた人がほとんどだと思います。帰属関係というのはざっくり言うと、'''要素と集合の関係'''です。

右画像においてaは集合''A''に'''属する'''と言い、 '''a∈''A''''' または '''''A''∋a''' と表します。
そしてbは集合''A''に'''属さない'''と言い、 '''b∉''A''''' または '''''A''∌b''' と表します。

== √2が無理数であることの証明 ==
ある数が無理数であるかどうかの性質を'''無理性'''（むりせい、irrationality）といいます。<math>\sqrt{2}</math> の無理性の証明はいくつか知られていますが、ここでは背理法による証明を試みます。そのためにまず、次の補題を対偶による証明を用いて証明します。対偶は、先ほど図で説明した通り、その命題の真偽と一致します。

{{定理|type=補題|
''m'' を整数とする。
:<math>m^2</math> が偶数ならば、''m'' は偶数である。
}}

{{証明|title=補題|
補題の対偶をとると、
:''m'' が奇数ならば、<math>m^2</math> は奇数である。
''m'' を奇数とすると、''m'' は整数 ''n'' を用いて、
:<math>m = 2n + 1</math>
と表せる。両辺を2乗すると、
:<math>\begin{array}{lcl}
m^2 &=& (2n + 1)^2 \\
m^2 &=& (2n)^2 + 2 \cdot 2n \cdot 1 + 1^2 \\
m^2 &=& 2^2 n^2 + 4n + 1 \\
m^2 &=& 4n^2 + 4n + 1
\end{array}</math>
右辺から2をくくり出すと、
:<math>m^2 = 2(2n^2 + 2n) + 1</math>
''n'' が整数であることから <math>2n^2 + 2n</math> も整数であり、<math>m^2</math> は奇数である。したがって、整数 ''m'' が奇数ならば <math>m^2</math> は奇数であることが示せたので、<math>m^2</math> が偶数ならば ''m'' は偶数であることが示された。∎
}}

{{証明|title=<math>\sqrt{2}</math> の無理性|
<math>\sqrt{2}</math> が有理数であると仮定すると、<math>\sqrt{2}</math> は 1 以外の公約数をもたない整数 ''m'', ''n'' を用いて次のように表せる。
:<math>\sqrt{2} = \frac{m}{n}</math>
両辺を2乗すると、
:<math>\begin{array}{lcl}
(\sqrt{2})^2 &=& \left( \frac{m}{n} \right)^2 \\
2            &=& \frac{m^2}{n^2}
\end{array}</math>
両辺に <math>n^2</math> を掛けて分母を払うと、
:<math>2n^2 = m^2</math>
よって <math>m^2</math> は偶数であり、''m'' も偶数であるので、''m'' は正の整数 ''k'' を用いて、
:<math>m = 2k</math>
と表せる。これを <math>2n^2 = m^2</math> の右辺に代入すると、
:<math>\begin{array}{lcl}
2n^2 &=& m^2 \\
2n^2 &=& (2k)^2 \\
2n^2 &=& 2^2 k^2 \\
2n^2 &=& 4k^2
\end{array}</math>
両辺を2で割ると、
:<math>n^2 = 2k^2</math>
よって <math>n^2</math> は偶数であり、''n'' も偶数であるが、''m'' と ''n'' が偶数（2の倍数）であることは ''m'' と ''n'' が 1 以外の公約数をもたないことと矛盾する。したがって、<math>\sqrt{2}</math> は無理数である。∎
}}

;補足
:整数 ''m'', ''n'' が 1 以外の公約数をもつと仮定すると、分数 <math>\frac{m}{n}</math> は約分してより簡単な分数に直すことができます。そのため、''m'', ''n'' は 1 以外の公約数をもたず、<math>\frac{m}{n}</math> は約分できない分数であると仮定したのです。このように、1 以外に公約数をもたない整数 ''m'', ''n'' は'''互いに素'''（たがいにそ、coprime）であるといいます。互いに素な整数 ''m'', ''n'' を使って表される、これ以上約分できないような分数 <math>\frac{m}{n}</math> は、'''既約分数'''（きやくぶんすう、irreducible fraction）といいます。
{{stub}}
{{DEFAULTSORT:かすとしきかすとしゆうこうしゆうこう}}
[[Category:数学]]