Discrete Mathematics with Applications 4th Edition

Published by Cengage Learning
ISBN 10: 0-49539-132-8
ISBN 13: 978-0-49539-132-6

Chapter 7 - Functions - Exercise Set 7.1 - Page 396: 47

Answer

First Case: Assume $\ f^-1$(C ∩ D) is true by def of range $\ f^-1$ (y) = x , x$\in$(C ∩ D) **( x $\in$ C and x $\in$ D by def of intersection) $\ f^-1$(y) = x , x$\in$ C implies x$\in$$\ f^-1$(C) and $\ f^-1$(y) = x , x$\in$ D implies x$\in$$\ f^-1$(D) by def of intersection x $\in$ $\ f^-1$(C) ∩ $\ f^-1$(D) Second Case : Assume $\ f^-1$(C) ∩ x$\in$$\ f^-1$(D) is true hence, x $\in$ $\ f^-1$(C) ∩ $\ f^-1$(D) x$\in$ $\ f^-1$(C) $AND$ x$\in$$\ f^-1$(D) **By definition of intersection which implies $\ f^-1$(y) = x , x $\in$ (C ∩ D) which also means x $\in$ $\ f^-1$(C ∩ D) In conclusion, we got from : Case 1: $\ f^-1$(C ∩ D) $\subseteq$ $\ f^-1$(C) ∩ $\ f^-1$(D) Case 2: $\ f^-1$(C) ∩ $\ f^-1$(D) $\subseteq$ $\ f^-1$(C ∩ D) hence, $\ f^-1$(C ∩ D) $=$ $\ f^-1$(C) ∩ $\ f^-1$(D)

Work Step by Step

First Case: Assume $\ f^-1$(C ∩ D) is true by def of range $\ f^-1$ (y) = x , x$\in$(C ∩ D) **( x $\in$ C and x $\in$ D by def of intersection) $\ f^-1$(y) = x , x$\in$ C implies x$\in$$\ f^-1$(C) and $\ f^-1$(y) = x , x$\in$ D implies x$\in$$\ f^-1$(D) by def of intersection x $\in$ $\ f^-1$(C) ∩ $\ f^-1$(D) Second Case : Assume $\ f^-1$(C) ∩ x$\in$$\ f^-1$(D) is true hence, x $\in$ $\ f^-1$(C) ∩ $\ f^-1$(D) x$\in$ $\ f^-1$(C) $AND$ x$\in$$\ f^-1$(D) **By definition of intersection which implies $\ f^-1$(y) = x , x $\in$ (C ∩ D) which also means x $\in$ $\ f^-1$(C ∩ D) In conclusion, we got from : Case 1: $\ f^-1$(C ∩ D) $\subseteq$ $\ f^-1$(C) ∩ $\ f^-1$(D) Case 2: $\ f^-1$(C) ∩ $\ f^-1$(D) $\subseteq$ $\ f^-1$(C ∩ D) hence, $\ f^-1$(C ∩ D) $=$ $\ f^-1$(C) ∩ $\ f^-1$(D)
Update this answer!

You can help us out by revising, improving and updating this answer.

Update this answer

After you claim an answer you’ll have 24 hours to send in a draft. An editor will review the submission and either publish your submission or provide feedback.