Shawn Zhong

Shawn Zhong

钟万祥
  • Tutorials
  • Mathematics
    • Math 240
    • Math 375
    • Math 431
    • Math 514
    • Math 521
    • Math 541
    • Math 632
    • Abstract Algebra
    • Linear Algebra
    • Category Theory
  • Computer Sciences
    • CS/ECE 252
    • CS/ECE 352
    • Learn Haskell
  • AP Notes
    • AP Microecon
    • AP Macroecon
    • AP Statistics
    • AP Chemistry
    • AP Physics E&M
    • AP Physics Mech
    • CLEP Psycho

Shawn Zhong

钟万祥
  • Tutorials
  • Mathematics
    • Math 240
    • Math 375
    • Math 431
    • Math 514
    • Math 521
    • Math 541
    • Math 632
    • Abstract Algebra
    • Linear Algebra
    • Category Theory
  • Computer Sciences
    • CS/ECE 252
    • CS/ECE 352
    • Learn Haskell
  • AP Notes
    • AP Microecon
    • AP Macroecon
    • AP Statistics
    • AP Chemistry
    • AP Physics E&M
    • AP Physics Mech
    • CLEP Psycho

Home / 2018 / Page 31

Math 541 – 2/9

  • Feb 09, 2018
  • Shawn
  • Math 541
  • No comments yet
