Just for Fun

Polinomi, disuguaglianze, numeri complessi, ...
Rispondi
AlexThirty
Messaggi: 217
Iscritto il: 20 giu 2015, 20:58

Just for Fun

Messaggio da AlexThirty » 14 lug 2015, 20:57

Pongo questa questione per pura curiosità dato che ne ho sentito parlare spesso.
Nelle equazioni di Cauchy sappiamo che la famosa soluzione in R $ f(x)=ax $ vale solo con determinate condizioni, altrimenti esistono anche delle altre soluzioni, che senso sempre chiamare soluzioni "brutte".
Ero curioso quindi di sapere: qualcuno riesce a mostrarmi queste fantomatiche soluzioni brutte, con formula e/o grafico?
Un bresciano esportato nel cremonese

-"Dal palazzo di giustizia di Catania o esci con più soldi di prima, o non esci proprio"
-"Baroni uscirebbe con un Win - Win".
Tutti si mettono a ridere, e allora intuisco che non aveva detto "Weed - Win" come avevo capito.

Rho33
Messaggi: 89
Iscritto il: 16 set 2014, 13:15

Re: Just for Fun

Messaggio da Rho33 » 14 lug 2015, 22:59

Allora, le soluzioni brutte le costruisci con le basi di Hamel, ma so molto poco su questo argomento, tempo fa mi ero imbattuto in un articolo e avevo letto che soluzioni sono funzioni discontinue, non misurabili, illimitate in un intervallo aperto, il grafico interseca ogni linea del piano ecc.. spero aiuti :D

fph
Site Admin
Messaggi: 3544
Iscritto il: 01 gen 1970, 01:00
Località: in giro
Contatta:

Re: Just for Fun

Messaggio da fph » 14 lug 2015, 23:16

Il grafico sarebbe un quadratone tutto nero, o perlomeno grigio (perché la funzione passa dentro ogni quadratino arbitrariamente piccolo del piano). La formula anche non si può esplicitare più di tanto. Esistono degli insiemi infiniti, chiamati basi di Hamel, tali per ognuno di essi (che chiamiamo $B$) ogni reale $x$ si scrive in uno e un solo modo come $x=\sum_{i=1}^n q_i b_i$, dove i $q_i$ sono razionali e i $b_i$ stanno in $B$. Allora, per ogni $b\in B$ scegli un'immagine $f(b)$, e definisci $f(x)=\sum_{i=1}^n q_i f(b_i)$. È ben definito perché la scrittura è unica. C'è una formula per trovare gli elementi di questo insieme $B$, o un modo esplicito di descriverli? No, e anzi si dimostra che non può esserci.
--federico
[tex]\frac1{\sqrt2}\bigl(\left|\text{loves me}\right\rangle+\left|\text{loves me not}\right\rangle\bigr)[/tex]

MATHia
Messaggi: 90
Iscritto il: 11 apr 2014, 01:08

Re: Just for Fun

Messaggio da MATHia » 14 lug 2015, 23:28

fph ha scritto:$ ...f(x)=\sum_{i=1}^n q_i f(b_i) $...
Curiosità: $n$ cosa indica?

fph
Site Admin
Messaggi: 3544
Iscritto il: 01 gen 1970, 01:00
Località: in giro
Contatta:

Re: Just for Fun

Messaggio da fph » 14 lug 2015, 23:56

Scritto meglio di quanto ho fatto qui sopra: "per ogni reale $x$, esistono unici $n\in\mathbb{N}$, $q_1,q_2,\dots,q_n \in\mathbb{Q}$, $b_1,b_2,\dots,b_n\in B$ (a meno di riordinarli) tali che $x=\sum_{i=1}^n q_i b_i$".
--federico
[tex]\frac1{\sqrt2}\bigl(\left|\text{loves me}\right\rangle+\left|\text{loves me not}\right\rangle\bigr)[/tex]

MATHia
Messaggi: 90
Iscritto il: 11 apr 2014, 01:08

Re: Just for Fun

Messaggio da MATHia » 14 lug 2015, 23:58

Grazie :)

fph
Site Admin
Messaggi: 3544
Iscritto il: 01 gen 1970, 01:00
Località: in giro
Contatta:

Re: Just for Fun

Messaggio da fph » 15 lug 2015, 00:15

Questo però forse può aiutarti a visualizzare la cosa. Scegli dei reali "indipendenti su $\mathbb{Q}$", cioè un insieme di reali $B$ per cui non esistono $n,q_i,b_i$ come sopra tali che $\sum_{i=1}^n q_i b_i=0$. Per esempio, $B=\{1,\sqrt{2},\pi\}$ va bene, mentre $B = \{1,\sqrt{2}, \frac{5-\sqrt{2}}{3}\}$ non va bene perché riesci a ottenere zero combinandoli. Allora, puoi scegliere le immagini degli elementi di $B$ a tuo piacere, per esempio $f(1)=17.3$, $f(\sqrt{2})=0$, $f(\pi)=2\pi$. Questo ti dice automaticamente com'è fatta $f$ su un sacco di altri elementi, per esempio $f(\frac{5}{2}+\frac{3}{7}\sqrt{2})-\frac{39}{42}\pi) = \frac{5}{2}f(1) + \frac{3}{7}f(\sqrt{2})-\frac{39}{42}f(\pi)$. In particolare, la tua $f$ si comporta come tre rette con coefficienti angolari diversi sui multipli razionali di $1$, di $\sqrt{2}$ e di $\pi$. Ebbene, c'è sempre un modo di estendere le $f$ fatte in questo modo a tutto $\mathbb{R}$ (credici).
--federico
[tex]\frac1{\sqrt2}\bigl(\left|\text{loves me}\right\rangle+\left|\text{loves me not}\right\rangle\bigr)[/tex]

Rispondi