大学数学

論理記号.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. 大学数学

    集合.9 積集合(一般の場合)

    積集合(一般の場合)準備はできましたので、一般の集合族 \( …

  2. 大学数学

    集合.16 集合の濃度.1 濃度の定義と比較方法

    有限集合と無限集合、濃度直観的に意味がわかると思うのでここまで…

  3. 大学数学

    論理記号.4 ~がただ一つ存在する、定義

    \( \exists ! \) ~がただ一つ存在する\( \e…

  4. 大学数学

    集合.2 部分集合、べき集合

    部分集合集合 \( X,Y \) とします。\( X …

  5. 大学数学

    論理記号.6 否定の作り方

    否定の作り方~一定のルールに則って否定を作ろう~数学において、…

  6. 大学数学

    集合.18 集合の濃度.3 連続体濃度を持つ集合

    非可算集合可算濃度 \( \aleph_0 \) よりも濃度が…

コメント

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

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

アーカイブ

  1. 大学数学

    集合.22 整列可能定理、超限帰納法
  2. 大学数学

    集合.13 同値類と集合の分割
  3. 大学数学

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

    写像.5 像と逆像に関する演算
  5. 大学数学

    写像.12 商集合の普遍性
PAGE TOP
error: Content is protected !!