Mathematics Asked by avir_12 on November 27, 2020

I want to prove that if $A$ is a infinite set, then $|Fin(A)|=|FS(A)|=|A|$, where $Fin(A)$ is the set of all finite subsets of $A$ and $|FS(A)|$ is the set of all finite sequences. Firstly, to prove $|Fin(A)|=|A|$,

$$|Fin(A)|=|bigcup_{n < omega}[A]^{n}|=|bigcup_{n < omega}A|=sum_{n <omega}|A|=|A|aleph_0=|A|$$

where in the second equality i use that $|[A]^{n}|=|A^{n}|=|A|$ (i’m also using that $|A times A|=|A|$, thanks axiom of choice).

For the second, I would to use a similar argument and write $FS(A)=bigcup_{n < omega}A^{n}$, but i’m not truly sure about that equality.

It appears to me that you are asking about the case of finite sequences as you worked out the finite subsets yourself. There are also other questions that think about finite sets: The cardinality of the set of all finite subsets of an infinite set. Here is my proof of your theorem.

If $Card(A) = kappa$ is an infinite cardinal then $Card(A times A) = Card(A^{< omega}) = kappa$.

**Proof**

$Card(A times A) = Card(A) cdot Card(A) = kappa cdot kappa = max(kappa,kappa) = kappa$.

Clearly, by finite induction, it follows that $Card(A^n) = kappa$ for all $n < omega$.

Now, observe that $A^{< omega} = bigcup_{n < omega} A^n$ is bijective with $mathbb{N} times A$ or equivalently with $mathbb{N} times kappa$. So: $Card(A^{< omega}) = Card(mathbb{N} times kappa) = mathbb{N} cdot A = max(mathbb{N}, kappa) = kappa$.

The bijection seems easy, choose $x in bigcup_{n < omega} A^n$ then $x in A^i$ for a unique $i$ (indeed, this union must be disjoint since each component has a different length). Then assign $x$ to $(i,x)$. The inverse would assign $(i,x)$ to the element $x$ of $A^i$.

Answered by Rodrigo on November 27, 2020

Get help from others!

Recent Answers

- Peter Machado on Why fry rice before boiling?
- haakon.io on Why fry rice before boiling?
- Joshua Engel on Why fry rice before boiling?
- Lex on Does Google Analytics track 404 page responses as valid page views?
- Jon Church on Why fry rice before boiling?

Recent Questions

- How can I transform graph image into a tikzpicture LaTeX code?
- How Do I Get The Ifruit App Off Of Gta 5 / Grand Theft Auto 5
- Iv’e designed a space elevator using a series of lasers. do you know anybody i could submit the designs too that could manufacture the concept and put it to use
- Need help finding a book. Female OP protagonist, magic
- Why is the WWF pending games (“Your turn”) area replaced w/ a column of “Bonus & Reward”gift boxes?

© 2024 TransWikia.com. All rights reserved. Sites we Love: PCI Database, UKBizDB, Menu Kuliner, Sharing RPP