MHB Show that the set is a partition of A

  • Thread starter Thread starter mathmari
  • Start date Start date
  • Tags Tags
    Partition Set
mathmari
Gold Member
MHB
Messages
4,984
Reaction score
7
Hey! :o

let $A\neq \emptyset\neq B$ be sets, $C\subseteq A$, $D\subseteq B$ subsets and $f:A\rightarrow B$ a map.

I want to show that the set $\{f^{-1}(\{x\})\mid x\in \text{im} f\}$ is a partition of $A$. To show that the set $\{f^{-1}(\{x\})\mid x\in \text{im} f\}$ is a partition of $A$, we have to show that the union of $\{f^{-1}(\{x\})\mid x\in \text{im} f\}$ is equal to $A$, the sets $\{f^{-1}(\{x\})\mid x\in \text{im} f\}$ are disjoint and the empty set is not an element of $\{f^{-1}(\{x\})\mid x\in \text{im} f\}$, right? (Wondering) I have done the following:

Since $f$ is a function, this means that two values cannot gave the same pre-image. So it follows that the sets $\{f^{-1}(\{x\})\mid x\in \text{im} f\}$ are disjoint.

Is this correct? (Wondering)


The domain of a function is the set of its possible inputs, i.e., the set of input values where for which the function is defined. This means it is the set of all values $a\in A$ such that there is a $y$ with $f(a)=y$. That means that $f^{-1}(\{y\})$ contains $a$.

Does this mean that the union of all $\{f^{-1}(\{x\})\mid x\in \text{im} f\}$ is equal to $A$ ? (Wondering)
 
Physics news on Phys.org
Hey mathmari!

Yep. All correct. (Nod)
 
Back
Top