2013-01-11

等價關係,整數分割


助教好,

不知道不是老師書上的適不適合在這裡問?如果不能問麻煩跟我說我再刪掉.謝謝

1.
Let A be a nite set. Prove that there is a one-
to-one correspondence between the set of equivalence relations on A and its
set of partitions.

Ans: Any equivalence relation R on A induces a natural partition of A :
{[a] : a 屬於 A}. Conversely, any partition of A gives rise to an equivalence relation on A.

我覺得這個答案好像沒在證明,但是又是出題老師寫的

請問是不是應該要像老師上課那樣證比較好呢?
另外,一個分割對應到一個等價關係請問應該怎麼證比較好?因為他說要

2.想請教這個lemma,他最後為什麼可以直接把 q# 改成 q 了?


Partition of Integers into Distinct Summands Revisited

Let q#(m, n) denote the number partitions of m ∈ Z+ into n distinct positive summands.

Lemma 81 q#(m; n) = q(m −c(n,2), n).

• x1 + x2 + · · · + xn = m, where 0 < x1 < x2 < · · · < xn,
  has q#(m, n) integer solutions.


• Adopt the following bijective transformation:
  x1 = w1;
  x2 = w2 + 1;
  x3 = w3 + 2;
  ...
  xn = wn + (n − 1):


• The equation becomes
w1 + w2 + · · · + wn = m −c(n,2)
where 0 < w1 ≤ w2 ≤ w3 ≤ · · · ≤ wn.

• This equation has q(m −c(n,2),n) integer solutions





1 則留言:

線代離散助教(wynne) 提到...

1. 如要稍作說明, 的確寫得像我們書上p2-38的注意事項2-12那樣就可以了, 真的要寫詳細, 可能得從等價類的定義開始寫起, 並且還要證明相異的等價類可形成分割, 這樣才可以解釋為什麼給定一個partition我們就可以定義出一個等價關係, 還有一個等價關係所對應的分割是甚麼

2. 同學你好像漏打了q(m, n)的定義出來
你手邊的講義應該有給定義
我猜這裡的q(m, n)就是老師上課教的整數分割數
也就是將正整數 m 分成恰 n 個summand,
其中summand可以相同的方法數
而q#(m; n)指的是將正整數 m 分成恰 n 個summand,
其中每個summand都要相異的方法數

至於為什麼會有他列的那個Lemma, 你下面列的那幾點就是他的證明, 證明的方式就是將 n 個分割 m 的 summand x1, x2,..., xn 轉換成另外 n 個分割 m 的 summand w1, w2,..., wn