Difference between revisions of "12-240/Classnotes for Tuesday September 18"

From Drorbn
Jump to: navigation, search
(β†’β€ŽComplex number)
 
(One intermediate revision by one user not shown)
Line 112: Line 112:
 
Define addition: (a,b)+(c,d) = (a+c, b+d)
 
Define addition: (a,b)+(c,d) = (a+c, b+d)
  
βˆ’
Define multification: (a,b)(c,d) = (ad-bd, ad+bc)
+
Define multification: (a,b)(c,d) = (ac-bd, ad+bc)
  
  
Line 163: Line 163:
 
So, what does a+bπ’Š mean? (a, b ∈ '''R''')
 
So, what does a+bπ’Š mean? (a, b ∈ '''R''')
  
βˆ’
a+bπ’Š= Ζ–(a) + Ζ–(b)+Ζ–(π’Š) = (a,0) + (b,0)βˆ™(0,1) = (a,b)
+
a+bπ’Š= Ζ–(a) + Ζ–(b)βˆ™Ζ–(π’Š) = (a,0) + (b,0)βˆ™(0,1) = (a,b)
  
 
Hence, (a,b) ~ a+bπ’Š
 
Hence, (a,b) ~ a+bπ’Š

Latest revision as of 05:37, 7 December 2012

Today's handout, "TheComplexField", can be had from Pensieve: Classes: 12-240.

Dror's notes above / Students' notes below

In this class, the professor continued with some more theorems of field and introduced definition and theorems of complex number.

Various properties of fields

Thrm 1: In a field F: 1. a+b = c+b β‡’ a=c

2. bβ‰ 0, aβˆ™b=cβˆ™b β‡’ a=c

3. 0 is unique.

4. 1 is unique.

5. -a is unique.

6. a^-1 is unique (a≠0)

7. -(-a)=a

8. (a^-1)^-1 =a

9. aβˆ™0=0 **Surprisingly difficult, required distributivity.

10. βˆ„ 0^-1, aka, βˆ„ b∈F s.t 0βˆ™b=1

11. (-a)βˆ™(-b)=aβˆ™b

12. aβˆ™b=0 iff a=0 or b=0

. . .

16. (a+b)βˆ™(a-b)= a^2 - b^2 [Define a^2 = aβˆ™a] Hint: Use distributive law


Thrm 2: Given a field F, there exists a map Ζ–: Z β†’ F with the properties (βˆ€ m,n ∈ Z):

1) Ζ–(0) =0, Ζ–(1)=1

2) Ζ–(m+n) = Ζ–(m) +Ζ–(n)

3) Ζ–(mn) = Ζ–(m)βˆ™Ζ–(n)

Furthermore, Ζ– is unique.

Rough proof:

Test somes cases:

Ζ–(2) = Ζ–(1+1) = Ζ–(1) + Ζ–(1) = 1 + 1 β‰  2

Ζ–(3) = Ζ–(2 +1)= Ζ–(2) + Ζ–(1) = 1+ 1+ 1 β‰  3

. . .

Ζ–(n) = 1 + ... + 1 (n times)

Ζ–(-3) = ?

Ζ–(-3 + 3) = Ζ–(-3) + Ζ–(3) β‡’ Ζ–(-3) = -Ζ–(3) = -(1+1+1)

What about uniqueness? Simply put, we had not choice in the definition of Ζ–. All followed from the given properties.

At this point, we will be lazy and simply denote Ζ–(3) = 3_f [3 with subscript f]


βˆƒ mβ‰ 0, m ∈ N, Ζ–(m) =0

In which case, there is a smallest m>0, for which Ζ–(m)=0. 'm' is the characteristic of F. Denoted char(F). Examples: char(F_2)=2, char(F_3)=3... but NOTE: char(R)=0


Thrm: If F is a field and char(F) >0, then char(F) is a prime number.

Proof: Suppose char(F) =m, m>0. Suppose also m is not prime: m=ts, t,s ∈ N.

Then, Ζ–(m) = 0 = Ζ–(t)βˆ™Ζ–(s) β‡’ Ζ–(t)=0 or Ζ–(s)=0 by P12.

If Ζ–(t)=0 β‡’ t≧m β‡’ m=t, s=1 or likewise for Ζ–(s)=0, and m=s, t=1

In any factorization of m, one of the factors is m and the other is 1. So m is prime. ∎

Complex number

Abstraction, generalization, definition, examples, properties, dream, implications, realization = formalization, PROOF.

Consider that fact that in R, βˆ„ x s.t. x^2 = -1

Dream: Add new number element π’Š to R, so as to still get a field & π’Š^2 = -1

Implications: By adding π’Š, we must add 7π’Š, and 2+7π’Š, 3+4π’Š, (2+7π’Š)βˆ™(3+4π’Š), (2+7π’Š)^-1, etc.

So, how do we define this field?

Definition

C = {(a,b): a,b ∈ R} Also, 0 (of the field) = (0,0); 1( of the field) = (1,0)

Define addition: (a,b)+(c,d) = (a+c, b+d)

Define multification: (a,b)(c,d) = (ac-bd, ad+bc)


Theorems:

Thrm. 1. (C, 0, 1, +, βˆ™) is a field.

Thrm. 2. βˆƒ π’Š ∈ C s.t. π’Š^2 = -1

Thrm. 3. C contains R

Proof (1): Show that each of the field axioms holds for C.

Ex. F1(a): ΖΆ1 + ΖΆ2 = ΖΆ2 + ΖΆ1, where ΖΆ1 = (a1, b1) and ΖΆ2 = (a2, b2)

LHS: (a1,b1)+(a2,b2) = (a1+a2, b1+b2)

RHS: (a2,b2)+(a1,b1) = (a2+a1, b2+b1)

LHS=RHS by F1 of R

F1(b) and so on...

Proof (2):

In C, consider i=(0,1)

By the definition i^2=i.i=(0.1-1.1,0.1+1.0)=(-1,0)

We also have 1(of c) + (-1,0)=(1,0)+(-1,0)=(0,0)=0 (of c)

Hence (-1,0) is the addictive inverse of 1, i.e, (-1,0)=-1

Thus i^2=-1. ∎

Proof 3:

Given the field C : map J: R -> C

1) J(0)=(0,0); J(1)=(1,0)

2) J(x+y)=J(x)+J(y); J(x.y)=J(x)J(y)

Define J(x)=(x,0), all will follow.

From now on J(x) will be writen simply x

EX: J(7)=7, J(3)=3

So, what does a+bπ’Š mean? (a, b ∈ R)

a+bπ’Š= Ζ–(a) + Ζ–(b)βˆ™Ζ–(π’Š) = (a,0) + (b,0)βˆ™(0,1) = (a,b)

Hence, (a,b) ~ a+bπ’Š

Thus, we can use a+bπ’Š with less hesitation.

Lecture 3, scanned notes upload by Starash and KJMorenz

12-240-CharacteristicOfField.jpg 12-240-ComplexNums.jpg