Today. Summary: polynomials. Farewell (for now) to modular arithmetic... Set of d + 1 points determines degree d polynomial. Modular arithmetic modulo a prime. Encode secret using degree k − 1 polynomial: Add, subtract, commutative, associative, inverses! Can share with n people. Any k can recover! Allow for solving linear systems, discussing polynomials... Encode message using degree n − 1 polynomail: Why not modular arithmetic all the time? n packets of information. 4 > 3 ? Yes! Send n + k packets (point values). Goodbye Modular Arithmetic! 4 > 3 ( mod 7 ) ? Yes...maybe? Can recover from k losses: Still have n points! Countability and Uncountability. − 3 > 3 ( mod 7 ) ? Uh oh.. − 3 = 4 ( mod 7 ) . Send n + 2 k packets (point values). Computability. Can recover from k corruptionss. Another problem. Only one polynomial contains n + k 4 is close to 3. Efficiency. But can you get closer? Sure. 3.5. Closer. Sure? 3.25, 3.1, Magic!!!! 3.000001. ... Error Locator Polynomial. For reals numbers we have the notion of limit, continuity, and Relations: Linear code. derivative....... Almost any coding matrix works. Vandermonde matrix (the one for Reed-Solomon). ....and Calculus. allows for efficiency. For modular arithmetic...no Calculus. Sad face! Other Algebraic-Geometric codes. Next up: how big is infinity. How big are the reals or the integers? Same size? Same number? ◮ Countable Make a function f : Circles → Squares. Infinite! f ( red circle ) = red square ◮ Countably infinite. Is one bigger or smaller? f ( blue circle ) = blue square f ( circle with black border ) = square with black border ◮ Enumeration One to one. Each circle mapped to different square. One to One: For all x , y ∈ D , x � = y = ⇒ f ( x ) � = f ( y ) . Onto. Each square mapped to from some circle . Onto: For all s ∈ R , ∃ c ∈ D , s = f ( c ) . Isomorphism principle: If there is f : D → R that is one to one and onto, then, | D | = | R | .
Isomorphism principle. Countable. Where’s 0? Which is bigger? The positive integers, Z + , or the natural numbers, N . Natural numbers. 0 , 1 , 2 , 3 , .... Given a function, f : D → R . How to count? One to One: Positive integers. 1 , 2 , 3 , .... 0, 1, 2, 3, ... For all ∀ x , y ∈ D , x � = y = ⇒ f ( x ) � = f ( y ) . Where’s 0? The Counting numbers. or The natural numbers! N ∀ x , y ∈ D , f ( x ) = f ( y ) = ⇒ x = y . More natural numbers! Onto: For all y ∈ R , ∃ x ∈ D , y = f ( x ) . Definition: Consider f ( z ) = z − 1 . S is countable ≡ bijection between S and some subset of N . f ( · ) is a bijection if it is one to one and onto. For any two z 1 � = z 2 = ⇒ z 1 − 1 � = z 2 − 1 = ⇒ f ( z 1 ) � = f ( z 2 ) . If the subset of N is finite, S has finite cardinality . One to one! Isomorphism principle: If there is a bijection f : D → R then | D | = | R | . If the subset of N is infinite, S is countably infinite . For any natural number n , for z = n + 1 , f ( z ) = ( n + 1 ) − 1 = n . Onto for N Bijection! = ⇒ | Z + | = | N | . But.. but Where’s zero? “Comes from 1.” A bijection is a bijection. More large sets. All integers? What about Integers, Z ? Define f : N → Z . Notice that there is a bijection between N and Z + as well. � n / 2 if n even f ( n ) = n + 1 . 0 → 1 , 1 → 2 , ... E - Even natural numbers? f ( n ) = − ( n + 1 ) / 2 if n odd. Bijection from A to B = ⇒ a bijection from B to A . f : N → E . One-to-one: For x � = y f ( n ) → 2 n . if x is even and y is odd, Onto: ∀ e ∈ E , f ( e / 2 ) = e . e / 2 is natural since e is even then f ( x ) is nonnegative and f ( y ) is negative = ⇒ f ( x ) � = f ( y ) One-to-one: ∀ x , y ∈ N , x � = y = ⇒ 2 x � = 2 y . ≡ f ( x ) � = f ( y ) if x is even and y is even, then x / 2 � = y / 2 = ⇒ f ( x ) � = f ( y ) Evens are countably infinite. Inverse function! .... Evens are same size as all natural numbers. Can prove equivalence either way. Onto: For any z ∈ Z , Bijection to or from natural numbers implies countably infinite. if z ≥ 0, f ( 2 z ) = z and 2 z ∈ N . if z < 0, f ( 2 | z |− 1 ) = z and 2 | z | + 1 ∈ N . Integers and naturals have same size!
Listings.. Enumerability ≡ countability. Countably infinite subsets. � n / 2 if n even f ( n ) = − ( n + 1 ) / 2 if n odd. Enumerating a set implies countable. Enumerating (listing) a set implies that it is countable. Corollary: Any subset T of a countable set S is countable. “Output element of S ”, Another View: Enumerate T as follows: n f ( n ) “Output next element of S ” Get next element, x , of S , 0 0 ... output only if x ∈ T . 1 − 1 Any element x of S has specific, finite position in list. Z = { 0 , 1 , − 1 , 2 , − 2 , ..... } 2 1 Implications: Z + is countable. Z = {{ 0 , 1 , 2 ,..., } and then {− 1 , − 2 ,... }} 3 − 2 4 2 It is infinite since the list goes on. When do you get to − 1? at infinity? There is a bijection with the natural numbers. ... ... Need to be careful. So it is countably infinite. Notice that: A listing “is” a bijection with a subset of natural numbers. 61A —- streams! All countably infinite sets have the same cardinality. Function ≡ “Position in list.” If finite: bijection with { 0 ,..., | S |− 1 } If infinite: bijection with N . Enumeration example. More fractions? Pairs of natural numbers. All binary strings. Enumerate the rational numbers in order... B = { 0 , 1 } ∗ . 0 ,..., 1 / 2 ,.. Consider pairs of natural numbers: N × N B = { φ , 0 , 1 , 00 , 01 , 10 , 11 , 000 , 001 , 010 , 011 ,... } . E.g.: ( 1 , 2 ) , ( 100 , 30 ) , etc. Where is 1 / 2 in list? φ is empty string. For finite sets S 1 and S 2 , After 1 / 3, which is after 1 / 4, which is after 1 / 5... For any string, it appears at some position in the list. then S 1 × S 2 If n bits, it will appear before position 2 n + 1 . A thing about fractions: has size | S 1 |×| S 2 | . any two fractions has another fraction between it. Should be careful here. So, N × N is countably infinite squared ??? Can’t even get to “next” fraction! B = { φ ; , 0 , 00 , 000 , 0000 ,... } Never get to 1. Can’t list in “order”.
Pairs of natural numbers. Rationals? Real numbers.. Positive rational number. Enumerate in list: Lowest terms: a / b ( 0 , 0 ) , ( 1 , 0 ) , ( 0 , 1 ) , ( 2 , 0 ) , ( 1 , 1 ) , ( 0 , 2 ) ,...... · · · · · a , b ∈ N 3 with gcd ( a , b ) = 1 . · · · · · Infinite subset of N × N . 2 Countably infinite! Real numbers are same size as integers? · · · · · 1 All rational numbers? Negative rationals are countable. (Same size as positive rationals.) · · · · · 0 Put all rational numbers in a list. 0 1 2 3 4 The pair ( a , b ) , is in first ( a + b + 1 )( a + b ) / 2 elements of list! First negative, then nonegative ??? No! (i.e., “triangle”). Repeatedly and alternatively take one from each list. Countably infinite. Interleave Streams in 61A Same size as the natural numbers!! The rationals are countably infinite. The reals. Diagonalization. All reals? If countable, there a listing, L contains all reals. For example 0: . 500000000 ... 1: . 785398162 ... 2: . 367879441 ... Are the set of reals countable? 3: . 632120558 ... Set [ 0 , 1 ] is not countable!! Lets consider the reals [ 0 , 1 ] . 4: . 345212312 ... . What about all reals? . Each real has a decimal representation. . No. . 500000000 ... (1 / 2) Construct “diagonal” number: . 77677 ... . 785398162 ... π / 4 Any subset of a countable set is countable. Diagonal Number: Digit i is 7 if number i ’s i th digit is not 7 . 367879441 ... 1 / e If reals are countable then so is [ 0 , 1 ] . and 6 otherwise. . 632120558 ... 1 − 1 / e . 345212312 ... Some real number Diagonal number for a list differs from every number in list! Diagonal number not in list. Diagonal number is real. Contradiction! Set [ 0 , 1 ] is not countable!!
Recommend
More recommend
