Re: Funzione non superiormente limitata

Messaggioda Salvy » 12/07/2019, 18:19

@melia ha scritto:salvy, credo che tu abbia dei problemi con la dimostrazione per assurdo. Forse ti conviene guardare qui, per chiarirti un po' le idee.

Con la dimostrazione ci sono , non capisco cosa c'entra la successione e quell'indice n ...
Darò in ogni caso una lettura a ciò che mi hai linkato
Salvy
Junior Member
Junior Member
 
Messaggio: 208 di 328
Iscritto il: 02/11/2017, 18:57

Re: Funzione non superiormente limitata

Messaggioda axpgn » 12/07/2019, 18:33

Questa scrittura
Salvy ha scritto: $ AA $ $n$ $ in N $ $ EE $ $ (x_n) $ $in$ $ [a, b]$

non è altro che una (qualsiasi) funzione così fatta $f: NN -> [a,b]\ \ \ \ \ \ \ \ \ n\mapstox_n$ ovvero una funzione che ha come dominio $NN$ e come codominio l'intervallo $[a,b]$ ovvero è una successione (infinita) i cui valori sono compresi nell'intervallo $[a,b]$
axpgn
Cannot live without
Cannot live without
 
Messaggio: 13810 di 14474
Iscritto il: 20/11/2013, 22:03

Re: Funzione non superiormente limitata

Messaggioda Salvy » 12/07/2019, 19:05

axpgn ha scritto:Questa scrittura
Salvy ha scritto: $ AA $ $n$ $ in N $ $ EE $ $ (x_n) $ $in$ $ [a, b]$

non è altro che una (qualsiasi) funzione così fatta $f: NN -> [a,b]\ \ \ \ \ \ \ \ \ n\mapstox_n$ ovvero una funzione che ha come dominio $NN$ e come codominio l'intervallo $[a,b]$ ovvero è una successione (infinita) i cui valori sono compresi nell'intervallo $[a,b]$

perfetto,grazie mille
Salvy
Junior Member
Junior Member
 
Messaggio: 209 di 328
Iscritto il: 02/11/2017, 18:57

Re: Funzione non superiormente limitata

Messaggioda gugo82 » 14/07/2019, 02:16

Salvy ha scritto:Se f non è superiormente limitata, allora $ AA n in NN, EE x_n in [a, b] : f(x_n) > n$.
Potreste spiegarmi cosa significa?

Salvy ha scritto:Significa che la funzione, non essendo superiormente limitata, non ammette maggioranti.

No, non significa questo.

La frase significa che “in corrispondenza di ogni numero naturale $n$ si può determinare (almeno) un elemento di $[a,b]$, denotato con $x_n$ per rendere esplicita la dipendenza da $n$, il quale gode della proprietà $f(x_n) > n$ (ossia, il quale è una soluzione della disequazione $f(x) > n$)”.

Chiarito che questo:
la funzione, non essendo superiormente limitata, non ammette maggioranti

scritto da te non è il significato della frase:
$ AA n in NN, EE x_n in [a, b] : f(x_n) > n$

cerchiamo di capire quale legame sussiste tra le due frasi.
Come già visto nel dispiegarsi del thread, le due proposizioni citate sono equivalenti, nel senso che il valere dell’una implica l’altra e viceversa.
Testo nascosto, fai click qui per vederlo
Dim.: Proviamo che \(\sup_{[a,b]} f = +\infty\) implica $ AA n in NN, EE x_n in [a, b] : f(x_n) > n$.
Per definizione, si ha \(\sup_{[a,b]} f = +\infty\) se e solo se $f$ non ha maggioranti in $[a,b]$, ossia se risulta $AA M in RR, EE x=x_M in [a,b] : f(x_M) > M$. Ma allora, prendendo $M = n in NN sub RR$ (cosa lecita, per la presenza del quantificatore universale $AA$), la precedente si particolarizza come $AA n in NN, EE x=x_n in [a,b]: f(x_n) > n$ che è quanto volevamo.

Proviamo che $ AA n in NN, EE x_n in [a, b] : f(x_n) > n$ implica \(\sup_{[a,b]} f = +\infty\).
Fissiamo arbitrariamente un $M in RR$. Per ovvi motivi, esiste (almeno) un numero $nu=nu_M in NN$ tale che $nu_M >= M$; e, per ipotesi, in corrispondenza del numero naturale $nu_M$ è possibile determinare $x=x_(nu_M)=x_M in [a,b]$ che gode della proprietà $f(x_M) > nu_M >= M$.
Data l’arbitrarietà nella scelta di $M$, il ragionamento appena fatto prova che $AA M in RR, EE x=x_M in [a,b]: f(x_M) >M$, cioè che \(\sup_{[a,b]} f = +\infty\). 8-)
Sono sempre stato, e mi ritengo ancora un dilettante. Cioè una persona che si diletta, che cerca sempre di provare piacere e di regalare il piacere agli altri, che scopre ogni volta quello che fa come se fosse la prima volta. (Freak Antoni)
Avatar utente
gugo82
Moderatore globale
Moderatore globale
 
Messaggio: 21951 di 22772
Iscritto il: 12/10/2007, 23:58
Località: Napoli

Re: Funzione non superiormente limitata

Messaggioda Salvy » 14/07/2019, 10:05

Grazie mille
Salvy
Junior Member
Junior Member
 
Messaggio: 210 di 328
Iscritto il: 02/11/2017, 18:57

Precedente

Torna a Analisi matematica di base

Chi c’è in linea

Visitano il forum: Nessuno e 50 ospiti