作者查詢 / ERT312

總覽項目：發文 | 留言 | 暱稱

作者 ERT312 在 PTT [ Math ] 看板的留言(推文), 共822則

限定看板：Math

看板排序：

首頁

尾頁

Re: [中學] 分氏相加何以不可分子和分母各自加

[ Math ]7 留言, 推噓總分: +2

作者: yueayase - 發表於 2023/02/23 04:41(3年前)

1^F推ERT312: 還有一個理由是，當引入量詞後，我們希望 for all x02/23 12:59

2^F→ERT312: x<3 → x<5 為真，當x帶4時就是(F,T)。類似"理由"很02/23 13:01

3^F→ERT312: 多02/23 13:01

排列組合問題

[ Math ]10 留言, 推噓總分: +3

作者: boska201 - 發表於 2022/12/02 11:43(3年前)

7^F推ERT312: 選用兩種(剩下六種)與選用六種(剩下兩種)方法數是一12/02 14:46

8^F→ERT312: 樣的,3、5同理，你不覺得你的數字完全沒有對稱美12/02 14:46

Re: [線代] 為什麼一個 VS 必定存在 basis 要證明？

[ Math ]46 留言, 推噓總分: +9

作者: alan23273850 - 發表於 2022/05/20 21:25(3年前)

22^F推ERT312: It's a joke by Jerry Bona.05/21 00:23

23^F→ERT312: 定理的內容與名稱有些混亂或對調這個有歷史的因素05/21 00:25

24^F推ERT312: 不過在 FriedBerg 是用 maximal principle 沒錯05/21 00:27

Re: [代數] 如何得到正確的解集

[ Math ]13 留言, 推噓總分: +2

作者: ERT312 - 發表於 2022/05/19 13:41(3年前)

4^F→ERT312: 若 B ⊆ C 則 (A-B)∪C = A∪C05/20 08:37

6^F→ERT312: 這個運算規則(或是可以看成一個定理)很直觀呀05/20 20:12

7^F→ERT312: A扣掉的部分在C裡面，所以聯C後又被加回來了05/20 20:13

8^F→ERT312: 證明也不難， (A-B)∪C ⊆ A∪C 很顯然，05/20 20:14

9^F→ERT312: 只證 A∪C ⊆ (A-B)∪C，若x在A∪C裡面，則x不是在A05/20 20:16

10^F→ERT312: 就是在C，若是在C就完成了，若不是在C就一定在A05/20 20:18

11^F→ERT312: x在A又可分兩種情況:x在B 跟 x不在B,若在B則也會在C05/20 20:20

12^F→ERT312: 又完成了。若不在B則會在A-B裡面，totally done.05/20 20:21

Re: [代數] 如何得到正確的解集

[ Math ]7 留言, 推噓總分: +2

作者: yhliu - 發表於 2022/05/20 08:19(3年前)

4^F推ERT312: a=c=d=0 跟 a!=0且c=d=0 可以合併成 c=d=005/20 20:09

5^F→ERT312: (a=0 & c=d=0) or (a≠0 & c=d=0) 等價於05/20 20:10

6^F→ERT312: (a=0 or a≠0) & c=d=0 (分配律) 等價於 c=d=005/20 20:11

[中學] 國中數學問題

[ Math ]10 留言, 推噓總分: +4

作者: sky2013 - 發表於 2022/05/18 16:24(3年前)

5^F推ERT312: 2f的取法沒辦法涵蓋整個實數係吧05/18 20:22

Re: [其他] 原文書的英文詞彙問題

[ Math ]40 留言, 推噓總分: +6

作者: WINDHEAD - 發表於 2022/03/16 13:15(3年前)

11^F推ERT312: 用英文還真的有差例如若只有兩個的話不能用for all03/16 17:15

12^F→ERT312: 要用for both.03/16 17:15

13^F→ERT312: 甚至也不一定要用for any ,可以用given any03/16 17:16

Re: [機統] 想問，如何「推導」出半衰期公式

[ Math ]5 留言, 推噓總分: +5

作者: arrenwu - 發表於 2022/02/22 16:52(4年前)

4^F推ERT312: 數位柴火02/23 22:22

[其他] 集合論 Limit Ordinal 問題

[ Math ]3 留言, 推噓總分: +1

作者: pouttuiqoy - 發表於 2022/01/29 17:38(4年前)

2^F推ERT312: 你把小於換成屬於看看QQ (那句其實是廢話XD)01/30 22:44

3^F→ERT312: 我還以為你想問limit ordinal那句01/30 22:45

[分析] 實數的選擇公設與良序原則矛盾?

[ Math ]25 留言, 推噓總分: +4

作者: znmkhxrw - 發表於 2022/01/21 00:54(4年前)

6^F推ERT312: "所有集合都有選擇公設"是何意?01/21 13:36

7^F→ERT312: AC是一種斷言，要嘛承認它，要嘛否定它01/21 13:37

8^F→ERT312: 它又不是一種性質可以X具有它 Y不具有它01/21 13:37

9^F→ERT312: 或是能不能翻成英文中文看不太懂01/21 13:38

10^F推ERT312: 從"所有集合都有選擇函數"(AC)來看，你採用的01/21 15:42

11^F→ERT312: 選擇函數的定義應該與Pinter的相同(與wiki的不同)01/21 15:43

12^F→ERT312: 那由3證明4不是很簡單嗎為什麼不能證01/21 15:43

13^F推ERT312: 按上面的定義，AC就不能說:所有集合都有選擇函數01/21 18:05

14^F→ERT312: 至少像{1,2,{}}就沒有選擇函數01/21 18:06

15^F→ERT312: 我給你 Pinter 對選擇函數的定義01/21 18:07

16^F→ERT312: https://imgur.com/U1agmto01/21 18:07

17^F→ERT312: 用 Pinter 的定義,AC:每個集合(包括空集)都有選擇函01/21 18:09

18^F→ERT312: 數 https://imgur.com/CpmCspP01/21 18:09

19^F→ERT312: 我建議你找本書看比較有系統，網路上的東西查起來01/21 18:11

20^F→ERT312: 很快，但有時候連名詞定義都沒有統一，初學很容易被01/21 18:12

21^F→ERT312: 混淆，而且網路上錯誤的東西也比書多01/21 18:12

22^F推ERT312: wiki的定義也不能說錯 (不過X裡面不能有空集)01/21 19:19

23^F→ERT312: 只是AC要改成這樣01/21 19:20

24^F→ERT312: Any collection of nonempty sets has a choice fu-01/21 19:20

25^F→ERT312: nction.01/21 19:20

首頁

尾頁