Prove No Bijection between x and x^+

  • Context:
  • Thread starter Thread starter Andrei1
  • Start date Start date
  • Tags Tags
    Set
Join the discussion
Ask a follow-up here, or get your own question answered by working scientists, mathematicians and engineers — people, not an autocomplete.
Real named experts · corrections over time · the nuance an AI answer skips
1 reply · 1K views
Andrei1
Messages
36
Reaction score
0
Let $$x$$ be a natural number (set). How to prove that there is no bijection between $$x$$ and $$x^+$$, where $$x^+=x\cup\{x\}$$? Then I can show that $$\mathrm{card}\,x<\mathrm{card}\,x^+.$$ I know that $$x\notin x.$$
 
Physics news on Phys.org
Andrei said:
$$\mathrm{card}\,x<\mathrm{card}\,x^+.$$
I took this problem from Zorich "Mathematical analysis". Zorich spoke just twice about infinity before this problem: 1. Dedekind's definition, 2. Axiom of infinity. Suppose there is a bijection from $$x$$ to $$x^+.$$ Since $$x\subset x^+$$, then $$x$$ is infinite by 1, which is false, but I don't know how to prove it.