• 締切済み

空集合の扱い方について

とっても読みにくい文章になってしまいましたが、回答お願いします。記述の仕方のささいな誤りは見逃してください… 「P(x)を満たす任意のx∈R(実数)がQ(x)を満たす。」という命題（命題１）について、 P(x)を満たすxが存在しないとき（つまり、{x∈R|P(x)}=Φのとき）、この命題は真だと説明されました。 理由としては、 「この命題が偽ならば、P(x)を満たすがQ(x)を満たさないxが反例として存在するはずだが、P(x)を満たすようなxはそもそも存在しない。よって真である。」 ということらしいのです。 そこで、Q(x)の否定をR(x)として、「P(x)を満たす任意のxがR(x)を満たす。」（命題２）の真を同様に証明することもできるのでしょうか？ もしできるのなら続けて質問があります。 P(x)を満たすxの集合をS、Q(x)を満たすxの集合をTとすると、命題１が成り立つとき、SはTに含まれています。Sが空集合の場合を考えると、空集合は任意の集合の部分集合である、といえます。（これは授業でやりました） しかし命題２が成り立つならば、SはTに含まれていません。空集合はどの集合にも含まれない、ということになりますよね。 空集合は任意の集合の部分集合であると同時に、どの集合にも含まれないという理解で良いのでしょうか？ また、Q(x)=（x≦u）とすると、「SはTの部分集合である⇔uはSの上界である」となり、命題１をこれまでと同様に命題１をあてはめると、任意の実数uは空集合Φの上界である。となり、命題２をあてはめると任意の実数uは空集合Φの下界である。ということになりますが、これも上と同様の、任意の実数uは空集合Φの上界であり、下界である、というふうに理解したのでよいですか？

みんなの回答

  • koko_u_u
  • ベストアンサー率18% (216/1139)
回答No.1

> しかし命題２が成り立つならば、SはTに含まれていません。 いいえ。そんなことはないでしょう？ Sは空集合なんだから、Tに含まれ同時にTの補集合にも含まれるということです。 > これも上と同様の、任意の実数uは空集合Φの上界であり、下界である、というふうに理解したのでよいですか？ こっちはそれでよいです。 普通に命題 P => Q が P が偽の時は真になる、ということの具体的な例をいろいろ考えていることになりますね。

tyuji04
質問者

お礼

なるほど、補集合に含まれたら、そのもとの集合に含まれない、と考えるのは間違いということですね。 納得しました。ありがとうございました。

  1. カテゴリ
  2. 学問・教育
  3. 数学・算数

