Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

I thought, is this really that simple? Or am I missing a piece? This is my proof: $f(\{x\})=\{f(x)\}$.

Look at $f(\{x\})$. By definition, $f(\{x\})=\{f(a)|a \in \{x\}\}$, and therefore $f(\{x\})=\{f(x)\}$.

share|improve this question
    
Notice that you use $x$ in two meanings. Once it is the element for which you proof the result, in the second occurrence I would prefer $f(\{x\})=\{f(y); y\in\{x\}$.\\Using the same symbol in two meanings might be confusing and it is good to avoid such thing. –  Martin Sleziak Sep 16 '11 at 8:06
    
Thanks, changed that. –  Kevin Sep 16 '11 at 8:08
3  
@Martin: This is a setting in which I very much prefer the notation $f[\{x\}]$; the result in question is then $f[\{x\}]=\{f(x)\}$, which is trivially true from the definition of $f[\cdot ]$. –  Brian M. Scott Sep 16 '11 at 8:27
1  
@Martin: I thought that it was probably something like that just from the context. My comment wasn’t really aimed at you; yours just gave me a convenient peg on which to hang it, so to speak, since it was another example of not using the same symbol for two purposes at once. –  Brian M. Scott Sep 16 '11 at 8:45
1  
In addition to $f[\cdot]$, there's also the problematic-with-analysts notation of $f''\cdot$. –  Asaf Karagila Sep 16 '11 at 13:24

2 Answers 2

up vote 6 down vote accepted

This is basically the same proof as yours, I just rewrote it more formally/at lower level.

To prove that $f(\{x\})=\{f(x)\}$ we need to show that: $$z\in f(\{x\}) \Leftrightarrow z\in \{f(x)\}.$$

This can be shown as follows:

$z\in f(\{x\})$ $\Leftrightarrow$ $(\exists a\in\{x\}) z=f(a)$ $\Leftrightarrow$ $z=f(x)$ $\Leftrightarrow$ $z\in\{f(x)\}$

(You might want to think for a bit why the equivalences I wrote above are true - in case you want to make a really detailed proof. I think that most of the details are explained nicely in Asaf's answer.)

share|improve this answer

The definition of a function is a set of ordered pairs, such that if for some $x$ we have $\langle x,y\rangle,\langle x,z\rangle\in f$ then $y=z$.

That is to say, $f$ is a binary relation and for every $x$ there is at most one element such that $\langle x,y\rangle\in f$. We call often say that $y$ is $f(x)$.

Now, what is $f(A)$ when $A\subseteq\operatorname{Dom}(f)$? It is the set $\{f(x)\mid x\in A\}$. Let $A=\{x\}$, we have that $$f(\{x\}) = \Big\lbrace f(a)\mid a\in\{x\}\Big\rbrace$$

Since $a\in\{x\}\iff a=x$ we have that $f(\{x\}) = \{f(x)\}$ as wanted.

share|improve this answer

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.