# Thread:

1. ## Is emptyset a function?

My discrete book is defining a function, f, as a special type of relationship in which if both $(a,b) \in f$ and $(a,c) \in f$, then $b=c$ (and a relation is defined as a set of ordered pairs).

So, is the empty set not a function because it doesn't have any ordered pairs, or is it a function because it does not violate the definition of a function?

For each of the following relations, please answer these questions:
(1) Is it a function? If not, explain why.
(2) If yes, what are it's domain and range?
(3) Is the function one-to-one? If not, explain why.
(4) If yes, what is the inverse function?

a,b,c,d,e,... I already did
f. $f=\emptyset$
(1) Yes (trivially), because there are no ordered pairs in $f$, it does not violate the definition of function.
(2) dom $f$ = im $f$ = $\emptyset$
(3) Yes (trivially), since the definition of one-to-one is not violated
(4) $f^{-1}=\emptyset$

Above is how I wrote up my homework (but it's not due until Thu.), but I'm not confident it's the right answer.

2. Originally Posted by MSUMathStdnt
My discrete book is defining a function, f, as a special type of relationship in which if both $(a,b) \in f$ and $(a,c) \in f$, then $b=c$ (and a relation is defined as a set of ordered pairs).

So, is the empty set not a function because it doesn't have any ordered pairs, or is it a function because it does not violate the definition of a function?
I wouldn't put it as "not violating" but rather as "does fulfill."

When we say "S is a set of ordered pairs" we mean "For all x, if x in S, then x is an ordered pair." Well, the emptyset fulfills that requirement. For all x, if x is in the empty set then x is an ordered pair. So, in that very specific sense (which is the only sense that matters toward this question), yes, the empty set is a set of ordered pairs.

Originally Posted by MSUMathStdnt
Above is how I wrote up my homework (but it's not due until Thu.), but I'm not confident it's the right answer.
All correct, except I would modify (1) as I mentioned above.

3. Originally Posted by MoeBlee
I wouldn't put it as "not violating" but rather as "does fulfill."

When we say "S is a set of ordered pairs" we mean "For all x, if x in S, then x is an ordered pair." Well, the emptyset fulfills that requirement. For all x, if x is in the empty set then x is an ordered pair. So, in that very specific sense (which is the only sense that matters toward this question), yes, the empty set is a set of ordered pairs.

All correct, except I would modify (1) as I mentioned above.
I understand what you're saying. But I still don't see how to word it (although I'll probably get full credit as long as I've got the idea right). How does this sound:

(1) Yes (trivially). There are no ordered pairs in $f$, therefore; for all ordered pairs in $f$, there are none that have the same first value and a different second value.

4. This reminds me of a thread I saw recently.
http://mymathforum.com/viewtopic.php?f=22&t=18683

5. But you missed mentioning that every member of the empty set is an ordered pair.

I'll do it in English [where '0' stands for the empty set]:

For all x, if x is in 0 then, x is an ordered pair. So 0 is a relation. And for all x, y, z, if <x y> and <x z> are in 0 then y=z. So 0 is a relation that is moreover a function.

In symbols:

Ax(x in 0 -> x is an ordered pair).
So 0 is a relation.
Axyz((<x y> in 0 & <x z> in 0>) -> y=z).
So 0 is a function.

/

If you want to get more detailed, you can mention that

Ax(x in 0 -> x is an ordered pair)

Axyz((<x y> in 0 & <x z> in 0>) -> y=z)

are true because the antecedent in each is false.
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 0, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 14, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9478422999382019, "perplexity_flag": "middle"}