EDB — 2BZ

view in whole PDF view in whole HTML

View

English

E84

[2BZ]Prerequisites:[2BX].Consider the Zermelo-Fraenkel set theory, and this statement:

Given any \(A,B\) non-empty sets such that there exists a surjective function \(g:B→ A\), then there exists an injective function \(f:A→ B\) such that \(g◦ f=\text{Id}_ A\).

Prove that this statement implies the Axiom of Choice.

Solution 1

[2C0]

Download PDF
Bibliography
Book index
  • left inverse
  • function, left inverse
Managing blob in: Multiple languages
This content is available in: Italian English