Professional Documents
Culture Documents
Fall 2006
Outline
Question
Is the addition +2π well-defined? That is, if we pick
elements from equivalence classes in two different ways, will
we get the same result? To be more precise, let θ1 and θ10
be two elements in the first equivalence class, θ2 and θ20 be
two elements in the second class. Will
θ1 + θ2 = θ10 + θ20 ?
We have
and
It follows that
Therefore,
θ1 + θ2 = θ10 + θ20 ,
and +2π is well-defined.
Isomorphism between R2π and U
φ(θ̄) = eiθ .
Remark
Properties 1 and 2 state that R2π and U have the same
cardinality. Property 3 states that the set R2π with operation
+2π and the set U with multiplication · have the same algebraic
structure. In mathematics, we say (R2π , +2π ) and (U, ·) are
isomorphic and φ is an isomorphism.
Isomorphic algebraic structures share many common algebraic
properties. In the above example, (R2π , +2π ) has an element
0̄ such that 0̄ + θ̄ = θ̄ for all θ̄ ∈ R2π . The corresponding
element in U is 1, which satisfies 1 · z = z for all z ∈ U.
Isomorphism between R2π and U
Proof of Claim 1.
If φ(θ̄1 ) = φ(θ̄2 ), then eiθ1 = eiθ2 . This happens only when
θ1 − θ2 = 2nπ for some integer n. Therefore, θ1 ∼2π θ2 and
θ̄1 = θ̄2 .
Proof of Claim 2.
For all z ∈ U, choose θ = Im log z. Then φ(θ̄) = z.
Proof of Claim 3.
It follows immediately from ei(θ1 +θ2 ) = eiθ1 · eiθ2 .
Roots of unity
Definition
A complex number z satisfying z n = 1 is called an nth root of
unity. We denote by Un the set of all nth roots of unity.
Properties of Un
1. Let ζ = e2πi/n . Then Un = {1 = ζ 0 , ζ 1 , . . . , ζ n−1 }.
2. The set Un is closed under multiplication.
3. The value of ζ k depends only on the residue class of k
modulo n. (That is, if k and m are in the same residue
class modulo n, then ζ k = ζ m .)
Isomorphism between Zn and Un
φ(k̄ ) = ζ k
Proof.
Similar to that of R2π and U.
Remark
Remark
For a given n, there may be more than one isomorphisms
between Zn and Un . For instance, for n = 8 and a = 1, 3, 5, 7,
the functions φa : Z8 7→ U8 defined by φa (k̄ ) = ζ ak are all
isomorphisms.
In-class exercise
Homework
Do Problems 16, 18, 30, 32, 34, 36, 37 of Section 1.
Note that our definition of R2π is different from that given in the
textbook. You should answer the problems using our definition.