Teorema di Hartogs (teoria degli insiemi): dimostrazione

tramite: O2O
Difficoltà: difficile
19

Introduzione

La matematica è una materia tanto affascinante quanto complessa. Una volta capita e compresi i suoi meccanismi studiarla risulterà molto più semplice, e in alcuni casi anche divertente. In questa guida parlerò di teoria degli insiemi, in particolare vi spiegherò il Teorema di Hartogs con la sua relativa dimostrazione. La teoria degli insiemi si colloca nell'ambito della logica matematica. È la branca della matematica che studia i sistemi formali per quanto riguarda il modo di codificare i concetti intuitivi. La dimostrazione e computazione come parte dei fondamenti della scienza matematica. Analizziamone quindi la dimostrazione attraverso pochi e semplici passaggi di questa guida. Mettiamoci all'opera.

29

Occorrente

  • Libri di matematica
39

Teorema di Hartogs: Friedrich Haetogs

Il Teorema di Hartogs, che venne dimostrato dal matematico tedesco Friedrich Hartogs (Bruxelles, 20 maggio 1874 – Monaco di Baviera, 18 agosto 1943), afferma che dati due insiemi qualsiasi che chiameremo A e B: la Cardinalità di A ≤ della Cardinalità di B; oppure che la Cardinalità di B è ≤ della Cardinalità di A.

49

Il concetto di Cardinalità:

Nella teoria degli insiemi intendiamo per cardinalità (detta anche numerosità oppure potenza) di insieme finito il numero dei suoi elementi. Riconducendoci all'enunciato precedente, possiamo affermare che tutti gli insiemi, anche se illimitati, hanno cardinalità comparabile.

Continua la lettura
59

Dimostrazione dell'assioma

Andiamo ora a dimostrare che l'assioma della scelta implichi che tutte le cardinalità siano comparabili. Presi A e B, due insiemi, ponendo (P, ≤). Cioè un insieme parzialmente ordinato tale.
1) Gli elementi di P sono terne (X, F, Y) dove X ⊂ A, Y ⊂ B e F è una iniezione da X a Y.
2) La relazione d'ordine ≤ è la seguente: (X, F, Y) ≤ (X1, F1, Y1) se e solo se X ⊂ X1, Y ⊂ Y1 e F1 ristretta a X è uguale a F.

69

Elementi massimali

Sia C una catena di (P, ≤) tale che (X1, F1, Y1) ≤ (X2, F2, Y2) ≤ (X3, F3, Y3)... ≤ (Xi, Fi, Yi) ≤ ...
Siano:
W:= X1 U X2 U X3... U Xi ... = Ui XiZ:= Y1 U Y2 U Y3... U Yi ... = Ui Yi
Poniamo g (la funzione) da W a Z tale che se x ∈ Xi allora g (x) = Fi (x). Funzione iniettiva e ben definita, W ⊂ A e Z ⊂ B, quindi (W, g, Z) ∈ (P, ≤).
(W, g, Z) è maggiorante di C, infatti Xi ⊂ W e Yi ⊂ Z, per ogni indice i, e g ristretto a Xi uguale a Fi per definizione di g. Sono in questo modo verificate le ipotesi dell'assioma della scelta, in questo modo esiste un elemento massimale (M, h, N).

79

Fare pratica con gli esercizi

È dimostrato dunque che M = A o N = B e supponendo per assurdo che ciò sia falso, ossia che M ≠ A e N ≠ B si ha quindi che esistono a ∈ A \ M e b ∈ B \ N. Tuttavia questo è assurdo poiché (M, h, N) è massimale. Da qui ne consegue che M = A o N = B, quindi vi è una iniezione da A in un sottoinsieme di B o da B in un sottoinsieme di A, deduciamo dunque che: la Cardinalità di A ≤ della Cardinalità di B; oppure che la Cardinalità di B è ≤ della Cardinalità di A.
Per poter apprendere e assimilare meglio i concetti matematici, è necessario fare molta pratica con gli esercizi, che sono la via più diretta e semplice per imparare a fondo i vari teoremi. Seguendo le istruzioni e le spiegazioni di questa guida avrete uno strumento in più per arrivare alla risoluzione del problema molto più in fretta, ed integrare il vostro materiale di studio.
Non mi resta che augurarvi buon lavoro e buono studio.
Alla prossima.

