Proprietà dell'estremo inferiore.

Messaggioda galles90 » 15/04/2019, 10:21

Buongiorno,

ho il seguente dubbio, che sarà una sciocchezza, ma vorroei chiarirlo.
Se ho due insieme tali che $A subset B$, entrambi non vuoti e limitati inferiormente, posto $m, M$ estremo inferiore di $B$ estremo inferiore di $A$, rispettivamente, allora si ha che $m le M$.

Ricordo la defizione di estremo inferiore; sia $X subset mathbb{R}$ ed $m in mathbb{R}$. Si che $m$ è l'estremo inferiore di $X$ se:
1) $forall x in X : \ m le x$
2) $forall epsilon > 0 \ exists x in X : \ x<m+epsilon$

La prima è chiara, invece per la seconda dovrei verificare:
$b<(m+e) le a<(M+e)$
la coppia prima-seconda è valida, la coppia terza-quarta è valida, occorre verificare solo la coppia seconda-terza, cioè, $m+epsilon le a $

Procedo bene cosi ?
Avatar utente
galles90
Senior Member
Senior Member
 
Messaggio: 759 di 1796
Iscritto il: 17/10/2016, 17:56
Località: Salerno

Re: Proprietà dell'estremo inferiore.

Messaggioda marco2132k » 15/04/2019, 13:43

Ciao. Procedi per assurdo.
marco2132k
Advanced Member
Advanced Member
 
Messaggio: 227 di 2053
Iscritto il: 18/02/2018, 23:52

Re: Proprietà dell'estremo inferiore.

Messaggioda gugo82 » 15/04/2019, 22:20

Quella che dai non è la definizione di estremo inferiore.
La definizione è:
Sia $X subseteq RR$ non vuoto.
Se $X$ non è limitato inferiormente, si pone per definizione $text(inf) X = -oo$.
Se $X$ è limitato inferiormente, l’estremo inferiore di $X$ è il massimo dei minoranti di $X$.
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
Cannot live without
Cannot live without
 
Messaggio: 21159 di 44915
Iscritto il: 12/10/2007, 23:58
Località: Napoli

Re: Proprietà dell'estremo inferiore.

Messaggioda galles90 » 16/04/2019, 08:16

gugo82 ha scritto:Quella che dai non è la definizione di estremo inferiore.
La definizione è:
Sia $X subseteq RR$ non vuoto.
Se $X$ non è limitato inferiormente, si pone per definizione $text(inf) X = -oo$.
Se $X$ è limitato inferiormente, l’estremo inferiore di $X$ è il massimo dei minoranti di $X$.


gugo 82, hai ragione, mi sono dimenticato :-) di specificare che $A,B$ sono limitati inferiormente.
Riporto la definizione di estremo inferiore di un insieme, cioè,
sia $X subseteq mathbb{R}$ tale che sia, diverso dall'insieme vuoto e limitato inferiormente, quindi:
\(\displaystyle s=\mbox{inf(X)} \leftrightarrow \begin{cases} s \le x \qquad \forall x \in X \\ \forall \epsilon > 0 \qquad \exists x \in X\ : \ x<s+\epsilon \end{cases} \)
con $s in mathbb{R}$.
Per non creare confusione posto di nuovo i dati:
$A subset B to m=\mbox{inf(B)} le \mbox{inf(A)}=M$

potrei applicare stesso la definizione suddetta, in quando posso supporre che $M in B$, inoltre, sempre dalla definizione di estremo inferiore, in particolare dalla prima si ha $m le M$.

Non se è corretta come cosa, se ci manca qualcosa, ditemi voi se va bene

Ciao
Avatar utente
galles90
Senior Member
Senior Member
 
Messaggio: 761 di 1796
Iscritto il: 17/10/2016, 17:56
Località: Salerno


Torna a Analisi matematica di base

Chi c’è in linea

Visitano il forum: Nessuno e 1 ospite