大学数学

論理記号.3 すべての、~が存在する

\forall すべての、任意の

集合 X に属する任意の x について、命題 P が成り立つとき、

\forall x \in X,P

と表します。

また、条件 A を満たす任意の x について、命題 P が成り立つとき、

\forall x \mbox{ s.t.}\, A,P

などと表します。ここで、s.t.はsuch that(そのような)の略です。


Ex.SetTop.1.3.1.

\mathbb{R}実数全体の集合を表します。
「任意の実数 x について、x^2 \geq 0 が成り立つ」という命題は、
\forall x \in \mathbb{R},x^2 \geq 0
と書けます。

「任意の正の実数 x について、x^3 > 0 が成り立つ」という命題は、
\forall x \in \mathbb{R} \mbox{ s.t.}\, x>0,x^3 > 0
と書けます。


\exists ~が存在する、~が少なくとも一つある

集合 X に属する少なくとも一つ x について、命題 P が成り立つとき、

\exists x \in X,P

と表します。

また、条件 A を満たす x について、命題 P が成り立つものが(少なくとも一つ)存在するとき、

\exists x \mbox{ s.t.}\, A,P

などと表します。


Ex.SetTop.1.3.2.

x の方程式 x^2+2x-8=0 の解のうち、少なくとも一つは正である」という命題は、
\exists x \mbox{ s.t.}\, x^2+2x-8=0,x>0
と書けます。

\mathbb{R}[x]実数係数多項式全体の集合を表します。
「任意の奇数次実数係数多項式 a_{2m-1}x^{2m-1}+a_{2m-2}x^{2m-2}+ \cdots + a_0 について、a_{2m-1}x^{2m-1}+a_{2m-2}x^{2m-2}+ \cdots + a_0=0 を満たす実数 x が少なくとも一つ存在する」という命題は、
\forall a_{2m-1}x^{2m-1}+a_{2m-2}x^{2m-2}+ \cdots + a_0 \in \{ f(x) \in \mathbb{R}[x]\, | \, f(x) は奇数次多項式 \}
\exists x \in \mathbb{R},\( a_{2m-1}x^{2m-1}+a_{2m-2}x^{2m-2}+ \cdots + a_0 = 0
と書けます。


\forall\exists の順序には要注意

\forall x \forall y\exists x \exists y のように、同じもの同士であれば、順序を逆にして \forall y \forall x\exists y \exists x としても、まったく同じ意味を持つため問題になりません。

そこで

\forall x \forall y を \forall x,y
\exists x \exists y を \exists x,y

のように略して書く書き方も許容され、実際よく使われます。

ですが、\forall\exists混じっている場合は要注意です。

一般に

\forall x \exists y と \exists y \forall x

まったく意味が異なるのです。


Ex.SetTop.1.3.3.

ここでは、xy は実数とします。

\forall x \exists y, x^2+y-1=0
\exists y \forall x,x^2+y-1=0

という2つの命題を考えましょう。

1つ目の命題は、「任意の x に対して、ある y が存在して x^2+y-1=0 である」という解釈をします。まず先に任意の x を持ってきて、それに応じてある y が存在して、と読むのです。

ある y の値と言うのは、x の値に依存して変わってもよいということです。

具体的な値の x で確かめてみると、

x=1 のとき、y=0 とすれば、x^2+y-1=1^2+0-1=0
x=2 のとき、y=-3 とすれば、x^2+y-1=2^2-3-1=0

となり、確かに y は存在しています。

任意の x については、y=-x^2+1 とすれば、

x^2+y-1=x^2+(-x^2+1)-1=0

となり、確かに y は存在しています。

したがって、1つ目の命題は真となります。

一方で、2つ目の命題は「ある y が存在して、任意の x に対して x^2+y-1=0 である」という解釈をします。先にある y を持ってきて、その特定の y に対して、任意の x で命題が成立しなければならないと言っています。

つまり、最初に y を選んだら、どんな x に対しても、それに依存して y を変化させることは許されないというわけです。1つ目の命題に比べて非常に厳しいことを言っているのがわかるでしょうか?

具体的な値の y で確かめてみましょう。「任意の x に対して x^2+y-1=0 である」が成り立つような y が存在するかという視点で考えます。

「任意の x に対して x^2+y-1=0 である」が成り立つ y は、y=1 ではあり得ません。なぜなら、x=5 とすれば、

x^2+y-1= 5^2+1-1=25 \neq 0

となり、x=5 に対して x^2+y-1=0 が成立しないからです。

「任意の x に対して x^2+y-1=0 である」が成り立つ y は、y=2 ではあり得ません。なぜなら、x=5 とすれば、

x^2+y-1= 5^2+2-1=26 \neq 0

となり、x=5 に対して x^2+y-1=0 が成立しないからです。

一般に、「任意の x に対して x^2+y-1=0 である」が成り立つ y が存在しないことを示しましょう。

それには、どんな y を持ってきても、「任意の x に対して x^2+y-1=0 である」が成立しないこと、すなわち任意の y に対し、x^2+y-1 \neq 0 であるような x が少なくとも一つ存在することを示せばよいです。

任意の y に対して、x= y-2 とします。すると、

x^2+y-1=(y-2)^2+y-1=y^2-3y+3=(y- \frac{3}{2} )^2 + \frac{3}{4} >0

となり、x^2+y-1 \neq 0 です。よって示されました。

したがって、2つ目の命題は偽ということになります。


 

論理記号.4へ>

<論理記号.2へ

記事一覧(大学数学.1)に戻る

関連記事

  1. 大学数学

    集合.12 二項関係.2 同値関係

    同値関係前回、二項関係として恒等関係(=)や合同関係(≡)など…

  2. 大学数学

    写像.7 全射の性質

    全射の性質全射であることを同値な条件で言い替えることで特徴付け…

  3. 大学数学

    大学数学概説.2 大学1、2年生レベルの科目

    微分積分学大学1、2年生で、数学科に限らず理系のかなりの割合の…

  4. 大学数学

    写像.12 商集合の普遍性

    商集合の普遍性商集合を普遍性によって特徴付けます。…

  5. 大学数学

    集合.10 直和(非交和、無縁和)

    直和(非交和、無縁和)◆Def.SetTop.2.…

  6. 大学数学

    論理記号.2 否定、かつ、または、~ならば、同値記号

    \( \lnot \) 否定\( P \) を命題とすると、\…

コメント

  1. この記事へのコメントはありません。

  1. この記事へのトラックバックはありません。

アーカイブ

  1. 大学数学

    集合.7 積集合(n個の場合)
  2. 大学数学

    写像.7 全射の性質
  3. 大学数学

    大学数学概説.4 大学3、4年生レベルの科目(幾何)
  4. 大学数学

    写像.4 逆写像
  5. 大学数学

    論理記号.3 すべての、~が存在する
PAGE TOP
error: Content is protected !!