Week 4 - Modular Arithmetic, Equivalence Relations & Binomial Coefficients Flashcards
c. What does congruence mean?
Well it means when integer a or b are “modded” it will return a remainder that is equivalent
ii. Dealing with negative modulo
- YOU CAN NEVER HAVE A NEGATIVE REMAINDER
- If you have -43 ≡17 (mod 4), you would think -43/4 would equal to -3 right? Since 4 goes into 43, -10 times with a remainder of 3. WRONG. That would make it -37. The only way it would work is if mod 4 went into -43 eleven times (making -44, and then remainder is 1)
- So the general rule to follow when getting a negative number you are modding is: Multiply the mod out to be “less” than the negative number you’re modding, and then add a remainder to that negative number you’re modding to see your result
Let a,b,c∈Z and n∈N. If a≡b (mod n), then ?
ac≡bc (mod n).
What two properties does congruence modulo n hold?
f. congruence modulo n is symmetric and transitive
j. An equivalence relation defined on set S must satisfy:
i.
The symmetric property (if s1 ~ s2, then s2 ~ s1)
ii. The reflexive property (s ~ s), and
iii. The transitive property (if s1 ~ s2 and s2 ~ s3, then s1 ~ s3)
iv. Here the symbol ~ acts as the verb is equivalent to, just as ≡ represents is equivalent to
l. The notation [a] means ?
“all the elements equivalent to a using some equivalence. i. So |1| and |3| are the same when (1+2k | k e Z), where k is the modulo, and |1| is the remainder
m. The sets [a] and [b] are called ?
equivalence classes.
What is a partition of a set?
i. In other words, a partition is when you take a set, and divide it up into smaller subsets that when added all up together equal the set
What does the symbol C(n, k) stand for?
The symbol C(n / k) is pronounced “n choose k,” will be referred to as choice notation, and means the number of ways one can choose k things from a pile of n different things. The order in which the k things are chosen does not matter. (also called binomial coefficient)
- Choice notation identity ?
C(n, k) = C([n-1], [k -1]) + C([n -1],k)
- When this holds for two equivalence relations ~1 and ~2, we say ~1 is ___ than ~2 and ~2 is ____ than ~1
a. The equivalence class for ~2 is formed by combining equivalence classes for ~1
- When this holds for two equivalence relations ~1 and ~2, we say ~1 is finer than ~2 and ~2 is coarser than ~1
a. The equivalence class for ~2 is formed by combining equivalence classes for ~1
What properties does finer hold?
- Note: that “finer” is reflexive, transitive, and antisymmetric
a. ~1 f ~1
b. ~1 f ~2, ~2 f ~3, means ~1 f ~3
c. ~1 f ~2, ~2 f ~1 (not possible unless ~1 is equal to ~1)
d. So this is a partial ordering of equivalence classes