Polynomial of best approximation
Non so se esista una traduzione italiana diversa da “polinomio di approssimazione ottima”, ma ad ogni modo...
https://math.stackexchange.com/question ... xist-a-deg
È sufficiente leggere solo l’ultima risposta, saltando anche la domanda, in quanto è tutto riassunto lì.
Non riesco a capire come si giustifica l’ultimo step compiuto, dopo “Therefore...”. È come se implicitamente avesse fatto sup(A) - sup(B) = sup(A-B), che non è corretto. Lui da una spiegazione, ma non mi sembra aderente con ciò che ha fatto.
Qualcuno, per favore, sa darmi una giustificazione dell’ultimo passo della dimostrazione prima della sua conclusione?
Grazie.
https://math.stackexchange.com/question ... xist-a-deg
È sufficiente leggere solo l’ultima risposta, saltando anche la domanda, in quanto è tutto riassunto lì.
Non riesco a capire come si giustifica l’ultimo step compiuto, dopo “Therefore...”. È come se implicitamente avesse fatto sup(A) - sup(B) = sup(A-B), che non è corretto. Lui da una spiegazione, ma non mi sembra aderente con ciò che ha fatto.
Qualcuno, per favore, sa darmi una giustificazione dell’ultimo passo della dimostrazione prima della sua conclusione?
Grazie.
Risposte
Ciao, ho letto il post linkato ma non approfonditamente. Vorrei suggerirti un approccio leggermente diverso, poi se non ti piace possiamo parlare di quello che non ti torna di quella risposta.
Posto
\[ j : \mathbb{R}^{n+1} \supseteq K \to \mathbb{R} \quad \quad (c_0, c_1, \dots, c_n ) \mapsto \sup_{x \in [a,b]} |c_0+c_1x+ \dots c_n x^n -f(x) | \]
ove $K$ è un opportuno compatto di \( \mathbb{R}^{n+1} \), ti basta mostrare che $j$[nota]Ma che nome è per una funzione?[/nota] è continua, cosa che non dovrebbe essere complicata. Poi, per Weierstrass, hai il tuo minimo.
Posto
\[ j : \mathbb{R}^{n+1} \supseteq K \to \mathbb{R} \quad \quad (c_0, c_1, \dots, c_n ) \mapsto \sup_{x \in [a,b]} |c_0+c_1x+ \dots c_n x^n -f(x) | \]
ove $K$ è un opportuno compatto di \( \mathbb{R}^{n+1} \), ti basta mostrare che $j$[nota]Ma che nome è per una funzione?[/nota] è continua, cosa che non dovrebbe essere complicata. Poi, per Weierstrass, hai il tuo minimo.
Ciao e grazie.
Io sto studiando la continuità su funzioni di una variabile reale, mappate in $\mathbb{R}$. Non so ancora come funziona la continuità in più dimensioni e stavo risolvendo l’esercizio proprio in quel modo linkato.
Io mi intoppo alla fine, lui no, ma non capisco come faccia.
Se puoi darmi una mano su quel particolare procedimento te ne sarei grato
Io sto studiando la continuità su funzioni di una variabile reale, mappate in $\mathbb{R}$. Non so ancora come funziona la continuità in più dimensioni e stavo risolvendo l’esercizio proprio in quel modo linkato.
Io mi intoppo alla fine, lui no, ma non capisco come faccia.
Se puoi darmi una mano su quel particolare procedimento te ne sarei grato

