Affinare il linguaggio

[Ianero]

Come consigliatomi da DirtyDeeds, sono tornato indietro a prendere gli esercizi più facili per affinare il linguaggio matematico e il metodo dimostrativo, sperando in una sua supervisione

Credo di aver saputo risolvere questo:

Let be a mapping from X into Y. Show that if A and B are subsets of X, then

Io l'ho svolto in questo modo:







Che ne dici?

Grazie in anticipo per il tempo che metti a disposizione per aiutarmi.

[DirtyDeeds]

Sì, la dimostrazione è corretta, bravo.

Però non esagerare nello scrivere formule, perché una dimostrazione deve essere anche leggibile, usa di più il linguaggio naturale, e sottoindendi qualche passo banale.

Io la riscriverei così:

Sia . Allora esiste tale che . Ma e , quindi e . Di conseguenza , e poiché è generico, .

[Ianero]

Grazie dei consigli.
Posso proporne un altro o, se vuoi chiaramente, avresti qualche esercizio particolarmente istruttivo da consigliarmi?

Grazie ancora.

[Sjuanez]

Io cercavo qualche suggerimento per scrivere proprio meglio la matematica "a penna". Riesco in qualche modo sempre ad incasinare tutto e quando vedo come scrivono bene delle altre persone ... argghh!

[AjeieBrazov]

Esercizio.
E' solo una questione di esercizio.

[Sjuanez]

Dici bene! È che all'esercizio estetico si aggiunge quello matematico e finisco sempre per trascurare un aspetto

[Ianero]

Sto cercando di capire cosa viene chiesto in questo esercizio:

a) Show that the inclusion relation is a partial ordering relation on sets;
b) Let A,B,C sets such that , , , . We introduce a partial ordering into this triple of sets as in a). Exhibit the maximal and minimal elements of the set {A,B,C}. (Pay attention to the non-uniqueness)

Per il punto primo è facile mostrare un esempio in cui non è vero che dati due insiemi A e B, allora oppure .
Esempio stupido: A={1} e B={2}.

Per il punto secondo invece posso dire che il massimo dell'insieme {A,B,C} è C, ma non capisco perché mi chiede anche il minimo: non esiste, perché non è verificata per nessuno dei tre la definizione di minimo, ovvero X è il minimo di {A,B,C} se

e inoltre

Qualcuno ne sa di più?

[DirtyDeeds]

Per il punto primo è facile mostrare un esempio in cui non è vero che dati due insiemi A e B, allora oppure .

Ecco, vedi perché è importante che tu ti eserciti a fare esercizi semplici? Non è questo quello che devi dimostrare Il primo punto ti chiede di dimostrare che la relazione di inclusione è una relazione di ordine parziale: questo significa che devi verificare che la relazione d'ordine soddisfa alle proprietà che definiscono una relazione d'ordine parziale. Il tuo esempio non dimostra questo.

Inizia a fare questo, poi vediamo il secondo punto

[AjeieBrazov]

Devi dimostrare che la relazione è:
- Riflessiva
- Antisimmetrica
- Transitiva

[Ianero]

In realtà avevo capito che bisognava dimostrare le 3 solite proprietà, ma le avevo date per "ovvie" e pensavo che la cosa davvero interessante era far vedere che la relazione d'ordine non fosse un ordinamento lineare, ma solo parziale.
Ad ogni modo avete ragione, non ho seguito ciò che mi chiedeva:

Ogni insieme è un sottoinsieme improprio di se stesso - riflessività.
Se e , allora vuol dire che A e B contengono gli stessi elementi, ovvero - antisimmetria.
e è equivalente a ovvero ovvero - transitività.