L’insieme f = {‹x,y› appartiene a ω×ω : y = x+} è una funzione da ω in ω perchè da y = x+ e y' = x+ segue y = y'. f è inoltre definita su tutto ω perchè, essendo tale insieme induttivo, per ogni x appartenente a ω, x+ appartenente a ω e quindi la coppia ‹x,x+› appartiene a f.
Usando il teorema enunciato qui sotto si dimostri che f è una biiezione tra ω e un suo sottoinsieme proprio.
Teorema
Siano n, m arbitrari elementi di ω e X un sottoinsieme di ω. Allora:
(I) Ø≠n+;
(II) n+ = m+ implica n = m;
(III) se Ø appartiene a X e, per ogni k appartenente a ω, k appartenente a X implica k+ appartiene a X, allora X=ω.
Quale potrebbe essere una possibile soluzione?
Grazie
TEORIA ASSIOMATICA DEGLI INSIEMI (parte 4)
Analisi, algebra lineare, topologia, gruppi, anelli, campi, ...
Torna a “Matematica non elementare”
Vai a
- Getting Started
- ↳ Comitato di accoglienza nuovi utenti
- ↳ Ciao a tutti, mi presento:
- ↳ Glossario e teoria di base
- Problem solving olimpico
- ↳ Algebra
- ↳ Combinatoria
- ↳ Geometria
- ↳ Teoria dei Numeri
- Altri esercizi
- ↳ Matematica ricreativa
- ↳ Matematica non elementare
- ↳ Fisica
- ↳ Informatica
- Supporto tecnico
- ↳ Il sito delle olimpiadi della matematica
- ↳ LaTeX, questo sconosciuto
- Gare e concorsi
- ↳ Olimpiadi della matematica
- ↳ Gara a squadre
- ↳ Giornalino del gruppo tutor
- ↳ Altre gare
- ↳ Scuole d'eccellenza e borse di studio
- Tra un problema e l'altro...
- ↳ Cultura matematica e scientifica
- ↳ Il colmo per un matematico
- ↳ Discorsi da birreria
- I messaggi del vecchio forum (memoria storica di sola lettura)
- ↳ [vecchio forum]Le olimpiadi della matematica
- ↳ [vecchio forum]Come vedo il sito delle Olimpiadi della Matematica
- ↳ [vecchio forum]Giornalino della Matematica
- ↳ [vecchio forum]Gruppo Tutor
- ↳ [vecchio forum]Proponi gli esercizi
- ↳ [vecchio forum]Compro, baratto, vendo, rido!
- ↳ [vecchio forum]Cesenatico
- ↳ [vecchio forum]Sondaggi, che passione!
- ↳ [vecchio forum]Proposte ai Responsabili Provinciali
- ↳ [vecchio forum]Tra responsabili
- ↳ [vecchio forum]Non solo Matematica!