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 / February / 9

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 >>

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