Dunque, ho letto il passaggio che ti turba (ma non il resto, quindi non so se è giusto). Chiamo
\[ c_p(x) := c_{0p} + c_{1p} x + ... + c_{np} x^n \quad \quad c(x):= t_0 + t_1 x + ... + t_n x^n \]
allora
\[ |k(c_{0p}, c_{1p}, ..., c_{np}) - k(t_1, t_2, ..., t_n)| = | \sup ( |f(x)-c_p(x)| ) -\sup (|f(x) - c(x)|) | \le \]
\[ \le | \sup ( |f(x)-c_p(x)| - |f(x)-c(x)| ) | \le | \sup | |f(x)-c_p(x)| - |f(x)-c(x)| | \le \]
\[ \le \sup | c_p(x)-c(x) | \le \delta M_2\]
dove ho usato che se \( f, g : [a, b] \to \mathbb{R} \) allora
\[ \sup_{x \in [a,b]} (f(x)-g(x)) \geq \sup_{x \in [a,b]}(f(x)) - \sup_{x \in [a,b]}(g(x)) \]
Comunque sotto sotto stai usando sia compattezza che continuità in più dimensioni! Spero che così sia chiaro!
\[ c_p(x) := c_{0p} + c_{1p} x + ... + c_{np} x^n \quad \quad c(x):= t_0 + t_1 x + ... + t_n x^n \]
allora
\[ |k(c_{0p}, c_{1p}, ..., c_{np}) - k(t_1, t_2, ..., t_n)| = | \sup ( |f(x)-c_p(x)| ) -\sup (|f(x) - c(x)|) | \le \]
\[ \le | \sup ( |f(x)-c_p(x)| - |f(x)-c(x)| ) | \le | \sup | |f(x)-c_p(x)| - |f(x)-c(x)| | \le \]
\[ \le \sup | c_p(x)-c(x) | \le \delta M_2\]
dove ho usato che se \( f, g : [a, b] \to \mathbb{R} \) allora
\[ \sup_{x \in [a,b]} (f(x)-g(x)) \geq \sup_{x \in [a,b]}(f(x)) - \sup_{x \in [a,b]}(g(x)) \]
Comunque sotto sotto stai usando sia compattezza che continuità in più dimensioni! Spero che così sia chiaro!
Perdonami, ma non ancora
Se questa:
si dimostra usando la classica \(\displaystyle \sup(A)-\sup(B)\leq \sup(A-B) \), allora non ho capito come farlo.
Cerco di far capire meglio il mio dubbio.
Chiamiamo:
\(\displaystyle A=\{a\in\mathbb{R}| a=f(x), x\in [a,b] \} \)
\(\displaystyle B=\{b\in\mathbb{R}| b=g(x), x\in [a,b] \} \)
\(\displaystyle C=\{c\in\mathbb{R}| c=f(x)-g(x), x\in [a,b] \} .\)
Avendo definito questi insiemi, si ha che l'insieme \(\displaystyle A-B \) è esplicitamente:
\(\displaystyle A-B=\{a-b\in\mathbb{R}| a-b=f(x)-g(x'), x\in [a,b], x'\in [a,b] \} \)
da cui è un attimo dimostrare che \(\displaystyle C\subset A-B \) (\(\displaystyle x=x' \)), e di conseguenza \(\displaystyle \sup C \leq \sup(A-B) \).
Per dimostrare la formula citata mi servirebbe invece che fosse \(\displaystyle \sup C \geq \sup(A-B) \) .

Se questa:
\[ \sup_{x \in [a,b]} (f(x)-g(x)) \geq \sup_{x \in [a,b]}(f(x)) - \sup_{x \in [a,b]}(g(x)) \]
si dimostra usando la classica \(\displaystyle \sup(A)-\sup(B)\leq \sup(A-B) \), allora non ho capito come farlo.
Cerco di far capire meglio il mio dubbio.
Chiamiamo:
\(\displaystyle A=\{a\in\mathbb{R}| a=f(x), x\in [a,b] \} \)
\(\displaystyle B=\{b\in\mathbb{R}| b=g(x), x\in [a,b] \} \)
\(\displaystyle C=\{c\in\mathbb{R}| c=f(x)-g(x), x\in [a,b] \} .\)
Avendo definito questi insiemi, si ha che l'insieme \(\displaystyle A-B \) è esplicitamente:
\(\displaystyle A-B=\{a-b\in\mathbb{R}| a-b=f(x)-g(x'), x\in [a,b], x'\in [a,b] \} \)
da cui è un attimo dimostrare che \(\displaystyle C\subset A-B \) (\(\displaystyle x=x' \)), e di conseguenza \(\displaystyle \sup C \leq \sup(A-B) \).
Per dimostrare la formula citata mi servirebbe invece che fosse \(\displaystyle \sup C \geq \sup(A-B) \) .
Prova a dimostrare prima che se $p,q : [a,b] \to \mathbb{R}$ allora
\[ \sup_{x \in [a,b]} (p(x) + q(x)) \le \sup_{x \in [a,b]} p(x) + \sup_{x \in [a,b]} q(x) \]
dimostrazione:
e per concludere.....
\[ \sup_{x \in [a,b]} (p(x) + q(x)) \le \sup_{x \in [a,b]} p(x) + \sup_{x \in [a,b]} q(x) \]
dimostrazione:
e per concludere.....
Grande @Bremen000, mi hai sbloccato
All clear, grazie mille

All clear, grazie mille


Di nulla!
faccio il ficcanaso solo per una cosa
@bremen
@bremen
No, questa era la strada che tentavo io prima, ma il tuo A-B è un insieme più grande di \(\displaystyle (f(x)-g(x))_{x\in [a,b]} \) quindi arrivi a un $\ge$ e non ad un $\le$, il che non ti consente di costruire la catena di disuguaglianze.
Hai ragione non avevo fatto caso che fosse $im(f-g)$
Peccato, volevo salvare la tua idea iniziale
Peccato, volevo salvare la tua idea iniziale

Almeno con quella idea si può dimostrare il suggerimento preliminare di @Bremen000

Penso che invece qualcosa si possa fare
@anto_zoolander: il fatto che il sup di insiemi limitati di $\mathbb R $ sia additivo mi pare fasullo. Sei proprio sicuro?
"dissonance":
il sup di insiemi limitati di $\mathbb R $ sia additivo
Questo è vero, mi ero divertito a provare a dimostrarlo tempo fa.
Si può provare in due step, prima dimostrando il \(\displaystyle \leq \) e poi il \(\displaystyle \geq \).
in tutta umiltà ti dico di sì
Chiedo, per favore, un chiarimento su una questione strettamente connessa a ciò di cui si sta parlando qui: il teorema di Chebyshev.
Un polinomio di grado $n$, $P_n(x)$, è il polinomio meglio approssimante \(\displaystyle f\in \mathcal{C}([a,b]) \) se e solo se per esso e per $f$ esistono $n+2$ punti di Chebyshev.
Con punti di Chebyshev intendo $n+2$ punti che verificano \(\displaystyle f(x_j)-P_n(x_j) = \pm \max_{x\in[a,b]}|f(x)-P_n(x)| \) a segno alterno al crescere di $j$ (da $1$ a $n+2$).
Con polinomio meglio approssimante intendo che $P_n(x)$ deve minimizzare la quantità \(\displaystyle \max_{x\in[a,b]}|f(x)-P_n(x)| \) al variare di tutti i polinomi possibili di grado $n$.
Ora, io sono riuscito a dimostrare solo una implicazione: se esistono $n+2$ punti di Chebyshev per $P_n(x)$ e $f(x)$ allora $P_n(x)$ è il polinomio meglio approssimante di $f(x)$ in $[a,b]$ (per questa implicazione non serve neanche che $f$ sia continua).
Per quanto riguarda l'altra implicazione, c'è una cosa che non mi torna, in quanto ho dimostrato in separata sede che \(\displaystyle \hat{T}_n =\frac{1}{2^{n-1}}\cos(n\arccos(x))\) è un polinomio di grado $n$ ed è il miglior approssimante della funzione \(\displaystyle f(x)\equiv 0 \) in \(\displaystyle [-1,1] \) (la quale è ovviamente anche continua in tutti i punti di tale intervallo, come chiede il teorema di Chebyshev).
Dunque, tale polinomio \(\displaystyle \hat{T}_n(x) \) presenta solo $n+1$ punti di Chebyshev e non $n+2$.
Dove sta l'intoppo?
Non riesco a trovarlo...
Grazie in anticipo.
Un polinomio di grado $n$, $P_n(x)$, è il polinomio meglio approssimante \(\displaystyle f\in \mathcal{C}([a,b]) \) se e solo se per esso e per $f$ esistono $n+2$ punti di Chebyshev.
Con punti di Chebyshev intendo $n+2$ punti che verificano \(\displaystyle f(x_j)-P_n(x_j) = \pm \max_{x\in[a,b]}|f(x)-P_n(x)| \) a segno alterno al crescere di $j$ (da $1$ a $n+2$).
Con polinomio meglio approssimante intendo che $P_n(x)$ deve minimizzare la quantità \(\displaystyle \max_{x\in[a,b]}|f(x)-P_n(x)| \) al variare di tutti i polinomi possibili di grado $n$.
Ora, io sono riuscito a dimostrare solo una implicazione: se esistono $n+2$ punti di Chebyshev per $P_n(x)$ e $f(x)$ allora $P_n(x)$ è il polinomio meglio approssimante di $f(x)$ in $[a,b]$ (per questa implicazione non serve neanche che $f$ sia continua).
Per quanto riguarda l'altra implicazione, c'è una cosa che non mi torna, in quanto ho dimostrato in separata sede che \(\displaystyle \hat{T}_n =\frac{1}{2^{n-1}}\cos(n\arccos(x))\) è un polinomio di grado $n$ ed è il miglior approssimante della funzione \(\displaystyle f(x)\equiv 0 \) in \(\displaystyle [-1,1] \) (la quale è ovviamente anche continua in tutti i punti di tale intervallo, come chiede il teorema di Chebyshev).
Dunque, tale polinomio \(\displaystyle \hat{T}_n(x) \) presenta solo $n+1$ punti di Chebyshev e non $n+2$.
Dove sta l'intoppo?
Non riesco a trovarlo...
Grazie in anticipo.
Ciao, perdonami ma queste cose non mi appassionano molto, mi ricordano matematica numerica!
Comunque, posta i conti che ti hanno portato a concludere che quel polinomio è quello giusto. E quali sono i punti di Chebyshev. Poi magari vediamo di capire cosa non funziona!
Comunque, posta i conti che ti hanno portato a concludere che quel polinomio è quello giusto. E quali sono i punti di Chebyshev. Poi magari vediamo di capire cosa non funziona!
Ho detto una stupidaggine, ciò che avevo dimostrato in realtà era il fatto che \(\displaystyle \hat{T}_n(x) \) è il miglior approssimante tra i soli polinomi di grado $n$ a coefficiente $c_n=1$, non tra tutti quelli di grado $n$.
Grazie comunque!
Grazie comunque!
Uh menomale! Bene che hai risolto!
Ciao! Sono il tuo Tutor AI, il compagno ideale per uno studio interattivo. Utilizzo il metodo maieutico per affinare il tuo ragionamento e la comprensione. Insieme possiamo:
- Risolvere un problema di matematica
- Riassumere un testo
- Tradurre una frase
- E molto altro ancora...
Il Tutor AI di Skuola.net usa un modello AI di Chat GPT.
Per termini, condizioni e privacy, visita la relativa pagina.
Per termini, condizioni e privacy, visita la relativa pagina.