Definizione limite destro e limite sinistro

garnak.olegovitc1
Salve a tutti,
vorrei più una conferma sulle seguenti definizioni, avevo letto delle definizioni \( (\delta , \epsilon) \) di limite destro e limite sinistro, poi sfogliando il Prodi mi sono trovato delle definizioni più interessanti, in queste si faceva uso della restrizione, e volevo un ok da parte di qualche utente se sono corrette (aggiungo anche una proprietà più per sapere se l'enunciato è giusto/corretto):

Def.: siano dati \( \mathfrak{f}: a \to \mathbb{R} \), ove \( a \subseteq \mathbb{R} \), ed \( c,l \in \mathbb{R} \), ove \( c \) è punto di accumulazione per \( (a \cap \mathbb{R}^{ \succ c}) \), dicesi che \( l \) è limite destro di \( \mathfrak{f} \) per \(x\) che tende a \( c \), ed indicasi con la scrittura \( \lim\limits_{x\to c^+} \mathfrak{f}(x) \), se
1) \( l=\lim\limits_{x\to c} \mathfrak{f}\restriction_{(a \cap \mathbb{R}^{ \succ c})}(x)\)

Def.: siano dati \( \mathfrak{f}: a \to \mathbb{R} \), ove \( a \subseteq \mathbb{R} \), ed \( c,l \in \mathbb{R} \), ove \( c \) è punto di accumulazione per \( (a \cap \mathbb{R}^{ \prec c}) \), dicesi che \( l \) è limite sinistro di \( \mathfrak{f} \) per \(x\) che tende a \( c \), ed indicasi con la scrittura \(\lim\limits_{x\to c^-} \mathfrak{f}(x) \), se
1) \( l=\lim\limits_{x\to c} \mathfrak{f}\restriction_{(a \cap \mathbb{R}^{ \prec c})}(x)\)

Prop.: siano dati \( \mathfrak{f}: a \to \mathbb{R} \), ove \( a \subseteq \mathbb{R} \), ed \( c,l \in \mathbb{R}\), ove \( c \) è punto di accumulazione per \( a \), allora
1) \( l=\lim\limits_{x\to c} \mathfrak{f}(x) \leftrightarrow l=\lim\limits_{x\to c^-} \mathfrak{f}(x)=\lim\limits_{x\to c^+} \mathfrak{f}(x) \)

Ringrazio anticipatamente!!
Cordiali saluti

P.S.=Perdonatemi, ma noto che in alcuni parti del testo le formule non sono allineate come si deve...

Risposte
Rigel1
Le definizioni sono corrette.
Nella proposizione occorre richiedere, come ipotesi, che \(c\) sia di accumulazione sia per \(a\cap (c, +\infty)\) che per \(a\cap (-\infty, c)\), se si vuole che i limiti sinistro e destro abbiano senso.

garnak.olegovitc1
@Rigel,

"Rigel":
Le definizioni sono corrette.
Nella proposizione occorre richiedere, come ipotesi, che \(c\) sia di accumulazione sia per \(a\cap (c, +\infty)\) che per \(a\cap (-\infty, c)\), se si vuole che i limiti sinistro e destro abbiano senso.


okok.. grazie mille della risposta e dell'aiuto!

Saluti

gugo82
"Rigel":
Le definizioni sono corrette.

Ma le notazioni orride come al solito... :lol:

garnak.olegovitc1
@gugo82,

"gugo82":
[quote="Rigel"]Le definizioni sono corrette.

Ma le notazioni orride come al solito... :lol:[/quote]

ehehe :-D okok prenderò nota, come scriveresti tu? :)

Grazie della risposta intanto!

Saluti

Rispondi
Per rispondere a questa discussione devi prima effettuare il login.