- 締切済み
基礎論（集合論）の問題が解けません
hogehogeninjaの回答
- hogehogeninja
- ベストアンサー率35% (18/51)
ヒントに書いてありますが、空集合では、空集合に含まれる元についての言及はどんなことも真です。 つまり、集合の元に対するどんな述語も、空集合については常に真です。
関連するQ&A
- 「Q&A数学基礎論入門」の中の問題の答がわかりませ
お世話になります。 「Q&A数学基礎論入門」(久馬栄道著・共立出版)を読んでいます。 次の問題がわかりません。 P.55 ∈に関する帰納法 ∀x(∀y∈xＡ(y)→Ａ(x))→∀xＡ(x) 問題24 自然数に関する帰納法では 0 で成り立つことがはじめに必要であるが、 ∈に関する帰納法ではこのようなものがない。なぜか考えよ。 (次にこう書いてあります) 命題論理でＡ→ＢのＡがＦならば、この式がいつでもＴであることを 思い出せ（そして x∈φの真理値がＦであることも)。 ずーと考えました。でもわかりません。 どなたか答を教えて下さいませんか。 よろしくお願い致します。
- ベストアンサー
- 数学・算数
- 集合に関する問題が分からなくて困っています
僕は集合とかの問題が苦手なため、担当教官にいくつか基礎問題を出してもらって考えていたんですが・・・ 教官が答えをくれないので正しい答え(考え方を含む)がよく分からないんです。 問題数も多いんで重要だと指摘された4問を教えていただけるとうれしいです。 1つでもいいんでどうかよろしくお願いします。 1．任意の有限集合A、Bに対して、 集合A～B⇔AからBへの全単射が存在するとする。 このとき～は同値関係である事を示せ。 （記号～の意味はAからBへの全単射が存在するという定義らしいです。） 2. 集合A,Bに対して A≦B⇔A⊆B とする。 （1）≦は順序関係である事を示せ。 （2）inf｛x、y｝＝x∩yとなることを示せ。 3. (1) 集合x、yに対して、 ｛{x}∪{y}｝－{{y}} どんな集合か。 問題1に関してはノートなどを見て書いてみたんですが、 反射：f(a)=a 対称：f(a)=bとするとf^-1(b)=a 推移：f(a)=b、f(b)=cとするとf(f(a))=c 教官には違うと指摘されただけで終わりました。何が違うんでしょうか？ ちなみにf^-1はfの逆行列という意味です。
- ベストアンサー
- 数学・算数
- 「有限集合の部分集合は有限集合」の証明
有限集合Xの部分集合Aは有限集合であることの証明がわかりません。 X;集合とします X⊇A とします。 とあるテキストによると,Aが有限集合であるとは, ＿＿∀F∈P(P(X))[F;A上帰納的 ⇒ A∈F] との事です。 ここで,Xの冪集合の冪集合P(P(X))∋FがA上帰納的であるとは, ＿＿φ∈F∧∀C∈F∀x∈A[C∪{x}∈F] であると事,とされています。 この定義に従って, ＿X;有限集合 ⇒ A;有限集合 を証明したいのですが,証明がさっぱり分かりません。 是非とも証明を御教え下さい。宜しくお願い致します。
- ベストアンサー
- 数学・算数
- 自然数 ０×∞ 集合を使って
さらに修正しました。 以下において、数はすべて自然数（０を含む）とします。 自然数とその加法を 0 = {} a + 1 = {{}} ∪ {x∪{x} | x∈a} という集合と写像だと考えます。 等号は、同じ集合（要素がすべて同じこと）を表します。 1 以外の加法は、結合法則が成立するように a + (b + c) = (a + b) + c = a + b + c によって定義します。 自然数を具体的に示せば 0 = {} 1 = {{}} = {0} 2 = {{},{{}}} = {0,1} 3 = {{},{{}},{{},{{}}}} = {0,1,2} などになります。 等号には、次の性質が存在します。 0 = 0 a = b ならば a + 1 = b + 1 これと結合法則から 2 + 3 = 5 なども導けると思います。 加法を無限回行うことは a + a + a + ... = Σ[k=1,∞]a などと表し、特に a = 1 を 1 + 1 + 1 + ... = Σ[k=1,∞]1 = ∞ と表します。 これを無限公理（を若干修正した） ∃A (∀x∈a (x∈A) ∧ ∀y∈A (y∪{y}∈A)) を満足する最小の集合と定義します。 ∞ を具体的に示せば ∞ = {0,1,2,...} になります。 a = ∞ であれば、無限公理を満足する最小の集合はそれ自身であり ∞ + ∞ = ∞ となります。 乗法は a × b = Σ[k=1,b]a で定義します。ただし、b = 0 ならば a × 0 = 0 とします。 以上の定義に従って計算する時、 質問１：この式は正しいですか？ 1 + Σ[k=1,∞]1 = 1 + 1 + 1 + 1 + ... = Σ[k=1,∞]1 Σ[k=1,∞]1 + 1 = 1 + 1 + 1 + ... + 1 = Σ[k=1,∞]1 あるいは ∞ を使って 1 + ∞ = ∞ + 1 = ∞ 質問２：この式は正しいですか？ 0 × Σ[k=1,∞]1 = 0 あるいは ∞ を使って 0 × ∞ = 0 なお、∞ という記号に、ある集合を表す以上の意味はありません。 「加法を無限回行う」ことも、定義した演算のことです。 ただし、a ∈ b という関係を a < b で表すと 0 < 1 < 2 < ... < ∞ なので、自然数よりも大きな数と考えることができます。
- 締切済み
- 数学・算数
- 集合論 直積集合の定義式
直積集合の定義を，冪（ベキ)集合を用いているものがあります． 直積集合自体の意味は，たとえば，X×Ｙで，デカルト平面を想像すればわかります． その定義式は， 集合X，Ｙについて ｛ （x,y)∈ B(B(U{x,y})):x∈X,y∈Ｙ ｝ ただし，B（・）は，冪集合を表す記号． また，U｛・｝は，和集合を作る記号で，A U B U C U・・と同じです． 冪集合でまた冪集合を作るような記号らへんのところも特に分かりづらいです．
- ベストアンサー
- 数学・算数
- 集合と数学的帰納法
１．平面上の点P(x,y)の集合A,Bを次のように定義する。 A={P(x,y)|x>0},B{P(x,y)|y≦-(x-k)^2+k かつ y≧kx-1} Bは空集合でなく、しかも B⊂Aであるためには、kはどんな範囲の値でなければならないか ＝ という問題です。わかりにくいやつは⊂の下に＝がついたものです。 ２．これは数学的帰納法の問題なのですが 数学的帰納法というのは学校で決まった形にあてはめるものだと 習いある程度お決まり文句がありそれはおぼえなければならないと 習いました。で、始めにn=1を代入して成り立つと証明し 次にn=kのとき成り立つと仮定してn=k+1の場合を考えるのですが これは右辺にk+1とする式をひとつ付け加えて左辺にそれと同じものを あてはめて解くというものだと自分では思っているのですがそれでは 解けません・・・ちょっと読解力に欠けているので 例題を出すので解き方を教えてください。 すべての自然数nに対して下の不等式が成り立つことを示せ。 1+1/2+1/3+1/4+・・・+1/n≧2n/(n+1) という問題です。このれいだいのさっきいった n=kを仮定してn=k+1のところを考えるところを教えてください
- 締切済み
- 数学・算数
- 数IAの問題についての質問です
数IAの方程式と不等式の問題です。 見づらくて申し訳ありませんが、 解る方は至急回答をお願いします。 一問目 P=(x-2)(xの2条+2x+4) xが自然数で、Pが素数のとき x=? P=? 二問目 P=(x+y-2)(2x+y+1) x、yが自然数で、Pが素数のとき x=? y=? P=? 三問目 |x-a|<=b…(1) a>0、b>0のとき、(1)を満たすすべてのxが 2<=x<=5の範囲にあるような、bの最大値は ?/?であり、このとき、a=?/?である。 ※ <=はより大きいの記号です。 解説は詳しく書いていただけるとありがたいです。
- ベストアンサー
- 数学・算数
- 集合の要素
集合の問題で、３の倍数の集合とかならわかりやすいのですが、 次の各条件を満たす集合をS（Ｓは空集合でない）とする 1）すべてのx,y∈ Sにおいて x-y∈ Ｓである 2)すべてのｘにおいてｘの倍数はＳに含まれている のような場合、例えば３が含まれているとかんがえると、３の整数倍のかずしかこの集合は含めませんが、３と４が含まれている場合Ｓは整数の集合になってしまいます。最初というかひとつは要素を決めないとほかの要素が決まらないような場合はどこからスタート（？）すればよいのでしょうか？ ちなみにこの集合に関する問いが Ｓのすべての要素はある自然数ｄ∈Ｓの倍数だけであらわせることをしめせということなのですが、もし0.1などをふくんでしまったらなんて考えてしまうのですがどうなのでしょうか？
- ベストアンサー
- 数学・算数