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

1 Asked on January 3, 2022

2 Asked on January 3, 2022

coding theory combinatorics contest math discrete mathematics puzzle

0 Asked on January 3, 2022 by correaswebert

4 Asked on January 3, 2022 by drich1002

algebra precalculus average contest math diophantine equations elementary number theory

2 Asked on January 3, 2022 by big-altz

2 Asked on January 3, 2022

lebesgue integral lebesgue measure measure theory real analysis

2 Asked on January 3, 2022 by pencil321

0 Asked on January 3, 2022 by laurencevs

1 Asked on January 3, 2022

1 Asked on January 3, 2022

algebraic geometry category theory grothendieck topologies moduli space sheaf theory

1 Asked on January 3, 2022

expected value normal distribution probability probability theory

0 Asked on January 3, 2022 by ayanoria

0 Asked on January 3, 2022

1 Asked on January 1, 2022

0 Asked on January 1, 2022 by inbrevi

1 Asked on January 1, 2022

Get help from others!

Recent Answers

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

Recent Questions

- 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?
- Does Google Analytics track 404 page responses as valid page views?

© 2022 AnswerBun.com. All rights reserved. Sites we Love: PCI Database, MenuIva, UKBizDB, Menu Kuliner, Sharing RPP, SolveDir