89

Guarda il video

99

Consigli

Non dimenticare mai:
  • Su internet potete aiutarvi con i vari siti dedicati al teorema di Hartogs
Alcuni link che potrebbero esserti utili:

Potrebbe interessarti anche

Segnala contenuti non appropriati

Tipo di contenuto
Devi scegliere almeno una delle opzioni
Descrivi il problema
Devi inserire una descrizione del problema
Si è verificato un errore nel sistema. Riprova più tardi.
Segnala il video che ritieni inappropriato
Devi selezionare il video che desideri segnalare
Verifica la tua identità
Devi verificare la tua identità
chiudi
Grazie per averci aiutato a migliorare la qualità dei nostri contenuti

Guide simili

Università e Master

Teorema di Heine-Cantor: dimostrazione

La matematica e la fisica non sono tra le materie particolarmente apprezzate dai ragazzi. La difficoltà sta nel fatto che i concetti sono tutti legati tra di essi, per cui è necessario comprenderli appieno per non avere difficoltà negli studi a seguire....
Università e Master

Teorema di Desargues: dimostrazione

Come avrete già potuto comprendere leggendovi il titolo che accompagna la nostra guida, ora ci concentreremo su un tema davvero importante. La materia che tratteremo sarà la geometria analitica, in quanto proveremo, nei prossimi tre passi, a spiegare...
Università e Master

Teorema di Lagrange: dimostrazione

Quante volte abbiamo provato la dimostrazione di un teorema ognuno con il proprio modo di dare risultati diversi. Il Teorema di Lagrange nella sua dimostrazione non è così intuitivo per chi non dimostra conoscenze matematiche e geometriche. C'è chi...
Università e Master

Teorema di completezza di Gödel: dimostrazione

Il teorema di completezza di Gödel è un teorema fondamentale nella logica matematica che stabilisce una corrispondenza tra verità semantica e dimostrabilità sintattica nella logica del primo ordine. Definisce inoltre uno stretto legame tra la teoria...
Università e Master

Teorema dell'elemento primitivo: dimostrazione

La dimostrazione di un teorema, in qualsiasi campo matematico, desta da sempre molte difficoltà. Spesso i passaggi vengono spiegati molto velocemente e questo è causa di incomprensione da parte di chi si avvicina alla loro risoluzione. È pur vero,...
Università e Master

Teorema del grafico chiuso: dimostrazione

Riuscire ad imparare la dimostrazione il teorema del grafico chiuso non è una cosa semplice da riuscire a fare, ma tuttavia cercheremo oggi di aiutarvi in tutto ciò in modo propedeutico e forse ciò che faremo vi potrà inizialmente sembrare strano,...
Università e Master

Teorema della curva di Jordan: dimostrazione

Teorema ricorrente negli studi di materie universitarie come la geometria, l'analisi e la topologia di spazi euclidei è il Teorema della Curva di Jordan. Sono infatti moltissimi gli enunciati che, a partire da questo teorema, ci restituiscono soluzioni...
Università e Master

Teorema di Lebesgue: dimostrazione

Il Teorema di Lebesgue, conosciuto anche come teorema di Vitali-Lebesgue, nel campo dell'analisi matematica è una proposizione che determina l'equivalenza tra una funzione e la derivata del suo integrale, ovvero un operatore che associa alla funzione...
I presenti contributi sono stati redatti dagli autori ivi menzionati a solo scopo informativo tramite l’utilizzo della piattaforma www.o2o.it e possono essere modificati dagli stessi in qualsiasi momento. Il sito web, www.o2o.it e Arnoldo Mondadori Editore S.p.A. (già Banzai Media S.r.l. fusa per incorporazione in Arnoldo Mondadori Editore S.p.A.), non garantiscono la veridicità, correttezza e completezza di tali contributi e, pertanto, non si assumono alcuna responsabilità in merito all’utilizzo delle informazioni ivi riportate. Per maggiori informazioni leggi il “Disclaimer »”.