| 9 | 1/1 | 返回列表 |
| 查看: 1431 | 回復(fù): 8 | ||
tigou木蟲(chóng) (正式寫(xiě)手)
|
[求助]
在集合論中引入這個(gè)新的公理是否合適?
|
|
與無(wú)限集基數(shù)有關(guān)的問(wèn)題,通常都是異常復(fù)雜的。例如連續(xù)統(tǒng)假設(shè),在ZFC中既無(wú)法證明,也無(wú)法推翻。這就引發(fā)了一類(lèi)新的問(wèn)題,能否在集合論中引入一些新的公理,以獲得一些新的結(jié)論。 根據(jù)化變以及派生映射的定義,可以得到如下定理: 派生單射定理:如果 推論1:設(shè) 考慮推論1的逆命題,如果存在從 |

銅蟲(chóng) (著名寫(xiě)手)
銀蟲(chóng) (正式寫(xiě)手)

銀蟲(chóng) (正式寫(xiě)手)

木蟲(chóng) (正式寫(xiě)手)
|
1樓的結(jié)束部分就是應(yīng)用。用文字?jǐn)⑹黾,任給兩個(gè)無(wú)限集,兩者等勢(shì)是兩者的冥集等勢(shì)的充要條件。這個(gè)命題是廣義連續(xù)統(tǒng)假設(shè)的必要條件,但非充分條件。該命題在ZFC框架內(nèi)無(wú)法證明也無(wú)法推翻,不信的可嘗試找出證明或反例。但引入新公理后即可證明。換句話說(shuō),新公理刻畫(huà)了無(wú)限集與其冪集之間的一種聯(lián)系,只要兩個(gè)無(wú)限集的冪集之間存在雙射,則他們本身之間也必然存在雙射。冪集之間的雙射可能是混亂的,例如A的某個(gè)有限子集對(duì)應(yīng)著B(niǎo)的無(wú)限子集,新公理可使混亂的對(duì)應(yīng)整潔化,使一元子集對(duì)應(yīng)一元子集,二元子集對(duì)應(yīng)二元子集,概言之,使任意的具有對(duì)應(yīng)關(guān)系的子集的基數(shù)相等。 發(fā)自小木蟲(chóng)Android客戶(hù)端 |

木蟲(chóng) (正式寫(xiě)手)

木蟲(chóng) (正式寫(xiě)手)
|
選擇公理也可用化變的元映射進(jìn)行表示。 任給非空集A和B,若元映射 滿(mǎn)足 則存在映射 滿(mǎn)足 用化變的視角不難看出,連續(xù)統(tǒng)假設(shè)和選擇公理有一個(gè)共同的特點(diǎn),即與無(wú)限集的冪集緊密相關(guān)。并且都試圖通過(guò)與冪集相關(guān)的某些性質(zhì)找出與原集相關(guān)的性質(zhì)。本帖建議的新公理也體現(xiàn)著同樣的努力方向。我的感觸是,利用派生映射、化變等概念,可以方便地從給定集合的相關(guān)性質(zhì)出發(fā),找到其冪集的對(duì)應(yīng)性質(zhì);但反過(guò)來(lái)的過(guò)程則要復(fù)雜得多,需要引入若干新的公理才能進(jìn)行逆推。 例如,如果甲乙兩個(gè)集合等式,則它們的冪集也等勢(shì)。這個(gè)結(jié)論可輕松證明,但反過(guò)來(lái),如果甲乙兩個(gè)集合的冪集等勢(shì),則甲乙兩個(gè)集合本身是否也等勢(shì)?這個(gè)命題卻難得要命,可能在ZF和ZFC中都無(wú)解,并且與連續(xù)統(tǒng)假設(shè)密切相關(guān)(但并無(wú)等價(jià))。更重要的是,這個(gè)命題在直覺(jué)上是正確的,其正確性比選擇公理和連續(xù)統(tǒng)假設(shè)更直觀。 還有一個(gè)更簡(jiǎn)潔的命題可導(dǎo)出選擇公理: 任給非空集A,存在映射 |

