吾不會數學 2018-12-22 14:08:48 Post 1: https://lihkg.com/thread/738738/page/1
Post 2: https://lihkg.com/thread/772467/page/1
Post 3: https://lihkg.com/thread/849961/page/1
Post 4: https://lihkg.com/thread/915621/page/1
Post 5: https://lihkg.com/thread/937810/page/1

歡迎所有對本科數學或以上有興趣的人入黎討論

Booklist (歡迎大家填同留comment)

https://docs.google.com/spreadsheets/d/10w83xzjQZNqJXm2bQbUlvnahQjUbZAxKlHyVvNgS2IE/edit#gid=0

吾不會數學 2018-12-22 14:18:40 Zorn's Lemma有咩用?

Zorn's Lemma 等同於 Axiom of Choice, 而Axiom of Choice係 Set theory 入面其中一個好出名的axiom:

對於任何一個collection of non-empty sets, 我地都可以每一個set揀個member代表個set.

例子:
1. A = {1}, B = {2, 3}, C = {4, 5, 6}, X = {A, B, C}
我地可以define f(A) = 1, f(B) = 2, f(C) = 4

2. 又例如on 2^N, S係N ge subset我地define f(S) = minimum number in S. (N = set of natural numbers)

3. 但對於 2^R, 我地似乎搵唔到一個explicit ge f. 所以呢條axiom信不信由你
再者, 如果相信呢條axiom係真, 就會出現一D counter intuition ge地方:

(Banach-Tarski Paradox) 可以將一個實心波切開5份, 之後可以砌返兩個同原本一模一樣的實心波

:^(

:^(

:^(

:^(

----------------------------------------------------------------------------

至於Zorn's Lemma 的表達如下:

設 X 有一個partial ordering, 對於任何一個可以用呢個partial ordering完全排好次序的subset都有一個upper bound, 咁 X 就會有一個maximal element.

Partial ordering係指:

1. 對於任何 a, a ≤ a
2. 如果 a ≤ b, b ≤ a的話, 則b = a
3. 如果 a ≤ b, b ≤ c的話, 則a ≤ c

intuitively可以想像有一幢樓, 每層樓都有好多房, 而我地定義

房A ≤ 房B 當且僅當:
1. B所在的樓層高過A
2. A 有一條唔會落樓的路行到去 B.

如果每一條咁的路都有"終點"的話, 咁我地就會搵到最少有一間房係終點

我唔識證點解Zorn's Lemma同Axiom of Choice一樣, 詳情請參閱
Introduction to Set Theory by Hrbacek & Jech Chapter 8

Zorn's Lemma比Axiom of Choice更加老是常出現, 以下比幾個例子:
1. Every vector space has a basis.

2. Hahn-Banach Theorem (Functional Analysis三大基本定理之一):
任何一個defined係一個subspace of a vector space ge linear functional (linear function with codomain F = R or C), 如果足夠靚ge話我地可以將呢個linear functional extend 去成個vector space. (然後有好多有用ge result, 唔講)

3. 一個injective field homomorphism into algebraically closed field可以extend去domain ge algebraic extension (所以field ge algebraic closure係unique up to isomorphism)

4. Birkhoff Recurrence Theorem:

Let X be a compact metric space and f: X -> X be a continuous function, then there exists x in X such that there is a sequence {x_n} in X with property x_{n + 1} = T(x_k) and x_n -> x.

(呢個result唔需要Zorn's Lemma, 但可以用Zorn's Lemma證)

大家一齊發掘喪屍奶媽ge其他用途啦

:^(

笑騎騎•放毒蛇 2018-12-22 14:34:59

:^(

吾不會數學 2018-12-22 14:37:21

:^(

笑騎騎•放毒蛇 2018-12-22 14:39:53

:^(

吾不會數學 2018-12-22 14:41:10

:^(

吾不會數學 2018-12-22 14:42:42

:^(

吾不會數學 2018-12-22 15:05:51 推下先

:^(

會考都無C 2018-12-22 15:21:16 究竟連登有幾多數撚

:^(

可以開到6

:^(

:^(

:^(

吾不會數學 2018-12-22 15:23:04 少年

會考都無C 2018-12-22 15:23:57

:^(

:^(

:^(

:^(

:^(

幸福安泰吻 2018-12-22 15:26:58 其實matrix theory同linear alg 最大嘅分別係咩

:^(

自學計劃 2018-12-22 15:28:48 此回覆已被刪除

高山一実 2018-12-22 15:32:41 巧立名目
不過通常叫matrix theory都係2nd course

自學計劃 2018-12-22 15:36:10 此回覆已被刪除

吾不會數學 2018-12-22 15:38:51 英文?
representation?

自學計劃 2018-12-22 15:40:53 此回覆已被刪除

吾不會數學 2018-12-22 15:42:34 represents, 普通意思, 唔關數學事

吾不會數學 2018-12-22 15:45:29 例如
1. A = {1}, B = {2, 3}, C = {4, 5, 6}, X = {A, B, C}
我地可以揀 1 代表 A, 2 代表 B, 4 代表 C

夢追人 2018-12-22 15:57:32

:^(

吾不會數學 2018-12-22 15:59:13

:^(

忒修斯之船 2018-12-22 16:08:48

諗緊每個新post都介紹一樣數學

:^(

介紹analysis

:^(

data analysis

:^(

why not complex analysis

:^(

吾不會數學 2018-12-22 16:14:07

:^(

忒修斯之船 2018-12-22 16:18:12

:^(

五河琴里 2018-12-22 16:33:08 留名新手學嘢

:^(