# Math Help - cardinals of finite sets

1. ## cardinals of finite sets

Hello,

I have the following question:
Prove that a set A has the same cardinality of a subset of a Set B, if and only if exists an injective function A to B.

I find it hard to prove it because I can easily find a set A which is:

A={1,2}
B={1,2,3,4}
C={1,2,3}

C is a subset of B. C's cardinality is bigger than A's.

There is an injective function from A to B, of course.

where am I wrong?

Thank you!

2. ## Re: cardinals of finite sets

A and B have the same cardinality if there is a 1-1 mapping of A onto B (bijective).

If there is a 1-1 mapping of A onto a subset of B (the same cardinality), there exists a 1-1 mapping into B (injective).
If there is an injective mapping into a subset of B, The mapping is onto that subset from A, and A and that subset have the same cardinaity.

3. ## Re: cardinals of finite sets

Originally Posted by nerazzurri10
Prove that a set A has the same cardinality of a subset of a Set B, if and only if exists an injective function A to B.

I find it hard to prove it because I can easily find a set A which is:

A={1,2}
B={1,2,3,4}
C={1,2,3}

C is a subset of B. C's cardinality is bigger than A's.

There is an injective function from A to B, of course.

where am I wrong?
If there is an injective function from A to B, it means that A has the same cardinality as some subset of B, not every subset of B. So, C may have a greater cardinality than A's, but there is another subset of B that has the same cardinality as A's.

4. ## Re: cardinals of finite sets

Originally Posted by nerazzurri10
I have the following question:
Prove that a set A has the same cardinality of a subset of a Set B, if and only if exists an injective function A to B.
Let's first agree on notation and definitions. By $\|A\|$ I mean the cardinality of the set $A.$ .
Then $\|A\|=\|B\|\text{ if and only if }A\overset{f} \leftrightarrow B$, i.e. $f$ is a bijection.

To start suppose that there is an injection $\phi : A\to B$ then clearly $\phi(A)\subseteq B.$
Prove that $A\overset{\phi} \leftrightarrow \phi(A)$.

For the converse, assume that $(\exists C\subseteq B)[A\overset{\rho} \leftrightarrow C]$ where $\rho$ is a bijection.
What is your injection?

5. ## Re: cardinals of finite sets

Nice example of using symbology to reword an existing proof (#2)
{"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": 9, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0, "katex": 0, "math-container": 0, "wp-katex-eq": 0, "align": 0, "equation": 0, "x-ck12": 0, "texerror": 0, "math_score": 0.924189567565918, "perplexity": 274.13644505560467}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": false}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "plain"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "warc_path": "s3://commoncrawl/crawl-data/CC-MAIN-2014-42/segments/1413507441801.11/warc/CC-MAIN-20141017005721-00207-ip-10-16-133-185.ec2.internal.warc.gz"}