#14a Teorema di Hartogs

Questo teorema ci garantisce che abbiamo |S|≤ |T|  oppure  |T|≤ |S|. Se sono vere entrambe allora |S|=|T| (Teorema di Cantor) Prendiamo una famiglia F di funzioni che da A vanno a T come nel seguente schema, dove A ⊆ B ⊆ S. Risulta ovvio che la relazione d'ordine jA < JB possano rappresentare funzioni identiche per ogni a ∈... Continue Reading →

#8e

Nel primo esercizio basta notare le analogie che stanno nell'uguaglianza dei due coefficienti per capire che forse è inutile stare a trasformare le permutazioni, quindi bastano pochi passaggi algebrici per capire che la soluzione è più vicina di quanto sembri Nel secondo esercizio le condizioni di esistenza devono essere x≥4, quindi al primo passaggio sostituiamo la... Continue Reading →

#13a Prodotto Cartesiano

Assioma della scelta: Sia I un insieme (di indici), ed X = {Xi,i ∈ I} una famiglia di insiemi (indicizzati da I); indichiamo inoltre con X l’unione di tutti gli Xi. Allora esiste una funzione di scelta, cioè un’applicazione f : I → X tale che f(i)∈Xi  per ogni i∈I. Tralasciando che il II è... Continue Reading →

#12a Assioma della Scelta – Axiom of Choice

L'assioma della scelta è un concetto sottile ed a prima vista scontato ma che dà una base solida ad ogni insieme e rapporto tra elementi. Ottenuto il concetto andiamo in profondità: ∀F (Famiglia) :∅∉F∃ sempre una funzione di scelta. ƒ: S --> ∪ {Xi:i∈ I di F} S costituisce un'altro insieme cioè ∪(X,x) delle funzioni e di conseguenza... Continue Reading →

#10a relazioni: Equivalenza, Preordine ed Ordine

Si chiamano relazioni di Equivalenza quando hanno una funzione binaria ℜ su di un insieme X e soddisfano le 3 seguenti proprietà: riflessiva - aℜa simmetrica - aℜb = bℜa transitiva - aℜb = bℜc ⇒ aℜc e ad ogni ℜ si associano elementi tra loro che costituiscono una classe di equivalenza : [a]Þ = { x∈X :... Continue Reading →

Blog at WordPress.com.

Up ↑

%d bloggers like this: