→ sato186 :Dedekind's Cut 10/01 19:44
→ kuromu :不好意思 我還是聽不太懂 可以詳細一點嗎 感謝 10/01 20:41
→ RLin :他說的是你提的問題就是「Dedekind's Cut」 10/01 21:46
→ arthur104 :好像原本是要寫 x∈(-無限大,x)聯集Q ,但不能寫x 10/01 21:52
→ arthur104 :所以就用這三件事情去定義它吧(我沒有很懂= =) 10/01 21:52
→ kuromu :我知道這是Dedekind's Cut 但是就是有地方不太懂... 10/01 22:00
→ kuromu :有看過證的過程 但是中間這個地方覺得怪怪的... 10/01 22:02
→ kuromu :對δ的定義沒什麼感覺 如果δ大於A中所有元素 10/01 22:05
→ kuromu :那麼δ中存在一個p∈Q不在A任何元素中 但是根據 10/01 22:06
→ kuromu :δ的定義 p屬於δ 就可以在A找到一個元素包含p 10/01 22:07
→ k6416337 :p ∈β?什麼叫做屬於一個元素? 10/01 22:56
→ k6416337 :根據你的定義,δ是集合,怎麼比大小? 10/01 22:56
→ k6416337 :數學傳播第33卷第二期有實數系建構的文章,也許你可 10/01 22:58
→ k6416337 :以去看看 10/01 22:58
→ kuromu :可能我的用詞不太適當 就是一個分劃被定義作 10/01 23:39
→ kuromu :一個滿足特定條件的有理數的子集 10/01 23:40
→ kuromu :分劃的全體可以當作一個新的集合(分劃集) 10/01 23:40
→ kuromu :A中的元素我指的是分劃 10/01 23:41
→ kuromu :分劃比大小的方式就是 如果α和β是兩分劃 10/01 23:43
→ kuromu :如果α中有一個有理數p不在β中 就說α>β 10/01 23:44
→ kuromu :比大小的方式被這樣定義 10/01 23:45
推 ppia :怎麼從"δ≧"變成"δ>"了? 照定義就只有"δ≧"啊? 10/02 01:20
→ ppia :你δ後面的註解有點怪, 是指 10/02 01:22
→ ppia :「所有p∈β∈A這樣的有理數p所成的集合」嗎? 10/02 01:23
→ ppia :不過這句話exactly就是定義啊.... 10/02 01:24
→ ppia :抱歉我耍笨了. 我看懂你的意思了. 不過沒有矛盾吧 10/02 01:27
→ ppia :對於每個β,δ裡面有個p不在β裡面, 不過這個p可以在 10/02 01:28
→ ppia :另一個β'裡面, δ的確是你講的那樣, 沒有矛盾吧 10/02 01:29