Proof of mapping to and from null set

[Gale]

Homework Statement

Using the precise denition of a function and a little logic, show that, for every set $Y$ , there is exactly one function $f$ from $\emptyset$ to $Y$ . When is $f$ injective? Surjective?

Let $X$ be a set. Show that there are either no functions from $X$ to $\emptyset$
or exactly one such function, depending on whether $X \neq \emptyset$ or $X= \emptyset$

Homework Equations

The Attempt at a Solution

So far all I can think of is that the definition of a function I think is: $$f:X \rightarrow Y, f=\{(x,f(x)), such\ that\ \forall x \in X, \ \exists ! y\in Y : f(x)=y \}$$

Or something like that. I'm having a hard time trying to write a proper definition of a function, especially because I'm fairly sure my teacher wants something to do with ordered pairs, (as that's how functions are graphed and he mentioned in class that functions should be defined by their graphs...)

Anyway, regarding the null set: All I can think is that the null set is also a subset of Y, and therefore the one function that maps from the null set, is the one that also maps to the null set? And that the function is surjective and injective only when $Y= \emptyset$. But then I'm very confused about how you can map a non-elements to non-elements, so perhaps I'm wrong, in which case, I have no idea where to go with this problem.

Thanks for any help!

 

[Dick]

It is a little challenging to chase these definitions around. But a function is a set of ordered pairs. An empty set of ordered pairs is technically a function. When does that work?

 

[Gale]

It is a little challenging to chase these definitions around. But a function is a set of ordered pairs.

Okay, so far I follow.

An empty set of ordered pairs is technically a function. When does that work?

And then... What?? An empty set of ordered pairs is still just an empty set, right? So the null set is a function? I'm sorry. I don't understand.

 

[HallsofIvy]

Homework Statement

Using the precise denition of a function and a little logic, show that, for every set $Y$ , there is exactly one function $f$ from $\emptyset$ to $Y$ . When is $f$ injective? Surjective?

Let $X$ be a set. Show that there are either no functions from $X$ to $\emptyset$
or exactly one such function, depending on whether $X \neq \emptyset$ or $X= \emptyset$

Homework Equations

The Attempt at a Solution

So far all I can think of is that the definition of a function I think is: $$f:X \rightarrow Y, f=\{(x,f(x)), such\ that\ \forall x \in X, \ \exists ! y\in Y : f(x)=y \}$$

Yes, that's a perfectly valid definition. It is a symbolic way of saying that a function is a set of ordered pair such that no two distinct pairs have the same first member. Recall that "$\forall x \in X$" can also be interpreted as "if $x\in X$". And what do you know about propositions of the for "if A then B" when B is false? What if A is false?

Or something like that. I'm having a hard time trying to write a proper definition of a function, especially because I'm fairly sure my teacher wants something to do with ordered pairs, (as that's how functions are graphed and he mentioned in class that functions should be defined by their graphs...)

Anyway, regarding the null set: All I can think is that the null set is also a subset of Y, and therefore the one function that maps from the null set, is the one that also maps to the null set? And that the function is surjective and injective only when $Y= \emptyset$. But then I'm very confused about how you can map a non-elements to non-elements, so perhaps I'm wrong, in which case, I have no idea where to go with this problem.

Thanks for any help!

 

[Dick]

Okay, so far I follow.



And then... What?? An empty set of ordered pairs is still just an empty set, right? So the null set is a function? I'm sorry. I don't understand.

Yes. It's called the empty function. http://en.wikipedia.org/wiki/Empty_function

 

[Gale]

Yes, that's a perfectly valid definition. It is a symbolic way of saying that a function is a set of ordered pair such that no two distinct pairs have the same first member. Recall that "$\forall x \in X$" can also be interpreted as "if $x\in X$". And what do you know about propositions of the for "if A then B" when B is false? What if A is false?

Hmm... Okay. So I read the wiki, and then googled the empty function, but I'm still conceptually struggling a little... I have:

$$f:X \to Y, f=\{(x,f(x)), such\ that\ \forall x \in X, \ \exists ! y\in Y : f(x)=y \}$$ thus for all functions $$f \subseteq X \times Y : (x_1, y_1)= (x_1, y_2) \Leftrightarrow y_1=y_2$$ So, let $\ X=\emptyset , f:\emptyset \to Y$ then $(x_1, y_1) = (x_1, y_2), y_1\neq y_2$ never occurs because there are no $x \in \emptyset$. Therefore $f:\emptyset \to Y$ satisfies the definition of a function.

Does that work? Then I would argue there is only one such function because from the definition of a function:
$\ f \subseteq X \times Y.$ Then, when $\ X=\emptyset \ then\ f \subseteq \emptyset \times Y = \emptyset$ thus f is unique?

I think I'm close, but I'm not sure if my logic is totally sound. Also, I'm still getting used to using various symbols and terminology, so correct me if I've made any mistakes. Thanks again!

 

[vela]

Hmm... Okay. So I read the wiki, and then googled the empty function, but I'm still conceptually struggling a little... I have:

$$f:X \to Y, f=\{(x,f(x)), such\ that\ \forall x \in X, \ \exists ! y\in Y : f(x)=y \}$$

Perhaps I'm missing something obvious, but your definition looks messed up to me. f is a subset of XxY, right? So f(x) necessarily has to be an element of Y. Yet your definition is saying that f(x) is not an element in Y for all possible values of x.

thus for all functions $$f \subseteq X \times Y : (x_1, y_1)= (x_1, y_2) \Leftrightarrow y_1=y_2$$ So, let $\ X=\emptyset , f:\emptyset \to Y$ then $(x_1, y_1) = (x_1, y_2), y_1\neq y_2$ never occurs because there are no $x \in \emptyset$. Therefore $f:\emptyset \to Y$ satisfies the definition of a function.

Yes, this is right. The definition of a function is satisfied vacuously.

Does that work? Then I would argue there is only one such function because from the definition of a function:
$\ f \subseteq X \times Y.$ Then, when $\ X=\emptyset \ then\ f \subseteq \emptyset \times Y = \emptyset$ thus f is unique?

Yeah, this looks good, though you might want to wait for a mathematician to chime in.

I think I'm close, but I'm not sure if my logic is totally sound. Also, I'm still getting used to using various symbols and terminology, so correct me if I've made any mistakes. Thanks again!

 

[Dick]

Perhaps I'm missing something obvious, but your definition looks messed up to me. f is a subset of XxY, right? So f(x) necessarily has to be an element of Y. Yet your definition is saying that f(x) is not an element in Y for all possible values of x.Yes, this is right. The definition of a function is satisfied vacuously.Yeah, this looks good, though you might want to wait for a mathematician to chime in.

I think $\exists ! y$ is supposed to mean, 'there exists a unique y'. And it looks pretty good to me too.

 

[vela]

Ah, I've never seen that notation.

 

[Gale]

Yeah, sorry. The ! meant unique. My teacher uses it, so I did as well.

Also, regarding when the function is surjective or injective. I believe it is only surjective when Y is also the empty set, because then there is nothing in Y to map to, thus technically each element of Y IS mapped to. Same for injective, because no element will ever be mapped to more than once. However, now I'm confused as to whether the function is bijective? (which isn't part of the question but now I'm not sure...)

And for the second part, I said that because there is no $y \in \emptyset$ then the definition of a function, $f=\{(x,f(x)), such\ that\ \forall x \in X, \ \exists ! y\in Y : f(x)=y \}$ cannot hold, because no y's exist. Unless X is also the null set, in which case, the above argument holds.

 

[Dick]

I think you got that right. A function from the empty set to the empty set is bijective. Why not? And if f:X->Y and X is nonempty and Y empty is then there are no functions. It all seems ok to me.