Examples of Orders • Example 1 ○ A≔(■8(0&−1@1&−1))∈GL_2 (R ○ A^3=(■8(0&−1@1&−1))^3=(■8(−1&1@−1&0))(■8(0&−1@1&−1))=(■8(1&0@0&1))=I ○ Thus, |A|=3 • Example 2 ○ In Z,Q,R,ℂ, every nonzero element has infinite order • Example 3 ○ In Q∗ and R∗, the elements of finite order are § |1|=1 § |−1|=2 ○ In ℂ^∗, there are lots more § elements of order n in ℂ are called n^th roots of unity § i is the fourth root of unity § i.e. i^1=i, i^2=−1, i^3=−i, i^4=1 • Example 4 ○ What are the orders of the elements in Z\/6Z? Elements Order Note 0 ̅ 1 0 ̅ is the identity 1 ̅ 6 1 ̅⋅6=6 ̅=0 ̅ 2 ̅ 3 2 ̅⋅3=6 ̅=0 ̅ 3 ̅ 2 3 ̅⋅2=6 ̅=0 ̅ 4 ̅ 3 4 ̅⋅3=(12) ̅=0 ̅ 5 ̅ 6 5 ̅⋅6=(30) ̅=0 ̅ ○ In general, if a ̅∈Z\/nZ, then the "n^th power" of a ̅ is (na) ̅ ○ Note that all the orders are divisors of 6 (Lagrange Theorem) • Example 5 ○ What are the orders of the elements in Z\/5Z×? § Z\/5Z×={1 ̅,2 ̅,3 ̅,4 ̅ } § (0,5)=0≠1, so 0 ̅∉Z\/5Z× Elements Order Note 1 ̅ 1 1 ̅ is the identity 2 ̅ 4 2 ̅^4=(16) ̅=1 ̅ 3 ̅ 4 3 ̅^4=81 ̅=1 ̅ 4 ̅ 2 4 ̅^2=(16) ̅=1 ̅ Symmetric Groups (Section 1.3) • Symmetric Group of Degree n ○ n∈Z(0) ○ S_n≔{bijective functions {1,…,n}→{1,…,n}} ○ S_n is a group with operation given by composition of functions ○ Composition of functions is an operation on S_n § S_n×S_n→S_n § (σ,τ)↦σ∘τ § σ∘τ is again bijictive, so this makes sense ○ Associativity § Suppose f:X→Y, g:Y→Z,h:Z→W § ((hg)∘f)(x)=(hg)(f(x))=h(g(f(x))) § (h(g∘f))(x)=h((g∘f)(x))=h(g(f(x))) § Thus (hg)∘f=h∘(g∘f) ○ Identity § Identity map ○ Inverses § Bijective functions have inverses Proposition 15 • Statement ○ |S_n |=n! • Proof ○ First, we prove that if X and Y are sets of order n, then ○ There are n! injective functions from X to Y ○ We argue by induction on n ○ n=1 § Clear ○ n1 § Suppose f:X→Y is injective § Let x∈X. § There are n possibilities for f(x) § f restricts to an injective function X∖{x}→Y∖{f(x)} § There are (n−1)! such functions, by induction § Thus, there are n(n−1)!=n! injective functions X→Y ○ (To be continued)
Read More >>

2.2 Set Operations

  • Feb 09, 2018
  • Shawn
  • Math 240
  • No comments yet
Union • Definition ○ Let A and B be sets. ○ The union of the sets A and B, denoted by A∪B, is the set: ○ {x|x∈A∨x∈B} • Example: What is {1,2,3}∪{3, 4, 5}? ○ {1,2,3,4,5} • Venn Diagram Intersection • Definition ○ The intersection of sets A and B, denoted by A ∩ B, is ○ {x|x∈A∧x∈B} • Note ○ If the intersection is empty, then ○ A and B are said to be disjoint. • Example: What is {1,2,3} ∩ {3,4,5} ? ○ {3} • Example: What is {1,2,3} ∩ {4,5,6} ? ○ ∅ • Venn Diagram Complement • Definition ○ If A is a set, then the complement of the A (with respect to U), denoted by Ā is the set U−A ○ Ā={x∈U|x∉A} ○ (The complement of A is sometimes denoted by A^c.) • Example ○ If U is the positive integers less than 100, ○ what is the complement of {x | x 70} ○ {x│x≤70} • Venn Diagram Difference • Definition ○ Let A and B be sets. ○ The difference of A and B, denoted by A–B, is the set containing the elements of A that are not in B. ○ The difference of A and B is also called the complement of B with respect to A. ○ A–B={x|x∈A∧x∉B}=A∩B ̅ • Venn Diagram Set Identities • Identity laws ○ A∪∅=A ○ A∩U=A • Domination laws ○ A∪U=U ○ A∩∅=∅ • Idempotent laws ○ A∪A=A ○ A∩A=A • Complementation law ○ ((A ̅ ) ) ̅=A ̅ • Communtative laws ○ A∪B=B∪A ○ A∩B=B∩A • Associative laws ○ A∪(B∪C)=(A∪B)∪C ○ A∩(B∩C)=(A∩B)∩C • Distributive laws ○ A∩(B∪C)=(A∩B)∪(A∩C) ○ A∪(B∩C)=(A∪B)∩(A∪C) • De Morgan
Read More >>

2.1 Sets

  • Feb 09, 2018
  • Shawn
  • Math 240
  • No comments yet
Sets • A set is an unordered collection of objects. ○ the students in this class ○ the chairs in this room • The objects in a set are called the elements, or members of the set. • A set is said to contain its elements. • The notation a∈A denotes that a is an element of the set A. • If a is not a member of A, write a∉A Describing a Set: Roster Method • S={a,b,c,d} • Order not important ○ S={a,b,c,d}={b,c,a,d} • Each distinct object is either a member or not; listing more than once does not change the set. ○ S={a,b,c,d}={a,b,c,b,c,d} • Dots (…) may be used to describe a set without listing all of the members when the pattern is clear. ○ S={a,b,c,d, …,z} Example of Roster Method • Set of all vowels in the English alphabet: ○ V={a,e,i,o,u} • Set of all odd positive integers less than 10: ○ O={1,3,5,7,9} • Set of all positive integers less than 100: ○ S={1,2,3,…,99} • Set of all integers less than 0: ○ S={…, −3,−2,−1} Some Important Sets • N = natural numbers = {0,1,2,3…} • Z = integers = {…,−3,−2,−1,0,1,2,3,…} • Z+= positive integers = {1,2,3,…} • R = set of real numbers • R+= set of positive real numbers • ℂ = set of complex numbers. • Q = set of rational numbers Set-Builder Notation • Specify the property or properties that all members must satisfy: ○ S = {x|x is a positive integer less than 100} ○ O = {x┤|x is an odd positive integer less than 10} ○ O = {x∈Z+ | x is odd and x10} • A predicate may be used: ○ S={x|P(x)} • All prime numbers ○ S={x│Prime(x) } • Positive rational numbers: ○ Q+={x∈R │x=p/q, for some positive integers p,q} Universal Set and Empty Set • The universal set U is the set containing everything currently under consideration. ○ Sometimes implicit ○ Sometimes explicitly stated. ○ Contents depend on the context. • The empty set is the set with no elements. • Symbolized ∅, but {} also used. • Venn Diagram Russell’s Paradox • Let S be the set of all sets which are not members of themselves. • A paradox results from trying to answer the question • “Is S a member of itself?” • Related Paradox: ○ Henry is a barber who shaves all people who do not shave themselves. ○ A paradox results from trying to answer the question ○ “Does Henry shave himself?” Some things to remember • Sets can be elements of sets. ○ {{1,2,3},a, {b,c}} ○ {NZQR • The empty set is different from a set containing the empty set. ○ ∅≠{∅} Set Equality • Two sets are equal if and only if they have the same elements. • Therefore if A and B are sets, then • A and B are equal if and only if ∀x(x∈A⟷x∈B) . • We write A = B if A and B are equal sets. ○ {1,3,5}={3,5,1} ○ {1,5,5,5,3,3,1}={1,3,5} Subsets • The set A is a subset of B, if and only if • every element of A is also an element of B. • The notation A⊆B is used to indicate that A is a subset of the set B. • A⊆B holds if and only if ∀x(x∈A→x∈B) is true. • Special Subsets ○ Because a∈∅ is always false, ∅⊆S, for every set S. ○ Because a∈S→a∈S,S⊆S, for every set S. Showing a Set is or is not a Subset of Another Set • Showing that A is a Subset of B ○ show that if x belongs to A, then x also belongs to B. • Showing that A is not a Subset of B ○ find an element x∈A with x∉B. ○ (Such an x is a counterexample to the claim that x∈A implies x ∈ B.) • Examples: ○ The set of all computer science majors at your school is a subset of all students at your school. ○ The set of integers with squares less than 100 is not a subset of the set of nonnegative integers. Another look at Equality of Sets • Recall that two sets A and B are equal, denoted by A=B, iff ○ ∀x(x∈A⟷x∈B) • Using logical equivalences we have that A=B iff ○ ∀x((x∈A→x∈B)∧(x∈B→x∈A)) • This is equivalent to ○ A⊆B and B⊆A Proper Subsets • If A⊆B, but A≠B, then we say A is a proper subset of B, denoted by A⊂B. • If A⊂B, then ∀x(x∈A→x∈B)∧∃(x∈B∧x∉A) is true. • Venn Diagram Set Cardinality • Finite and infinite ○ If there are exactly n distinct elements in S ○ where n is a nonnegative integer, we say that S is finite. ○ Otherwise it is infinite. • Definition ○ The cardinality of a finite set A, denoted by |A|, ○ is the number of (distinct) elements of A. • Examples: ○ |ø| = 0 ○ Let S be the letters of the English alphabet. Then |S|=26 ○ |{1,2,3}| = 3 ○ |{ø}| = 1 ○ The set of integers is infinite. Power Sets • The set of all subsets of a set A, denoted P(A), is called the power set of A. • Example ○ If A={a,b} then P(A)= {ø, {a},{b},{a,b}} • If a set has n elements, then the cardinality of the power set is 2^n. • (In Chapters 5 and 6, we will discuss different ways to show this.) Tuples • The ordered n-tuple (a_1,a_2,…,a_n) is the ordered collection that ○ has a_1 as its first element ○ and a_2 as its second element ○ and so on until an as its last element. • Two n-tuples are equal if and only if their corresponding elements are equal. • 2-tuples are called ordered pairs. • The ordered pairs (a,b) and (c,d) are equal if and only if a=c and b=d. • Note: (a,b)={a,{a,b}} Cartesian Product • Cartesian Product of two sets ○ The Cartesian Product of two sets A and B, denoted by A×B is ○ the set of ordered pairs (a,b) where a∈A and b∈B . ○ A×B={(a,b)│a∈A∧b∈B} • Example: ○ A={a,b} ○ B={1,2,3} ○ A×B={(a,1),(a,2),(a,3),(b,1),(b,2),(b,3)} • Cartesian Product of more sets ○ The cartesian products of the sets A_1,A_2,…,A_n ○ denoted by A_1×A_2×…×A_n ○ is the set of ordered n-tuples (a_1,a_2,…,a_n ) ○ where a_i belongs to A_i for i=1,2, …,n ○ A_1×A_2×…×A_n={(a_1,a_2,…,a_n )│a_i∈A_i for i=1,2,…,n} • Example ○ What is A × B × C where A = {0,1}, B = {1,2} and C = {0,1,2} ○ A×B×C= {(0,1,0), (0,1,1), (0,1,2), (0,2,0), (0,2,1), (0,2,2), (1,1,0), (1,1,1), (1,1,2), (1,2,0), (1,2,1), (1,2,2)}
Read More >>

Math 521 – 2/7

  • Feb 07, 2018
  • Shawn
  • Math 521
  • No comments yet
Complex Numbers ℂ • Definition ○ If z∈ℂ, then z=a+bi where a,b∈R and i^2=−1 • Real part and imaginary part ○ For z=a+bi ○ Re(z)=a is the real part of z ○ Im(z)=b is the imaginary part of z • Complex conjugate ○ z ̅=a−bi is the complex conjugate of z ○ zz ̅=(a+bi)(a−bi)=a^2+b^2 • Absolute value ○ |z|=√(zz ̅ )=√(a^2+b^2 ) is the absolute value of z ○ Note § For a real number x § |x|=√(x^2+0^2 )=√(x^2 )≥0 § |x|={■8(x&if x≥0@−x&if x0)┤ • Complex division ○ If z=a+bi, w=c+di∈ℂ, then ○ z/w=(zw ̅)/(ww ̅ )=(a+bi)(c−di)/(c+di)(c−di) =(ac+bd)/(c^2+d^2 )+(bc−ad)/(c^2+d^2 ) i Theorem 1.31 • If z and w are complex numbers, then ○ (z+w) ̅=z ̅+w ̅ ○ (zw) ̅=z ̅⋅w ̅ ○ z+z ̅=2Re(z), z−z ̅=2i Im(z) ○ zz ̅ is real and positive (except when z=0) Theorem 1.33 • If z and w are complex numbers, then (1) |z|0 unless z=0 in which case |z|=0 (2) |z ̅ |=|z| (3) |zw|=|z||w| § Let z=a+bi, w=c+di § Then zw=(ac−bd)+(ad+bc)i § |zw|=√((ac−bd)^2+(ad+bc)^2 ) § =√(a^2 c^2+b^2 d^2+a^2 d^2+b^2 c^2 ) § =√((a^2+b^2 )(c^2+d^2 ) ) § =√(a^2+b^2 ) √(c^2+d^2 ) § =|z||w| (4) |Re(z)|≤|z| (5) |z+w|≤|z|+|w| (Triangle Inequality) § |z+w|^2=(z+w)((z+w) ̅ ) § =(z+w)(z ̅+w ̅ ) § =zz ̅+zw ̅+z ̅w+ww ̅ § =|z|^2+|w|^2+zw ̅+z ̅w § =|z|^2+|w|^2+2Re(zw ̅ ) § ≤|z|^2+|w|^2+2|zw ̅ | by (4) § =|z|^2+|w|^2+2|z||w ̅ | by (3) § =|z|^2+|w|^2+2|z||w| by (2) § =(|z|+|w|)^2 § So |z+w|^2≤(|z|+|w|)^2 § Thus, |z+w|≤|z|+|w|∎ Euclidean Spaces • Inner product ○ If x ⃗,y ⃗∈Rn with § x ⃗=(x_1,x_2,…,x_n ) § y ⃗=(y_1,y_2,…,y_n ) ○ Then the inner product of x ⃗ and y ⃗ is § x ⃗⋅y ⃗=∑_(i=1)^n▒〖x_i y_i 〗 • Norm ○ If x ⃗∈Rn, we define the norm of x ⃗ to be ○ |x ⃗ |=√(x ⃗⋅x ⃗ ) • Euclidean spaces ○ The vector space Rn with inner product and norm ○ is called Euclidean n-space Theorem 1.37 • Suppose x ⃗,y ⃗,z ⃗∈Rn,α∈R, then (1) |x ⃗ |≥0 (2) |x ⃗ |=0 if and only if x ⃗=0 ⃗ (3) |αx ⃗ |=|α|⋅|x ⃗ | (4) |x ⃗⋅y ⃗ |≤|x ⃗ |⋅|y ⃗ | (Schwarz
Read More >>

Math 541 – 2/7

  • Feb 07, 2018
  • Shawn
  • Math 541
  • No comments yet
Multiplicative Group of Z\/nZ • Let n∈Z( 0) fixed, Proposition 9 implies that there is a well-defined function ○ Z\/nZ×Z\/nZ→Z\/nZ ○ (a ̅,b ̅ )→(ab) ̅ • Check group property ○ Identity: 1 ̅⋅a ̅=(1⋅a) ̅=1 ̅ ○ This operation is associative ○ And 1 ̅ is a reasonable candidate for an identity, but there is no inverse ○ Example: Z\/4Z § 2 ̅⋅0 ̅=0 ̅ § 2 ̅⋅1 ̅=2 ̅ § 2 ̅⋅2 ̅=0 ̅ § 2 ̅⋅3 ̅=2 ̅ • Definition ○ Define (ZnZ^×≔{a ̅∈ZnZ(a,n)=1} ○ By HW 2 #2, a ̅∈(ZnZ^× iff ○ ∃c ̅∈Z\/nZ s.t. (ac) ̅=1 ̅ Proposition 11: (ZnZ^× • Statement ○ (ZnZ^× is a group with opeation given by multiplication • Proof ○ Closure: If a ̅,b ̅∈(ZnZ^×, then (ab) ̅∈(ZnZ^× as well ○ Associativity: Clear, from associativity of multiplication of integers ○ Identity: 1 ̅ ○ Inverses: Built in HW 2 #2 List of Groups Set Operation Z,Q,R,ℂ + Q∗,R∗,ℂ^∗ ⋅ GL_n (R, n 0 Matrix multiplication Z\/nZ, n 0 + 〖Z/nZ^∗, n 0 ⋅ Proposition 12: Properties of Group • Let G be a group, then G has the following properties • The identity of G is unique ○ i.e. If ∃〖1,1〗^′∈G s.t. ∀g∈G,1g=g1=g and 1^′ g=g1^′=g, then 1 =1^′ ○ Proof: 1=1⋅1^′=1^′∎ • Each g∈G has a unique inverse ○ i.e. If g∈G and ∃h,h′∈G s.t. hg=gh=1 and h′ g=gh′=1 ○ Let g∈G, and suppose h,h′∈G are inverses of g ○ h=h⋅1=h(gh′ )=(h�) h′=1⋅h′=h′ • (g^(−1) )^(−1)=g, ∀g∈G ○ Let g∈G, then gg^(−1)=1=g^(−1) g ○ Since the inverse is unique, g=(g^(−1) )^(−1) • The Generalized Associative Law ○ i.e. If g_1,…,g_n∈G, then g_1…g_n is independent of how it is bracketed ○ First show the result is true for n=1,2,3 ○ Assume for any k n any bracketing of a product of k elements ○ b_1 b_2⋯b_k can be reduced to an expression of the form b_1 (b_2 (b_3⋯b_k )) ○ Then any bracketing of the product a_1 a_2⋯a_n must break into ○ 2 sub-products, say (a_1 a_2⋯a_k )(a_(k+1) a_(k+2)⋯a_n ) ○ where each sub-product is bracketed in some fashion ○ Apply the induction assumption to each of these two sub-products ○ Reduce the result to the form a_1 (a_2 (a_3…a_n )) to complete the induction. • (gh^(−1)=h(−1) g^(−1), ∀g,h∈G ○ By the generalized associative law ○ (gh(h(−1) g^(−1) )=g(h^(−1) ) g^(−1)=gg^(−1)=1 ○ (h(−1) g^(−1) )(gh=h(gg^(−1) ) h(−1)=hh(−1)=1 • Notation ○ We will apply the Generalized Associative Law without mentioning it ○ In particular, if G is a group and n∈Z( 0), we will write § g^n=⏟(g…g)┬(n copies) § g^(−n)=⏟(g^(−1)…g^(−1) )┬(n copies) § g^0=1 Proposition 13: Cancellation Law • Statement ○ Let G be a group, and let a,b,u,v∈G ○ If au=av, then u=v ○ If ua=va, then u=v • Proof ○ au=av⇒a^(−1) au=a^(−1) av⇒u=v ○ ua=va⇒uaa^(−1)=vaa^(−1)⇒u=v • Warning ○ ua=av⇏u=v ○ This holds in abelian groups, but not in general Corollary 14 • Let G be a group, and let g,h∈G • If gh=g,then h=1 ○ gh=g ○ ⇒gh=g1 ○ ⇒h=1 • If gh=1,then h=g^(−1) ○ gh=1 ○ ⇒gh=gg^(−1) ○ ⇒h=g^(−1)
Read More >>
  • 1
  • …
  • 29
  • 30
  • 31
  • 32
  • 33
  • …
  • 41

Search

  • Home Page
  • Tutorials
  • Mathematics
    • Math 240 – Discrete Math
    • Math 375 – Linear Algebra
    • Math 431 – Intro to Probability
    • Math 514 – Numerical Analysis
    • Math 521 – Analysis I
    • Math 541 – Abstract Algebra
    • Math 632 – Stochastic Processes
    • Abstract Algebra @ 万门大学
    • Linear Algebra @ 万门大学
    • Category Theory
  • Computer Sciences
    • CS/ECE 252 – Intro to Computer Engr.
    • CS/ECE 352 – Digital System Fund.
    • Learn Haskell
  • Course Notes
    • AP Macroeconomics
    • AP Microeconomics
    • AP Chemistry
    • AP Statistics
    • AP Physics C: E&M
    • AP Physics C: Mechanics
    • CLEP Psychology
  • 2048 Game
  • HiMCM 2016
  • 登峰杯 MCM

WeChat Account

Categories

  • Notes (418)
    • AP (115)
      • AP Macroeconomics (20)
      • AP Microeconomics (23)
      • AP Physics C E&M (25)
      • AP Physics C Mechanics (28)
      • AP Statistics (19)
    • Computer Sciences (2)
    • Mathematics (300)
      • Abstract Algebra (29)
      • Category Theory (7)
      • Linear Algebra (29)
      • Math 240 (42)
      • Math 375 (71)
      • Math 514 (18)
      • Math 521 (39)
      • Math 541 (39)
      • Math 632 (26)
  • Projects (2)
  • Tutorials (11)

Archives

  • October 2019
  • May 2019
  • April 2019
  • March 2019
  • February 2019
  • December 2018
  • November 2018
  • October 2018
  • September 2018
  • July 2018
  • May 2018
  • April 2018
  • March 2018
  • February 2018
  • January 2018
  • December 2017
  • November 2017
  • October 2017
  • September 2017
  • August 2017
  • July 2017
  • June 2017

WeChat Account

Links

RobeZH's thoughts on Algorithms - Ziyi Zhang
Copyright © 2018.      
TOP