ミレニアム懸賞問題 (635ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
278(1): ◆Ph05QxAcng [] 2024/03/09(土)19:30 ID:P9QGsLiu(10/21)
定理2 存在とは輪郭の事である
証明
まず2つの補題を示す。
補題2.1 a及びその冪集合{a}を考える。この時、この二つは別のものである。
証明
仮に同じものだとする。
そうするとa,bがあると、その集合{a,b}が同じものとなる。後者はa,bを一つのものとしてみたものであり、明らかに異なる。よって最初の前提が背理である。すなわち補題が示された。
補題2.2 空間の要素である集合の元は空間の要素である
証明
集合をEと置き、その元eが空間の要素でないと仮定する。E∩e=eであり、eがEの一部であるのにも関わらず空間の要素でない部位がある事になり背理である。よって補題は示された。
対偶を取ると次の系が得られる。
系2.2.1 空間の要素でない元からなる集合は空間の要素ではない
次にAが存在する事とAが空間に要素を持つ事が同値であることを示す。
仮に、存在するが空間に要素がない存在物Aがあったとする。
A及びその冪集合{A}を考える。
ここで仮に{A}も空間に要素がないと仮定する。
そしてBを空間に要素がない存在物の集合と定義する。今{B}を考えると、仮に{B}が空間に要素がないとすると、B⊇{B}となり、かつ{B}⊇BでBと{B}は一致する。しかし、これは補題2.1より矛盾である。
よって{B}は空間の要素である。よって補題2.2よりA,{A}共に空間の要素である事が導かれるがこれは前提と矛盾する。
よって{A}は空間の要素である。
また補題2.2よりAも空間の要素である事か導かれる。
よってAが存在するならば、Aは空間に要素を持つ事が示された。
また空間に要素を持つならば存在する事は自明なので、存在する事と空間に要素を持つ事は同値である事が示された。また空間に要素を持つ事と輪郭を持つ事は同値なので、存在する事と輪郭が定まる事は同値である。
279(1): ◆Ph05QxAcng [] 2024/03/09(土)19:31 ID:P9QGsLiu(11/21)
>>278
英訳
Theorem 2: Existence is a silhouette.
Proof
First, we will demonstrate two lemmas.
Lemma 2.1: Consider an element 'a' and its power set {a}. These two are different entities.
Proof
Assume they are the same.
If there exist elements a, b, then the set {a, b} would be the same entity. The latter is seen as a single entity consisting of a and b, which are clearly different. Thus, the initial premise is contradicted, proving the lemma.
Lemma 2.2: Elements of a set that are elements of space are themselves elements of space.
Proof
Let a set be E, and suppose an element e of E is not an element of space. If E∩e = e, then despite e being a part of E, there would exist a part that is not an element of space, which is a contradiction. Therefore, the lemma is proven.
Taking the contrapositive, we obtain the following corollary.
Corollary 2.2.1: A set composed of elements that are not elements of space is not an element of space.
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.030s