# Solution Verification: Functions/Sets Question

1. Which of the following is a true statement? (Assume a finite domain.)

a. If a function is not a one-to-one correspondence, its domain must contain more points than its image.

b. If a function is one-one, its domain and range are the same set.

c. If the domain of a function has more points than its image, it is not surjective.

d. If a function is onto, its domain and range are the same set.

B, C, D all seem false to me, but I am still unsure that the domain must contain more points than its image to satisfy not one-to-one correspondence.

B seems false because the sets need not be the same but just need the same number of points. Same with D.

C is false because even if the domain of a function has more points than its image, it can still be surjective.

This leaves me with A.

A is true: For every element in the domain, the function maps that element to no more than $1$ element in the range, i.e. maps it to $1$ element in the image. So it is impossible for the image to have more points than the domain. If the image has as many points as the domain, then it is one-to-one, i.e. injective. If the function is not injective, then the image has fewer points than the domain, and conversely, if the image has fewer points than the domain, the function is not injective (notice how both of these cases obviously violate the required one-to-one).
{"ft_lang_label":"__label__en","ft_lang_prob":0.9453189,"math_prob":0.96722823,"size":785,"snap":"2021-04-2021-17","text_gpt3_token_len":185,"char_repetition_ratio":0.14852753,"word_repetition_ratio":0.20134228,"special_character_ratio":0.23312102,"punctuation_ratio":0.12777779,"nsfw_num_words":0,"has_unicode_error":false,"math_prob_llama3":0.990638,"pos_list":[0],"im_url_duplicate_count":[null],"WARC_HEADER":"{\"WARC-Type\":\"response\",\"WARC-Date\":\"2021-01-22T00:03:18Z\",\"WARC-Record-ID\":\"<urn:uuid:655bad02-44e1-4ac6-a473-a94910537269>\",\"Content-Length\":\"155348\",\"Content-Type\":\"application/http; msgtype=response\",\"WARC-Warcinfo-ID\":\"<urn:uuid:fdd871e6-b929-4462-95e8-62a2403e34f4>\",\"WARC-Concurrent-To\":\"<urn:uuid:45380609-49fa-484d-bbf1-35ddb352d93e>\",\"WARC-IP-Address\":\"151.101.193.69\",\"WARC-Target-URI\":\"https://math.stackexchange.com/questions/575362/solution-verification-functions-sets-question\",\"WARC-Payload-Digest\":\"sha1:KROMAE26UYUFERZRDUZR64QY56LSY2ZH\",\"WARC-Block-Digest\":\"sha1:EGV5GZ6XBUHAQHCAEHRWMMA5MQCG7UE3\",\"WARC-Identified-Payload-Type\":\"text/html\",\"warc_filename\":\"/cc_download/warc_2021/CC-MAIN-2021-04/CC-MAIN-2021-04_segments_1610703528672.38_warc_CC-MAIN-20210121225305-20210122015305-00008.warc.gz\"}"}