関連するQ&A

  • 集合　上限　下限

    集合　上限　下限 Wikipediaによれば、 上界の集合の最小元（つまり、最小の上界）のことを、上限といい、sup(A) と書く。 下界の集合の最大元（つまり、最大の下界）のことを、下限といい、inf(A) と書く。 http://www.misojiro.t.u-tokyo.ac.jp/~murota/lect-kisosuri/supmax031208.pdf を参考にしたのですが理解出来できませんでした。 Ａを実数の部分集合とするとき、 実数 a が、Ａの上界であるとは、Ａの任意の元x に対して、x≦a が成り立つことである。 そのなかで、最小の上界を上限と言う。 ピンときません・・・ 具体例を示して教えて頂けるとありがたいです。 ご回答よろしくお願い致します。

  • 命題 空集合 成り立つか

    もし模擬の命題があるとすると「偽の命題と別の命題との積集合は絶対に、空集合である」という文章は成り立ちますか？ 例えば、 p：「魚は生物である」 q：「物差しは生物である」 集合pと集合qの積集合は、空集合である。

  • 数学 集合と論理

    解答がなく困ってます。どなたか添削お願いしますm(_ _)m 実数xについて、条件p,q,r,sを次のように定める。 p:x>6　q:x<1　r:x^2-6x+8>0　s:|x-4|<1 この時次の命題の真偽を調べなさい。 1.pまたはqならば、r 2.sならば、p否定 かつ q否定 3.sならば、r *自己解答* 1.r=x<2,4<x となる。よって真である。 2.s=3<x<5，p否定はx≦6，q否定はx≧1となる。よって真である。 3.問1,2より 偽である。 社会人になってからの勉強です。 間違いがありましたら 解説と併せてよろしくお願いします。

  • 集合、論理問題

    (1)2つの命題p,qの真偽と、p⇒qの真偽の関係を真偽表で表せ。 (2)条件『x>y⇒x^2>y^2』が成り立つような実数x,yの存在範囲を求めxy平面上に図示せよ。（(1)の真偽表に基づいて考察すること） (3)任意の実数 x に対して、条件『x>y⇒x^2>y^2』が成り立つ為の実数 y の条件を求めよ。((2)の図に基づいて考察すること) (4)対称領域をXとする2つの条件をP(x),q(x)とするとき、任意のxに対して条件『p(x)⇒q(x)』が成り立つことと『{x∈X|p(x)}⊆{x∈X|q(x)}』は同値である事を示せ。（(1)の真偽表に基づいて考察すること、また証明の際ベン図は用いないこと。） (5)任意の実数x,yに対して、条件『x^2+(y-1)^2≦z⇒y≧x』が成り立つ為の実数zの条件を求めよ。（(4)に基づいて考察すること） (1)の解答は p q p⇒q ------------ t t t f t t f f t t f f ※t=true f=false だと思うのですが・・・ (2)の解答は y=xの直線とx軸の間の範囲だと思うのですが・・・。 (3)の解答は 　yの条件とはどのように答えたら良いのかわかりません。 (4)、(5)ともに全くわからないのです。 集合や命題がとにかく苦手です。 どなたか教えて頂けないでしょうか？ よろしくお願い致します。

  • 空集合は開集合であることの証明が納得できません

    X は距離空間とする。 部分集合 U ⊂ X について，U のどの点をとっても，正数 ε が存在して，Bε(x) ⊂ U が成立するとき，U は開集合であるという。 このとき次の定理とその証明が書いてありました。 (i) X 自身および空集合は開集合である． (ii) 有限個の開集合 U1, ..., Un の共通部分 U1∩・・・∩ Un は開集合である． (iii) 開集合の族 Uλ (λ ∈ Λ) について，和集合 ∪(λ∈Λ) Uλ は開集合である． 証明 (i) X が開集合であることは明らかである．空集合については，属する点がないのであるから，開集合の条件を満たしていると考えることができる． (ii) 任意の点 x ∈ U1∩ ・・・∩ Un をとると，各 i について，x ∈ Ui である．したがって，正数 εi が存在して，Bεi(x) ⊂ Ui となる．そこで，ε = mini { εi } とおけば，Bε(x) ⊂ U1∩・・・∩ Un となり，U1∩・・・∩ Un が開集合であることがわかる． (iii) 任意の点 x ∈ ∪(λ∈Λ)Uλ をとれば，ある λ があって，x ∈ Uλ となる．このとき，ある正数 ε が存在して，Bε(x) ⊂ Uλ⊂ ∪λ∈ΛUλ となるので，∪(λ∈Λ)Uλ は開集合である． ---------------------------------- 上記の証明において、 空集合は開集合であることの証明が納得できません。 空集合は開集合であることは、開集合の定義の前提条件が成り立たなくて、偽なので、全体としては真になるのでしょうか？ それとも、空集合は開集合であるというのは、定義にすべきことがらなのでしょうか？ できれば論理的に詳しくお願いいたします。

  • 真理集合の問題です

    回答して頂けましたら幸いです。 (1)実数全体の集合Xについて、命題関数ｐを“x^4-x^2+7x=x^3+6を満たす”とするとき、ｐの真理集合を求めよ。 (2)実数全体の集合Xについて、命題関数ｐを“x^3-2x^2-x+2＞０を満たす”とするとき、ｐの真理集合を求めよ。

  • 解析の問題です。

    解析の問題です。 E ⊂ R（：実数） E' = {x+1 | x ∈ E} とすると、次の命題は真か偽か？ 真なら証明を、偽なら反例述べよ。 （１） a は E の上界 ⇒ a+1 は E' の上界 （２） a は E の上限 ⇒ a+1 は E' の上限 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ （１）は真であることは次のように示しました。 上界の定義： 『任意のx∈Eに対し、x ≦ a が成立』より、 両辺に1を足して、x+1 ≦ a+1 が全てのxについて成り立つ。 これは a+1 が E' の上界であることに他ならない ■ （２）は偽…だと思うのですが、 判例が作れません… そもそも偽だと思うのが間違っているのでしょうか？ どなたかアドバイスをお願いいたします。

  • [定理]任意の有限超実数はちょうど一つの実数に無限に近い。

    宜しくお願い致します。 超準解析での標準部分定理の証明で分かりません。 Rは実数体でR*は超実数体とします。R⊂R*でR*はRの真の順序拡大体になってます。 x∈R*でxが有限超実数であるの定義は0<∃r∈R;|x|<rが成り立つです。 x,y∈R*において,x～yはxとyが無限に近い(0<∀r∈R,|x-y|<r)を意味する記号です。 [定理]任意の有限超実数はちょうど一つの実数に無限に近い。 [証] 一意性の証明は略す。 存在性を示す。 xを有限超実数とする。 X={s∈R;s<x}と置くと,Xは空でなく,上に有界である。実際,或る実数にrに対して|x|<r(∵xは有限超実数),即ち-r<x<rが成り立つから,-rはXに属し,rはXの一つ上界である。そこでXの上限をtとする。任意の正実数rに対し, x≦t+r。従って,x-t≦r t-r≦x。従って,-(x-t)≦r となるからx-t～0即ち,x～t (終) となっているのですがt∈Rである保証はありませんよね。t∈R*＼Rの場合でないとどうして言い切れるのでしょうか?

  • 集合と位相

    （問）ｆを集合Xから位相空間（Y,U）への全射とするとき、つぎを証明せよ。 ※Uは位相 （１）T={f^(-1)(V)|V∈U}のときTはX上の位相である （２）Tはｆを（X、T）から（Y,U）への連続写像とするX上の最小の位相である。 （１）の答案 (O1)Uは位相なので、Y、φ∈Uである。ｆは全射なのでX、φ∈Tである。 (O2)Uは位相なので任意のVの和集合はUの元である。ｆは全射なので、Tの任意の元Sの和集合はTの元である。 (O3)Uは位相なので有限個の任意のVの共通集合はUの元である。ｆは全射なので、Tの有限個の任意の元SはTの元である。 （２）はまったくてがつけられません。 どなたか詳しい方教えてください。

  • 上界と下界、上限と下限

    上界と下界、上限と下限 数列の定義（解析演習 by 杉浦光夫さん)のpage4に上界と下界、上限と下限の説明があります。 [実数Rの部分集合Aにおいて、実数xですべてのAの元aに対してa<=xとなるものを上界]という説明は納得できました。 一方で上限の説明で [Aの上界に最小元が存在するときこれを上限という]という説明がよく理解できません。 Aの上界という部分では集合Aのうちの最大の値を持つ元がでてくると思うのですが、「最小元」を持ち出して「上限」と言っているのがよくわかりませんでした。 上限の具体的な例など教えていただけますでしょうか？ また、Aの上界に最小元が存在しないとき、の例というのはどういうものでしょうか。

注目のQ&A

カテゴリ

専門家に質問してみよう

職業から探して質問する

あなたにピッタリな商品が見つかる！ OKWAVEセレクト

質問する