|
后排圍觀民科,看到化變的時(shí)候我一愣,然后反應(yīng)過(guò)來(lái)這民科我見(jiàn)過(guò)啊2333 發(fā)自小木蟲(chóng)Android客戶(hù)端 |
木蟲(chóng) (正式寫(xiě)手)
|
不管你怎么冷嘲熱諷,都是你的自由。但既然這里是學(xué)術(shù)論壇,還是希望你表現(xiàn)出一點(diǎn)基本的素養(yǎng)出來(lái)。既然你認(rèn)為化變概念是民科(的胡說(shuō)八道),那么你能不能指出化變的定義哪里不符合數(shù)學(xué)規(guī)范了呢? 真不知道你們這部分人是什么心態(tài),批評(píng)對(duì)方從來(lái)不指出具體錯(cuò)誤,直接就帶個(gè)帽子就是了。如果我告訴你,我準(zhǔn)備用以化變論為工具給出四色定理的一個(gè)不同傳統(tǒng)的證明思路,你肯定會(huì)笑掉大牙的。到那時(shí)還要引入更多的相關(guān)的新概念,豈不是更要遭人恥笑?我的確擔(dān)心到時(shí)候可能都沒(méi)人審稿,所以先拿一些簡(jiǎn)單的問(wèn)題測(cè)試下。 有可能的確是我錯(cuò)了,假如你能指出一些(哪怕是一點(diǎn))具體錯(cuò)誤,也將感激不盡。謝謝。 |

| 9 | 1/1 | 返回列表 |
| 最具人氣熱帖推薦 [查看全部] | 作者 | 回/看 | 最后發(fā)表 | |
|---|---|---|---|---|
|
[考研] 一志愿天津大學(xué)化學(xué)工藝專(zhuān)業(yè)(081702)315分求調(diào)劑 +10 | yangfz 2026-03-17 | 10/500 |
|
|---|---|---|---|---|
|
[考研] 0703化學(xué)調(diào)劑,求各位老師收留 +9 | 秋有木北 2026-03-14 | 9/450 |
|
|
[考研] 一志愿武理材料305分求調(diào)劑 +5 | 想上岸的鯉魚(yú) 2026-03-18 | 6/300 |
|
|
[考研] 085601材料工程專(zhuān)碩求調(diào)劑 +6 | 慕寒mio 2026-03-16 | 6/300 |
|
|
[考研] 材料專(zhuān)碩306英一數(shù)二 +10 | z1z2z3879 2026-03-16 | 13/650 |
|
|
[考研] 302求調(diào)劑 +10 | 呼呼呼。。。。 2026-03-17 | 10/500 |
|
|
[考研] 299求調(diào)劑 +5 | △小透明* 2026-03-17 | 5/250 |
|
|
[考博] 環(huán)境領(lǐng)域全國(guó)重點(diǎn)實(shí)驗(yàn)室招收博士1-2名 +3 | QGZDSYS 2026-03-13 | 5/250 |
|
|
[考研] 301求調(diào)劑 +9 | yy要上岸呀 2026-03-17 | 9/450 |
|
|
[考研] 268求調(diào)劑 +8 | 一定有學(xué)上- 2026-03-14 | 9/450 |
|
|
[考研] 275求調(diào)劑 +4 | 太陽(yáng)花天天開(kāi)心 2026-03-16 | 4/200 |
|
|
[論文投稿] 有沒(méi)有大佬發(fā)小論文能帶我個(gè)二作 +3 | 增銳漏人 2026-03-17 | 4/200 |
|
|
[考研] 一志愿,福州大學(xué)材料專(zhuān)碩339分求調(diào)劑 +3 | 木子momo青爭(zhēng) 2026-03-15 | 3/150 |
|
|
[考研] [導(dǎo)師推薦]西南科技大學(xué)國(guó)防/材料導(dǎo)師推薦 +3 | 尖角小荷 2026-03-16 | 6/300 |
|
|
[考研] 一志愿華中師范071000,325求調(diào)劑 +6 | RuitingC 2026-03-12 | 6/300 |
|
|
[考研] 070305求調(diào)劑 +3 | mlpqaz03 2026-03-14 | 4/200 |
|
|
[考研] 265求調(diào)劑 +4 | 威化餅07 2026-03-12 | 4/200 |
|
|
[考研] 材料工程調(diào)劑 +9 | 咪咪空空 2026-03-12 | 9/450 |
|
|
[考研] 0856材料與化工301求調(diào)劑 +5 | 奕束光 2026-03-13 | 5/250 |
|
|
[考研] 考研調(diào)劑 +4 | 芬達(dá)46 2026-03-12 | 4/200 |
|