# Lecture Notes for MATH 455 - WI/Modern Applied Algebra at University of Hawaii at Hilo (UHH)

## Notes Information

 Material Type: Review Sheet Professor: Staff Class: MATH 455 - WI/Modern Applied Algebra Subject: University: University of Hawaii at Hilo Term: Spring 2009 Keywords: Provided ThatEither...orOrdered N-TuplesPropositionPropositionalIsomorphismCartesian ProductNatural NumberNatural NumbersComposition      ## Sample Document Text

Math 455 Spring 2009 David Ross, Department of Mathematics 1 1 Review of set theory 1.1 Notation Some set theory notation notation: 2;fx : g; [ ; \ ; ; ; ;(;n; ;;;4; {;P ()::: ATB; ASB TA; SA (a;b); ha;bi A B :=fha;bija2A;b2Bg 9 is shorthand for \there exists", for example, 9x such that x2 = 2 8 is shorthand for \for all", for example, 8x;x2 0 Proposition 1.1 hx;yi=hz;wi if and only if x = z and y = w De nition 1.1 A (binary) relation is a set of ordered pairs. Notation: Let R be a relation. We often write xRy instead of hx;yi2R The domain of R is dom(R) :=fxj9yxRygand the range of R is ran(R) := fyj9xxRyg. Note that R dom(R) ran(R), but that in general the inclusion will be proper. R 1 :=fhb;ai : ha;bi2Rg. (Inverse of R.) If A a set, then R A:=fha;bi : aRb and a2Ag (Restriction of R to A.) (Note: sometimes R A:=fha;bi : aRb and a;b2 Ag= RT(A A)) R[A] := ran(R A) (Image of A under R.) If S is another relation, then R S :=fha;bi : 9c(aSc & cRb)g (Composition of ...

## Related Documents Either...or Notes Either...or Notes Inductive Assumption Exam Bit Operations Notes Natural Number Exam Value Autonomy Notes Either...or Notes Lecture Notes Math Notes Use Venn Diagrams Exam Either...or Notes Either...or Notes Boolean Formulas Notes   