Pagina 1 di 1

Senza perdità di generalità.

MessaggioInviato: 26/03/2020, 02:12
da 3m0o
Probabilmente mi sto perdendo in un bicchiere d'acqua. Ma la giustificazione di un "senza perdita di generalità" mi sembra "invertita".

L'enunciato dell'esercizio è il seguente
Siano \( J_n = ]c_n,d_n[ \) tale che \[ ]a,b[ \subset [a,b] \subset \bigcup_{n=1}^{N} J_n \]
dimostra che
\[ b-a \leq \sum_{n=1}^{N} \operatorname{long}(J_n) \]

La giustificazione del correttore:
Possiamo supporre senza perdita di generalità che nessun \( J_n \) è incluso in un \(J_m \) infatti se togliamo \( J_n \) il risultato è ancora vero a fortiori. E possiamo supporre senza perdita di generalità che per tutti gli \(n \) abbiamo che \( J_n \cap [a,b] \neq 0 \). Infatti togliendolo il risultato è ancora vero.

Secondo me è logicamente più corretto dire
Possiamo supporre senza perdita di generalità che nessun \( J_n \) è incluso in un \(J_m \) infatti se aggiungiamo \( J_n \) il risultato è ancora vero a fortiori. E possiamo supporre senza perdita di generalità che per tutti gli \(n \) abbiamo che \( J_n \cap [a,b] \neq 0 \). Infatti aggiungendolo il risultato è ancora vero.

Insomma il ragionamento delle soluzioni mi sembra
Se \( J_n \subset J_m \) per qualche \(1 \leq n,m \leq N \) e per ipotesi
\[ b-a \leq \sum_{k=1}^{N} \operatorname{long}(J_k) \]
allora risulta vero anche
\[ b-a \leq \sum_{k=1, k \neq n }^{N} \operatorname{long}(J_k) \leq \sum_{k=1}^{N} \operatorname{long}(J_k) \]
Cosa che a priori potrebbe essere sbagliata. Perché potremmo avere
\[\sum_{k=1, k \neq n }^{N} \operatorname{long}(J_k)\leq b-a \leq \sum_{k=1}^{N} \operatorname{long}(J_k) \]
È corretto invece dire
Se \( J_n \subset J_m \) per qualche \(1 \leq n,m \leq N \) e per ipotesi
\[ b-a \leq \sum_{k=1, k \neq n}^{N} \operatorname{long}(J_k) \]
allora risulta vero anche
\[ b-a \leq \sum_{k=1, k \neq n }^{N} \operatorname{long}(J_k) \leq \sum_{k=1}^{N} \operatorname{long}(J_k) \]

Idem per il wlog relativo a \( J_n \cap [a,b] \neq \emptyset \).
Ho ragione? Se sì, sono troppo pignolo?

Re: Senza perdità di generalità.

MessaggioInviato: 26/03/2020, 21:21
da Bremen000
Ho capito cosa dici e secondo me entrambe i paragrafi scritti in linguaggio naturale sono ambigui. Infatti in entrambi i casi sarebbe meglio dire "infatti se [...], l'ipotesi continua a valere e se vale la tesi anche in questo caso vale anche quando [...] a maggior ragione".
Quello che vuole dire la soluzione, e che tu hai capito perfettamente è questo
3m0o ha scritto:[...]
È corretto invece dire
Se \( J_n \subset J_m \) per qualche \( 1 \leq n,m \leq N \) e per ipotesi
\[ b-a \leq \sum_{k=1, k \neq n}^{N} \operatorname{long}(J_k) \]
allora risulta vero anche
\[ b-a \leq \sum_{k=1, k \neq n }^{N} \operatorname{long}(J_k) \leq \sum_{k=1}^{N} \operatorname{long}(J_k) \]

Idem per il wlog relativo a \( J_n \cap [a,b] \neq \emptyset \).[...]

E si, sei troppo pignolo :D

Re: Senza perdità di generalità.

MessaggioInviato: 27/03/2020, 14:31
da 3m0o
Ok perfetto. E si sono un po' pignolo :D

Re: Senza perdità di generalità.

MessaggioInviato: 27/03/2020, 15:24
da vict85
Di fatto, entrambi i discorsi sono formalmente sbagliati. Il primo perché parla come se la tesi fosse già dimostrata e il tuo perché aggiunge quando invece stai togliendo. Insomma, la tua seconda frase non è logicamente più corretta della prima.

Io personalmente lo direi così:
Possiamo supporre, senza perdita di generalità, che non esista alcun sottoinsieme \(\mathcal{J}'\subsetneq \mathcal{J} = \{J_i : 1\le i \le N\}\) tale che \(\bigcup_{J\in\mathcal{J}'} J \supset [a,b]\). Infatti, se \(\mathcal{J}\) fosse un controesempio della proposizione, qualsiasi \(\mathcal{J}'\subsetneq \mathcal{J}\) che soddisfacesse quella proprietà sarebbe anch'esso un controesempio della proposizione.

Re: Senza perdità di generalità.

MessaggioInviato: 27/03/2020, 17:34
da 3m0o
Ma no scusa, io posso supporre che la tesi è già dimostrata con gli insiemi che non sono inclusi uno in un altro e poi aggiungendo un insieme che è incluso in un altro vedo che se la tesi è dimostrata allora resta vero a maggior ragione. Chiaro devo dimostrare la tesi.

Re: Senza perdità di generalità.

MessaggioInviato: 27/03/2020, 18:00
da vict85
Si, ma nella tua frase non lo avevi scritto esattamente così. Il problema di entrambi i testi era che nessuno dei due aveva dichiarato di supporre vero il caso minimale.