11.07.2015 Views

Abstract Algebra Theory and Applications - Computer Science ...

Abstract Algebra Theory and Applications - Computer Science ...

Abstract Algebra Theory and Applications - Computer Science ...

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

20 CHAPTER 0 PRELIMINARIES(e) If g ◦ f is onto <strong>and</strong> g is one-to-one, show that f is onto.23. Define a function on the real numbers byf(x) = x + 1x − 1 .What are the domain <strong>and</strong> range of f? What is the inverse of f? Computef ◦ f −1 <strong>and</strong> f −1 ◦ f.24. Let f : X → Y be a map with A 1 , A 2 ⊂ X <strong>and</strong> B 1 , B 2 ⊂ Y .(a) Prove f(A 1 ∪ A 2 ) = f(A 1 ) ∪ f(A 2 ).(b) Prove f(A 1 ∩ A 2 ) ⊂ f(A 1 ) ∩ f(A 2 ). Give an example in which equalityfails.(c) Prove f −1 (B 1 ∪ B 2 ) = f −1 (B 1 ) ∪ f −1 (B 2 ), wheref −1 (B) = {x ∈ X : f(x) ∈ B}.(d) Prove f −1 (B 1 ∩ B 2 ) = f −1 (B 1 ) ∩ f −1 (B 2 ).(e) Prove f −1 (Y \ B 1 ) = X \ f −1 (B 1 ).25. Determine whether or not the following relations are equivalence relations onthe given set. If the relation is an equivalence relation, describe the partitiongiven by it. If the relation is not an equivalence relation, state why it fails tobe one.(a) x ∼ y in R if x ≥ y(b) m ∼ n in Z if mn > 0(c) x ∼ y in R if |x − y| ≤ 4(d) m ∼ n in Z if m ≡ n (mod 6)26. Define a relation ∼ on R 2 by stating that (a, b) ∼ (c, d) if <strong>and</strong> only if a 2 +b 2 ≤c 2 + d 2 . Show that ∼ is reflexive <strong>and</strong> transitive but not symmetric.27. Show that an m × n matrix gives rise to a well-defined map from R n to R m .28. Find the error in the following argument by providing a counterexample.“The reflexive property is redundant in the axioms for an equivalence relation.If x ∼ y, then y ∼ x by the symmetric property. Using the transitiveproperty, we can deduce that x ∼ x.”29. Projective Real Line. Define a relation on R 2 \ (0, 0) by letting (x 1 , y 1 ) ∼(x 2 , y 2 ) if there exists a nonzero real number λ such that (x 1 , y 1 ) = (λx 2 , λy 2 ).Prove that ∼ defines an equivalence relation on R 2 \(0, 0). What are the correspondingequivalence classes? This equivalence relation defines the projectiveline, denoted by P(R), which is very important in geometry.

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!