問題: Let φ(x) be a formula. What does ∀z∀y((φ(x)∧φ(y) )→ z=y) assert?
解答: z ≠ y ならば φ(x) または φ(y) のどちらかは成り立たない。 0045132人目の素数さん2021/05/14(金) 17:08:37.24ID:b8QDZzwo こういう問題を試験で出題したとき、採点者は間違っていなければすべて正解にするんですかね?
それとも、普通の日常後に直したときに「自然な」解答でないといけないとか言い出すんですかね?
そうすると、主観が入りますよね。 0046132人目の素数さん2021/05/14(金) 17:42:49.05ID:b8QDZzwo φ(x) が成り立たないかまたは、 z ≠ y ならば φ(y) が成り立たない。
これはどうですか? 0047132人目の素数さん2021/05/14(金) 19:30:10.33ID:fZN61EC0 馬鹿アスペ二号の人気に嫉妬() 0048132人目の素数さん2021/05/15(土) 10:08:47.53ID:29Wrdikr Set Theory: A First Course (Cambridge Mathematical Textbooks) 1st Edition by Daniel W. Cunningham (Author)
この本は公理に基づく集合論の入門書です。
例えば、 P <-> Q の定義は、 (P, Q) = (T, T) または (P, Q) = (F, F) のとき、かつそのときに限り T になる
というものです。
以下の公理2つを用いて、 A, B を集合とする。 A ∈ B ならば、¬(B ∈ A) が成り立つことを証明せよという問題があります。
Pairing Axiom: ∀u∀v∃A∀x(x∈A <-> (x = u ∨ x = v))
Regularity Axiom: ∀A(A≠Φ → ∃x(x∈A ∧ x ∩ A = Φ)
この問題の解答を以下のように普通の言葉で書いてもいいのでしょうか?
Pairing Axiomにより、 x ∈ C <-> (x = A ∨ x = B) となるような集合 C が存在する。 この C を {A, B} と書くことにする。 {A, B} ≠ Φ だからRegularity Axiomにより、 x ∈ {A, B} ∧ x ∩ {A, B} = Φ を成り立たせるような集合 x が存在する。 {A, B} の定義により、 (x = A ∨ x = B) ∧ x ∩ {A, B} = Φ を成り立たせるような集合 x が存在する。 A ∈ B ∩ {A, B} だから、 B ∩ {A, B} ≠ Φ である。よって、A ∩ {A, B} = Φ でなければならない。 ゆえに、 ¬(B ∈ A) でなければならない。
この問題の後のページをパラパラ見てみると、この本自体、証明は普通の言葉で書いているようです。 0049132人目の素数さん2021/05/15(土) 11:08:59.33ID:29Wrdikr Set Theory: A First Course (Cambridge Mathematical Textbooks) 1st Edition by Daniel W. Cunningham (Author)
この本に以下の問題があります。
Let A be a set with no elements. Show that for all x, we have that x ∈ A if and only if x ∈ Φ. Using the extensionality axiom, conclude that A = Φ.
「一般に、順序集合 M において、その任意の部分集合が(M の中に)上限および下限を有するとき、 M は完備束であるといわれる。」
となぜ書かなかったのでしょうか?
M は M の部分集合であるから上限および下限を有する。それらは M の最大元および最小元である。
Φ の上限は存在し、それは、 M の最小元である。 Φ の下限は存在し、それは、 M の最大元である。 0064132人目の素数さん2021/05/19(水) 14:15:42.16ID:M/rwrJcz 以下の記述も空集合関係でおかしなことになっています:
松坂和夫著『集合・位相入門』
p.19に
「1つの集合系 A が与えられたとする。」 「A に属するすべての集合に共通な元全体の集合を、 ‘A に属するすべての集合の共通部分’」
などと書かれています。
A = Φ のときには、 A に属するすべての集合に共通な元全体は集合にはならないので、 A には空でないという条件を課さないといけないはずです。 0065132人目の素数さん2021/05/19(水) 14:16:49.69ID:M/rwrJcz 空ではないという条件を課さなければならないところで、課していない。 空でないという条件を課さなくてもいいところで、課している。
おかしな人ですね。 0066132人目の素数さん2021/05/19(水) 14:22:11.82ID:pbMOq9WJ あなたもおかしな人ですね 0067132人目の素数さん2021/05/20(木) 20:04:21.50ID:utvEwNYO おかしな人たちは icm2022boycott.org には無関心 0068132人目の素数さん2021/05/20(木) 20:58:19.39ID:feurAQDG プーチンの暴走に反対? 0069132人目の素数さん2021/05/23(日) 20:54:35.01ID:yqxuTXgR Introduction to Topological Manifolds (Graduate Texts in Mathematics, 202) by John Lee | Dec 28, 2010
Introduction to Smooth Manifolds (Graduate Texts in Mathematics, Vol. 218) by John Lee | Aug 26, 2012
Introduction to Riemannian Manifolds (Graduate Texts in Mathematics Book 176) Jan 2, 2019 by John M. Lee